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.




5967 Publications

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
 
2015 | Published | Journal Article | IST-REx-ID: 1509 | OA
Michalko, Jaroslav, Marta Lukacisinova, Mark Tobias Bollenbach, and Jiří Friml. “Embryo-Lethal Phenotypes in Early Abp1 Mutants Are Due to Disruption of the Neighboring BSM Gene.” F1000 Research . F1000 Research, 2015. https://doi.org/10.12688/f1000research.7143.1.
[Published Version] View | Files available | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1646 | OA
Banerjee, Abishek, Georg Fuchsbauer, Chris Peikert, Krzysztof Z Pietrzak, and Sophie Stevens. “Key-Homomorphic Constrained Pseudorandom Functions.” In 12th Theory of Cryptography Conference, 9015:31–60. Springer Nature, 2015. https://doi.org/10.1007/978-3-662-46497-7_2.
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.)
 
2015 | Published | Conference Paper | IST-REx-ID: 1732 | OA
Chatterjee, Krishnendu, Martin Chmelik, Raghav Gupta, and Ayush Kanodia. “Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications,” 325–30. IEEE, 2015. https://doi.org/10.1109/ICRA.2015.7139019.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Conference Paper | IST-REx-ID: 1498 | OA
Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “The Need for Language Support for Fault-Tolerant Distributed Systems.” Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.SNAPL.2015.90.
[Published Version] View | Files available | DOI
 
2015 | Published | Journal Article | IST-REx-ID: 1602 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Andreas Pavlogiannis, and Prateesh Goyal. “Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth.” ACM SIGPLAN Notices. ACM, 2015. https://doi.org/10.1145/2676726.2676979.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 
2015 | Published | Journal Article | IST-REx-ID: 1604
Chatterjee, Krishnendu, Andreas Pavlogiannis, and Yaron Velner. “Quantitative Interprocedural Analysis.” Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT . ACM, 2015. https://doi.org/10.1145/2676726.2676968.
View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5441 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir Kafshdar Goharshady, and Andreas Pavlogiannis. Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-340-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1659 | OA
Boker, Udi, Thomas A Henzinger, and Jan Otop. “The Target Discounted-Sum Problem.” In LICS, 750–61. Logic in Computer Science. IEEE, 2015. https://doi.org/10.1109/LICS.2015.74.
[Submitted Version] View | Files available | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1605 | OA
Bogomolov, Sergiy, Christian Schilling, Ezio Bartocci, Grégory Batt, Hui Kong, and Radu Grosu. “Abstraction-Based Parameter Synthesis for Multiaffine Systems,” 9434:19–35. Springer, 2015. https://doi.org/10.1007/978-3-319-26287-1_2.
[Submitted Version] View | Files available | DOI
 
2015 | Published | Technical Report | IST-REx-ID: 5439 | OA
Boker, Udi, Thomas A Henzinger, and Jan Otop. The Target Discounted-Sum Problem. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-335-v1-1.
[Published Version] View | Files available | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1692
Frehse, Goran, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, and Andreas Podelski. “Eliminating Spurious Transitions in Reachability with Support Functions.” In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 149–58. ACM, 2015. https://doi.org/10.1145/2728606.2728622.
View | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1690
Bak, Stanley, Sergiy Bogomolov, and Taylor Johnson. “HYST: A Source Transformation and Translation Tool for Hybrid Automaton Models,” 128–33. Springer, 2015. https://doi.org/10.1145/2728606.2728630.
View | DOI
 
2015 | Published | Conference Paper | IST-REx-ID: 1499 | OA
Kretinsky, Jan, Kim Larsen, Simon Laursen, and Jiří Srba. “Polynomial Time Decidability of Weighted Synchronization under Partial Observability,” 42:142–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015. https://doi.org/10.4230/LIPIcs.CONCUR.2015.142.
[Published Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed