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.

3473 Publications


2009 | Conference Paper | IST-REx-ID: 3837 | OA
Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “On Relational Interfaces.” In EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, 67–76. ACM, 2009. https://doi.org/10.1145/1629335.1629346.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3841 | OA
Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models,” 5797:3–23. Springer, 2009. https://doi.org/10.1007/978-3-642-04420-5_2.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3843 | OA
Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation,” 4:118–27. IEEE, 2009. https://doi.org/10.1109/HiBi.2009.23.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3844 | OA
Henzinger, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,” 171–80. IEEE, 2009. https://doi.org/10.1109/RTSS.2009.9.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3870 | OA
Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.” ACM Transactions on Computational Logic (TOCL). ACM, 2009. https://doi.org/10.1145/1614431.1614432.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 3871 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Probabilistic Weighted Automata,” 5710:244–58. Springer, 2009. https://doi.org/10.1007/978-3-642-04081-8_17.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 3946 | OA
Cremer, Sylvia, and Michael K Sixt. “Analogies in the Evolution of Individual and Social Immunity.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. Royal Society, The, 2009. https://doi.org/10.1098/rstb.2008.0166.
View | DOI | Download None (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3968 | OA
Edelsbrunner, Herbert, and John Harer. “The Persistent Morse Complex Segmentation of a 3-Manifold,” 5903:36–50. Springer, 2009. https://doi.org/10.1007/978-3-642-10470-1_4.
View | Files available | DOI
 

2009 | Journal Article | IST-REx-ID: 4136 | OA
Polechova, Jitka, Nicholas H Barton, and Glenn Marion. “Species’ Range: Adaptation in Space and Time.” American Naturalist. University of Chicago Press, 2009. https://doi.org/10.1086/605958.
View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 4242 | OA
Barton, Nicholas H, and Maria De Cara. “The Evolution of Strong Reproductive Isolation.” Evolution; International Journal of Organic Evolution. Wiley, 2009. https://doi.org/10.1111/j.1558-5646.2009.00622.x.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4383 | OA
Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,” 5643:321–36. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_26.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4403 | OA
Alur, Rajeev, Pavol Cerny, and Scott Weinstein. “Algorithmic Analysis of Array-Accessing Programs,” 5771:86–101. Springer, 2009. https://doi.org/10.1007/978-3-642-04027-6_9.
View | Files available | DOI | Download Submitted Version (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4453 | OA
Henzinger, Thomas A, Maria Mateescu, and Verena Wolf. “Sliding-Window Abstraction for Infinite Markov Chains,” 5643:337–52. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_27.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4542 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,” 5699:3–13. Springer, 2009. https://doi.org/10.1007/978-3-642-03409-1_2.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4544 | OA
Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Termination Criteria for Solving Concurrent Safety and Reachability Games,” 197–206. SIAM, 2009. https://doi.org/10.1137/1.9781611973068.23.
View | Files available | DOI | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 4545 | OA
Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,” 5556:1–15. Springer, 2009. https://doi.org/10.1007/978-3-642-02930-1_1.
View | Files available | DOI
 

2009 | Conference Paper | IST-REx-ID: 4569 | OA
Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,” 5643:140–56. Springer, 2009. https://doi.org/10.1007/978-3-642-02658-4_14.
View | DOI | Download Preprint (ext.) | arXiv
 

2009 | Conference Paper | IST-REx-ID: 4580 | OA
Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,” 5505:58–61. Springer, 2009. https://doi.org/10.1007/978-3-642-00768-2_7.
View | Files available | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 3051 | OA
Weijers, Dolf, and Jiří Friml. “SnapShot: Auxin Signaling and Transport.” Cell. Cell Press, 2009. https://doi.org/10.1016/j.cell.2009.03.009.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3052 | OA
Vanneste, Steffen, and Jiří Friml. “Auxin: A Trigger for Change in Plant Development.” Cell. Cell Press, 2009. https://doi.org/10.1016/j.cell.2009.03.001.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3057 | OA
Petrášek, Jan, and Jiří Friml. “Auxin Transport Routes in Plant Development.” Development. Company of Biologists, 2009. https://doi.org/10.1242/dev.030353.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3061 | OA
Křeček, Pavel, Petr Skůpa, Jiří Libus, Satoshi Naramoto, Ricardo Tejos, Jiří Friml, and Eva Zažímalová. “The PIN-FORMED (PIN) Protein Family of Auxin Transporters.” Genome Biology. BioMed Central, 2009. https://doi.org/10.1186/gb-2009-10-12-249.
View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2009 | Journal Article | IST-REx-ID: 3197 | OA
Kumar, M Pawan, Vladimir Kolmogorov, and Philip Torr. “An Analysis of Convex Relaxations for MAP Estimation of Discrete MRFs.” Journal of Machine Learning Research. Microtome Publishing, 2009.
View | Download (ext.)
 

2009 | Conference Paper | IST-REx-ID: 3503 | OA
Chatterjee, Krishnendu, and Thomas A Henzinger. “Probabilistic Systems with Limsup and Liminf Objectives,” 5489:32–45. Springer, 2009. https://doi.org/10.1007/978-3-642-03092-5_4.
View | DOI | Download (ext.)
 

2009 | Journal Article | IST-REx-ID: 9453 | OA
Hsieh, Tzung-Fu, Christian A. Ibarra, Pedro Silva, Assaf Zemach, Leor Eshed-Williams, Robert L. Fischer, and Daniel ZILBERMAN. “Genome-Wide Demethylation of Arabidopsis Endosperm.” Science. American Association for the Advancement of Science, 2009. https://doi.org/10.1126/science.1172417.
View | DOI | Download Submitted Version (ext.) | PubMed | Europe PMC
 

2008 | Conference Paper | IST-REx-ID: 2331 | OA
Hainzl, Christian, and Robert Seiringer. “ Spectral Properties of the BCS Gap Equation of Superfluidity,” 117–36. World Scientific Publishing, 2008. https://doi.org/10.1142/9789812832382_0009.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2332 | OA
Seiringer, Robert. “Vortices and Spontaneous Symmetry Breaking in Rotating Bose Gases,” 241–54. World Scientific Publishing, 2008. https://doi.org/10.1142/9789812832382_0017.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2374 | OA
Seiringer, Robert. “Free Energy of a Dilute Bose Gas: Lower Bound.” Communications in Mathematical Physics. Springer, 2008. https://doi.org/10.1007/s00220-008-0428-2.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2376 | OA
Hainzl, Christian, and Robert Seiringer. “Critical Temperature and Energy Gap for the BCS Equation.” Physical Review B - Condensed Matter and Materials Physics. American Physical Society, 2008. https://doi.org/10.1103/PhysRevB.77.184517.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2377 | OA
Hainzl, Christian, and Robert Seiringer. “The BCS Critical Temperature for Potentials with Negative Scattering Length.” Letters in Mathematical Physics. Springer, 2008. https://doi.org/10.1007/s11005-008-0242-y.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2378 | OA
Seiringer, Robert, and Jun Yin. “Ground State Energy of the Low Density Hubbard Model.” Journal of Statistical Physics. Springer, 2008. https://doi.org/10.1007/s10955-008-9527-x.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2379 | OA
Frank, Rupert, Élliott Lieb, and Robert Seiringer. “Hardy-Lieb-Thirring Inequalities for Fractional Schrödinger Operators.” Journal of the American Mathematical Society. American Mathematical Society, 2008. https://doi.org/10.1090/S0894-0347-07-00582-6.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2380 | OA
Hainzl, Christian, Eman Hamza, Robert Seiringer, and Jan Solovej. “The BCS Functional for General Pair Interactions.” Communications in Mathematical Physics. Springer, 2008. https://doi.org/10.1007/s00220-008-0489-2.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2381 | OA
Frank, Rupert, and Robert Seiringer. “Non-Linear Ground State Representations and Sharp Hardy Inequalities.” Journal of Functional Analysis. Academic Press, 2008. https://doi.org/10.1016/j.jfa.2008.05.015.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2382 | OA
Seiringer, Robert, and Jun Yin. “The Lieb-Liniger Model as a Limit of Dilute Bosons in Three Dimensions.” Communications in Mathematical Physics. Springer, 2008. https://doi.org/10.1007/s00220-008-0521-6.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2383 | OA
Hainzl, Christian, Mathieu Lewin, and Robert Seiringer. “A Nonlinear Model for Relativistic Electrons at Positive Temperature.” Reviews in Mathematical Physics. World Scientific Publishing, 2008. https://doi.org/10.1142/S0129055X08003547.
View | DOI | Download (ext.)
 

2008 | Conference Paper | IST-REx-ID: 2702 | OA
Erdös, László, Manfred Salmhofer, and Horng Yau. “Feynman Graphs and Renormalization in Quantum Diffusion,” 167–82. World Scientific Publishing, 2008. https://doi.org/10.1142/9789812833556_0011.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1763 | OA
Fink, Johannes M, M Göppl, Matthias Baur, R Bianchetti, Peter Leek, Alexandre Blais, and Andreas Wallraff. “Climbing the Jaynes-Cummings Ladder and Observing Its √n Nonlinearity in a Cavity QED System.” Nature. Nature Publishing Group, 2008. https://doi.org/10.1038/nature07112.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1765 | OA
Göppl, M, A Fragner, Matthias Baur, R Bianchetti, Stefan Filipp, Johannes M Fink, Peter Leek, G Puebla, L. Steffen, and Andreas Wallraff. “Coplanar Waveguide Resonators for Circuit Quantum Electrodynamics.” Journal of Applied Physics. American Institute of Physics, 2008. https://doi.org/10.1063/1.3010859.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2120 | OA
Maas, Jan, and Jan Van Neerven. “On the Domain of Non-Symmetric Ornstein-Uhlenbeck Operators in Banach Spaces.” Infinite Dimensional Analysis, Quantum Probability and Related Topics. World Scientific Publishing, 2008. https://doi.org/10.1142/S0219025708003245.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2121 | OA
Van Neerven, Jan, and Jan Maas. “A Clark-Ocone Formula in UMD Banach Spaces.” Electronic Communications in Probability. Institute of Mathematical Statistics, 2008.
View | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 2146 | OA
Lemeshko, Mikhail, and Břetislav Friedrich. “An Analytic Model of Rotationally Inelastic Collisions of Polar Molecules in Electric Fields.” Journal of Chemical Physics. American Institute of Physics, 2008. https://doi.org/10.1063/1.2948392.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 6146 | OA
Bretscher, A. J., K. E. Busch, and Mario de Bono. “A Carbon Dioxide Avoidance Behavior Is Integrated with Responses to Ambient Oxygen and Food in Caenorhabditis Elegans.” Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences, 2008. https://doi.org/10.1073/pnas.0707607105.
View | Files available | DOI | PubMed | Europe PMC
 

2008 | Journal Article | IST-REx-ID: 1460 | OA
Hausel, Tamás, and Fernando Rodríguez Villegas. “Mixed Hodge Polynomials of Character Varieties: With an Appendix by Nicholas M. Katz.” Inventiones Mathematicae. Springer, 2008. https://doi.org/10.1007/s00222-008-0142-x.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 1036 | OA
Gustavsson, Mattias, Elmar Haller, Manfred Mark, Johann G Danzl, Gabriel Rojas Kopeinig, and Hanns Nägerl. “Control of Interaction-Induced Dephasing of Bloch Oscillations.” Physical Review Letters. American Physical Society, 2008. https://doi.org/10.1103/PhysRevLett.100.080404.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1037 | OA
Knoop, Steven, Michael Mark, Francesca Ferlaino, Johann G Danzl, Tobias Kraemer, Hanns Nägerl, and Rudolf Grimm. “Metastable Feshbach Molecules in High Rotational States.” Physical Review Letters. American Physical Society, 2008. https://doi.org/10.1103/PhysRevLett.100.083002.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 1039 | OA
Danzl, Johann G, Elmar Haller, Mattias Gustavsson, Manfred Mark, Russell Hart, Nadia Bouloufa, Olivier Dulieu, Helmut Ritsch, and Hanns Nägerl. “Quantum Gas of Deeply Bound Ground State Molecules.” Science. American Association for the Advancement of Science, 2008. https://doi.org/10.1126/science.1159909.
View | DOI | Download None (ext.) | arXiv
 

2008 | Journal Article | IST-REx-ID: 965 | OA
Morozov, Alexei, and Maksym Serbyn. “Nonlinear Algebra and Bogoliubov’s Recursion.” Theoretical and Mathematical Physics. Elsevier, 2008. https://doi.org/10.1007/s11232-008-0026-7.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3734 | OA
Tkačik, Gašper, Thomas Gregor, and William Bialek. “The Role of Input Noise in Transcriptional Regulation.” PLoS One. Public Library of Science, 2008. https://doi.org/10.1371/journal.pone.0002774.
View | DOI | Download (ext.)
 

2008 | Journal Article | IST-REx-ID: 3740 | OA
Tkačik, Gašper, Curtis Callan, and William Bialek. “Information Flow and Optimization in Transcriptional Regulation.” PNAS. National Academy of Sciences, 2008. https://doi.org/10.1073/pnas.0806077105.
View | DOI | Download (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications