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.
1850 Publications
2009 |Published| Conference Paper | IST-REx-ID: 4383 | 
Guerraoui, Rachid, et al. Software Transactional Memory on Relaxed Memory Models. Vol. 5643, Springer, 2009, pp. 321–36, doi:10.1007/978-3-642-02658-4_26.
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4403 |
Alur, Rajeev, et al. Algorithmic Analysis of Array-Accessing Programs. Vol. 5771, Springer, 2009, pp. 86–101, doi:10.1007/978-3-642-04027-6_9.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4453 |
Henzinger, Thomas A., et al. Sliding-Window Abstraction for Infinite Markov Chains. Vol. 5643, Springer, 2009, pp. 337–52, doi:10.1007/978-3-642-02658-4_27.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4535
Didier, Frédéric, et al. Approximation of Event Probabilities in Noisy Cellular Processes. Vol. 5688, Springer, 2009, pp. 173–88, doi:10.1007/978-3-642-03845-7_12.
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4542 |
Chatterjee, Krishnendu, et al. Alternating Weighted Automata. Vol. 5699, Springer, 2009, pp. 3–13, doi:10.1007/978-3-642-03409-1_2.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4545 |
Chatterjee, Krishnendu, et al. A Survey of Stochastic Games with Limsup and Liminf Objectives. Vol. 5556, Springer, 2009, pp. 1–15, doi:10.1007/978-3-642-02930-1_1.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4543
Chatterjee, Krishnendu, et al. Stochastic Games with Finitary Objectives. Vol. 5734, Springer, 2009, pp. 34–54, doi:10.1007/978-3-642-03816-7_4.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4569 |
Bloem, Roderick, et al. Better Quality in Synthesis through Quantitative Objectives. Vol. 5643, Springer, 2009, pp. 140–56, doi:10.1007/978-3-642-02658-4_14.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2009 |Published| Conference Paper | IST-REx-ID: 4580 |
Berwanger, Dietmar, et al. Alpaga: A Tool for Solving Parity Games with Imperfect Information. Vol. 5505, Springer, 2009, pp. 58–61, doi:10.1007/978-3-642-00768-2_7.
View
| Files available
| DOI
| Download (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 11752
Yang, Xiaodong, et al. “Influence of Magnetic Fields on Structural Martensitic Transitions.” Journal of Physics: Conference Series, vol. 200, no. 3, 032062, IOP Publishing, 2009, doi:10.1088/1742-6596/200/3/032062.
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 752
Alistarh, Dan-Adrian, et al. Of Choices, Failures and Asynchrony: The Many Faces of Set Agreement. Vol. 5878 LNCS, Springer, 2009, pp. 943–53, doi:10.1007/978-3-642-10631-6_95.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 88 |
Higginbotham, Andrew P., et al. “Generation of Mie Size Microdroplet Aerosols with Applications in Laser-Driven Fusion Experiments.” Review of Scientific Instruments, vol. 80, no. 6, 063503, American Institute of Physics, 2009, doi:10.1063/1.3155302.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 8478
Brüschweiler, Sven, et al. “Direct Observation of the Dynamic Process Underlying Allosteric Signal Transmission.” Journal of the American Chemical Society, vol. 131, no. 8, American Chemical Society, 2009, pp. 3063–68, doi:10.1021/ja809947w.
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 11111
Anderson, Daniel J., and Martin Hetzer. “Reshaping of the Endoplasmic Reticulum Limits the Rate for Nuclear Envelope Formation.” Journal of Cell Biology, vol. 182, no. 5, Rockefeller University Press, 2008, pp. 911–24, doi:10.1083/jcb.200805140.
View
| DOI
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 1296
Jösch, Maximilian A., et al. “Response Properties of Motion Sensitive Visual Interneurons in the Lobula Plate of Drosophila Melanogaster.” Current Biology, vol. 18, no. 5, Cell Press, 2008, pp. 368–74, doi:10.1016/j.cub.2008.02.022.
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 1719
Bittig, Thomas, et al. “Dynamics of Anisotropic Tissue Growth.” New Journal of Physics, vol. 10, IOP Publishing Ltd., 2008, doi:10.1088/1367-2630/10/6/063001.
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 2374 |
Seiringer, Robert. “Free Energy of a Dilute Bose Gas: Lower Bound.” Communications in Mathematical Physics, vol. 279, no. 3, Springer, 2008, pp. 595–636, doi:10.1007/s00220-008-0428-2.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2382 |
Seiringer, Robert, and Jun Yin. “The Lieb-Liniger Model as a Limit of Dilute Bosons in Three Dimensions.” Communications in Mathematical Physics, vol. 284, no. 2, Springer, 2008, pp. 459–79, doi:10.1007/s00220-008-0521-6.
View
| DOI
| Download (ext.)
2008 |Published| Journal Article | IST-REx-ID: 2379 |
Frank, Rupert, et al. “Hardy-Lieb-Thirring Inequalities for Fractional Schrödinger Operators.” Journal of the American Mathematical Society, vol. 21, no. 4, American Mathematical Society, 2008, pp. 925–50, doi:10.1090/S0894-0347-07-00582-6.
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 2432
Smorodinsky, Shakhar, et al. On Center Regions and Balls Containing Many Points. Vol. 5092, Springer, 2008, pp. 363–73, doi:10.1007/978-3-540-69733-6_36.
View
| DOI