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.

230 Publications


2008 | Thesis | IST-REx-ID: 4524
Ghosal A. A hierarchical coordination language for reliable real-time tasks. 2008:1-210.
View
 

2007 | Thesis | IST-REx-ID: 4559
Chatterjee K. Stochastic ω-Regular Games. 2007:1-247.
View | Download (ext.)
 

2007 | Thesis | IST-REx-ID: 4566
Chakrabarti A. A framework for compositional design and analysis of systems. 2007:1-244.
View
 

2004 | Thesis | IST-REx-ID: 4236
de Vladar H. Métodos no lineales y sus aplicaciones en dinámicas aleatorias de poblaciones celulares. 2004. doi:3810
View | DOI
 

2004 | Thesis | IST-REx-ID: 4424
Jhala R. Program verification by lazy abstraction. 2004:1-165.
View
 

Filters and Search Terms

type=dissertation

Search

Filter Publications