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.

5874 Publications


2004 | Journal Article | IST-REx-ID: 3809
Schmidt Hieber, Christoph, Peter M Jonas, and Josef Bischofberger. “Enhanced Synaptic Plasticity in Newly Generated Granule Cells of the Adult Hippocampus.” Nature 429, no. 6988 (2004): 184–87. https://doi.org/10.1038/nature02553.
View | DOI
 

2004 | Journal Article | IST-REx-ID: 3810
Oliver, Dominik, Cheng Lien, Malle Soom, Thomas Baukrowitz, Peter M Jonas, and Bernd Fakler. “Functional Conversion between A-Type and Delayed Rectifier K+ Channels by Membrane Lipids.” Science 304, no. 5668 (2004): 265–70. https://doi.org/10.1126/science.1094113.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3894
Chatterjee, Krishnendu, Ritankar Majumdar, and Marcin Jurdziński. “On Nash Equilibria in Stochastic Games,” 3210:26–40. Springer, 2004. https://doi.org/10.1007/978-3-540-30124-0_6.
View | DOI
 

2004 | Conference Paper | IST-REx-ID: 3895
Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziński. “Games with Secure Equilibria,” 160–69. IEEE, 2004. https://doi.org/10.1109/LICS.2004.1319610.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 205
Browning, Timothy D. “Counting Rational Points on Cubic and Quartic Surfaces.” Acta Arithmetica 108, no. 3 (2003): 275–95. https://doi.org/10.4064/aa108-3-7.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 206
Browning, Timothy D. “A Note on the Distribution of Rational Points on Threefolds.” Quarterly Journal of Mathematics 54, no. 1 (2003): 33–39. https://doi.org/10.1093/qjmath/54.1.33.
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: 208
Browning, Timothy D. “Counting Rational Points on Diagonal Quadratic Surfaces.” Quarterly Journal of Mathematics 54, no. 1 (2003): 11–31. https://doi.org/10.1093/qjmath/54.1.11.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2337 | OA
Lieb, Élliott, and Robert Seiringer. “Bose-Einstein Condensation of Dilute Gases in Traps .” edited by Yulia Karpeshina, Rudi Weikard, and Yanni Zeng, 327:239–50. American Mathematical Society, 2003. https://doi.org/10.1090/conm/327/05818.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2354 | OA
Seiringer, Robert. “Ground State Asymptotics of a Dilute, Rotating Gas.” Journal of Physics A: Mathematical and Theoretical 36, no. 37 (2003): 9755–78. https://doi.org/10.1088/0305-4470/36/37/312.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2357 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Poincaré Inequalities in Punctured Domains.” Annals of Mathematics 158, no. 3 (2003): 1067–80. https://doi.org/10.4007/annals.2003.158.1067 .
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 2358 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “One-Dimensional Bosons in Three-Dimensional Traps.” Physical Review Letters 91, no. 15 (2003): 1504011–14. https://doi.org/10.1103/PhysRevLett.91.150401.
View | DOI | Download (ext.)
 

2003 | Thesis | IST-REx-ID: 2414
Wagner, Uli. On K-Sets and Their Applications. ETH Zurich, 2003. https://doi.org/10.3929/ethz-a-004708408.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2422
Wagner, Uli. “On the Rectilinear Crossing Number of Complete Graphs,” 583–88. SIAM, 2003.
View | Download (ext.)
 

2003 | Conference Paper | IST-REx-ID: 2423
Matoušek, Jiří, and Uli Wagner. “New Constructions of Weak Epsilon-Nets,” 129–35. ACM, 2003. https://doi.org/10.1145/777792.777813.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 2424
Giesen, Joachim, and Uli Wagner. “Shape Dimension and Intrinsic Metric from Samples of Manifolds with High Co-Dimension,” 329–37. ACM, 2003. https://doi.org/10.1145/777792.777841.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3917
Cremer, Sylvia, and Jürgen Heinze. “Zwischen Hochzeitsflug Und Brudermord: Reproduktive Taktiken Bei Ameisenmännchen.” Blick in Die Wissenschaft 12, no. 15 (2003): 32–36.
View
 

2003 | Journal Article | IST-REx-ID: 3921
Anderson, Carl, Sylvia Cremer, and Jürgen Heinze. “Live and Let Die: Why Fighter Males of the Ant Cardiocondyla Kill Each Other but Tolerate Their Winged Rivals.” Behavioral Ecology 14, no. 1 (2003): 54–62. https://doi.org/10.1093/beheco/14.1.54.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3922
Cremer, Sylvia, and Jürgen Heinze. “Stress Grows Wings: Environmental Induction of Winged Dispersal Males in Cardiocondyla Ants.” Current Biology 13, no. 3 (2003): 219–23. https://doi.org/10.1016/S0960-9822(03)00012-5.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 3991
Cheng, Ho, and Herbert Edelsbrunner. “Area and Perimeter Derivatives of a Union of Disks.” In Computer Science in Perspective: Essays Dedicated to Thomas Ottmann, 2598:88–97. Springer, 2003. https://doi.org/10.1007/3-540-36477-3_7.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3992
Edelsbrunner, Herbert, and Patrice Koehl. “The Weighted-Volume Derivative of a Space-Filling Diagram.” PNAS 100, no. 5 (2003): 2203–8. https://doi.org/10.1073/pnas.0537830100.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3993
Edelsbrunner, Herbert, John Harer, and Afra Zomorodian. “Hierarchical Morse-Smale Complexes for Piecewise Linear 2-Manifolds.” Discrete & Computational Geometry 30, no. 1 (2003): 87–107. https://doi.org/10.1007/s00454-003-2926-5.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3994
Cheng, Ho, and Herbert Edelsbrunner. “Area, Perimeter and Derivatives of a Skin Curve.” Computational Geometry: Theory and Applications 26, no. 2 (2003): 173–92. https://doi.org/10.1016/S0925-7721(02)00124-4.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3997
Bremer, Peer, Herbert Edelsbrunner, Bernd Hamann, and Valerio Pascucci. “A Multi-Resolution Data Structure for Two-Dimensional Morse-Smale Functions,” 139–46. IEEE, 2003. https://doi.org/10.1109/VISUAL.2003.1250365.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, Herbert, and Alper Üngör. “Relaxed Scheduling in Dynamic Skin Triangulation,” 2866:135–51. Springer, 2003. https://doi.org/10.1007/978-3-540-44400-8_14.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4146
Ulrich, Florian, Miguel Concha, Paul Heid, Ed Voss, Sabine Witzel, Henry Roehl, Masazumi Tada, et al. “Slb/Wnt11 Controls Hypoblast Cell Migration and Morphogenesis at the Onset of Zebrafish Gastrulation.” Development 130, no. 22 (2003): 5375–84. https://doi.org/10.1242/dev.00758.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4168
Montero, Juan, and Carl Heisenberg. “Adhesive Crosstalk in Gastrulation.” Developmental Cell 5, no. 2 (2003): 190–91. https://doi.org/10.1016/S1534-5807(03)00235-1.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4169
Montero, Juan, Beate Kilian, Joanne Chan, Peter Bayliss, and Carl Heisenberg. “Phosphoinositide 3-Kinase Is Required for Process Outgrowth and Cell Polarization of Gastrulating Mesendodermal Cells.” Current Biology 13, no. 15 (2003): 1279–89. https://doi.org/10.1016/S0960-9822(03)00505-0.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4185
Kilian, Beate, Hannu Mansukoski, Filipa Barbosa, Florian Ulrich, Masazumi Tada, and Carl Heisenberg. “The Role of Ppt/Wnt5 in Regulating Cell Shape and Movement during Zebrafish Gastrulation.” Mechanisms of Development 120, no. 4 (2003): 467–76. https://doi.org/10.1016/S0925-4773(03)00004-2.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4240
González, J., Harold De Vladar, and Morella Rebolledo. “New Late–Intensification Schedules for Cancer Treatments.” Acta Científica Venezolana 54 (2003): 263–73. https://doi.org/3800.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4254
Navarro, Arcadio, and Nicholas H Barton. “Accumulating Postzygotic Isolation Genes in Parapatry: A New Twist on Chromosomal Speciation.” Evolution; International Journal of Organic Evolution 57, no. 3 (2003): 447–59. https://doi.org/10.1111/j.0014-3820.2003.tb01537.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4255
Navarro, Arcadio, and Nicholas H Barton. “Chromosomal Speciation and Molecular Divergence -- Accelerated Evolution in Rearranged Chromosomes.” Science 300, no. 5617 (2003): 321–24. https://doi.org/10.1126/science.1080600 .
View | DOI
 

2003 | Book Review | IST-REx-ID: 4256
Barton, Nicholas H, and Willem Zuidema. “The Erratic Path towards Complexity.” Current Biology. Cell Press, 2003. https://doi.org/10.1016/S0960-9822(03)00573-6.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4257
Charlesworth, Brian, Deborah Charlesworth, and Nicholas H Barton. “The Effects of Genetic and Geographic Structure on Neutral Variation.” Annual Review of Ecology and Systematics 34 (2003): 99–125. https://doi.org/10.1146/annurev.ecolsys.34.011802.132359.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4338
Vines, Timothy, S C Kohler, M Thiel, Ioan Ghira, T R Sands, Catriona Maccallum, Nicholas H Barton, and Beate Nürnberger. “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, no. 8 (2003): 1876–88. https://doi.org/10.1111/j.0014-3820.2003.tb00595.x.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, John, Rasmus Nielsen, and Jonathan P Bollback. “Stochastic Mapping of Morphological Characters.” Systematic Biology 52, no. 2 (2003): 131–58. https://doi.org/10.1080/10635150390192780.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 4350
Harshman, John, Christopher Huddleston, Jonathan P Bollback, Thomas Parsons, and Michael Braun. “True and False Gharials: A Nuclear Gene Phylogeny of Crocodylia.” Systematic Biology 52, no. 3 (2003): 386–402. https://doi.org/10.1080/10635150390197028.
View | DOI
 

2003 | Thesis | IST-REx-ID: 4416
Majumdar, Ritankar. Symbolic Algorithms for Verification and Control. University of California, Berkeley, 2003.
View
 

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

2003 | Journal Article | IST-REx-ID: 4460
Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Formal Methods in System Design 23, no. 3 (2003): 303–27. https://doi.org/10.1023/A:1026228213080.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control,” 2719:886–902. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_69.
View | DOI
 

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 | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Schedule-Carrying Code,” 2855:241–56. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_16.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 4465
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.” In Software-Enabled Control: Information Technology for Dynamical Systems, 123–46. Wiley-Blackwell, 2003. https://doi.org/10.1002/047172288X.ch8.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4466
Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus,” 2619:49–64. Springer, 2003. https://doi.org/10.1007/3-540-36577-X_5.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4467
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Software Verification with BLAST,” 2648:235–39. Springer, 2003. https://doi.org/10.1007/3-540-44829-2_17.
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: 4469
Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.” Proceedings of the IEEE 91, no. 1 (2003): 84–99. https://doi.org/10.1109/JPROC.2002.805825.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Mariëlle Stoelinga. “Resource Interfaces,” 2855:117–33. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_9.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Discounting the Future in Systems Theory,” 2719:1022–37. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_79.
View | DOI
 

Search

Filter Publications