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.
740 Publications
2011 |Published| Thesis | IST-REx-ID: 3275 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Schumann K. 2011. The role of chemotactic gradients in dendritic cell migration. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2010 |Published| Journal Article | IST-REx-ID: 1049 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Haller E, Hart R, Mark M, Danzl JG, Reichsöllner L, Gustavsson M, Dalmonte M, Pupillo G, Nägerl H. 2010. Pinning quantum phase transition for a Luttinger liquid of strongly interacting bosons. Nature. 466(7306), 597–600.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Journal Article | IST-REx-ID: 1301
Schnell B, Jösch MA, Förstner F, Raghu S, Otsuna H, Ito K, Borst A, Reiff D. 2010. Processing of horizontal optic flow in three visual interneurons of the Drosophila brain. Journal of Neurophysiology. 103(3), 1646–1657.
View
| DOI
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 1753 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Songmuang R, Katsaros G, Monroy E, Spathis P, Bougerol C, Mongillo M, De Franceschi S. 2010. Quantum transport in GaN/AlN double-barrier heterostructure nanowires. Nano Letters. 10(9), 3545–3550.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 2389 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Hainzl C, Seiringer R. 2010. Asymptotic behavior of eigenvalues of Schrödinger type operators with degenerate kinetic energy. Mathematische Nachrichten. 283(3), 489–499.
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3749 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Park H, Guet CC, Emonet T, Cluzel P. 2010. Fine-tuning of chemotactic response in E. coli determined by high-throughput capillary assay. Current Microbiology. 62(3), 764–769.
View
| DOI
| Download (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 3839 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA, Hottelier T, Kovács L, Voronkov A. 2010. Invariant and type inference for matrices. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 163–179.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 4378 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Kuncak V, Piskac R, Suter P, Wies T. 2010. Building a calculus of data structures. VMCAI: Verification, Model Checking and Abstract Interpretation, LNCS, vol. 5944, 26–44.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2010 |Published| Conference Paper | IST-REx-ID: 4396 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Beyer D, Henzinger TA, Théoduloz G, Zufferey D. 2010. Shape refinement through explicit heap analysis. FASE: Fundamental Approaches To Software Engineering, LNCS, vol. 6013, 263–277.
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 489 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Cristau J, David C, Horn F. 2010. How do we remember the past in randomised strategies? . Proceedings of GandALF 2010. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 25, 30–39.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2010 |Published| Journal Article | IST-REx-ID: 6142 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Weber KP, De S, Kozarewa I, Turner DJ, Babu MM, de Bono M. 2010. Whole genome sequencing highlights genetic changes associated with laboratory domestication of C. elegans. PLoS ONE. 5(11), e13922.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2010 |Published| Journal Article | IST-REx-ID: 7078 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Salje EKH, Safarik DJ, Modic KA, Gubernatis JE, Cooley JC, Taylor RD, Mihaila B, Saxena A, Lookman T, Smith JL, Fisher RA, Pasternak M, Opeil CP, Siegrist T, Littlewood PB, Lashley JC. 2010. Tin telluride: A weakly co-elastic metal. Physical Review B. 82(18), 184112.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2010 |Published| Journal Article | IST-REx-ID: 8473
Corazza A, Rennella E, Schanda P, Mimmi MC, Cutuil T, Raimondi S, Giorgetti S, Fogolari F, Viglino P, Frydman L, Gal M, Bellotti V, Brutscher B, Esposito G. 2010. Native-unlike long-lived intermediates along the folding pathway of the amyloidogenic protein β2-Microglobulin revealed by real-time two-dimensional NMR. Journal of Biological Chemistry. 285(8), 5827–5835.
View
| DOI