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.

2715 Publications


2011 | Journal Article | IST-REx-ID: 3965
Wang, B., Edelsbrunner, H., & Morozov, D. (2011). Computing elevation maxima by searching the Gauss sphere. Journal of Experimental Algorithmics, 16(2.2), 1–13. https://doi.org/10.1145/1963190.1970375
View | DOI
 

2011 | Journal Article | IST-REx-ID: 3364
Didier, F., Henzinger, T. A., Mateescu, M., & Wolf, V. (2011). Approximation of event probabilities in noisy cellular processes. Theoretical Computer Science, 412(21), 2128–2141. https://doi.org/10.1016/j.tcs.2010.10.022
View | Files available | DOI
 

2011 | Journal Article | IST-REx-ID: 491
Eichner, A., & Sixt, M. K. (2011). Setting the clock for recirculating lymphocytes. Science Signaling, 4(198). https://doi.org/10.1126/scisignal.2002617
View | DOI
 

2011 | Preprint | IST-REx-ID: 3338
Chatterjee, K. (2011). Bounded rationality in concurrent parity games. ArXiv. ArXiv.
View | Files available | Download (ext.) | arXiv
 

2011 | Technical Report | IST-REx-ID: 5384
Chatterjee, K., & Tracol, M. (2011). Decidable problems for probabilistic automata on infinite words. IST Austria. https://doi.org/10.15479/AT:IST-2011-0004
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed