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.
3062 Publications
2010 | Conference Paper | IST-REx-ID: 3853 | 
Mean-payoff automaton expressions
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.
2010 | Journal Article | IST-REx-ID: 3842 |
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, IET Systems Biology 4 (2010) 441–452.
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, IET Systems Biology 4 (2010) 441–452.
2010 | Conference Paper | IST-REx-ID: 3856 |
Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, in:, Springer, 2010, pp. 246–257.
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, in:, Springer, 2010, pp. 246–257.
2010 | Conference Paper | IST-REx-ID: 3858 |
The complexity of partial-observation parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.
2010 | Conference Paper | IST-REx-ID: 3860 |
Generalized mean-payoff and energy games
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.
2010 | Conference Paper | IST-REx-ID: 3864 |
Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
View
| Files available
| DOI
| Download Preprint (ext.)
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.
2010 | Conference Paper | IST-REx-ID: 3866 |
Robustness in the presence of liveness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
View
| Files available
| DOI
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.
2010 | Journal Article | IST-REx-ID: 3862 |
Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 11 (2010).
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 11 (2010).
2010 | Journal Article | IST-REx-ID: 3901 |
Computing robustness and persistence for images
P. Bendich, H. Edelsbrunner, M. Kerber, IEEE Transactions of Visualization and Computer Graphics 16 (2010) 1251–1260.
View
| Files available
| DOI
P. Bendich, H. Edelsbrunner, M. Kerber, IEEE Transactions of Visualization and Computer Graphics 16 (2010) 1251–1260.
2010 | Journal Article | IST-REx-ID: 3904 |
Rapid anti-pathogen response in ant societies relies on high genetic diversity
L.V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 277 (2010) 2821–2828.
View
| DOI
| Download None (ext.)
L.V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 277 (2010) 2821–2828.
2010 | Journal Article | IST-REx-ID: 3868 |
Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
View
| Files available
| DOI
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.
2010 | Journal Article | IST-REx-ID: 3863 |
Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, Information and Computation 208 (2010) 1206–1220.
View
| Files available
| DOI
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, Information and Computation 208 (2010) 1206–1220.
2010 | Journal Article | IST-REx-ID: 3861 |
Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.
2010 | Journal Article | IST-REx-ID: 3960 |
MEK signalling tunes actin treadmilling for interstitial lymphocyte migration
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.
View
| DOI
| Download (ext.)
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.
2010 | Journal Article | IST-REx-ID: 4157 |
Spatial organization of adhesion: force-dependent regulation and function in tissue morphogenesis
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
E. Papusheva, C.-P.J. Heisenberg, EMBO Journal 29 (2010) 2753–2768.
2010 | Other Publication | IST-REx-ID: 4340 |
Open bibliographic data
P. Danowski, Open Bibliographic Data, Elsevier, 2010.
View
| Files available
| Download None (ext.)
P. Danowski, Open Bibliographic Data, Elsevier, 2010.
2010 | Book | IST-REx-ID: 4346 |
Handbuch Bibliothek 2.0
P. Danowski, J. Bergmann, Handbuch Bibliothek 2.0, De Gruyter, 2010.
View
| Download Published Version (ext.)
P. Danowski, J. Bergmann, Handbuch Bibliothek 2.0, De Gruyter, 2010.
2010 | Conference Paper | IST-REx-ID: 4361 |
Forward analysis of depth-bounded processes
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
View
| Files available
| DOI
T. Wies, D. Zufferey, T.A. Henzinger, in:, L. Ong (Ed.), Springer, 2010, pp. 94–108.
2010 | Conference Paper | IST-REx-ID: 4369 |
From MTL to deterministic timed automata
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
View
| Files available
| DOI
D. Nickovic, N. Piterman, in:, T.A. Henzinger, K. Chatterjee (Eds.), Springer, 2010, pp. 152–167.
2010 | Conference Paper | IST-REx-ID: 4378 |
Building a calculus of data structures
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
View
| DOI
| Download Submitted Version (ext.)
V. Kuncak, R. Piskac, P. Suter, T. Wies, in:, G. Barthe, M. Hermenegildo (Eds.), Springer, 2010, pp. 26–44.
2010 | Journal Article | IST-REx-ID: 4379 |
Analog property checkers: a DDR2 case study
K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.
View
| DOI
| Download (ext.)
K. Jones, V. Konrad, D. Nickovic, Formal Methods in System Design 36 (2010) 114–130.
2010 | Journal Article | IST-REx-ID: 4243 |
A new model for evolution in a spatial continuum
N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.
View
| Files available
| DOI
N.H. Barton, A. Etheridge, A. Véber, Electronic Journal of Probability 15 (2010) 162–216.
2010 | Book Chapter | IST-REx-ID: 4339 |
Ist Bibliothek 2.0 überhaupt noch relevant? – Eine Einleitung in das Handbuch
J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.
View
| Files available
| DOI
J. Bergmann, P. Danowski, in:, J. Bergmann, P. Danowski (Eds.), Handbuch Bibliothek 2.0, De Gruyter, 2010, pp. 5–20.
2010 | Conference Paper | IST-REx-ID: 4396 |
Shape refinement through explicit heap analysis
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
View
| Files available
| DOI
D. Beyer, T.A. Henzinger, G. Théoduloz, D. Zufferey, in:, D. Rosenblum, G. Taenzer (Eds.), Springer, 2010, pp. 263–277.
2010 | Conference Paper | IST-REx-ID: 4380 |
A marketplace for cloud resources
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.
View
| Files available
| DOI
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, ACM, 2010, pp. 1–8.
2010 | Conference Paper | IST-REx-ID: 4381 |
FlexPRICE: Flexible provisioning of resources in a cloud environment
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
View
| Files available
| DOI
T.A. Henzinger, A. Tomar, V. Singh, T. Wies, D. Zufferey, in:, IEEE, 2010, pp. 83–90.
2010 | Conference Paper | IST-REx-ID: 4382 |
Transactions in the jungle
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
View
| Files available
| DOI
R. Guerraoui, T.A. Henzinger, M. Kapalka, V. Singh, in:, ACM, 2010, pp. 263–272.
2010 | Conference Paper | IST-REx-ID: 4389 |
Robustness of sequential circuits
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
View
| Files available
| DOI
L. Doyen, T.A. Henzinger, A. Legay, D. Nickovic, in:, IEEE, 2010, pp. 77–84.
2010 | Conference Paper | IST-REx-ID: 488 |
Expressiveness of streaming string transducers
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
View
| Files available
| DOI
R. Alur, P. Cerny, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 1–12.
2010 | Conference Paper | IST-REx-ID: 489 |
How do we remember the past in randomised strategies?
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
View
| DOI
| Download Published Version (ext.)
J. Cristau, C. David, F. Horn, in:, Proceedings of GandALF 2010, Open Publishing Association, 2010, pp. 30–39.
2010 | Technical Report | IST-REx-ID: 5391 |
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
View
| Files available
| DOI
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, Model Checking of Linearizability of Concurrent List Implementations, IST Austria, 2010.
2010 | Technical Report | IST-REx-ID: 5390 |
Topological, automata-theoretic and logical characterization of finitary languages
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
View
| Files available
| DOI
K. Chatterjee, N. Fijalkow, Topological, Automata-Theoretic and Logical Characterization of Finitary Languages, IST Austria, 2010.
2010 | Conference Paper | IST-REx-ID: 4393 |
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 235–268.
2010 | Conference Paper | IST-REx-ID: 4390 |
Model checking of linearizability of concurrent list implementations
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
View
| Files available
| DOI
P. Cerny, A. Radhakrishna, D. Zufferey, S. Chaudhuri, R. Alur, in:, Springer, 2010, pp. 465–479.
2010 | Technical Report | IST-REx-ID: 5388 |
Quantitative synthesis for concurrent programs
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
View
| Files available
| DOI
K. Chatterjee, P. Cerny, T.A. Henzinger, A. Radhakrishna, R. Singh, Quantitative Synthesis for Concurrent Programs, IST Austria, 2010.
2010 | Technical Report | IST-REx-ID: 5389 |
Simulation distances
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.
View
| Files available
| DOI
P. Cerny, T.A. Henzinger, A. Radhakrishna, Simulation Distances, IST Austria, 2010.
2010 | Conference Paper | IST-REx-ID: 3855 |
Qualitative analysis of partially-observable Markov Decision Processes
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.
2010 | Conference Paper | IST-REx-ID: 4388 |
GIST: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
View
| Files available
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, in:, Springer, 2010, pp. 665–669.
2010 | Journal Article | IST-REx-ID: 598 |
P53 activates transcription by directing structural shifts in Mediator
K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.
View
| DOI
| Download None (ext.)
K. Meyer, S. Lin, C. Bernecky, Y. Gao, D. Taatjes, Nature Structural and Molecular Biology 17 (2010) 753–760.
2010 | Journal Article | IST-REx-ID: 6142 |
Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010).
View
| Files available
| DOI
| PubMed | Europe PMC
K.P. Weber, S. De, I. Kozarewa, D.J. Turner, M.M. Babu, M. de Bono, PLoS ONE 5 (2010).
2010 | Journal Article | IST-REx-ID: 6320 |
Le problème des diviseurs pour des formes binaires de degré 4
R. de la Bretèche, T.D. Browning, Crelles Journal 2010 (2010) 1–44.
View
| DOI
| Download Preprint (ext.)
| arXiv
R. de la Bretèche, T.D. Browning, Crelles Journal 2010 (2010) 1–44.
2010 | Journal Article | IST-REx-ID: 7078 |
Tin telluride: A weakly co-elastic metal
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
View
| DOI
| Download Preprint (ext.)
| arXiv
E.K.H. Salje, D.J. Safarik, K.A. Modic, J.E. Gubernatis, J.C. Cooley, R.D. Taylor, B. Mihaila, A. Saxena, T. Lookman, J.L. Smith, R.A. Fisher, M. Pasternak, C.P. Opeil, T. Siegrist, P.B. Littlewood, J.C. Lashley, Physical Review B 82 (2010).
2009 | Journal Article | IST-REx-ID: 1038 |
Dark resonances for ground-state transfer of molecular quantum gases
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
View
| DOI
| Download None (ext.)
| arXiv
M. Mark, J.G. Danzl, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Salami, T. Bergeman, H. Ritsch, R. Hart, H. Nägerl, Applied Physics B: Lasers and Optics 95 (2009) 219–225.
2009 | Journal Article | IST-REx-ID: 1040 |
Realization of an excited, strongly correlated quantum gas Phase
E. Haller, M. Gustavsson, M. Mark, J.G. Danzl, R. Hart, G. Pupillo, H. Nägerl, Science 325 (2009) 1224–1227.
View
| DOI
| Download None (ext.)
| arXiv
E. Haller, M. Gustavsson, M. Mark, J.G. Danzl, R. Hart, G. Pupillo, H. Nägerl, Science 325 (2009) 1224–1227.
2009 | Journal Article | IST-REx-ID: 1041 |
Deeply bound ultracold molecules in an optical lattice
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).
View
| DOI
| Download None (ext.)
| arXiv
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, R. Hart, A. Liem, H. Zellmer, H. Nägerl, New Journal of Physics 11 (2009).
2009 | Journal Article | IST-REx-ID: 1043 |
Precision molecular spectroscopy for ground state transfer of molecular quantum gases
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Ritsch, R. Hart, H. Nägerl, Faraday Discussions 142 (2009) 283–295.
View
| DOI
| Download Preprint (ext.)
| arXiv
J.G. Danzl, M. Mark, E. Haller, M. Gustavsson, N. Bouloufa, O. Dulieu, H. Ritsch, R. Hart, H. Nägerl, Faraday Discussions 142 (2009) 283–295.
2009 | Book Chapter | IST-REx-ID: 164 |
Integral points on cubic hypersurfaces
T.D. Browning, R. Heath Brown, in:, Analytic Number Theory: Essays in Honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
View
| Download Preprint (ext.)
| arXiv
T.D. Browning, R. Heath Brown, in:, Analytic Number Theory: Essays in Honour of Klaus Roth, Cambridge University Press, 2009, pp. 75–90.
2009 | Journal Article | IST-REx-ID: 1766 |
Using sideband transitions for two-qubit operations in superconducting circuits
P. Leek, S. Filipp, P. Maurer, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, A. Wallraff, Physical Review B - Condensed Matter and Materials Physics 79 (2009).
View
| DOI
| Download (ext.)
P. Leek, S. Filipp, P. Maurer, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, A. Wallraff, Physical Review B - Condensed Matter and Materials Physics 79 (2009).
2009 | Journal Article | IST-REx-ID: 1767 |
Measurement of autler-townes and mollow transitions in a strongly driven superconducting qubit
M. Baur, S. Filipp, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, P. Leek, A. Blais, A. Wallraff, Physical Review Letters 102 (2009).
View
| DOI
| Download (ext.)
M. Baur, S. Filipp, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, P. Leek, A. Blais, A. Wallraff, Physical Review Letters 102 (2009).
2009 | Journal Article | IST-REx-ID: 1768 |
Two-qubit state tomography using a joint dispersive readout
S. Filipp, P. Maurer, P. Leek, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, J. Gambetta, A. Blais, A. Wallraff, Physical Review Letters 102 (2009).
View
| DOI
| Download (ext.)
S. Filipp, P. Maurer, P. Leek, M. Baur, R. Bianchetti, J.M. Fink, M. Göppl, L. Steffen, J. Gambetta, A. Blais, A. Wallraff, Physical Review Letters 102 (2009).
2009 | Journal Article | IST-REx-ID: 1769 |
Dressed collective qubit states and the Tavis-Cummings model in circuit QED
J.M. Fink, R. Bianchetti, M. Baur, M. Göppl, L. Steffen, S. Filipp, P. Leek, A. Blais, A. Wallraff, Physical Review Letters 103 (2009).
View
| DOI
| Download (ext.)
J.M. Fink, R. Bianchetti, M. Baur, M. Göppl, L. Steffen, S. Filipp, P. Leek, A. Blais, A. Wallraff, Physical Review Letters 103 (2009).
2009 | Journal Article | IST-REx-ID: 1770 |
Dynamics of dispersive single-qubit readout in circuit quantum electrodynamics
R. Bianchetti, S. Filipp, M. Baur, J.M. Fink, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 80 (2009).
View
| DOI
| Download (ext.)
R. Bianchetti, S. Filipp, M. Baur, J.M. Fink, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physical Review A - Atomic, Molecular, and Optical Physics 80 (2009).
2009 | Journal Article | IST-REx-ID: 1771 |
Thermal excitation of multi-photon dressed states in circuit quantum electrodynamics
J.M. Fink, M. Baur, R. Bianchetti, S. Filipp, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physica Scripta T T137 (2009).
View
| DOI
| Download (ext.)
J.M. Fink, M. Baur, R. Bianchetti, S. Filipp, M. Göppl, P. Leek, L. Steffen, A. Blais, A. Wallraff, Physica Scripta T T137 (2009).
2009 | Journal Article | IST-REx-ID: 1825 |
Adaptive response by state-dependent inactivation
T. Friedlander, N. Brenner, PNAS 106 (2009) 22558–22563.
View
| DOI
| Download (ext.)
T. Friedlander, N. Brenner, PNAS 106 (2009) 22558–22563.
2009 | Journal Article | IST-REx-ID: 2119 |
Boundedness of Riesz transforms for elliptic operators on abstract Wiener spaces
J. Maas, J. Van Neerven, Journal of Functional Analysis 257 (2009) 2410–2475.
View
| DOI
| Download (ext.)
J. Maas, J. Van Neerven, Journal of Functional Analysis 257 (2009) 2410–2475.
2009 | Journal Article | IST-REx-ID: 2137 |
Rotational structure of weakly bound molecular ions
M. Lemeshko, B. Frierich, Journal of Atomic and Molecular Sciences 1 (2009) 41–47.
View
| DOI
| Download (ext.)
M. Lemeshko, B. Frierich, Journal of Atomic and Molecular Sciences 1 (2009) 41–47.
2009 | Journal Article | IST-REx-ID: 2149 |
Collisions of paramagnetic molecules in magnetic fields: An analytic model based on Fraunhofer diffraction of matter waves
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
View
| DOI
| Download (ext.)
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
2009 | Journal Article | IST-REx-ID: 2150 |
The effect of a nonresonant radiative field on low-energy rotationally inelastic Na+ + N2 collisions
M. Lemeshko, B. Friedrich, International Journal of Mass Spectrometry 280 (2009) 19–25.
View
| DOI
| Download (ext.)
M. Lemeshko, B. Friedrich, International Journal of Mass Spectrometry 280 (2009) 19–25.
2009 | Journal Article | IST-REx-ID: 2191 |
Rotational and rotationless states of weakly bound molecules
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
View
| DOI
| Download (ext.)
M. Lemeshko, B. Friedrich, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
2009 | Journal Article | IST-REx-ID: 2192 |
Model analysis of rotationally inelastic Ar + H2O scattering in an electric field
M. Lemeshko, B. Friedrich, Journal of Physical Chemistry A 113 (2009) 15055–15063.
View
| DOI
| Download (ext.)
M. Lemeshko, B. Friedrich, Journal of Physical Chemistry A 113 (2009) 15055–15063.
2009 | Journal Article | IST-REx-ID: 2193 |
Probing weakly bound molecules with nonresonant light
M. Lemeshko, B. Friedrich, Physical Review Letters 103 (2009).
View
| DOI
| Download (ext.)
M. Lemeshko, B. Friedrich, Physical Review Letters 103 (2009).
2009 | Journal Article | IST-REx-ID: 229 |
Linear growth for Châtelet surfaces
T.D. Browning, Mathematische Annalen 346 (2009) 41–50.
View
| DOI
| Download (ext.)
T.D. Browning, Mathematische Annalen 346 (2009) 41–50.
2009 | Journal Article | IST-REx-ID: 228 |
Rational points on quartic hypersurfaces
T.D. Browning, R. Heath Brown, Journal Fur Die Reine Und Angewandte Mathematik (2009) 37–88.
View
| DOI
| Download (ext.)
T.D. Browning, R. Heath Brown, Journal Fur Die Reine Und Angewandte Mathematik (2009) 37–88.
2009 | Journal Article | IST-REx-ID: 2384 |
The ground state energy of the weakly interacting Bose gas at high density
A. Giuliani, R. Seiringer, Journal of Statistical Physics 135 (2009) 915–934.
View
| DOI
| Download (ext.)
A. Giuliani, R. Seiringer, Journal of Statistical Physics 135 (2009) 915–934.
2009 | Journal Article | IST-REx-ID: 2385 |
Yrast line of a rapidly rotating Bose gas: Gross-Pitaevskii regime
É. Lieb, R. Seiringer, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
View
| DOI
| Download (ext.)
É. Lieb, R. Seiringer, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 79 (2009).
2009 | Journal Article | IST-REx-ID: 2386 |
Rigorous upper bound on the critical temperature of dilute Bose gases
R. Seiringer, D. Ueltschi, Physical Review B - Condensed Matter and Materials Physics 80 (2009).
View
| DOI
| Download (ext.)
R. Seiringer, D. Ueltschi, Physical Review B - Condensed Matter and Materials Physics 80 (2009).
2009 | Journal Article | IST-REx-ID: 2387 |
Strongly correlated phases in rapidly rotating Bose gases
M. Lewin, R. Seiringer, Journal of Statistical Physics 137 (2009) 1040–1062.
View
| DOI
| Download (ext.)
M. Lewin, R. Seiringer, Journal of Statistical Physics 137 (2009) 1040–1062.
2009 | Journal Article | IST-REx-ID: 2388 |
Probabilistic coherence and proper scoring rules
J. Predd, R. Seiringer, É. Lieb, D. Osherson, H. Poor, S. Kulkarni, IEEE Transactions on Information Theory 55 (2009) 4786–4792.
View
| DOI
| Download (ext.)
J. Predd, R. Seiringer, É. Lieb, D. Osherson, H. Poor, S. Kulkarni, IEEE Transactions on Information Theory 55 (2009) 4786–4792.
2009 | Conference Paper | IST-REx-ID: 2433 |
Hardness of embedding simplicial complexes in ℝd
J. Matoušek, M. Tancer, U. Wagner, in:, SIAM, 2009, pp. 855–864.
View
| Download (ext.)
J. Matoušek, M. Tancer, U. Wagner, in:, SIAM, 2009, pp. 855–864.
2009 | Journal Article | IST-REx-ID: 2499 |
Crosstalk between GABAB and mGlu1a receptors reveals new insight into GPCR signal integration
M. Rives, C. Vol, Y. Fukazawa, N. Tinel, E. Trinquet, M. Ayoub, R. Shigemoto, J. Pin, L. Prezèau, EMBO Journal 28 (2009) 2195–2208.
View
| DOI
| Download (ext.)
M. Rives, C. Vol, Y. Fukazawa, N. Tinel, E. Trinquet, M. Ayoub, R. Shigemoto, J. Pin, L. Prezèau, EMBO Journal 28 (2009) 2195–2208.
2009 | Journal Article | IST-REx-ID: 3051 |
SnapShot: Auxin signaling and transport
D. Weijers, J. Friml, Cell 136 (2009) 1172–1172.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D. Weijers, J. Friml, Cell 136 (2009) 1172–1172.
2009 | Journal Article | IST-REx-ID: 3052 |
Auxin: A trigger for change in plant development
S. Vanneste, J. Friml, Cell 136 (2009) 1005–1016.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Vanneste, J. Friml, Cell 136 (2009) 1005–1016.
2009 | Journal Article | IST-REx-ID: 3057 |
Auxin transport routes in plant development
J. Petrášek, J. Friml, Development 136 (2009) 2675–2688.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Petrášek, J. Friml, Development 136 (2009) 2675–2688.
2009 | Journal Article | IST-REx-ID: 3061 |
The PIN-FORMED (PIN) protein family of auxin transporters
P. Křeček, P. Skůpa, J. Libus, S. Naramoto, R. Tejos, J. Friml, E. Zažímalová, Genome Biology 10 (2009).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P. Křeček, P. Skůpa, J. Libus, S. Naramoto, R. Tejos, J. Friml, E. Zažímalová, Genome Biology 10 (2009).
2009 | Journal Article | IST-REx-ID: 3197 |
An analysis of convex relaxations for MAP estimation of discrete MRFs
M.P. Kumar, V. Kolmogorov, P. Torr, Journal of Machine Learning Research 10 (2009) 71–106.
View
| Download (ext.)
M.P. Kumar, V. Kolmogorov, P. Torr, Journal of Machine Learning Research 10 (2009) 71–106.
2009 | Conference Paper | IST-REx-ID: 3503 |
Probabilistic systems with limsup and liminf objectives
K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.
View
| DOI
| Download (ext.)
K. Chatterjee, T.A. Henzinger, in:, Springer, 2009, pp. 32–45.
2009 | Conference Paper | IST-REx-ID: 4542 |
Alternating weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 3–13.
2009 | Conference Paper | IST-REx-ID: 4544 |
Termination criteria for solving concurrent safety and reachability games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
View
| Files available
| DOI
| Download (ext.)
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2009, pp. 197–206.
2009 | Conference Paper | IST-REx-ID: 4545 |
A survey of stochastic games with limsup and liminf objectives
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 1–15.
2009 | Conference Paper | IST-REx-ID: 4569 |
Better quality in synthesis through quantitative objectives
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Bloem, K. Chatterjee, T.A. Henzinger, B. Jobstmann, in:, Springer, 2009, pp. 140–156.
2009 | Conference Paper | IST-REx-ID: 4580 |
Alpaga: A tool for solving parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
View
| Files available
| DOI
| Download (ext.)
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.
2009 | Preprint | IST-REx-ID: 3732 |
Spin glass models for a network of real neurons
G. Tkačik, E. Schneidman, M. Berry, W. Bialek, ArXiv q-NC (2009).
View
| Download (ext.)
G. Tkačik, E. Schneidman, M. Berry, W. Bialek, ArXiv q-NC (2009).
2009 | Journal Article | IST-REx-ID: 3775 |
On the application of statistical physics to evolutionary biology
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.
View
| DOI
| Download Submitted Version (ext.)
N.H. Barton, J. Coe, Journal of Theoretical Biology 259 (2009) 317–324.
2009 | Journal Article | IST-REx-ID: 3780 |
The effect of chirality phenotype and genotype on the fecundity and viability of Partula suturalis and Lymnaea stagnalis: Implications for the evolution of sinistral snails
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
View
| Files available
| DOI
A. Davison, N.H. Barton, B. Clarke, Journal of Evolutionary Biology 22 (2009) 1624–1635.
2009 | Conference Paper | IST-REx-ID: 3837 |
On relational interfaces
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
View
| Files available
| DOI
S. Tripakis, B. Lickly, T.A. Henzinger, E. Lee, in:, EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, ACM, 2009, pp. 67–76.
2009 | Conference Paper | IST-REx-ID: 3841 |
Formalisms for specifying Markovian population models
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
View
| Files available
| DOI
T.A. Henzinger, B. Jobstmann, V. Wolf, in:, Springer, 2009, pp. 3–23.
2009 | Conference Paper | IST-REx-ID: 3843 |
Fast adaptive uniformization of the chemical master equation
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
View
| Files available
| DOI
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2009, pp. 118–127.
2009 | Conference Paper | IST-REx-ID: 3844 |
Distributed, modular HTL
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
View
| Files available
| DOI
T.A. Henzinger, C. Kirsch, E. Marques, A. Sokolova, in:, IEEE, 2009, pp. 171–180.
2009 | Journal Article | IST-REx-ID: 3946 |
Analogies in the evolution of individual and social immunity
S. Cremer, M.K. Sixt, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 364 (2009) 129–142.
View
| DOI
| Download None (ext.)
S. Cremer, M.K. Sixt, Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 364 (2009) 129–142.
2009 | Journal Article | IST-REx-ID: 3870 |
Finitary winning in omega-regular games
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, ACM Transactions on Computational Logic (TOCL) 11 (2009).
2009 | Conference Paper | IST-REx-ID: 3871 |
Probabilistic weighted automata
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 244–258.
2009 | Conference Paper | IST-REx-ID: 3968 |
The persistent Morse complex segmentation of a 3-manifold
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
View
| Files available
| DOI
H. Edelsbrunner, J. Harer, in:, Springer, 2009, pp. 36–50.
2009 | Journal Article | IST-REx-ID: 4136 |
Species' range: Adaptation in space and time
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Polechova, N.H. Barton, G. Marion, American Naturalist 174 (2009) E186–E204.
2009 | Journal Article | IST-REx-ID: 4242 |
The evolution of strong reproductive isolation
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
View
| Files available
| DOI
N.H. Barton, M. De Cara, Evolution; International Journal of Organic Evolution 63 (2009) 1171–1190.
2009 | Conference Paper | IST-REx-ID: 4383 |
Software transactional memory on relaxed memory models
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
View
| Files available
| DOI
R. Guerraoui, T.A. Henzinger, V. Singh, in:, Springer, 2009, pp. 321–336.
2009 | Conference Paper | IST-REx-ID: 4403 |
Algorithmic analysis of array-accessing programs
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
View
| Files available
| DOI
| Download Submitted Version (ext.)
R. Alur, P. Cerny, S. Weinstein, in:, Springer, 2009, pp. 86–101.
2009 | Conference Paper | IST-REx-ID: 4453 |
Sliding-window abstraction for infinite Markov chains
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
View
| Files available
| DOI
| Download (ext.)
T.A. Henzinger, M. Mateescu, V. Wolf, in:, Springer, 2009, pp. 337–352.
2009 | Technical Report | IST-REx-ID: 5393 |
Gist: A solver for probabilistic games
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, B. Jobstmann, A. Radhakrishna, Gist: A Solver for Probabilistic Games, IST Austria, 2009.
2009 | Technical Report | IST-REx-ID: 5394 |
Improved lower bounds for request-response and finitary Streett games
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
View
| Files available
| DOI
K. Chatterjee, T.A. Henzinger, F. Horn, Improved Lower Bounds for Request-Response and Finitary Streett Games, IST Austria, 2009.
2009 | Technical Report | IST-REx-ID: 5395 |
Qualitative analysis of partially-observable Markov decision processes
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.
View
| Files available
| DOI
K. Chatterjee, L. Doyen, T.A. Henzinger, Qualitative Analysis of Partially-Observable Markov Decision Processes, IST Austria, 2009.