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.
7104 Publications
2011 | Published | Journal Article | IST-REx-ID: 531 |
Verification of STM on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.
[Published Version]
View
| DOI
| Download Published Version (ext.)
R. Guerraoui, T.A. Henzinger, V. Singh, Formal Methods in System Design 39 (2011) 297–331.
2011 | Published | Technical Report | IST-REx-ID: 5379 |
An O(n2) time algorithm for alternating Büchi games
K. Chatterjee, M.H. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M.H. Henzinger, An O(N2) Time Algorithm for Alternating Büchi Games, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5380 |
Bounded rationality in concurrent parity games
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Bounded Rationality in Concurrent Parity Games, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5381 |
Partial-observation stochastic games: How to win when belief fails
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, Partial-Observation Stochastic Games: How to Win When Belief Fails, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5382 |
Robustness of structurally equivalent concurrent parity games
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, Robustness of Structurally Equivalent Concurrent Parity Games, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5383 |
On an efficient decision procedure for imperative tree data structures
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
T. Wies, M. Muñiz, V. Kuncak, On an Efficient Decision Procedure for Imperative Tree Data Structures, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5384 |
Decidable problems for probabilistic automata on infinite words
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, M. Tracol, Decidable Problems for Probabilistic Automata on Infinite Words, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5385 |
Temporal specifications with accumulative values
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
U. Boker, K. Chatterjee, T.A. Henzinger, O. Kupferman, Temporal Specifications with Accumulative Values, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5386 |
Enforcing topological constraints in random field image segmentation
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
C. Chen, D. Freedman, C. Lampert, Enforcing Topological Constraints in Random Field Image Segmentation, IST Austria, 2011.
2011 | Published | Technical Report | IST-REx-ID: 5387 |
Energy and mean-payoff parity Markov decision processes
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
[Published Version]
View
| Files available
| DOI
K. Chatterjee, L. Doyen, Energy and Mean-Payoff Parity Markov Decision Processes, IST Austria, 2011.
2011 | Published | Journal Article | IST-REx-ID: 580
Quantum physics: How to catch a wave
O. Hosten, Nature 474 (2011) 170–171.
View
| DOI
O. Hosten, Nature 474 (2011) 170–171.
2011 | Published | Conference Paper | IST-REx-ID: 585
Methods towards achieving precise birefringent focusing
D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, P. Kwiat, in:, OSA, 2011.
View
| DOI
D. Schmid, S. Hazrat, R. Rangarajan, O. Hosten, S. Quint, P. Kwiat, in:, OSA, 2011.
2011 | Published | Journal Article | IST-REx-ID: 586
Raman lasing with a cold atom gain medium in a high-finesse optical cavity
G. Vrijsen, O. Hosten, J. Lee, S. Bernon, M. Kasevich, Physical Review Letters 107 (2011).
View
| DOI
G. Vrijsen, O. Hosten, J. Lee, S. Bernon, M. Kasevich, Physical Review Letters 107 (2011).
2011 | Published | Journal Article | IST-REx-ID: 597
Molecular architecture of the human Mediator-RNA polymerase II-TFIIF assembly
C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, D. Taatjes, PLoS Biology 9 (2011).
View
| DOI
C. Bernecky, P. Grob, C. Ebmeier, E. Nogales, D. Taatjes, PLoS Biology 9 (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.