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.
7353 Publications
2012 | Published | Journal Article | IST-REx-ID: 3168 | 
Lumpability abstractions of rule based systems
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, Theoretical Computer Science 431 (2012) 137–164.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, Theoretical Computer Science 431 (2012) 137–164.
2012 | Published | Conference Paper | IST-REx-ID: 10904 |
Strategy synthesis for multi-dimensional quantitative objectives
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Randour, J.-F. Raskin, in:, M. Koutny, I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory, Springer, Berlin, Heidelberg, 2012, pp. 115–131.
2012 | Published | Conference Paper | IST-REx-ID: 2956 |
Mean payoff pushdown games
K. Chatterjee, Y. Velner, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, Y. Velner, in:, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, 2012.
2012 | Published | Journal Article | IST-REx-ID: 3249 |
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 413 (2012) 21–35.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
P. Cerny, T.A. Henzinger, A. Radhakrishna, Theoretical Computer Science 413 (2012) 21–35.
2012 | Published | Technical Report | IST-REx-ID: 5377 |
Mean-payoff pushdown games
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Y. Velner, Mean-Payoff Pushdown Games, IST Austria, 2012.
2012 | Published | Conference Paper | IST-REx-ID: 3129 |
Annotating simplices with a homology basis and its applications
O. Busaryev, S. Cabello, C. Chen, T. Dey, Y. Wang, in:, Springer, 2012, pp. 189–200.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
O. Busaryev, S. Cabello, C. Chen, T. Dey, Y. Wang, in:, Springer, 2012, pp. 189–200.
2012 | Submitted | Preprint | IST-REx-ID: 2928 |
Generalized sequential tree-reweighted message passing
V. Kolmogorov, T. Schoenemann, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V. Kolmogorov, T. Schoenemann, ArXiv (n.d.).
2012 | Published | Journal Article | IST-REx-ID: 6588 |
Elementary solutions of the Bernstein problem on two intervals
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.
[Published Version]
View
| Download Published Version (ext.)
| WoS
F. Pausinger, Journal of Mathematical Physics, Analysis, Geometry 8 (2012) 63–78.
2011 | Published | Conference Paper | IST-REx-ID: 10907
Spatio-temporal extraction of articulated models in a graph pyramid
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.
View
| DOI
N.M. Artner, A. Ion, W.G. Kropatsch, in:, X. Jiang, M. Ferrer, A. Torsello (Eds.), Graph-Based Representations in Pattern Recognition, Springer, Berlin, Heidelberg, 2011, pp. 215–224.
2011 | Published | Journal Article | IST-REx-ID: 112 |
Droplet and cluster formation in freely falling granular streams
S.R. Waitukaitis, H. Grütjen, J. Royer, H. Jaeger, Physical Review E 83 (2011).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S.R. Waitukaitis, H. Grütjen, J. Royer, H. Jaeger, Physical Review E 83 (2011).
2011 | Published | Journal Article | IST-REx-ID: 1723
Epithelial organisation revealed by a network of cellular contacts
L. Escudero, L. Costa, A. Kicheva, J. Briscoe, M. Freeman, M. Babu, Nature Communications 2 (2011).
View
| DOI
L. Escudero, L. Costa, A. Kicheva, J. Briscoe, M. Freeman, M. Babu, Nature Communications 2 (2011).
2011 | Published | Journal Article | IST-REx-ID: 1724
Dynamics of Dpp signaling and proliferation control
O. Wartlick, P. Mumcu, A. Kicheva, T. Bittig, C. Seum, F. Jülicher, M. González Gaitán, Science 331 (2011) 1154–1159.
View
| DOI
O. Wartlick, P. Mumcu, A. Kicheva, T. Bittig, C. Seum, F. Jülicher, M. González Gaitán, Science 331 (2011) 1154–1159.
2011 | Published | Journal Article | IST-REx-ID: 1754 |
Joule-assisted silicidation for short-channel silicon nanowire devices
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, M. Sanquer, S. De Franceschi, ACS Nano 5 (2011) 7117–7123.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Mongillo, P. Spathis, G. Katsaros, P. Gentile, M. Sanquer, S. De Franceschi, ACS Nano 5 (2011) 7117–7123.
2011 | Published | Journal Article | IST-REx-ID: 1755 |
Observation of spin-selective tunneling in sige nanocrystals
G. Katsaros, V. Golovach, P. Spathis, N. Ares, M. Stoffel, F. Fournel, O. Schmidt, L. Glazman, S. De Franceschi, Physical Review Letters 107 (2011).
View
| DOI
| Download (ext.)
G. Katsaros, V. Golovach, P. Spathis, N. Ares, M. Stoffel, F. Fournel, O. Schmidt, L. Glazman, S. De Franceschi, Physical Review Letters 107 (2011).
2011 | Published | Journal Article | IST-REx-ID: 1775
Antibunching of microwave-frequency photons observed in correlation measurements using linear detectors
D. Bozyigit, C. Lang, L. Steffen, J.M. Fink, C. Eichler, M. Baur, R. Bianchetti, P. Leek, S. Filipp, M. Da Silva, A. Blais, A. Wallraff, Nature Physics 7 (2011) 154–158.
View
| DOI
D. Bozyigit, C. Lang, L. Steffen, J.M. Fink, C. Eichler, M. Baur, R. Bianchetti, P. Leek, S. Filipp, M. Da Silva, A. Blais, A. Wallraff, Nature Physics 7 (2011) 154–158.
2011 | Published | Conference Paper | IST-REx-ID: 1776
Correlation measurements of individual microwave photons emitted from a symmetric cavity
D. Bozyigit, C. Lang, L. Steffen, J.M. Fink, C. Eichler, M. Baur, R. Bianchetti, P. Leek, S. Filipp, A. Wallraff, M. Da Silva, A. Blais, in:, IOP Publishing Ltd., 2011.
View
| DOI
D. Bozyigit, C. Lang, L. Steffen, J.M. Fink, C. Eichler, M. Baur, R. Bianchetti, P. Leek, S. Filipp, A. Wallraff, M. Da Silva, A. Blais, in:, IOP Publishing Ltd., 2011.
2011 | Published | Journal Article | IST-REx-ID: 1777 |
Experimental state tomography of itinerant single microwave photons
C. Eichler, D. Bozyigit, C. Lang, L. Steffen, J.M. Fink, A. Wallraff, Physical Review Letters 106 (2011).
View
| Files available
| DOI
| Download None (ext.)
C. Eichler, D. Bozyigit, C. Lang, L. Steffen, J.M. Fink, A. Wallraff, Physical Review Letters 106 (2011).
2011 | Published | Journal Article | IST-REx-ID: 1778 |
Observation of resonant photon blockade at microwave frequencies using correlation function measurements
C. Lang, D. Bozyigit, C. Eichler, L. Steffen, J.M. Fink, A. Abdumalikov, M. Baur, S. Filipp, M. Da Silva, A. Blais, A. Wallraff, Physical Review Letters 106 (2011).
View
| DOI
| Download (ext.)
C. Lang, D. Bozyigit, C. Eichler, L. Steffen, J.M. Fink, A. Abdumalikov, M. Baur, S. Filipp, M. Da Silva, A. Blais, A. Wallraff, Physical Review Letters 106 (2011).
2011 | Published | Journal Article | IST-REx-ID: 1780
Observation of two-mode squeezing in the microwave frequency domain
C. Eichler, D. Bozyigit, C. Lang, M. Baur, L. Steffen, J.M. Fink, S. Filipp, A. Wallraff, Physical Review Letters 107 (2011).
View
| DOI
C. Eichler, D. Bozyigit, C. Lang, M. Baur, L. Steffen, J.M. Fink, S. Filipp, A. Wallraff, Physical Review Letters 107 (2011).
2011 | Published | Journal Article | IST-REx-ID: 1781
Multimode mediated qubit-qubit coupling and dark-state symmetries in circuit quantum electrodynamics
S. Filipp, M. Göppl, J.M. Fink, M. Baur, R. Bianchetti, L. Steffen, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 83 (2011).
View
| DOI
S. Filipp, M. Göppl, J.M. Fink, M. Baur, R. Bianchetti, L. Steffen, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 83 (2011).