Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.




6129 Publications

2016 | Published | Conference Paper | IST-REx-ID: 1386 | OA
Chatterjee, Krishnendu, Hongfei Fu, and Amir Kafshdar Goharshady. “Termination Analysis of Probabilistic Programs through Positivstellensatz’s,” 9779:3–22. Springer, 2016. https://doi.org/10.1007/978-3-319-41528-4_1.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 
2015 | Published | Thesis | IST-REx-ID: 1401 | OA
Sharmanska, Viktoriia. “Learning with Attributes for Object Recognition: Parametric and Non-Parametrics Views.” Institute of Science and Technology Austria, 2015. https://doi.org/10.15479/at:ista:1401.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2015 | Published | Technical Report | IST-REx-ID: 5431 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Kristoffer Hansen. The Patience of Concurrent Stochastic Games with Safety and Reachability Objectives. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-322-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5432 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-323-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5440 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, and Martin Nowak. The Complexity of Evolutionary Games on Graphs. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-323-v2-2.
[Published Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5444 | OA
Reiter, Johannes, Alvin Makohon-Moore, Jeffrey Gerold, Ivana Bozic, Krishnendu Chatterjee, Christine Iacobuzio-Donahue, Bert Vogelstein, and Martin Nowak. Reconstructing Robust Phylogenies of Metastatic Cancers. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-399-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 12196
Johnson, Kaeli C.M., Shitou Xia, Xiaoqi Feng, and Xin Li. “The Chromatin Remodeler SPLAYED Negatively Regulates SNC1-Mediated Immunity.” Plant and Cell Physiology. Oxford University Press, 2015. https://doi.org/10.1093/pcp/pcv087.
View | DOI | PubMed | Europe PMC
 
2015 | Published | Conference Paper | IST-REx-ID: 1520
Bharaj, Gaurav, Stelian Coros, Bernhard Thomaszewski, James Tompkin, Bernd Bickel, and Hanspeter Pfister. “Computational Design of Walking Automata,” 93–100. ACM, 2015. https://doi.org/10.1145/2786784.2786803.
View | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1525 | OA
Bauer, Bruno, Guido Blechl, Christoph Bock, Patrick Danowski, Andreas Ferus, Anton Graschopf, Thomas König, et al. “Arbeitsgruppe „Nationale Strategie“ Des Open Access Network Austria OANA.” VÖB Mitteilungen. Verein Österreichischer Bibliothekare, 2015. https://doi.org/10.5281/zenodo.33178.
[Published Version] View | Files available | DOI
 
2015 | Published | Book Chapter | IST-REx-ID: 1531
Zobel, Valentin, Jan Reininghaus, and Ingrid Hotz. “Visualizing Symmetric Indefinite 2D Tensor Fields Using The Heat Kernel Signature.” In Visualization and Processing of Higher Order Descriptors for Multi-Valued Data, edited by Ingrid Hotz and Thomas Schultz, 1st ed., 40:257–67. Springer, 2015. https://doi.org/10.1007/978-3-319-15090-1_13.
View | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1563
Graff, Grzegorz, and Pawel Pilarczyk. “An Algorithmic Approach to Estimating the Minimal Number of Periodic Points for Smooth Self-Maps of Simply-Connected Manifolds.” Topological Methods in Nonlinear Analysis. Juliusz Schauder Center for Nonlinear Studies, 2015. https://doi.org/10.12775/TMNA.2015.014.
View | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1567
Edelsbrunner, Herbert. “Shape, Homology, Persistence, and Stability.” In 23rd International Symposium, Vol. 9411. Springer Nature, 2015.
View
 
2015 | Published | Journal Article | IST-REx-ID: 1635 | OA
Erbar, Matthias, Jan Maas, and Prasad Tetali. “Discrete Ricci Curvature Bounds for Bernoulli-Laplace and Random Transposition Models.” Annales de La Faculté Des Sciences de Toulouse. Faculté des sciences de Toulouse, 2015. https://doi.org/10.5802/afst.1464.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1858 | OA
Lampert, Christoph. “Predicting the Future Behavior of a Time-Varying Probability Distribution,” 942–50. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7298696.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 9532 | OA
Rodrigues, Jessica A., and Daniel Zilberman. “Evolution and Function of Genomic Imprinting in Plants.” Genes and Development. Cold Spring Harbor Laboratory Press, 2015. https://doi.org/10.1101/gad.269902.115.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2015 | Published | Conference Paper | IST-REx-ID: 1992 | OA
Gupta, Ashutosh, Thomas A Henzinger, Arjun Radhakrishna, Roopsha Samanta, and Thorsten Tarrach. “Succinct Representation of Concurrent Trace Sets,” 433–44. ACM, 2015. https://doi.org/10.1145/2676726.2677008.
[Submitted Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 10794 | OA
Parise, Francesca, John Lygeros, and Jakob Ruess. “Bayesian Inference for Stochastic Individual-Based Models of Ecological Systems: A Pest Control Simulation Study.” Frontiers in Environmental Science. Frontiers, 2015. https://doi.org/10.3389/fenvs.2015.00042.
[Published Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 473 | OA
Lewin, Mathieu, Phan Nam, and Nicolas Rougerie. “Derivation of Nonlinear Gibbs Measures from Many-Body Quantum Mechanics.” Journal de l’Ecole Polytechnique - Mathematiques. Ecole Polytechnique, 2015. https://doi.org/10.5802/jep.18.
[Published Version] View | Files available | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1860 | OA
Royer, Amélie, and Christoph Lampert. “Classifier Adaptation at Prediction Time,” 1401–9. IEEE, 2015. https://doi.org/10.1109/CVPR.2015.7298746.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2015 | Published | Journal Article | IST-REx-ID: 1678 | OA
Inglés Prieto, Álvaro, Eva Gschaider-Reichhart, Markus Muellner, Matthias Nowak, Sebastian Nijman, Michael Grusch, and Harald L Janovjak. “Light-Assisted Small-Molecule Screening against Protein Kinases.” Nature Chemical Biology. Nature Publishing Group, 2015. https://doi.org/10.1038/nchembio.1933.
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed