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, Benjamin. Giotto: A Time-Triggered Language for Embedded Programming. University of California, Berkeley, 2003.
View
 

2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Shaz Qadeer. “Thread-Modular Abstraction Refinement,” 2725:262–74. Springer, 2003. https://doi.org/10.1007/978-3-540-45069-6_27.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4468
Henzinger, Thomas A, Christoph Kirsch, Marco Sanvido, and Wolfgang Pree. “From Control Models to Real-Time Code Using Giotto.” IEEE Control Systems Magazine 23, no. 1 (2003): 50–64. https://doi.org/10.1109/MCS.2003.1172829.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 876
Kondrashov, Fyodor, and Eugene Koonin. “Evolution of Alternative Splicing: Deletions, Insertions and Origin of Functional Parts of Proteins from Intron Sequences.” Trends in Genetics 19, no. 3 (2003): 115–19. https://doi.org/10.1016/S0168-9525(02)00029-X.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 1458   OA
Hausel, Tamas, and Michael Thaddeus. “Relations in the Cohomology Ring of the Moduli Space of Rank 2 Higgs Bundles.” Journal of the American Mathematical Society 16, no. 2 (2003): 303–29. https://doi.org/10.1090/S0894-0347-02-00417-4.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 1960
Sazanov, Leonid A, Joe Carroll, Peter Holt, Laurence Toime, and Ian 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 278, no. 21 (2003): 19483–91. https://doi.org/10.1074/jbc.M208959200.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 207
Browning, Timothy D. “Sums of Four Biquadrates.” Mathematical Proceedings of the Cambridge Philosophical Society 134, no. 3 (2003): 385–95. https://doi.org/10.1017/S0305004102006382.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2627
Kawakami, Ryosuke, Yoshiaki Shinohara, Yuichiro Kato, Hiroyuki Sugiyama, Ryuichi Shigemoto, and Isao Ito. “Asymmetrical Allocation of NMDA Receptor Ε2 Subunits in Hippocampal Circuitry.” Science 300, no. 5621 (2003): 990–94. https://doi.org/10.1126/science.1082609.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2634
López Bendito, Guillermina, Rafael Luján, Ryuichi Shigemoto, Paul Ganter, Ole Paulsen, and Zoltán Molnár. “Blockade of GABAB Receptors Alters the Tangential Migration of Cortical Neurons.” Cerebral Cortex 13, no. 9 (2003): 932–42. https://doi.org/10.1093/cercor/13.9.932.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2785
Hof, Björn, Anne Juel, and Tom Mullin. “Scaling of the Turbulence Transition Threshold in a Pipe.” Physical Review Letters 91, no. 24 (2003): 244502/1-244502/4. https://doi.org/10.1103/PhysRevLett.91.244502.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2994
Reinhardt, Didier, Eva Pesce, Pia Stieger, Therese Mandel, Kurt Baltensperger, Malcolm Bennett, Jan Traas, Jirí Friml, and Cris Kuhlemeier. “Regulation of Phyllotaxis by Polar Auxin Transport.” Nature 426, no. 6964 (2003): 255–60. https://doi.org/10.1038/nature02081.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3170
Boykov, Yuri, and Vladimir Kolmogorov. “Computing Geodesics and Minimal Surfaces via Graph Cuts,” 1:26–33. IEEE, 2003. https://doi.org/10.1109/ICCV.2003.1238310.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3151
Rayburn, Lowell, Holly Gooding, Semil Choksi, Dhea Maloney, Ambrose Kidd, Daria E Siekhaus, and Michael Bender. “Amontillado, the Drosophila Homolog of the Prohormone Processing Protease PC2, Is Required during Embryogenesis and Early Larval Development.” Genetics 163, no. 1 (2003): 227–37.
View
 

2003 | Journal Article | IST-REx-ID: 3752   OA
Vilar, Jose, Calin C Guet, and Stanislas Leibler. “Modeling Network Dynamics: The Lac Operon, a Case Study.” Journal of Cell Biology 161, no. 3 (2003): 471–76. https://doi.org/10.1083/jcb.200301125.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3618
Vines, Timothy, and Nicholas H Barton. “A New Approach to Detecting Mixed Families.” Molecular Ecology 12, no. 7 (2003): 1999–2002. https://doi.org/10.1046/j.1365-294X.2003.01867.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3620
Nürnberger, Beate, Sebastian Hofman, Bqruni Förg Brey, Gabriele Praetzel, Alan Maclean, Jacek Szymura, Catherine Abbott, and Nicholas H Barton. “A Linkage Map for the Hybridising Toads Bombina Bombina and B. Variegata (Anura: Discoglossidae).” Heredity 91, no. 2 (2003): 136–42. https://doi.org/10.1038/sj.hdy.6800291.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3529
Csicsvari, Jozsef L, Darrell Henze, Brian Jamieson, Kenneth Harris, Anton Sirota, Peter Bartho, Kensall Wise, and György Buzsáki. “Massively Parallel Recording of Unit and Local Field Potentials with Silicon-Based Electrodes.” Journal of Neurophysiology 90, no. 2 (2003): 1314–23. https://doi.org/10.1152/jn.00116.2003.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3536
Buzsáki, György, Derek Buhl, Kenneth Harris, Jozsef L Csicsvari, Boldizsár Czéh, and Alexei Morozov. “Hippocampal Network Patterns of Activity in the Mouse.” Neuroscience 116, no. 1 (2003): 201–11. https://doi.org/10.1016/S0306-4522(02)00669-3.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3543
Sirota, Anton, Jozsef L Csicsvari, Derek Buhl, and György Buzsáki. “Communication between Neocortex and Hippocampus during Sleep in Rodents.” PNAS 100, no. 4 (2003): 2065–69. https://doi.org/10.1073/pnas.0437938100.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3593
Chatterjee, Krishnendu, Pallab Dasgupta, and Partha Chakrabarti. “A Branching Time Temporal Framework for Quantitative Reasoning.” Journal of Automated Reasoning 30, no. 2 (2003): 205–32. https://doi.org/10.1023/A:1023217515688.
View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed