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.

114 Publications


2003 | Conference Paper | IST-REx-ID: 4463
T. A. Henzinger, R. Jhala, R. Majumdar, and S. Qadeer, “Thread-modular abstraction refinement,” presented at the CAV: Computer Aided Verification, 2003, vol. 2725, pp. 262–274.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4464
T. A. Henzinger, C. Kirsch, and S. Matic, “Schedule-carrying code,” presented at the EMSOFT: Embedded Software , 2003, vol. 2855, pp. 241–256.
View | DOI
 

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

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

2003 | Conference Paper | IST-REx-ID: 4467
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Software verification with BLAST,” presented at the SPIN: Model Checking Software, 2003, vol. 2648, pp. 235–239.
View | DOI
 

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

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

2003 | Conference Paper | IST-REx-ID: 4561
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and M. Stoelinga, “Resource interfaces,” presented at the EMSOFT: Embedded Software , 2003, vol. 2855, pp. 117–133.
View | DOI
 

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

2003 | Conference Paper | IST-REx-ID: 4630
L. De Alfaro, M. Faella, T. A. Henzinger, R. Majumdar, and M. Stoelinga, “The element of surprise in timed games,” presented at the CONCUR: Concurrency Theory, 2003, vol. 2761, pp. 144–158.
View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 11121
T. C. Walther et al., “RanGTP mediates nuclear pore complex assembly,” Nature, vol. 424, no. 6949. Springer Nature, pp. 689–694, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 11122
T. C. Walther et al., “The conserved Nup107-160 complex is critical for nuclear pore complex assembly,” Cell, vol. 113, no. 2. Elsevier, pp. 195–206, 2003.
View | DOI | PubMed | Europe PMC
 

2003 | Journal Article | IST-REx-ID: 166 | OA
T. D. Browning and M. Swarbick Jones, “Counting rational points on del Pezzo surfaces of degree 5,” Proceedings of the Bonn session in analytic number theory and diophantine equations, vol. 360. Mathematisches Institut der Universität Bonn, 2003.
View | Download None (ext.) | arXiv
 

2003 | Journal Article | IST-REx-ID: 1959
P. Holt, D. Morgan, and L. A. Sazanov, “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, vol. 278, no. 44. American Society for Biochemistry and Molecular Biology, pp. 43114–43120, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1960
L. A. Sazanov, J. Carroll, P. Holt, L. Toime, and I. Fearnley, “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, vol. 278, no. 21. American Society for Biochemistry and Molecular Biology, pp. 19483–19491, 2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 6156
C. Rogers et al., “Inhibition of Caenorhabditis elegans social feeding by FMRFamide-related peptide activation of NPR-1,” Nature Neuroscience, vol. 6, no. 11. Springer Nature, pp. 1178–1185, 2003.
View | DOI | PubMed | Europe PMC
 

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

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

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

Filters and Search Terms

year=2003

Search

Filter Publications