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