en
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.
364 Publications
2015 | Journal Article | IST-REx-ID: 5749 
Adaptation to Parasites and Costs of Parasite Resistance in Mutator and Nonmutator Bacteria
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, Molecular Biology and Evolution 33 (2015) 770–782.
View
| Files available
| DOI
S. Wielgoss, T. Bergmiller, A.M. Bischofberger, A.R. Hall, Molecular Biology and Evolution 33 (2015) 770–782.
2015 | Journal Article | IST-REx-ID: 1576
Stochastic proofreading mechanism alleviates crosstalk in transcriptional regulation
S.A. Cepeda Humerez, G. Rieckh, G. Tkacik, Physical Review Letters 115 (2015).
View
| Files available
| DOI
| Download (ext.)
S.A. Cepeda Humerez, G. Rieckh, G. Tkacik, Physical Review Letters 115 (2015).
2015 | Journal Article | IST-REx-ID: 6507
Structural basis for collagen recognition by the immune receptor OSCAR
L. Zhou, J.M. Hinerman, M. Blaszczyk, J.L.C. Miller, D.G. Conrady, A.D. Barrow, D.Y. Chirgadze, D. Bihan, R.W. Farndale, A.B. Herr, Blood 127 (2015) 529–537.
View
| DOI
| PubMed | Europe PMC
L. Zhou, J.M. Hinerman, M. Blaszczyk, J.L.C. Miller, D.G. Conrady, A.D. Barrow, D.Y. Chirgadze, D. Bihan, R.W. Farndale, A.B. Herr, Blood 127 (2015) 529–537.
2015 | Conference Paper | IST-REx-ID: 779
ThreadScan: Automatic and scalable memory reclamation
D. Alistarh, A. Matveev, W. Leiserson, N. Shavit, in:, ACM, 2015, pp. 123–132.
View
| Files available
| DOI
D. Alistarh, A. Matveev, W. Leiserson, N. Shavit, in:, ACM, 2015, pp. 123–132.
2015 | Conference Paper | IST-REx-ID: 781
Fast and exact majority in population protocols
D. Alistarh, R. Gelashvili, M. Vojnović, in:, ACM, 2015, pp. 47–56.
View
| DOI
D. Alistarh, R. Gelashvili, M. Vojnović, in:, ACM, 2015, pp. 47–56.
2015 | Journal Article | IST-REx-ID: 832
Real time analysis of lateral root organogenesis in arabidopsis
P. Marhavy, E. Benková, Bio-Protocol 5 (2015).
View
| DOI
P. Marhavy, E. Benková, Bio-Protocol 5 (2015).
2015 | Journal Article | IST-REx-ID: 933
Physics of active jamming during collective cellular motion in a monolayer
S. García, E.B. Hannezo, J. Elgeti, J. Joanny, P. Silberzan, N. Gov, PNAS 112 (2015) 15314–15319.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
S. García, E.B. Hannezo, J. Elgeti, J. Joanny, P. Silberzan, N. Gov, PNAS 112 (2015) 15314–15319.
2015 | Conference Paper | IST-REx-ID: 1502
Complete composition operators for IOCO-testing theory
N. Beneš, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.
View
| Files available
| DOI
N. Beneš, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015, pp. 101–110.
2015 | Conference Paper | IST-REx-ID: 1499
Polynomial time decidability of weighted synchronization under partial observability
J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–154.
View
| Files available
| DOI
J. Kretinsky, K. Larsen, S. Laursen, J. Srba, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015, pp. 142–154.
2015 | Conference Paper | IST-REx-ID: 1689
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–268.
View
| Files available
| DOI
| Download (ext.)
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, in:, Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, ACM, 2015, pp. 259–268.