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.
1621 Publications
2009 |Published| Conference Paper | IST-REx-ID: 4543
Chatterjee K, Henzinger TA, Horn F. Stochastic games with finitary objectives. In: Vol 5734. Springer; 2009:34-54. doi:10.1007/978-3-642-03816-7_4
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4569 | 
Bloem R, Chatterjee K, Henzinger TA, Jobstmann B. Better quality in synthesis through quantitative objectives. In: Vol 5643. Springer; 2009:140-156. 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 D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009: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 X, Riseborough PS, Modic KA, et al. Influence of magnetic fields on structural martensitic transitions. In: Journal of Physics: Conference Series. Vol 200. IOP Publishing; 2009. doi:10.1088/1742-6596/200/3/032062
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 752
Alistarh D-A, Gilbert S, Guerraoui R, Travers C. Of choices, failures and asynchrony: the many faces of set agreement. In: Vol 5878 LNCS. Springer; 2009:943-953. doi:10.1007/978-3-642-10631-6_95
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 88 |
Higginbotham AP, Semonin O, Bruce S, et al. Generation of Mie size microdroplet aerosols with applications in laser-driven fusion experiments. Review of Scientific Instruments. 2009;80(6). 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 S, Schanda P, Kloiber K, et al. Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. 2009;131(8):3063-3068. doi:10.1021/ja809947w
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 11111
Anderson DJ, Hetzer M. Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. 2008;182(5):911-924. doi:10.1083/jcb.200805140
View
| DOI
| PubMed | Europe PMC
2008 |Published| Journal Article | IST-REx-ID: 1296
Jösch MA, Plett J, Borst A, Reiff D. Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster. Current Biology. 2008;18(5):368-374. doi:10.1016/j.cub.2008.02.022
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 2374 |
Seiringer R. Free energy of a dilute Bose gas: Lower bound. Communications in Mathematical Physics. 2008;279(3):595-636. doi:10.1007/s00220-008-0428-2
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 2432
Smorodinsky S, Sulovský M, Wagner U. On center regions and balls containing many points. In: Vol 5092. Springer; 2008:363-373. doi:10.1007/978-3-540-69733-6_36
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 2753
Erdös L, Salmhofer M, Yau H. Quantum diffusion of the random Schrödinger evolution in the scaling limit. Acta Mathematica. 2008;200(2):211-277. doi:10.1007/s11511-008-0027-2
View
| DOI
2008 |Published| Journal Article | IST-REx-ID: 2755
Erdös L, Schlein B, Yau H. Ground-state energy of a low-density Bose gas: A second-order upper bound. Physical Review A - Atomic, Molecular, and Optical Physics. 2008;78(5). doi:10.1103/PhysRevA.78.053627
View
| DOI
2008 |Published| Conference Paper | IST-REx-ID: 3226
Pietrzak KZ, Sjödin J. Weak pseudorandom functions in minicrypt. In: Vol 5126. Springer; 2008:423-436. doi:10.1007/978-3-540-70583-3_35
View
| DOI
2008 |Published| Conference Paper | IST-REx-ID: 3228
Pietrzak KZ. Compression from collisions or why CRHF combiners have a long output. In: Vol 5157. Springer; 2008:413-432. doi:10.1007/978-3-540-85174-5_23
View
| DOI
2008 |Published| Conference Paper | IST-REx-ID: 3600
Yang E, Barton NH, Arslan T, Erdogan A. Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network. In: Vol 5216. Springer; 2008:249-260. doi:10.1007/978-3-540-85857-7_22
View
| DOI
2008 |Published| Conference Paper | IST-REx-ID: 3705
Blaschko M, Lampert C. Learning to localize objects with structured output regression. In: Vol 5302. Springer; 2008:2-15. doi:10.1007/978-3-540-88682-2_2
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 3716
Lampert C, Blaschko M. A multiple kernel learning approach to joint multi-class object detection. In: Vol 5096. Springer; 2008:31-40. doi:10.1007/978-3-540-69321-5_4
View
| DOI
| Download (ext.)
2008 |Published| Conference Paper | IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. Model-checking omega-regular properties of interval Markov chains. In: Vol 4962. Springer; 2008:302-317. doi:10.1007/978-3-540-78499-9_22
View
| DOI
2008 |Published| Conference Paper | IST-REx-ID: 3873
Chatterjee K, Majumdar R, Henzinger TA. Controller synthesis with budget constraints. In: Vol 4981. Springer; 2008:72-86. doi:DOI: 10.1007/978-3-540-78929-1_6
View
| DOI