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.
1481 Publications
2009 |Published| Conference Paper | IST-REx-ID: 4403 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alur R, Cerny P, Weinstein S. 2009. Algorithmic analysis of array-accessing programs. CSL: Computer Science Logic, LNCS, vol. 5771, 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4542 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4540
Chatterjee K, Doyen L, Henzinger TA. 2009. Expressiveness and closure properties for quantitative languages. LICS: Logic in Computer Science, 199–208.
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 88 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Higginbotham AP, Semonin O, Bruce S, Chan C, Maindi M, Donnelly T, Maurer M, Bang W, Churina I., Osterholz J, Kim I, Bernstein A, Ditmire T. 2009. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 80(6), 063503.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 13421
Olson MA, Braunschweig AB, Fang L, Ikeda T, Klajn R, Trabolsi A, Wesson PJ, Benítez D, Mirkin CA, Grzybowski BA, Stoddart JF. 2009. A bistable poly[2]catenane forms nanosuperstructures. Angewandte Chemie International Edition. 48(10), 1792–1797.
View
| DOI
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 12656
Pellicciotti F, Helbing J, Rivera A, Favier V, Corripio J, Araos J, Sicart J-E, Carenzo M. 2008. A study of the energy balance and melt regime on Juncal Norte Glacier, semi-arid Andes of central Chile, using melt models of different complexity. Hydrological Processes. 22(19), 3980–3997.
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 1460 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hausel T, Rodríguez Villegas F. 2008. Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz. Inventiones Mathematicae. 174(3), 555–624.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 1765 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Göppl M, Fragner A, Baur M, Bianchetti R, Filipp S, Fink JM, Leek P, Puebla G, Steffen L, Wallraff A. 2008. Coplanar waveguide resonators for circuit quantum electrodynamics. Journal of Applied Physics. 104(11).
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2120 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Maas J, Van Neerven J. 2008. On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces. Infinite Dimensional Analysis, Quantum Probability and Related Topics. 11(4), 603–626.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2376 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hainzl C, Seiringer R. 2008. Critical temperature and energy gap for the BCS equation. Physical Review B - Condensed Matter and Materials Physics. 77(18).
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2374 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Seiringer R. 2008. Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. 279(3), 595–636.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2382 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Seiringer R, Yin J. 2008. The Lieb-Liniger model as a limit of dilute bosons in three dimensions. Communications in Mathematical Physics. 284(2), 459–479.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2380 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hainzl C, Hamza E, Seiringer R, Solovej J. 2008. The BCS functional for general pair interactions. Communications in Mathematical Physics. 281(2), 349–367.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2377 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hainzl C, Seiringer R. 2008. The BCS critical temperature for potentials with negative scattering length. Letters in Mathematical Physics. 84(2–3), 99–107.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2679
Antal M, Fukazawa Y, Eördögh M, Muszil D, Molnár E, Itakura M, Takahashi M, Shigemoto R. 2008. Numbers, densities, and colocalization of AMPA- and NMDA-type glutamate receptors at individual synapses in the superficial spinal dorsal horn of rats. Journal of Neuroscience. 28(39), 9692–9701.
View
| DOI