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.
2032 Publications
2009 |Published| Conference Paper | IST-REx-ID: 3871 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Doyen L, Henzinger TA. 2009. Probabilistic weighted automata. CONCUR: Concurrency Theory, LNCS, vol. 5710, 244–258.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3949
Quast T, Tappertzhofen B, Schild C, Grell J, Czeloth N, Förster R, Alon R, Fraemohs L, Dreck K, Weber C, Lämmermann T, Sixt MK, Kolanus W. 2009. Cytohesin-1 controls the activation of RhoA and modulates integrin-dependent adhesion and migration of dendritic cells. Blood. 113(23), 5801–5810.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 4136 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Polechova J, Barton NH, Marion G. 2009. Species’ range: Adaptation in space and time. American Naturalist. 174(5), E186–E204.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2009 |Published| Journal Article | IST-REx-ID: 4223
Swoboda J, Meredith T, Campbell J, Brown S, Suzuki T, Bollenbach MT, Malhowski A, Kishony R, Gilmore M, Walker S. 2009. Discovery of a Small Molecule that Blocks Wall Teichoic Acid Biosynthesis in Staphylococcus aureus. ACS Chemical Biology. 4(10), 875–883.
View
| DOI
| Download None (ext.)
2009 |Published| Journal Article | IST-REx-ID: 3775 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Barton NH, Coe J. 2009. On the application of statistical physics to evolutionary biology. Journal of Theoretical Biology. 259(2), 317–324.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 3837 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Tripakis S, Lickly B, Henzinger TA, Lee E. 2009. On relational interfaces. EMSOFT ’09 Proceedings of the seventh ACM international conference on Embedded software. EMSOFT: Embedded Software , 67–76.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3952
Schymeinsky J, Gerstl R, Mannigel I, Niedung K, Frommhold D, Panthel K, Heesemann J, Sixt MK, Quast T, Kolanus W, Mocsai A, Wienands J, Sperandio M, Walzog B. 2009. A fundamental role of mAbp1 in neutrophils: impact on β(2) integrin-mediated phagocytosis and adhesion in vivo. Blood. 114(19), 4209–4220.
View
| DOI
2009 |Published| Journal Article | IST-REx-ID: 3953
Wolf A, Eller K, Zeiser R, Dürr C, Gerlach U, Sixt MK, Markut L, Gastl G, Rosenkranz A, Wolf D. 2009. The sphingosine 1-phosphate receptor agonist FTY720 potently inhibits regulatory T cell proliferation in vitro and in vivo. Journal of Immunology. 183(6), 3751–3760.
View
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4403 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Alur R, Cerny P, Weinstein S. 2009. Algorithmic analysis of array-accessing programs. CSL: Computer Science Logic, LNCS, vol. 5771, 86–101.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
2009 |Published| Conference Paper | IST-REx-ID: 4542 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Doyen L, Henzinger TA. 2009. Alternating weighted automata. FCT: Fundamentals of Computation Theory, LNCS, vol. 5699, 3–13.
[Submitted Version]
View
| Files available
| DOI
2009 |Published| Conference Paper | IST-REx-ID: 4544 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, De Alfaro L, Henzinger TA. 2009. Termination criteria for solving concurrent safety and reachability games. SODA: Symposium on Discrete Algorithms, 197–206.
View
| Files available
| DOI
| Download (ext.)