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.

109 Publications


2003 | Thesis | IST-REx-ID: 4425
Horowitz B. Giotto: A Time-Triggered Language for Embedded Programming. University of California, Berkeley; 2003:1-237.
View
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger TA, Jhala R, Majumdar R, Qadeer S. Thread-modular abstraction refinement. In: Vol 2725. Springer; 2003:262-274. doi:10.1007/978-3-540-45069-6_27
View | DOI
 

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

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

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

2003 | Journal Article | IST-REx-ID: 1960
Sazanov LA, Carroll J, Holt P, Toime L, Fearnley I. 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. 2003;278(21):19483-19491. doi:10.1074/jbc.M208959200
View | DOI
 

2003 | Journal Article | IST-REx-ID: 207
Browning TD. Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. 2003;134(3):385-395. doi:10.1017/S0305004102006382
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2627
Kawakami R, Shinohara Y, Kato Y, Sugiyama H, Shigemoto R, Ito I. Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry. Science. 2003;300(5621):990-994. doi:10.1126/science.1082609
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2634
López Bendito G, Luján R, Shigemoto R, Ganter P, Paulsen O, Molnár Z. Blockade of GABAB receptors alters the tangential migration of cortical neurons. Cerebral Cortex. 2003;13(9):932-942. doi:10.1093/cercor/13.9.932
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2785
Hof B, Juel A, Mullin T. Scaling of the turbulence transition threshold in a pipe. Physical Review Letters. 2003;91(24):244502/1-244502/4. doi:10.1103/PhysRevLett.91.244502
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2994
Reinhardt D, Pesce E, Stieger P, et al. Regulation of phyllotaxis by polar auxin transport. Nature. 2003;426(6964):255-260. doi:10.1038/nature02081
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3151
Rayburn L, Gooding H, Choksi S, et al. Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development. Genetics. 2003;163(1):227-237.
View
 

2003 | Conference Paper | IST-REx-ID: 3170
Boykov Y, Kolmogorov V. Computing geodesics and minimal surfaces via graph cuts. In: Vol 1. IEEE; 2003:26-33. doi:10.1109/ICCV.2003.1238310
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3529
Csicsvari JL, Henze D, Jamieson B, et al. Massively parallel recording of unit and local field potentials with silicon-based electrodes. Journal of Neurophysiology. 2003;90(2):1314-1323. doi:10.1152/jn.00116.2003
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3536
Buzsáki G, Buhl D, Harris K, Csicsvari JL, Czéh B, Morozov A. Hippocampal network patterns of activity in the mouse. Neuroscience. 2003;116(1):201-211. doi:10.1016/S0306-4522(02)00669-3
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3543
Sirota A, Csicsvari JL, Buhl D, Buzsáki G. Communication between neocortex and hippocampus during sleep in rodents. PNAS. 2003;100(4):2065-2069. doi:10.1073/pnas.0437938100
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3593
Chatterjee K, Dasgupta P, Chakrabarti P. A branching time temporal framework for quantitative reasoning. Journal of Automated Reasoning. 2003;30(2):205-232. doi:10.1023/A:1023217515688
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3618
Vines T, Barton NH. A new approach to detecting mixed families. Molecular Ecology. 2003;12(7):1999-2002. doi:10.1046/j.1365-294X.2003.01867.x
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3620
Nürnberger B, Hofman S, Förg Brey B, et al. A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae). Heredity. 2003;91(2):136-142. doi:10.1038/sj.hdy.6800291
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3752   OA
Vilar J, Guet CC, Leibler S. Modeling network dynamics: the lac operon, a case study. Journal of Cell Biology. 2003;161(3):471-476. doi:10.1083/jcb.200301125
View | DOI | Download (ext.)
 

Filters and Search Terms

year=2003

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed