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.
1724 Publications
2012 | Journal Article | IST-REx-ID: 3262 
Tkacik, G., Walczak, A., & Bialek, W. (2012). Optimizing information flow in small genetic networks. III. A self-interacting gene. Physical Review E Statistical Nonlinear and Soft Matter Physics , 85(4). https://doi.org/10.1103/PhysRevE.85.041903
View
| DOI
| Download (ext.)
2012 | Journal Article | IST-REx-ID: 3248
Lampert, C., & Peters, J. (2012). Real-time detection of colored objects in multiple camera streams with off-the-shelf hardware components. Journal of Real-Time Image Processing, 7(1), 31–41. https://doi.org/10.1007/s11554-010-0168-3
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2891
Boker, U., & Henzinger, T. A. (2012). Approximate determinization of quantitative automata. In Leibniz International Proceedings in Informatics (Vol. 18, pp. 362–373). Hyderabad, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2916
Cerny, P., Chmelik, M., Henzinger, T. A., & Radhakrishna, A. (2012). Interface Simulation Distances. In Electronic Proceedings in Theoretical Computer Science (Vol. 96, pp. 29–42). Napoli, Italy: EPTCS. https://doi.org/10.4204/EPTCS.96.3
View
| Files available
| DOI
| Download (ext.)
| arXiv
2012 | Conference Paper | IST-REx-ID: 2947
Chatterjee, K., Chmelik, M., & Majumdar, R. (2012). Equivalence of games with probabilistic uncertainty and partial observation games (Vol. 7561, pp. 385–399). Presented at the ATVA: Automated Technology for Verification and Analysis, Thiruvananthapuram, India: Springer. https://doi.org/10.1007/978-3-642-33386-6_30
View
| DOI
| Download (ext.)