D. Hahn, “Brittle fracture simulation with boundary elements for computer graphics,” Institute of Science and Technology Austria, 2017.
LibreCat: https://research-explorer.ista.ac.at/record/839
DOI: 10.15479/AT:ISTA:th_855

C. Jochum, “Dissipative Few-Body Quantum Systems,” Technical University Vienna, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1189

H. Acar, “Selective barriers to horizontal gene transfer,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1121

G. Rieckh, “Studying the complexities of transcriptional regulation,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1128

M. Morri, “Optical functionalization of human class A orphan G-protein coupled receptors,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1124

J. Schwarz, “Quantitative analysis of haptotactic cell migration,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1129

A. Pentina, “Theoretical foundations of multi-task lifelong learning,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1126
DOI: 10.15479/AT:ISTA:TH_776

M. Chmelik, “Algorithms for partially observable markov decision processes,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1397

I. Mabillard, “Eliminating higher-multiplicity intersections: an r-fold Whitney trick for the topological Tverberg conjecture,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1123

R. K. Mishra, “Synaptic plasticity rules at C-C recurrent synapses in hippocampus,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1396

S. Novak, “Evolutionary proccesses in variable emvironments,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1125

T. Tarrach, “Automatic synthesis of synchronisation primitives for concurrent programs,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1130
DOI: 10.15479/at:ista:1130

M. Bojsen-Hansen, “Tracking, correcting and absorbing water surface waves,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1122
DOI: 10.15479/AT:ISTA:th_640

T. Ellis, “The role of pollinator-mediated selection in the maintenance of a flower color polymorphism in an Antirrhinum majus hybrid zone,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1398
DOI: 10.15479/AT:ISTA:TH_526 

M. Tugrul, “Evolution of transcriptional regulatory sequences,” Institute of Science and Technology Austria, 2016.
LibreCat: https://research-explorer.ista.ac.at/record/1131

V. Sharmanska, “Learning with attributes for object recognition: Parametric and non-parametrics views,” Institute of Science and Technology Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1401
DOI: 10.15479/at:ista:1401

J. Reiter, “The subclonal evolution of cancer,” Institute of Science and Technology Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1400

F. Pausinger, “On the approximation of intrinsic volumes,” Institute of Science and Technology Austria, 2015.
LibreCat: https://research-explorer.ista.ac.at/record/1399

M. Stock, “Evolution of a fungal pathogen towards individual versus social immunity in ants,” IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1404

M. Konrad, “Immune defences in ants: Effects of social immunisation and a fungal ectosymbiont in the ant Lasius neglectus,” Institute of Science and Technology Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1395

P. Marhavá, “Molecular mechanisms of patterning and subcellular trafficking in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1402

M. Behrndt, “Forces driving epithelial spreading in zebrafish epiboly,” IST Austria, 2014.
LibreCat: https://research-explorer.ista.ac.at/record/1403

D. Zufferey, “Analysis of dynamic message passing programs,” Institute of Science and Technology Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1405
DOI: 10.15479/at:ista:1405

P. Campinho, “Mechanics of zebrafish epiboly: Tension-oriented cell divisions limit anisotropic tissue tension in epithelial spreading,” Institute of Science and Technology Austria, 2013.
LibreCat: https://research-explorer.ista.ac.at/record/1406

S. Kim, “Active properties of hippocampal C pyramidal neuron dendrites,” Institute of Science and Technology Austria, 2012.
LibreCat: https://research-explorer.ista.ac.at/record/2964

K. Schumann, “The role of chemotactic gradients in dendritic cell migration,” Institute of Science and Technology Austria, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3275

J.-L. Maître, “Mechanics of adhesion and deadhesion in zebrafish germ layer progenitors,” Institute of Science and Technology Austria, 2011.
LibreCat: https://research-explorer.ista.ac.at/record/3273

B. Bickel, “Measurement-based modeling and fabrication of deformable materials for human faces,” Unknown, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/2075
DOI: dx.doi.org/10.3929/ethz-a-006354908

C. Wojtan, “Animating physical phenomena with embedded surface meshes,” Georgia Institute of Technology, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3296

H. Pflicke, “  Dendritic cell migration across basement membranes in the skin,” Institute of Science and Technology Austria, 2010.
LibreCat: https://research-explorer.ista.ac.at/record/3962

P. S. Schmalhorst, “Biosynthesis of Galactofuranose Containing Glycans and Their Relevance for the Pathogenic Fungus Aspergillus fumigatus,” Gottfried Wilhelm Leibniz Universität Hannover, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/3400

H. de Vladar, “Stochasticity and Variability in the dynamics and genetics of populations,” Faculty of mathematical and natural sciences, University of Groningen, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/4232
DOI: 3811

V. Singh, “Formalizing and Verifying Transactional Memories,” EPFL Lausanne, 2009.
LibreCat: https://research-explorer.ista.ac.at/record/4363

V. Prabhu, “Games for the verification of timed systems,” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4409

S. Matic, “Compositionality in deterministic real-time embedded systems,” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4415

A. Ghosal, “A hierarchical coordination language for reliable real-time tasks,” University of California, Berkeley, 2008.
LibreCat: https://research-explorer.ista.ac.at/record/4524

K. Chatterjee, “Stochastic <9-Regular Games,” University of California, Berkeley, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4559

A. Chakrabarti, “A framework for compositional design and analysis of systems,” University of California, Berkeley, 2007.
LibreCat: https://research-explorer.ista.ac.at/record/4566

H. de Vladar, “Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares,” Centro de estudios avazados, IVIC, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4236
DOI: 3810

R. Jhala, “Program verification by lazy abstraction,” University of California, Berkeley, 2004.
LibreCat: https://research-explorer.ista.ac.at/record/4424

U. Wagner, “On k-Sets and Their Applications,” ETH Zurich, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/2414
DOI: 10.3929/ethz-a-004708408

C. Lampert, “The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric ,” Universität Bonn, Fachbibliothek Mathematik, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/3678

R. Majumdar, “Symbolic algorithms for verification and control,” University of California, Berkeley, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4416

B. Horowitz, “Giotto: A time-triggered language for embedded programming,” University of California, Berkeley, 2003.
LibreCat: https://research-explorer.ista.ac.at/record/4425

F. Mang, “Games in open systems verification and synthesis,” University of California, Berkeley, 2002.
LibreCat: https://research-explorer.ista.ac.at/record/4414

S. Qadeer, “Algorithms and Methodology for Scalable Model Checking,” University of California, Berkeley, 1999.
LibreCat: https://research-explorer.ista.ac.at/record/4411

P. Kopke, “The Theory of Rectangular Hybrid Automata,” Cornell University, 1996.
LibreCat: https://research-explorer.ista.ac.at/record/4419

P. Ho, “Automatic analysis of hybrid systems,” Cornell University, 1995.
LibreCat: https://research-explorer.ista.ac.at/record/4428

T. A. Henzinger, “The temporal specification and verification of real-time systems ,” Stanford University, 1991.
LibreCat: https://research-explorer.ista.ac.at/record/4516

N. H. Barton, “A hybrid zone in the alpine grasshopper Podisma pedestris,” University of East Anglia, 1979.
LibreCat: https://research-explorer.ista.ac.at/record/4337