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| Journal Article | IST-REx-ID: 88 | OA
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: 8478
Brüschweiler S, Schanda P, Kloiber K, Brutscher B, Kontaxis G, Konrat R, Tollinger M. 2009. Direct observation of the dynamic process underlying allosteric signal transmission. Journal of the American Chemical Society. 131(8), 3063–3068.
View | DOI
 

2008 |Published| Journal Article | IST-REx-ID: 11111
Anderson DJ, Hetzer M. 2008. Reshaping of the endoplasmic reticulum limits the rate for nuclear envelope formation. Journal of Cell Biology. 182(5), 911–924.
View | DOI | PubMed | Europe PMC
 

2008 |Published| Journal Article | IST-REx-ID: 1296
Jösch MA, Plett J, Borst A, Reiff D. 2008. Response properties of motion sensitive visual interneurons in the Lobula plate of Drosophila melanogaster. Current Biology. 18(5), 368–374.
View | DOI
 

2008 |Published| Journal Article | IST-REx-ID: 2374 | OA
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| Conference Paper | IST-REx-ID: 2432
Smorodinsky S, Sulovský M, Wagner U. 2008. On center regions and balls containing many points. COCOON: Conference on Computing and Combinatorics, LNCS, vol. 5092, 363–373.
View | DOI
 

2008 |Published| Journal Article | IST-REx-ID: 2753
Erdös L, Salmhofer M, Yau H. 2008. Quantum diffusion of the random Schrödinger evolution in the scaling limit. Acta Mathematica. 200(2), 211–277.
View | DOI
 

2008 |Published| Journal Article | IST-REx-ID: 2755
Erdös L, Schlein B, Yau H. 2008. Ground-state energy of a low-density Bose gas: A second-order upper bound. Physical Review A - Atomic, Molecular, and Optical Physics. 78(5).
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3226
Pietrzak KZ, Sjödin J. 2008. Weak pseudorandom functions in minicrypt. ICALP: Automata, Languages and Programming, LNCS, vol. 5126, 423–436.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3228
Pietrzak KZ. 2008. Compression from collisions or why CRHF combiners have a long output. CRYPTO: International Cryptology Conference, LNCS, vol. 5157, 413–432.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3600
Yang E, Barton NH, Arslan T, Erdogan A. 2008. Scalability of a novel shifting balance theory-based optimization algorithm: A comparative study on a cluster-based wireless sensor network. IECS: International Conference on Evolvable Systems, LNCS, vol. 5216, 249–260.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3705
Blaschko M, Lampert C. 2008. Learning to localize objects with structured output regression. ECCV: European Conference on Computer Vision, LNCS, vol. 5302, 2–15.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 3716
Lampert C, Blaschko M. 2008. A multiple kernel learning approach to joint multi-class object detection. DAGM: German Association For Pattern Recognition, LNCS, vol. 5096, 31–40.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 3875
Chatterjee K, Henzinger TA, Sen K. 2008. Model-checking omega-regular properties of interval Markov chains. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 4962, 302–317.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3873
Chatterjee K, Majumdar R, Henzinger TA. 2008. Controller synthesis with budget constraints. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 72–86.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3876
Chatterjee K, Henzinger TA, Prabhu V. 2008. Timed parity games: complexity and robustness. FORMATS: Formal Modeling and Analysis of Timed Systems, LNCS, vol. 5215, 124–140.
View | Files available | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3877
Chatterjee K, Henzinger TA, Jobstmann B. 2008. Environment assumptions for synthesis. CONCUR: Concurrency Theory, LNCS, vol. 5201, 147–161.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3878 | OA
Chatterjee K, De Alfaro L, Majumdar R. 2008. The complexity of coverage. APLAS: Asian Symposium on Programming Languages and Systems, LNCS, vol. 5356, 91–106.
View | DOI | Download (ext.)
 

2008 |Published| Conference Paper | IST-REx-ID: 3874
Chatterjee K, Henzinger TA, Prabhu V. 2008. Trading infinite memory for uniform randomness in timed games. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 4981, 87–100.
View | DOI
 

2008 |Published| Conference Paper | IST-REx-ID: 3879
Chatterjee K, Doyen L, Henzinger TA. 2008. Quantitative languages. CSL: Computer Science Logic, LNCS, vol. 5213, 385–400.
View | DOI
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications