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. 2003. Giotto: A time-triggered language for embedded programming, University of California, Berkeley,p.
View
 

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 | 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: 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: 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: 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: 207
Browning TD. 2003. Sums of four biquadrates. Mathematical Proceedings of the Cambridge Philosophical Society. 134(3), 385–395.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2627
Kawakami R, Shinohara Y, Kato Y, Sugiyama H, Shigemoto R, Ito I. 2003. Asymmetrical allocation of NMDA receptor ε2 subunits in hippocampal circuitry. Science. 300(5621), 990–994.
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. 2003. Blockade of GABAB receptors alters the tangential migration of cortical neurons. Cerebral Cortex. 13(9), 932–942.
View | DOI
 

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

2003 | Journal Article | IST-REx-ID: 2994
Reinhardt D, Pesce E, Stieger P, Mandel T, Baltensperger K, Bennett M, Traas J, Friml J, Kuhlemeier C. 2003. Regulation of phyllotaxis by polar auxin transport. Nature. 426(6964), 255–260.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3170
Boykov Y, Kolmogorov V. 2003. Computing geodesics and minimal surfaces via graph cuts. ICCV: International Conference on Computer Vision vol. 1. 26–33.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3151
Rayburn L, Gooding H, Choksi S, Maloney D, Kidd A, Siekhaus DE, Bender M. 2003. Amontillado, the Drosophila homolog of the prohormone processing protease PC2, is required during embryogenesis and early larval development. Genetics. 163(1), 227–237.
View
 

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

2003 | Journal Article | IST-REx-ID: 3618
Vines T, Barton NH. 2003. A new approach to detecting mixed families. Molecular Ecology. 12(7), 1999–2002.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3620
Nürnberger B, Hofman S, Förg Brey B, Praetzel G, Maclean A, Szymura J, Abbott C, Barton NH. 2003. A linkage map for the hybridising toads Bombina bombina and B. variegata (Anura: Discoglossidae). Heredity. 91(2), 136–142.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3529
Csicsvari JL, Henze D, Jamieson B, Harris K, Sirota A, Bartho P, Wise K, Buzsáki G. 2003. Massively parallel recording of unit and local field potentials with silicon-based electrodes. Journal of Neurophysiology. 90(2), 1314–1323.
View | DOI
 

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

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

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

2003 | Journal Article | IST-REx-ID: 3992
Edelsbrunner H, Koehl P. 2003. The weighted-volume derivative of a space-filling diagram. PNAS. 100(5), 2203–2208.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3997
Bremer P, Edelsbrunner H, Hamann B, Pascucci V. 2003. A multi-resolution data structure for two-dimensional Morse-Smale functions. VIS: IEEE Visualization 139–146.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4185
Kilian B, Mansukoski H, Barbosa F, Ulrich F, Tada M, Heisenberg C. 2003. The role of Ppt/Wnt5 in regulating cell shape and movement during zebrafish gastrulation. Mechanisms of Development. 120(4), 467–476.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4255
Navarro A, Barton NH. 2003. Chromosomal speciation and molecular divergence -- Accelerated evolution in rearranged chromosomes. Science. 300(5617), 321–324.
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 | 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: 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: 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.)
 

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: 208
Browning TD. 2003. Counting rational points on diagonal quadratic surfaces. Quarterly Journal of Mathematics. 54(1), 11–31.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2337   OA
Lieb É, Seiringer R. 2003. Bose-Einstein condensation of dilute gases in traps . Differential Equations and Mathematical Physics, Contemporary Mathematics, vol. 327. 239–250.
View | DOI | Download (ext.)
 

2003 | Thesis | IST-REx-ID: 2414
Wagner U. 2003. On k-Sets and Their Applications, ETH Zurich,p.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2623
Coesmans M, Sillevis Smitt P, Linden D, Shigemoto R, Hirano T, Yamakawa Y, Van Alphen A, Luo C, Van Der Geest J, Kros J, Gaillard C, Frens M, De Zeeuw C. 2003. Mechanisms underlying cerebellar motor deficits due to mGluR1-autoantibodies. Annals of Neurology. 53(3), 325–336.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2628
Momiyama A, Silver R, Häusser M, Notomi T, Wu Y, Shigemoto R, Cull Candy S. 2003. The density of AMPA receptors activated by a transmitter quantum at the climbing fibre - Purkinje cell synapse in immature rats. Journal of Physiology. 549(1), 75–92.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2630
Toyono T, Seta Y, Kataoka S, Kawano S, Shigemoto R, Toyoshima K. 2003. Expression of metabotropic glutamate receptor group I in rat gustatory papillae. Cell and Tissue Research. 313(1), 29–35.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2635
Kulik Á, Vida I, Luján R, Haas C, López Bendito G, Shigemoto R, Frotscher M. 2003. Subcellular Localization of Metabotropic GABAB Receptor Subunits GABAB1a/b and GABAB2 in the Rat Hippocampus. Journal of Neuroscience. 23(35), 11026–11035.
View
 

2003 | Journal Article | IST-REx-ID: 2990
Friml J. 2003. Auxin transport - Shaping the plant. Current Opinion in Plant Biology. 6(1), 7–12.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 2995
Friml J, Vieten A, Sauer M, Weijers D, Schwarz H, Hamann T, Offringa R, Jürgens G. 2003. Efflux dependent auxin gradients establish the apical basal axis of Arabidopsis. Nature. 426(6963), 147–153.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3171
Kolmogorov V, Zabih R, Gortler S. 2003. Generalized multi camera scene reconstruction using graph cuts. EMMCVPR: Energy Minimization Methods in Computer Vision and Pattern Recognition, LNCS, vol. 2683. 501–516.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3210
Maurer U, Pietrzak KZ. 2003. The security of many round Luby Rackoff pseudo random permutations. EUROCRYPT: Theory and Applications of Cryptographic Techniques, LNCS, vol. 2656. 544–561.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3804
Lien C, Jonas PM. 2003. Kv3 potassium conductance is necessary and kinetically optimized for high-frequency action potential generation in hippocampal interneurons. Journal of Neuroscience. 23(6), 2058–68.
View
 

2003 | Journal Article | IST-REx-ID: 3619
Baird S, Barton NH, Etheridge A. 2003. The distribution of surviving blocks of an ancestral genome. Theoretical Population Biology. 64(4), 451–471.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3556
Edelsbrunner H, Harer J, Natarajan V, Pascucci V. 2003. Morse-Smale complexes for piecewise linear 3-manifolds. SCG: Symposium on Computational Geometry 361–370.
View | DOI | Download (ext.)
 

2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee K, Jurdziński M, Henzinger TA. 2003. Simple stochastic parity games. CSL: Computer Science Logic, LNCS, vol. 2803. 100–113.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3917
Cremer S, Heinze J. 2003. Zwischen Hochzeitsflug und Brudermord: reproduktive Taktiken bei Ameisenmännchen. Blick in die Wissenschaft. 12(15), 32–36.
View
 

2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner H, Harer J, Zomorodian A. 2003. Hierarchical Morse-Smale complexes for piecewise linear 2-manifolds. Discrete & Computational Geometry. 30(1), 87–107.
View | DOI
 

2003 | Book Review | IST-REx-ID: 4256
Barton NH, Zuidema W. 2003. The erratic path towards complexity. Current Biology. 13(16), R649–R651.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
Vines T, Kohler SC, Thiel M, Ghira I, Sands TR, Maccallum C, Barton NH, Nürnberger B. 2003. On the maintenance of reproductive isolation in a mosaic hybrid zone between the toads Bombina bombina and B. variegata. Evolution; International Journal of Organic Evolution. 57(8), 1876–1888.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4460
Henzinger TA, Kupferman O, Qadeer S. 2003. From pre-historic to post-modern symbolic model checking. Formal Methods in System Design. 23(3), 303–327.
View | DOI
 

Filters and Search Terms

year=2003

Search

Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed