Please note that IST 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.
2010 | Thesis | IST-REx-ID: 2075
Bickel, Bernd. “Measurement-Based Modeling and Fabrication of Deformable Materials for Human Faces.” Unknown. Unknown, 2010. https://doi.org/dx.doi.org/10.3929/ethz-a-006354908.View | DOI
2010 | Thesis | IST-REx-ID: 3962
Pflicke, Holger. “ Dendritic Cell Migration across Basement Membranes in the Skin.” IST Austria, 2010.View
2009 | Thesis | IST-REx-ID: 4363
Singh, Vasu. “Formalizing and Verifying Transactional Memories.” Formalizing and Verifying Transactional Memories. EPFL Lausanne, 2009.View
2008 | Thesis | IST-REx-ID: 4409
Prabhu, Vinayak. “Games for the Verification of Timed Systems.” University of California, Berkeley, 2008.View
2008 | Thesis | IST-REx-ID: 4415
Matic, Slobodan. “Compositionality in Deterministic Real-Time Embedded Systems.” University of California, Berkeley, 2008.View
2008 | Thesis | IST-REx-ID: 4524
Ghosal, Arkadeb. “A Hierarchical Coordination Language for Reliable Real-Time Tasks.” University of California, Berkeley, 2008.View