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.

358 Publications


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