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