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.
306 Publications
2010 | Published | Conference Paper | IST-REx-ID: 3838 | 
T. A. Henzinger, M. Mateescu, L. Mikeev, and V. Wolf, “Hybrid numerical solution of the chemical master equation,” presented at the CMSB: Computational Methods in Systems Biology, Trento, Italy, 2010, pp. 55–65.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3839 |
T. A. Henzinger, T. Hottelier, L. Kovács, and A. Voronkov, “Invariant and type inference for matrices,” presented at the VMCAI: Verification, Model Checking and Abstract Interpretation, Madrid, Spain, 2010, vol. 5944, pp. 163–179.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3847 |
F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, “SABRE: A tool for the stochastic analysis of biochemical reaction networks,” presented at the QEST: Quantitative Evaluation of Systems, Williamsburg, USA, 2010, pp. 193–194.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Conference Paper | IST-REx-ID: 3849 |
P. Bendich, H. Edelsbrunner, M. Kerber, and A. Patel, “Persistent homology under non-uniform error,” presented at the MFCS: Mathematical Foundations of Computer Science, Brno, Czech Republic, 2010, vol. 6281, pp. 12–23.
[Submitted Version]
View
| Files available
| DOI
2010 | Published | Journal Article | IST-REx-ID: 385 |
Z. Alpichshev et al., “STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects,” Physical Review Letters, vol. 104, no. 1. American Physical Society, 2010.
View
| DOI
| Download None (ext.)
2010 | Published | Conference Paper | IST-REx-ID: 3850
E. Berberich, D. Halperin, M. Kerber, and R. Pogalnikova, “Polygonal reconstruction from approximate offsets,” presented at the EuroCG: European Workshop on Computational Geometry, Dortmund, Germany, 2010, pp. 12–23.
View
2010 | Published | Conference Paper | IST-REx-ID: 3852 |
K. Chatterjee and R. Majumdar, “Discounting in games across time scales,” presented at the GandALF: Games, Automata, Logic, and Formal Verification, Minori, Italy, 2010, vol. 25, pp. 22–29.
[Published Version]
View
| Files available
| DOI
| arXiv
2010 | Published | Conference (Editor) | IST-REx-ID: 3859
K. Chatterjee and T. A. Henzinger, Eds., Formal modeling and analysis of timed systems, vol. 6246. Springer, 2010.
View
| Files available
| DOI
2010 | Published | Book | IST-REx-ID: 3899
H. Edelsbrunner and J. Harer, Computational Topology: An Introduction, vol. 69. American Mathematical Society, 2010.
View
| Files available
| DOI
| Download None (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3904 |
L. V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, and S. Cremer, “Rapid anti-pathogen response in ant societies relies on high genetic diversity,” Proceedings of the Royal Society of London Series B Biological Sciences, vol. 277, no. 1695. Royal Society, The, pp. 2821–2828, 2010.
View
| DOI
| Download None (ext.)
2010 | Published | Journal Article | IST-REx-ID: 3956
S. Nourshargh, P. Hordijk, and M. K. Sixt, “Breaching multiple barriers: leukocyte motility through venular walls and the interstitium,” Nature Reviews Molecular Cell Biology, vol. 11, no. 5. Nature Publishing Group, pp. 366–378, 2010.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3958
H. Mohan et al., “Extracellular matrix in multiple sclerosis lesions: fibrillar collagens, biglycan and decorin are upregulated and associated with infiltrating immune cells,” Brain Pathology, vol. 20, no. 5. Wiley-Blackwell, pp. 966–975, 2010.
View
| DOI
2010 | Published | Journal Article | IST-REx-ID: 3960 |
M. Weber and M. K. Sixt, “MEK signalling tunes actin treadmilling for interstitial lymphocyte migration,” EMBO Journal, vol. 29, no. 17. Wiley-Blackwell, pp. 2861–2863, 2010.
View
| DOI
| Download (ext.)
2010 | Published | Thesis | IST-REx-ID: 3962
H. Pflicke, “ Dendritic cell migration across basement membranes in the skin,” Institute of Science and Technology Austria, 2010.
View