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 | 
R. Alur, P. Cerny, and S. Weinstein, “Algorithmic analysis of array-accessing programs,” presented at the CSL: Computer Science Logic, Coimbra, Portugal, 2009, vol. 5771, pp. 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4542 |
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Alternating weighted automata,” presented at the FCT: Fundamentals of Computation Theory, Wroclaw, Poland, 2009, vol. 5699, pp. 3–13.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4540
K. Chatterjee, L. Doyen, and T. A. Henzinger, “Expressiveness and closure properties for quantitative languages,” presented at the LICS: Logic in Computer Science, 2009, pp. 199–208.
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 88 |
A. P. Higginbotham et al., “Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments,” Review of Scientific Instruments, vol. 80, no. 6. American Institute of Physics, 2009.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 8476
J. Farjon, J. Boisbouvier, P. Schanda, A. Pardi, J.-P. Simorre, and B. Brutscher, “Longitudinal-relaxation-enhanced NMR experiments for the study of nucleic acids in solution,” Journal of the American Chemical Society, vol. 131, no. 24. American Chemical Society, pp. 8571–8577, 2009.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 13421
M. A. Olson et al., “A bistable poly[2]catenane forms nanosuperstructures,” Angewandte Chemie International Edition, vol. 48, no. 10. Wiley, pp. 1792–1797, 2009.
View
| DOI
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 12656
F. Pellicciotti et al., “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, vol. 22, no. 19. Wiley, pp. 3980–3997, 2008.
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 1460 |
T. Hausel and F. Rodríguez Villegas, “Mixed Hodge polynomials of character varieties: With an appendix by Nicholas M. Katz,” Inventiones Mathematicae, vol. 174, no. 3. Springer, pp. 555–624, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 1765 |
M. Göppl et al., “Coplanar waveguide resonators for circuit quantum electrodynamics,” Journal of Applied Physics, vol. 104, no. 11. American Institute of Physics, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2120 |
J. Maas and J. Van Neerven, “On the domain of non-symmetric Ornstein-Uhlenbeck operators in banach spaces,” Infinite Dimensional Analysis, Quantum Probability and Related Topics, vol. 11, no. 4. World Scientific Publishing, pp. 603–626, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2376 |
C. Hainzl and R. Seiringer, “Critical temperature and energy gap for the BCS equation,” Physical Review B - Condensed Matter and Materials Physics, vol. 77, no. 18. American Physical Society, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2374 |
R. Seiringer, “Free energy of a dilute Bose gas: Lower bound,” Communications in Mathematical Physics, vol. 279, no. 3. Springer, pp. 595–636, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2382 |
R. Seiringer and J. Yin, “The Lieb-Liniger model as a limit of dilute bosons in three dimensions,” Communications in Mathematical Physics, vol. 284, no. 2. Springer, pp. 459–479, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2380 |
C. Hainzl, E. Hamza, R. Seiringer, and J. Solovej, “The BCS functional for general pair interactions,” Communications in Mathematical Physics, vol. 281, no. 2. Springer, pp. 349–367, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2377 |
C. Hainzl and R. Seiringer, “The BCS critical temperature for potentials with negative scattering length,” Letters in Mathematical Physics, vol. 84, no. 2–3. Springer, pp. 99–107, 2008.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2679
M. Antal et al., “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, vol. 28, no. 39. Society for Neuroscience, pp. 9692–9701, 2008.
View
| DOI