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.

117 Publications


2003 | Conference Paper | IST-REx-ID: 4463
Henzinger TA, Jhala R, Majumdar R, Qadeer S. 2003. Thread-modular abstraction refinement. CAV: Computer Aided Verification, LNCS, vol. 2725, 262–274.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
Henzinger TA, Kirsch C, Matic S. 2003. Schedule-carrying code. EMSOFT: Embedded Software , LNCS, vol. 2855, 241–256.
View | DOI
 

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

2003 | Conference Paper | IST-REx-ID: 4466
Henzinger TA, Kupferman O, Majumdar R. 2003. On the universal and existential fragments of the mu-calculus. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 2619, 49–64.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Henzinger TA, Jhala R, Majumdar R, Sutre G. 2003. Software verification with BLAST. SPIN: Model Checking Software, LNCS, vol. 2648, 235–239.
View | DOI
 

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

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

2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti A, De Alfaro L, Henzinger TA, Stoelinga M. 2003. Resource interfaces. EMSOFT: Embedded Software , LNCS, vol. 2855, 117–133.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro L, Henzinger TA, Majumdar R. 2003. Discounting the future in systems theory. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 1022–1037.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro L, Faella M, Henzinger TA, Majumdar R, Stoelinga M. 2003. The element of surprise in timed games. CONCUR: Concurrency Theory, LNCS, vol. 2761, 144–158.
View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 166 | OA
Browning TD, Swarbick Jones M. 2003. Counting rational points on del Pezzo surfaces of degree 5. Proceedings of the Bonn session in analytic number theory and diophantine equations. 360.
View | Download None (ext.) | arXiv
 

2003 | Journal Article | IST-REx-ID: 1959
Holt P, Morgan D, Sazanov LA. 2003. The location of NuoL and NuoM subunits in the membrane domain of the Escherichia coli Complex I: implications for the mechanism of proton pumping. Journal of Biological Chemistry. 278(44), 43114–43120.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1960
Sazanov LA, Carroll J, Holt P, Toime L, Fearnley I. 2003. A role for native lipids in the stabilization and two dimensional crystallization of the Escherichia coli NADH ubiquinone oxidoreductase (complex I). Journal of Biological Chemistry. 278(21), 19483–19491.
View | DOI
 

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

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

2003 | Journal Article | IST-REx-ID: 876
Kondrashov F, Koonin E. 2003. Evolution of alternative splicing: Deletions, insertions and origin of functional parts of proteins from intron sequences. Trends in Genetics. 19(3), 115–119.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1457 | OA
Hausel T, Thaddeus M. 2003. Mirror symmetry, langlands duality, and the Hitchin system. Inventiones Mathematicae. 153(1), 197–229.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1458 | OA
Hausel T, Thaddeus M. 2003. Relations in the cohomology ring of the moduli space of rank 2 Higgs bundles. Journal of the American Mathematical Society. 16(2), 303–329.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1459 | OA
Etesi G, Hausel T. 2003. On Yang-Mills instantons over multi-centered gravitational instantons. Communications in Mathematical Physics. 235(2), 275–288.
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2003

Search

Filter Publications