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.
9332 Publications
2010 |Published| Conference Paper | IST-REx-ID: 3845 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Henzinger TA, Hottelier T, Kovács L, Rybalchenko A. Aligators for arrays. In: Vol 6397. Springer; 2010:348-356. doi:10.1007/978-3-642-16242-8_25
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3842 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Didier F, Henzinger TA, Mateescu M, Wolf V. Fast adaptive uniformization of the chemical master equation. IET Systems Biology. 2010;4(6):441-452. doi:10.1049/iet-syb.2010.0005
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3848
Bendich P, Edelsbrunner H, Morozov D, Patel A. The robustness of level sets. In: Vol 6346. Springer; 2010:1-10. doi:10.1007/978-3-642-15775-2_1
View
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3858 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Doyen L. The complexity of partial-observation parity games. In: Vol 6397. Springer; 2010:1-14. doi:10.1007/978-3-642-16242-8_1
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3856 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, Doyen L, Gimbert H, Henzinger TA. Randomness for free. In: Vol 6281. Springer; 2010:246-257. doi:10.1007/978-3-642-15155-2_23
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
2010 |Published| Conference (Editor) | IST-REx-ID: 3859
Chatterjee K, Henzinger TA, eds. Formal Modeling and Analysis of Timed Systems. Vol 6246. Springer; 2010. doi:10.1007/978-3-642-15297-9
View
| Files available
| DOI
2010 |Published| Conference Paper | IST-REx-ID: 3866 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Bloem R, Chatterjee K, Greimel K, Henzinger TA, Jobstmann B. Robustness in the presence of liveness. In: Touili T, Cook B, Jackson P, eds. Vol 6174. Springer; 2010:410-424. doi:10.1007/978-3-642-14295-6_36
[Submitted Version]
View
| Files available
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3868 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Chatterjee K, De Alfaro L, Majumdar R, Raman V. Algorithms for game metrics. Logical Methods in Computer Science. 2010;6(3):1-27. doi:10.2168/LMCS-6(3:13)2010
[Published Version]
View
| Files available
| DOI
2010 |Published| Book | IST-REx-ID: 3899
Edelsbrunner H, Harer J. Computational Topology: An Introduction. Vol 69. American Mathematical Society; 2010. doi:10.1090/mbk/069
View
| Files available
| DOI
| Download None (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3963
Streinzer M, Ellis T, Paulus H, Spaethe J. Visual discrimination between two sexually deceptive Ophrys species by a bee pollinator. Arthropod-Plant Interactions. 2010;4(3):141-148. doi:10.1007/s11829-010-9093-4
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3959
Schumann K, Lämmermann T, Bruckner M, et al. Immobilized chemokine fields and soluble chemokine gradients cooperatively shape migration patterns of dendritic cells. Immunity. 2010;32(5):703-713. doi:10.1016/j.immuni.2010.04.017
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3958
Mohan H, Krumbholz M, Sharma R, et al. Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells. Brain Pathology. 2010;20(5):966-975. doi:10.1111/j.1750-3639.2010.00399.x
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3961
Renkawitz J, Sixt MK. Mechanisms of force generation and force transmission during interstitial leukocyte migration. EMBO Reports. 2010;11(10):744-750. doi:10.1038/embor.2010.147
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3960 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Weber M, Sixt MK. MEK signalling tunes actin treadmilling for interstitial lymphocyte migration. EMBO Journal. 2010;29(17):2861-2863. doi:10.1038/emboj.2010.183
View
| DOI
| Download (ext.)
2010 |Published| Journal Article | IST-REx-ID: 3964
Cohen Steiner D, Edelsbrunner H, Harer J, Mileyko Y. Lipschitz functions have L_p-stable persistence. Foundations of Computational Mathematics. 2010;10(2):127-139. doi:10.1007/s10208-010-9060-6
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 3957
Riedl J, Flynn K, Raducanu A, et al. Lifeact mice for studying F-actin dynamics. Nature Methods. 2010;7(3):168-169. doi:10.1038/nmeth0310-168
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 4134
Bridle J, Polechova J, Kawata M, Butlin R. Why is adaptation prevented at ecological margins? New insights from individual-based simulations. Ecology Letters. 2010;13(4):485-494. doi:10.1111/j.1461-0248.2010.01442.x
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 4163
Oteíza P, Koeppen M, Krieg M, et al. Planar cell polarity signalling regulates cell adhesion properties in progenitors of the zebrafish laterality organ. Development. 2010;137(20):3459-3468. doi:10.1242/dev.049981
View
| DOI
2010 |Published| Journal Article | IST-REx-ID: 4243 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Barton NH, Etheridge A, Véber A. A new model for evolution in a spatial continuum. Electronic Journal of Probability. 2010;15(7):162-216. doi:10.1214/EJP.v15-741
[Published Version]
View
| Files available
| DOI
2010 |Published| Other Publication | IST-REx-ID: 4340 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Danowski P. Open Bibliographic Data. Elsevier; 2010.
View
| Files available
| Download None (ext.)