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.

110 Publications


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
 

Filters and Search Terms

year=2003

Search

Filter Publications