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.
2023 Publications
2009 |Published| Conference Paper | IST-REx-ID: 4403 | 
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 |
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: 4544 |
Chatterjee K, De Alfaro L, Henzinger TA. 2009. Termination criteria for solving concurrent safety and reachability games. SODA: Symposium on Discrete Algorithms, 197–206.
View
| Files available
| DOI
| Download (ext.)
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| Technical Report | IST-REx-ID: 5395 |
Chatterjee K, Doyen L, Henzinger TA. 2009. Qualitative analysis of partially-observable Markov decision processes, IST Austria, 20p.
[Published Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 6144
Persson A, Gross E, Laurent P, Busch KE, Bretes H, de Bono M. 2009. Natural variation in a neural globin tunes oxygen sensing in wild Caenorhabditis elegans. Nature. 458(7241), 1030–1033.
View
| DOI
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 1765 |
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 |
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: 2121 |
Van Neerven J, Maas J. 2008. A Clark-Ocone formula in UMD Banach spaces. Electronic Communications in Probability. 13, 151–164.
View
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 2331 |
Hainzl C, Seiringer R. 2008. Spectral properties of the BCS gap equation of superfluidity. QMath: Mathematical Results in Quantum Physics, 117–136.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2376 |
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 |
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: 2377 |
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: 2678
Li X, Kamasawa N, Ciolofan C, Olson C, Lu S, Davidson K, Yasumura T, Shigemoto R, Rash J, Nagy J. 2008. Connexin45-containing neuronal gap junctions in rodent retina also contain connexin36 in both apposing hemiplaques, forming bihomotypic gap junctions, with scaffolding contributed by zonula occludens-1. Journal of Neuroscience. 28(39), 9769–9789.
View
| DOI