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

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

357 Publications


2015 | Journal Article | IST-REx-ID: 1805
Attali, Dominique, Ulrich Bauer, Olivier Devillers, Marc Glisse, and André Lieutier. “Homological Reconstruction and Simplification in R3.” Computational Geometry: Theory and Applications 48, no. 8 (2015): 606–21. https://doi.org/10.1016/j.comgeo.2014.08.010.
View | Files available | DOI
 

2015 | 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.
View | Files available | DOI
 

2015 | Technical Report | IST-REx-ID: 5434   OA
Anonymous, 1, and 2 Anonymous. Optimal Cost Indefinite-Horizon Reachability in Goal DEC-POMDPs. IST Austria, 2015.
View | Files available
 

2015 | Conference Paper | IST-REx-ID: 1603
Brázdil, Tomáš, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, and Jan Kretinsky. “Counterexample Explanation by Learning Small Strategies in Markov Decision Processes,” 9206:158–77. Springer, 2015. https://doi.org/10.1007/978-3-319-21690-4_10.
View | Files available | DOI | Download (ext.)
 

2015 | Technical Report | IST-REx-ID: 5441
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Amir 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.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5807
Biswas, Ranita, and Partha Bhowmick. “On Different Topological Classes of Spherical Geodesic Paths and Circles InZ3.” Theoretical Computer Science 605, no. 11 (2015): 146–63. https://doi.org/10.1016/j.tcs.2015.09.003.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 6507
Zhou, Long, J. M. Hinerman, M. Blaszczyk, J. L. C. Miller, D. G. Conrady, A. D. Barrow, D. Y. Chirgadze, D. Bihan, R. W. Farndale, and A. B. Herr. “Structural Basis for Collagen Recognition by the Immune Receptor OSCAR.” Blood 127, no. 5 (2015): 529–37. https://doi.org/10.1182/blood-2015-08-667055.
View | DOI | PubMed | Europe PMC
 

2015 | Journal Article | IST-REx-ID: 1576
Cepeda Humerez, Sarah A, Georg Rieckh, and Gasper Tkacik. “Stochastic Proofreading Mechanism Alleviates Crosstalk in Transcriptional Regulation.” Physical Review Letters 115, no. 24 (2015). https://doi.org/10.1103/PhysRevLett.115.248101.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 779
Alistarh, Dan, Alexander Matveev, William Leiserson, and Nir Shavit. “ThreadScan: Automatic and Scalable Memory Reclamation,” 2015–June:123–32. ACM, 2015. https://doi.org/10.1145/2755573.2755600.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 781
Alistarh, Dan, Rati Gelashvili, and Milan Vojnović. “Fast and Exact Majority in Population Protocols,” 2015–July:47–56. ACM, 2015. https://doi.org/10.1145/2767386.2767429.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 832
Marhavy, Peter, and Eva Benková. “Real Time Analysis of Lateral Root Organogenesis in Arabidopsis.” Bio-Protocol 5, no. 8 (2015). https://doi.org/10.21769/BioProtoc.1446.
View | DOI
 

2015 | Journal Article | IST-REx-ID: 933   OA
García, Simón, Edouard B Hannezo, Jens Elgeti, Jean Joanny, Pascal Silberzan, and Nir Gov. “Physics of Active Jamming during Collective Cellular Motion in a Monolayer.” PNAS 112, no. 50 (2015): 15314–19. https://doi.org/10.1073/pnas.1510973112.
View | DOI | Download (ext.) | PubMed | Europe PMC
 

2015 | Conference Paper | IST-REx-ID: 1502
Beneš, Nikola, Przemyslaw Daca, Thomas A Henzinger, Jan Kretinsky, and Dejan Nickovic. “Complete Composition Operators for IOCO-Testing Theory,” 101–10. ACM, 2015. https://doi.org/10.1145/2737166.2737175.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 5749   OA
Wielgoss, Sébastien, Tobias Bergmiller, Anna M. Bischofberger, and Alex R. Hall. “Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria.” Molecular Biology and Evolution 33, no. 3 (2015): 770–82. https://doi.org/10.1093/molbev/msv270.
View | Files available | DOI
 

2015 | Journal Article | IST-REx-ID: 1677
Alt, Johannes. “The Local Semicircle Law for Random Matrices with a Fourfold Symmetry.” Journal of Mathematical Physics 56, no. 10 (2015). https://doi.org/10.1063/1.4932606.
View | Files available | DOI | Download (ext.)
 

2015 | Conference Paper | IST-REx-ID: 1610
Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.” Lecture Notes in Computer Science. Springer, 2015. https://doi.org/10.1007/978-3-662-47666-6_10.
View | Files available | DOI
 

2015 | Conference Paper | IST-REx-ID: 1689
Svoreňová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cěrná, and Cǎlin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.” In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 259–68. ACM, 2015. https://doi.org/10.1145/2728606.2728608.
View | Files available | DOI | Download (ext.)
 

Filters and Search Terms

year=2015

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed