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.

6113 Publications


2003 | Book Chapter | IST-REx-ID: 3458
Jonas PM, Unsicker K. 2003.Molekulare und zelluläre Grundlagen des Nervensystems. In: Lehrbuch Vorklinik. vol. B, 3–26.
View
 

2003 | Journal Article | IST-REx-ID: 3526
Harris K, Csicsvari JL, Hirase H, Dragoi G, Buzsáki G. 2003. Organization of cell assemblies in the hippocampus. Nature. 424(6948), 552–556.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3528
Csicsvari JL, Jamieson B, Wise K, Buzsáki G. 2003. Mechanisms of gamma oscillations in the hippocampus of the behaving rat. Neuron. 37(2), 311–322.
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 | 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 | Book Chapter | IST-REx-ID: 3573
Edelsbrunner H. 2003.Surface reconstruction by wrapping finite sets in space. In: Discrete & Computational Geometry. , 379–404.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3584
Edelsbrunner H, Zomorodian A. 2003. Computing linking numbers of a filtration. Homology, Homotopy and Applications. 5(2), 19–37.
View | Download None (ext.)
 

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 | 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: 3725 | OA
Janovjak HL, Kessler M, Oesterhelt D, Gaub H, Mueller D. 2003. Unfolding pathways of native bacteriorhodopsin depend on temperature. EMBO Journal. 22(19), 5220–5229.
View | DOI | Download (ext.)
 

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: 3797
Bauer W, Kleine Berkenbusch M, Bollenbach MT. 2003. Breaking atomic nuclei into little pieces: evidence for a phase transition. Revista Mexicana De Fisica. 49(4), 1–6.
View
 

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: 3806
Hallermann S, Pawlu C, Jonas PM, Heckmann M. 2003. A large pool of releasable vesicles in a cortical glutamatergic synapse. PNAS. 100(15), 8975–80.
View | DOI
 

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: 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 | 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 | Thesis | IST-REx-ID: 3678
Lampert C. 2003. The Neumann operator in strictly pseudoconvex domains with weighted Bergman metric . Universität Bonn, Fachbibliothek Mathematik.
View | 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 | Conference Paper | IST-REx-ID: 3898
Chatterjee K, Ma D, Majumdar R, Zhao T, Henzinger TA, Palsberg J. 2003. Stack size analysis for interrupt-driven programs. SAS: Static Analysis Symposium, LNCS, vol. 2694, 109–126.
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: 3921
Anderson C, Cremer S, Heinze J. 2003. Live and let die: Why fighter males of the ant Cardiocondyla kill each other but tolerate their winged rivals. Behavioral Ecology. 14(1), 54–62.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3922
Cremer S, Heinze J. 2003. Stress grows wings: Environmental induction of winged dispersal males in Cardiocondyla ants. Current Biology. 13(3), 219–223.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 3991
Cheng H, Edelsbrunner H. 2003.Area and perimeter derivatives of a union of disks. In: Computer Science in Perspective: Essays Dedicated to Thomas Ottmann. LNCS, vol. 2598, 88–97.
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 | 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 | Journal Article | IST-REx-ID: 3994
Cheng H, Edelsbrunner H. 2003. Area, perimeter and derivatives of a skin curve. Computational Geometry: Theory and Applications. 26(2), 173–192.
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 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner H, Üngör A. 2003. Relaxed scheduling in dynamic skin triangulation. JCDCG: Japanese Conference on Discrete and Computational Geometry, LNCS, vol. 2866, 135–151.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4146
Ulrich F, Concha M, Heid P, Voss E, Witzel S, Roehl H, Tada M, Wilson S, Adams R, Soll D, Heisenberg C-PJ. 2003. Slb/Wnt11 controls hypoblast cell migration and morphogenesis at the onset of zebrafish gastrulation. Development. 130(22), 5375–5384.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4168
Montero J, Heisenberg C-PJ. 2003. Adhesive crosstalk in gastrulation. Developmental Cell. 5(2), 190–191.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4169
Montero J, Kilian B, Chan J, Bayliss P, Heisenberg C-PJ. 2003. Phosphoinositide 3-kinase is required for process outgrowth and cell polarization of gastrulating mesendodermal cells. Current Biology. 13(15), 1279–1289.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4185
Kilian B, Mansukoski H, Barbosa F, Ulrich F, Tada M, Heisenberg C-PJ. 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: 4254
Navarro A, Barton NH. 2003. Accumulating postzygotic isolation genes in parapatry: a new twist on chromosomal speciation. Evolution; International Journal of Organic Evolution. 57(3), 447–459.
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 | 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: 4257
Charlesworth B, Charlesworth D, Barton NH. 2003. The effects of genetic and geographic structure on neutral variation. Annual Review of Ecology and Systematics. 34, 99–125.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck J, Nielsen R, Bollback JP. 2003. Stochastic mapping of morphological characters. Systematic Biology. 52(2), 131–58.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
Harshman J, Huddleston C, Bollback JP, Parsons T, Braun M. 2003. True and false gharials: A nuclear gene phylogeny of crocodylia. Systematic Biology. 52(3), 386–402.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4240
González J, de Vladar H, Rebolledo M. 2003. New Late–Intensification Schedules for Cancer Treatments. Acta Científica Venezolana. 54, 263–273.
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 | Thesis | IST-REx-ID: 4416
Majumdar R. 2003. Symbolic algorithms for verification and control. University of California, Berkeley.
View
 

2003 | Thesis | IST-REx-ID: 4425
Horowitz B. 2003. Giotto: A time-triggered language for embedded programming. University of California, Berkeley.
View
 

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
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger TA, Jhala R, Majumdar R. 2003. Counterexample-guided control. ICALP: Automata, Languages and Programming, LNCS, vol. 2719, 886–902.
View | DOI
 

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
 

Search

Filter Publications