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.
2706 Publications
2011 | Journal Article | IST-REx-ID: 6496 
Park H, Oikonomou P, Guet CC, Cluzel P. 2011. Noise underlies switching behavior of the bacterial flagellum. Biophysical Journal. 101(10), 2336–2340.
View
| DOI
| Download (ext.)
| PubMed | Europe PMC
2011 | Conference Paper | IST-REx-ID: 3346
Brázdil T, Brožek V, Chatterjee K, Forejt V, Kučera A. 2011. Two views on multiple mean payoff objectives in Markov Decision Processes. LICS: Logic in Computer Science
View
| DOI
| Download (ext.)
2011 | Journal Article | IST-REx-ID: 3353
Tripakis S, Lickly B, Henzinger TA, Lee E. 2011. A theory of synchronous relational interfaces. ACM Transactions on Programming Languages and Systems (TOPLAS). 33(4), 14.
View
| Files available
| DOI
2011 | Conference Paper | IST-REx-ID: 3360
Boker U, Henzinger TA. 2011. Determinizing discounted-sum automata. CSL: Computer Science Logic, LIPIcs, vol. 12. 82–96.
View
| Files available
| DOI