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.

139 Publications


2009 | Thesis | IST-REx-ID: 4232
H. de Vladar, “Stochasticity and Variability in the dynamics and genetics of populations,” Faculty of mathematical and natural sciences, University of Groningen, 2009.
View | DOI
 

2009 | Thesis | IST-REx-ID: 4363
V. Singh, “Formalizing and Verifying Transactional Memories,” EPFL Lausanne, 2009.
View
 

2008 | Thesis | IST-REx-ID: 4409
V. Prabhu, “Games for the verification of timed systems,” University of California, Berkeley, 2008.
View
 

2008 | Thesis | IST-REx-ID: 4415
S. Matic, “Compositionality in deterministic real-time embedded systems,” University of California, Berkeley, 2008.
View
 

2008 | Thesis | IST-REx-ID: 4524
A. Ghosal, “A hierarchical coordination language for reliable real-time tasks,” University of California, Berkeley, 2008.
View
 

Filters and Search Terms

type=dissertation

Search

Filter Publications