Please note that ISTA 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.
9084 Publications
2012 | Conference Paper | IST-REx-ID: 2891 | 
Boker U, Henzinger TA. Approximate determinization of quantitative automata. In: Leibniz International Proceedings in Informatics. Vol 18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2012:362-373. doi:10.4230/LIPIcs.FSTTCS.2012.362
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2890
Cerny P, Gopi S, Henzinger TA, Radhakrishna A, Totla N. Synthesis from incompatible specifications. In: Proceedings of the Tenth ACM International Conference on Embedded Software. ACM; 2012:53-62. doi:10.1145/2380356.2380371
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2888
Henzinger TA. Quantitative reactive models. In: Conference Proceedings MODELS 2012. Vol 7590. Springer; 2012:1-2. doi:10.1007/978-3-642-33666-9_1
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2903 |
Edelsbrunner H, Symonova O. The adaptive topology of a digital image. In: IEEE; 2012:41-48. doi:10.1109/ISVD.2012.11
[Submitted Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2916 |
Cerny P, Chmelik M, Henzinger TA, Radhakrishna A. Interface Simulation Distances. In: Electronic Proceedings in Theoretical Computer Science. Vol 96. EPTCS; 2012:29-42. doi:10.4204/EPTCS.96.3
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| arXiv
2012 | Journal Article | IST-REx-ID: 2917
de Vladar H. The game of active search for extra terrestrial intelligence Breaking the Great Silence . International Journal of Astrobiology. 2012;12(1):53-62. doi:10.1017/S1473550412000407
View
| DOI
2012 | Journal Article | IST-REx-ID: 2911
Edelsbrunner H, Ivanov A, Karasev R. Open problems in discrete and computational geometry. Automatic Control and Computer Sciences. 2012;in print.
View
2012 | Conference Paper | IST-REx-ID: 2930 |
Huber A, Kolmogorov V. Towards minimizing k-submodular functions. In: Vol 7422. Springer; 2012:451-462. doi:10.1007/978-3-642-32147-4_40
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Preprint | IST-REx-ID: 2928 |
Kolmogorov V, Schoenemann T. Generalized sequential tree-reweighted message passing. arXiv. 2012.
[Preprint]
View
| Download Preprint (ext.)
| arXiv
2012 | Report | IST-REx-ID: 2929 |
Kolmogorov V. The Power of Linear Programming for Valued CSPs: A Constructive Characterization. Unknown; 2012.
View
| Download (ext.)
2012 | Conference Paper | IST-REx-ID: 2937 |
Almeida J, Barbosa M, Bangerter E, Barthe G, Krenn S, Béguelin S. Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security. ACM; 2012:488-500. doi:10.1145/2382196.2382249
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2012 | Conference Paper | IST-REx-ID: 2936 |
Chatterjee K, Henzinger TA, Prabhu V. Finite automata with time delay blocks. In: Roceedings of the Tenth ACM International Conference on Embedded Software. ACM; 2012:43-52. doi:10.1145/2380356.2380370
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2938
Ugelvig LV, Cremer S. Effects of social immunity and unicoloniality on host parasite interactions in invasive insect societies. Functional Ecology. 2012;26(6):1300-1312. doi:10.1111/1365-2435.12013
View
| DOI
2012 | Journal Article | IST-REx-ID: 2931
Torresani L, Kolmogorov V, Rother C. A dual decomposition approach to feature correspondence. IEEE Transactions on Pattern Analysis and Machine Intelligence. 2012;35(2):259-271. doi:10.1109/TPAMI.2012.105
View
| DOI
2012 | Conference Paper | IST-REx-ID: 2942
Henzinger TA, Nickovic D. Independent implementability of viewpoints. In: Conference Proceedings Monterey Workshop 2012. Vol 7539. Springer; 2012:380-395. doi:10.1007/978-3-642-34059-8_20
View
| DOI
2012 | Journal Article | IST-REx-ID: 2943 |
Hadizadeh Yazdi N, Guet CC, Johnson R, Marko J. Variation of the folding and dynamics of the Escherichia coli chromosome with growth conditions. Molecular Microbiology. 2012;86(6):1318-1333. doi:10.1111/mmi.12071
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2012 | Journal Article | IST-REx-ID: 2941 |
Dolbilin N, Edelsbrunner H, Musin O. On the optimality of functionals over triangulations of Delaunay sets. Russian Mathematical Surveys. 2012;67(4):781-783. doi:10.1070/RM2012v067n04ABEH004807
[Submitted Version]
View
| Files available
| DOI
2012 | Journal Article | IST-REx-ID: 2946 |
Dueck A, Ziegler C, Eichner A, Berezikov E, Meister G. MicroRNAs associated with the different human Argonaute proteins. Nucleic Acids Research. 2012;40(19):9850-9862. doi:10.1093/nar/gks705
[Published Version]
View
| Files available
| DOI
2012 | Conference Paper | IST-REx-ID: 2947 |
Chatterjee K, Chmelik M, Majumdar R. Equivalence of games with probabilistic uncertainty and partial observation games. In: Vol 7561. Springer; 2012:385-399. doi:10.1007/978-3-642-33386-6_30
[Preprint]
View
| DOI
| Download Preprint (ext.)
2012 | Journal Article | IST-REx-ID: 2945
Girard J, Moussion C, Förster R. HEVs, lymphatics and homeostatic immune cell trafficking in lymph nodes. Nature Reviews Immunology. 2012;12(11):762-773. doi:10.1038/nri3298
View
| DOI