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.

6118 Publications


2003 | Thesis | IST-REx-ID: 4416
Symbolic algorithms for verification and control
R. Majumdar, Symbolic Algorithms for Verification and Control, University of California, Berkeley, 2003.
View
 

2003 | Thesis | IST-REx-ID: 4425
Giotto: A time-triggered language for embedded programming
B. Horowitz, Giotto: A Time-Triggered Language for Embedded Programming, University of California, Berkeley, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 4460
From pre-historic to post-modern symbolic model checking
T.A. Henzinger, O. Kupferman, S. Qadeer, Formal Methods in System Design 23 (2003) 303–327.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Counterexample-guided control
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Springer, 2003, pp. 886–902.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4463
Thread-modular abstraction refinement
T.A. Henzinger, R. Jhala, R. Majumdar, S. Qadeer, in:, Springer, 2003, pp. 262–274.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Schedule-carrying code
T.A. Henzinger, C. Kirsch, S. Matic, in:, ACM, 2003, pp. 241–256.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
Embedded control systems development with Giotto
T.A. Henzinger, B. Horowitz, C. Kirsch, in:, Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–146.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
On the universal and existential fragments of the mu-calculus
T.A. Henzinger, O. Kupferman, R. Majumdar, in:, Springer, 2003, pp. 49–64.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Software verification with BLAST
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Springer, 2003, pp. 235–239.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
From control models to real-time code using Giotto
T.A. Henzinger, C. Kirsch, M. Sanvido, W. Pree, IEEE Control Systems Magazine 23 (2003) 50–64.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4469
Giotto: A time-triggered language for embedded programming
T.A. Henzinger, B. Horowitz, C. Kirsch, Proceedings of the IEEE 91 (2003) 84–99.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 576
Free expansion of two-dimensional condensates with a vortex
O. Hosten, P. Vignolo, A. Minguzzi, B. Tanatar, M. Tosi, Journal of Physics B: Atomic, Molecular and Optical Physics 36 (2003) 2455–2463.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 6156
Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1
C. Rogers, V. Reale, K. Kim, H. Chatwin, C. Li, P. Evans, M. de Bono, Nature Neuroscience 6 (2003) 1178–1185.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 6157
Molecular approaches to aggregation behavior and social attachment
M. de Bono, Journal of Neurobiology 54 (2003) 78–92.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 847
Impact of selection, mutation rate and genetic drift on human genetic variation
S. Sunyaev, F. Kondrashov, P. Bork, V. Ramensky, Human Molecular Genetics 12 (2003) 3325–3330.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 8519
The existential Hilbert 16-th problem and an estimate for cyclicity of elementary polycycles
V. Kaloshin, Inventiones Mathematicae 151 (2003) 451–512.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 876 View | DOI
 

2002 | Journal Article | IST-REx-ID: 1451 | OA
Toric hyperkähler varieties
T. Hausel, B. Sturmfels, Documenta Mathematica 7 (2002) 495–534.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 1737
A solvent-free composite polymer/inorganic oxide electrolyte for high efficiency solid-state dye-sensitized solar cells
G. Katsaros, T. Stergiopoulos, I. Arabatzis, K. Papadokostaki, P. Falaras, Journal of Photochemistry and Photobiology A: Chemistry 149 (2002) 191–198.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 1738
Dye-sensitization of titanium dioxide thin films by Ru(II)-bpp-bpy complexes
P. Falaras, K. Chryssou, T. Stergiopoulos, I. Arabatzis, G. Katsaros, V. Catalano, R. Kurtaran, A. Hugot Le Goff, M. Bernard, in:, SPIE, 2002, pp. 125–135.
View | DOI
 

Search

Filter Publications