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.
246 Publications
2014 |Published| Thesis | IST-REx-ID: 1395
Konrad M. 2014. Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus. Institute of Science and Technology Austria.
View
2014 |Published| Thesis | IST-REx-ID: 1402
Marhavá P. 2014. Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana. Institute of Science and Technology Austria.
View
2014 |Published| Thesis | IST-REx-ID: 1403
Behrndt M. 2014. Forces driving epithelial spreading in zebrafish epiboly. IST Austria.
View
| Files available
2013 |Published| Thesis | IST-REx-ID: 1405 |
Zufferey D. 2013. Analysis of dynamic message passing programs. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2013 |Published| Thesis | IST-REx-ID: 1406
Campinho P. 2013. Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading. Institute of Science and Technology Austria.
View
2012 |Published| Thesis | IST-REx-ID: 2964
Kim S. 2012. Active properties of hippocampal CA3 pyramidal neuron dendrites. Institute of Science and Technology Austria.
View
| Files available
2011 |Published| Thesis | IST-REx-ID: 3275 |
Schumann K. 2011. The role of chemotactic gradients in dendritic cell migration. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
2011 |Published| Thesis | IST-REx-ID: 3273
Maître J-L. 2011. Mechanics of adhesion and de‐adhesion in zebrafish germ layer progenitors. Institute of Science and Technology Austria.
View
2010 |Published| Thesis | IST-REx-ID: 3296
Wojtan C. 2010. Animating physical phenomena with embedded surface meshes. Georgia Institute of Technology.
View
| Download None (ext.)
2010 |Published| Thesis | IST-REx-ID: 3962
Pflicke H. 2010. Dendritic cell migration across basement membranes in the skin. Institute of Science and Technology Austria.
View
2009 |Published| Thesis | IST-REx-ID: 3400
Schmalhorst PS. 2009. Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus. Gottfried Wilhelm Leibniz Universität Hannover.
View
| Download (ext.)
2009 |Published| Thesis | IST-REx-ID: 4363
Singh V. 2009. Formalizing and Verifying Transactional Memories. EPFL Lausanne.
View
2008 |Published| Thesis | IST-REx-ID: 4409 |
Prabhu V. 2008. Games for the verification of timed systems. University of California, Berkeley.
View
| Download None (ext.)
2008 |Published| Thesis | IST-REx-ID: 4415
Matic S. 2008. Compositionality in deterministic real-time embedded systems. University of California, Berkeley.
View
2008 |Published| Thesis | IST-REx-ID: 4524
Ghosal A. 2008. A hierarchical coordination language for reliable real-time tasks. University of California, Berkeley.
View
2007 |Published| Thesis | IST-REx-ID: 4559
Chatterjee K. 2007. Stochastic ω-Regular Games. University of California, Berkeley.
View
| Download (ext.)
2007 |Published| Thesis | IST-REx-ID: 4566
Chakrabarti A. 2007. A framework for compositional design and analysis of systems. University of California, Berkeley.
View