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.

6024 Publications


2003 | Journal Article | IST-REx-ID: 1457 | OA
Hausel, Tamas, and Michael Thaddeus. “Mirror Symmetry, Langlands Duality, and the Hitchin System.” Inventiones Mathematicae 153, no. 1 (2003): 197–229. https://doi.org/10.1007/s00222-003-0286-7.
View | DOI | Download (ext.)
 

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: 1459 | OA
Etesi, Gábor, and Tamas Hausel. “On Yang-Mills Instantons over Multi-Centered Gravitational Instantons.” Communications in Mathematical Physics 235, no. 2 (2003): 275–88. https://doi.org/10.1007/s00220-003-0806-8.
View | DOI | Download (ext.)
 

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 | Conference Paper | IST-REx-ID: 3171
Kolmogorov, Vladimir, Ramin Zabih, and Steven Gortler. “Generalized Multi Camera Scene Reconstruction Using Graph Cuts,” 2683:501–16. Springer, 2003. https://doi.org/10.1007/978-3-540-45063-4_32.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3174
Kim, Junhwan, Vladimir Kolmogorov, and Ramin Zabih. “Visual Correspondence Using Energy Minimization and Mutual Information,” 2:1033–40. IEEE, 2003. https://doi.org/10.1109/ICCV.2003.1238463.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3209
Pietrzak, Krzysztof Z. “On the Parameterized Complexity of the Fixed Alphabet Shortest Common Supersequence and Longest Common Subsequence Problems.” Journal of Computer and System Sciences 67, no. 4 (2003): 757–71. https://doi.org/10.1016/S0022-0000(03)00078-3.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3210
Maurer, Ueli, and Krzysztof Z Pietrzak. “The Security of Many Round Luby Rackoff Pseudo Random Permutations,” 2656:544–61. Springer, 2003. https://doi.org/10.1007/3-540-39200-9_34.
View | DOI
 

2003 | Book Chapter | IST-REx-ID: 3458
Jonas, Peter M, and Klaus Unsicker. “Molekulare Und Zelluläre Grundlagen Des Nervensystems.” In Lehrbuch Vorklinik, edited by R. Schmidt, B:3–26. Deutscher Ärzte Verlag, 2003.
View
 

2003 | Journal Article | IST-REx-ID: 3526
Harris, Kenneth, Jozsef L Csicsvari, Hajima Hirase, George Dragoi, and György Buzsáki. “Organization of Cell Assemblies in the Hippocampus.” Nature 424, no. 6948 (2003): 552–56. https://doi.org/0.1038/nature01834.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3528
Csicsvari, Jozsef L, Brian Jamieson, Kensall Wise, and György Buzsáki. “Mechanisms of Gamma Oscillations in the Hippocampus of the Behaving Rat.” Neuron 37, no. 2 (2003): 311–22. https://doi.org/10.1016/S0896-6273(02)01169-8.
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 | Conference Paper | IST-REx-ID: 3556
Edelsbrunner, Herbert, John Harer, Vijay Natarajan, and Valerio Pascucci. “Morse-Smale Complexes for Piecewise Linear 3-Manifolds,” 361–70. ACM, 2003. https://doi.org/10.1145/777792.777846.
View | DOI | Download (ext.)
 

2003 | Book Chapter | IST-REx-ID: 3573
Edelsbrunner, Herbert. “Surface Reconstruction by Wrapping Finite Sets in Space.” In Discrete & Computational Geometry, 379–404. Springer, 2003. https://doi.org/10.1007/978-3-642-55566-4_17.
View | DOI | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3584
Edelsbrunner, Herbert, and Afra Zomorodian. “Computing Linking Numbers of a Filtration.” Homology, Homotopy and Applications 5, no. 2 (2003): 19–37.
View | Download None (ext.)
 

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
 

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: 3619
Baird, Stuart, Nicholas H Barton, and Alison Etheridge. “The Distribution of Surviving Blocks of an Ancestral Genome.” Theoretical Population Biology 64, no. 4 (2003): 451–71. https://doi.org/10.1016/S0040-5809(03)00098-4.
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 | Thesis | IST-REx-ID: 3678
Lampert, Christoph. The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric . Bonner Mathematische Schriften. Vol. 356. Universität Bonn, Fachbibliothek Mathematik, 2003.
View | Download (ext.)
 

2003 | Journal Article | IST-REx-ID: 3725 | OA
Janovjak, Harald L, Max Kessler, Dieter Oesterhelt, Hermann Gaub, and Daniel Mueller. “Unfolding Pathways of Native Bacteriorhodopsin Depend on Temperature.” EMBO Journal 22, no. 19 (2003): 5220–29. https://doi.org/10.1093/emboj/cdg509.
View | DOI | Download (ext.)
 

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: 3804
Lien, Cheng, and Peter M Jonas. “Kv3 Potassium Conductance Is Necessary and Kinetically Optimized for High-Frequency Action Potential Generation in Hippocampal Interneurons.” Journal of Neuroscience 23, no. 6 (2003): 2058–68.
View
 

2003 | Journal Article | IST-REx-ID: 3806
Hallermann, Stefan, Christian Pawlu, Peter M Jonas, and Manfred Heckmann. “A Large Pool of Releasable Vesicles in a Cortical Glutamatergic Synapse.” PNAS 100, no. 15 (2003): 8975–80. https://doi.org/10.1073/pnas.1432836100.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3897
Chatterjee, Krishnendu, Marcin Jurdziński, and Thomas A Henzinger. “Simple Stochastic Parity Games,” 2803:100–113. Springer, 2003. https://doi.org/10.1007/978-3-540-45220-1_11.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3898
Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs,” 2694:109–26. Springer, 2003. https://doi.org/10.1007/3-540-44898-5_7.
View | DOI
 

2003 | Conference Paper | IST-REx-ID: 3425
Bollenbach, Mark Tobias, T. Strother, and Wolfgang Bauer. “3D Supernova Collapse Calculations,” 166:277–88. Springer, 2003. https://doi.org/10.1007/978-1-4020-2705-5_21.
View | DOI
 

2003 | Journal Article | IST-REx-ID: 3797
Bauer, Wolfgang, Marco Kleine Berkenbusch, and Mark Tobias Bollenbach. “Breaking Atomic Nuclei into Little Pieces: Evidence for a Phase Transition.” Revista Mexicana De Fisica 49, no. 4 (2003): 1–6.
View
 

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: 4169
Montero, Juan, Beate Kilian, Joanne Chan, Peter Bayliss, and Carl-Philipp J 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: 4168
Montero, Juan, and Carl-Philipp J 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: 4185
Kilian, Beate, Hannu Mansukoski, Filipa Barbosa, Florian Ulrich, Masazumi Tada, and Carl-Philipp J 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 | 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: 8519
Kaloshin, Vadim. “The Existential Hilbert 16-Th Problem and an Estimate for Cyclicity of Elementary Polycycles.” Inventiones Mathematicae 151, no. 3 (2003): 451–512. https://doi.org/10.1007/s00222-002-0244-9.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 204
Browning, Timothy D. “Equal Sums of Two Kth Powers.” Journal of Number Theory 96, no. 2 (2002): 293–318. https://doi.org/10.1006/jnth.2002.2800.
View | DOI
 

2002 | Book Chapter | IST-REx-ID: 2338
Lieb, Élliott, Jan Solovej, Robert Seiringer, and Jakob Yngvason. “The Ground State of the Bose Gas.” In Current Developments in Mathematics, 2001, 131–78. International Press, 2002. http://arxiv.org/abs/math-ph/0204027.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2339
Seiringer, Robert. “Symmetry Breaking in a Model of a Rotating Bose Gas.” edited by Richardo Weder, Pavel Exner, and Benoit Grébert, 307:281–86. World Scientific Publishing, 2002. https://doi.org/10.1090/conm/307.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2349 | OA
Lieb, Élliott, and Robert Seiringer. “Proof of Bose-Einstein Condensation for Dilute Trapped Gases.” Physical Review Letters 88, no. 17 (2002): 1704091–94. https://doi.org/10.1103/PhysRevLett.88.170409.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2350 | OA
Hainzl, Christian, and Robert Seiringer. “Mass Renormalization and Energy Level Shift in Non-Relativistic QED.” Advances in Theoretical and Mathematical Physics 6, no. 5 (2002): 847–71.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2351 | OA
Seiringer, Robert. “Gross-Pitaevskii Theory of the Rotating Bose Gas.” Communications in Mathematical Physics 229, no. 3 (2002): 491–509. https://doi.org/10.1007/s00220-002-0695-2.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2352 | OA
Hainzl, Christian, and Robert Seiringer. “General Decomposition of Radial Functions on ℝn and Applications to N-Body Quantum Systems.” Letters in Mathematical Physics 61, no. 1 (2002): 75–84. https://doi.org/10.1023/A:1020204818938.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2353 | OA
Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Superfluidity in Dilute Trapped Bose Gases.” Physical Review B - Condensed Matter and Materials Physics 66, no. 13 (2002). https://doi.org/10.1103/PhysRevB.66.134529.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2420
Wagner, Uli. “On the Number of Corner Cuts.” Advances in Applied Mathematics 29, no. 2 (2002): 152–61. https://doi.org/10.1016/S0196-8858(02)00014-3.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2421
Ambühl, Christoph, and Uli Wagner. “On the Clique Problem in Intersection Graphs of Ellipses,” 2518:489–500. Springer, 2002. https://doi.org/10.1007/3-540-36136-7_43.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2613
Kitano, Jun, Kouji Kimura, Yoshimitsu Yamazaki, Takeshi Soda, Ryuichi Shigemoto, Yoshiaki Nakajima, and Shigetada Nakanishi. “Tamalin, a PDZ Domain-Containing Protein, Links a Protein Complex Formation of Group 1 Metabotropic Glutamate Receptors and the Guanine Nucleotide Exchange Factor Cytohesins.” Journal of Neuroscience 22, no. 4 (2002): 1280–89.
View
 

2002 | Journal Article | IST-REx-ID: 2614
Millán, Carmelo, Rafael Luján, Ryuichi Shigemoto, and José Sánchez Prieto. “The Inhibition of Glutamate Release by Metabotropic Glutamate Receptor 7 Affects Both [Ca2+]c and CAMP. Evidence for a Strong Reduction of Ca2+ Entry in Single Nerve Terminals.” Journal of Biological Chemistry 277, no. 16 (2002): 14092–101. https://doi.org/10.1074/jbc.M109044200.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2615
Toyono, Takashi, Yuji Seta, Shinji Sataoka, Harumi Harada, Takahiko Morotomi, Shintaro Kawano, Ryuichi Shigemoto, and Kuniaki Toyoshima. “Expression of the Metabotropic Glutamate Receptor, MGluR4a, in the Taste Hairs of Taste Buds in Rat Gustatory Papillae.” Archives of Histology and Cytology 65, no. 1 (2002): 91–96. https://doi.org/10.1679/aohc.65.91.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2616
López Bendito, Guillermina, Ryuichi Shigemoto, Alfonso Fairén, and Rafael Luján. “Differential Distribution of Group I Metabotropic Glutamate Receptors during Rat Cortical Development.” Cerebral Cortex 12, no. 6 (2002): 625–38. https://doi.org/10.1093/cercor/12.6.625.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2617 | OA
Losonczy, Attila, Limei Zhang, Ryuichi Shigemoto, Péter Somogyi, and Zoltán Nusser. “Cell Type Dependence and Variability in the Short-Term Plasticity of EPSCs in Identified Mouse Hippocampal Interneurones.” Journal of Physiology 542, no. 1 (2002): 193–210. https://doi.org/10.1113/jphysiol.2002.020024.
View | DOI | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 2618
Nunzi, Maria, Ryuichi Shigemoto, and Enrico Mugnaini. “Differential Expression of Calretinin and Metabotropic Glutamate Receptor MGluR1α Defines Subsets of Unipolar Brush Cells in Mouse Cerebellum.” Journal of Comparative Neurology 451, no. 2 (2002): 189–99. https://doi.org/10.1002/cne.10344.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2619
Dalezios, Yannis, Rafael Luján, Ryuichi Shigemoto, John Roberts, and Péter Somogyi. “Enrichment of MGluR7a in the Presynaptic Active Zones of GABAergic and Non-GABAergic Terminals on Interneurons in the Rat Somatosensory Cortex.” Cerebral Cortex 12, no. 9 (2002): 961–74. https://doi.org/10.1093/cercor/12.9.961.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3919 | OA
Cremer, Sylvia, and Jürgen Heinze. “Adaptive Production of Fighter Males: Queens of the Ant Cardiocondyla Adjust the Sex Ratio under Local Mate Competition.” Proceedings of the Royal Society of London Series B Biological Sciences 269, no. 1489 (2002): 417–22. https://doi.org/10.1098/rspb.2001.1892.
View | DOI | Download None (ext.)
 

2002 | Journal Article | IST-REx-ID: 3920
Turillazzi, Stefano, Matthew Sledge, Sylvia Cremer, and Jürgen Heinze. “A Method for Analysing Small-Size Specimens in GC-MS.” Insect Social Life 4 (2002): 169–75.
View
 

2002 | Journal Article | IST-REx-ID: 3924
Cremer, Sylvia, Birgit Lautenschläger, and Jürgen Heinze. “A Transitional Stage between the Ergatoid and Winged Male Morph in the Ant Cardiocondyla Obscurior.” Insectes Sociaux 49, no. 3 (2002): 221–28. https://doi.org/10.1007/s00040-002-8305-z.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3925
Cremer, Sylvia, Matthew Sledge, and Jürgen Heinze. “Chemical Mimicry: Male Ants Disguised by the Queen’s Bouquet.” Nature 419 (2002): 897–897. https://doi.org/10.1038/419897a.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3995
Agarwal, Pankaj, Leonidas Guibas, Herbert Edelsbrunner, Jeff Erickson, Michael Isard, Sariel Har Peled, John Hershberger, et al. “Algorithmic Issues in Modeling Motion.” ACM Computing Surveys 34, no. 4 (2002): 550–72. https://doi.org/10.1145/592642.592647.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3996
Edelsbrunner, Herbert, David Letscher, and Afra Zomorodian. “Topological Persistence and Simplification.” Discrete & Computational Geometry 28, no. 4 (2002): 511–33. https://doi.org/10.1007/s00454-002-2885-2.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 3998
Edelsbrunner, Herbert, and Damrong Guoy. “An Experimental Study of Sliver Exudation.” Engineering with Computers 18, no. 3 (2002): 229–40. https://doi.org/10.1007/s003660200020.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4000
Zomorodian, Afra, and Herbert Edelsbrunner. “Fast Software for Box Intersections.” International Journal of Computational Geometry and Applications 12, no. 1–2 (2002): 143–72. https://doi.org/10.1142/S0218195902000785.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4003
Agarwal, Pankaj, Herbert Edelsbrunner, and Yusu Wang. “Computing the Writhing Number of a Polygonal Knot,” 791–99. SIAM, 2002.
View
 

2002 | Journal Article | IST-REx-ID: 4139
Polechova, Jitka, and P. Stopka. “Geometry of Social Relationships in the Old World Wood Mouse, Apodemus Sylvaticus.” Canadian Journal of Zoology 80, no. 8 (2002): 1383–88. https://doi.org/3820.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4258
Navarro, Arcadio, and Nicholas H Barton. “The Effects of Multilocus Balancing Selection on Neutral Variability.” Genetics 161, no. 2 (2002): 849–63.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4259
Orive, Maria, and Nicholas H Barton. “Associations between Cytoplasmic and Nuclear Loci in Hybridizing Populations.” Genetics 162, no. 3 (2002): 1469–85.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4260
Johnson, Toby, and Nicholas H Barton. “The Effect of Deleterious Alleles on Adaptation in Asexual Populations.” Genetics 162, no. 1 (2002): 395–411.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4261
Barton, Nicholas H, and Peter Keightley. “Understanding Quantitative Genetic Variation.” Nature Reviews Genetics 3 (2002): 11–21. https://doi.org/10.1038/nrg700.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4262
Barton, Nicholas H, and Arcadio Navarro. “Extending the Coalescent to Multilocus Systems: The Case of Balancing Selection.” Genetical Research 79, no. 2 (2002): 129–39. https://doi.org/10.1017/S0016672301005493.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4263
Barton, Nicholas H, Frantz Depaulis, and Alison Etheridge. “Neutral Evolution in Spatially Continuous Populations.” Theoretical Population Biology 61, no. 1 (2002): 31–48. https://doi.org/10.1006/tpbi.2001.1557.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4347
Huelsenbeck, John, Jonathan P Bollback, and Amy Levine. “Inferring the Root of a Phylogenetic Tree.” Systematic Biology 51, no. 1 (2002): 32–43. https://doi.org/10.1080/106351502753475862.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4349
Bollback, Jonathan P. “Bayesian Model Adequacy and Choice in Phylogenetics.” Molecular Biology and Evolution 19, no. 7 (2002): 1171–80.
View | Download (ext.)
 

2002 | Journal Article | IST-REx-ID: 4407
Raskin, Jean, Pierre Schobbens, and Thomas A Henzinger. “Axioms for Real-Time Logics.” Theoretical Computer Science 274, no. 1–2 (2002): 151–82. https://doi.org/10.1016/S0304-3975(00)00308-X.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4413
Passerone, Roberto, Luca De Alfaro, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin,” 132–39. IEEE, 2002. https://doi.org/10.1145/774572.774592.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4421
Kirsch, Christoph, Marco Sanvido, Thomas A Henzinger, and Wolfgang Pree. “A Giotto-Based Helicopter Control System,” 2491:46–60. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_5.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4422
Jurdziński, Marcin, Orna Kupferman, and Thomas A Henzinger. “Trading Probability for Fairness,” 2471:292–305. Springer, 2002. https://doi.org/10.1007/3-540-45793-3_20.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4423
Horowitz, Benjamin, Judith Liebman, Cedric Ma, T John Koo, Thomas A Henzinger, Alberto Sangiovanni Vincentelli, and Shankar Sastry. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms,” Vol. 15. Elsevier, 2002. https://doi.org/10.3182/20020721-6-ES-1901.01628.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code,” 315–26. ACM, 2002. https://doi.org/10.1145/512529.512567.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4470
Henzinger, Thomas A, Christoph Kirsch, Ritankar Majumdar, and Slobodan Matic. “Time-Safety Checking for Embedded Programs,” 2491:76–92. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_7.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A, Sriram Krishnan, Orna Kupferman, and Freddy Mang. “Synthesis of Uninitialized Systems,” 2380:644–56. Springer, 2002. https://doi.org/10.1007/3-540-45465-9_55.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4472
Henzinger, Thomas A, George Necula, Ranjit Jhala, Grégoire Sutre, Ritankar Majumdar, and Westley Weimer. “Temporal Safety Proofs for Systems Code,” 2404:526–38. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_45.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4473
Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS) 24, no. 1 (2002): 51–64. https://doi.org/10.1145/509705.509707.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4474
Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.” Information and Computation 173, no. 1 (2002): 64–81. https://doi.org/10.1006/inco.2001.3085.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Lazy Abstraction,” 58–70. ACM, 2002. https://doi.org/10.1145/503272.503279.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces,” 2404:414–27. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_34.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziński, and Freddy Mang. “Interface Compatibility Checking for Software Modules,” 2404:428–41. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_35.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems,” 2289:134–48. Springer, 2002. https://doi.org/10.1007/3-540-45873-5_13.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” Journal of the ACM 49, no. 5 (2002): 672–713. https://doi.org/10.1145/585265.585270.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces,” 2491:108–22. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_9.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 6158
Coates, Juliet C., and Mario de Bono. “Antagonistic Pathways in Neurons Exposed to Body Fluid Regulate Social Feeding in Caenorhabditis Elegans.” Nature 419, no. 6910 (2002): 925–29. https://doi.org/10.1038/nature01170.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 6159
Bono, Mario de, David M. Tobin, M. Wayne Davis, Leon Avery, and Cornelia I. Bargmann. “Social Feeding in Caenorhabditis Elegans Is Induced by Neurons That Detect Aversive Stimuli.” Nature 419, no. 6910 (2002): 899–903. https://doi.org/10.1038/nature01169.
View | DOI | PubMed | Europe PMC
 

2002 | Journal Article | IST-REx-ID: 2620
Lörincz, Andrea, Takuya Notomi, Gábor Tamás, Ryuichi Shigemoto, and Zoltán Nusser. “Polarized and Compartment-Dependent Distribution of HCN1 in Pyramidal Cell Dendrites.” Nature Neuroscience 5, no. 11 (2002): 1185–93. https://doi.org/10.1038/nn962.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2621
Millán, Carmelo, Rafael Luján, Ryuichi Shigemoto, and José Sánchez Prieto. “Subtype-Specific Expression of Group III Metabotropic Glutamate Receptors and Ca2+ Channels in Single Nerve Terminals.” Journal of Biological Chemistry 277, no. 49 (2002): 47796–803. https://doi.org/10.1074/jbc.M207531200.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2622
López Bendito, Guillermina, Ryuichi Shigemoto, Ákos Kulik, Ole Paulsen, Alfonso Fairén, and Rafael Luján. “Expression and Distribution of Metabotropic GABA Receptor Subtypes GABABR1 and GABABR2 during Rat Neocortical Development.” European Journal of Neuroscience 15, no. 11 (2002): 1766–78. https://doi.org/10.1046/j.1460-9568.2002.02032.x.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2624
Kulik, Ákos, Kazuhiko Nakadate, Gábor Nyíri, Takuya Notomi, Barbara Malitschek, Bernhard Bettler, and Ryuichi Shigemoto. “Distinct Localization of GABAB Receptors Relative to Synaptic Sites in the Rat Cerebellum and Ventrobasal Thalamus.” European Journal of Neuroscience 15, no. 2 (2002): 291–307. https://doi.org/10.1046/j.0953-816x.2001.01855.x.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2694
Erdös, László. “Scaling Limits of Schrödinger Quantum Mechanics,” 597:487–506. Springer, 2002. https://doi.org/10.1007/3-540-46122-1_19.
View | DOI
 

2002 | Conference Paper | IST-REx-ID: 2708
Erdös, László. “Two Dimensional Pauli Operator via Scalar Potential,” 307:129–33. World Scientific Publishing, 2002. https://doi.org/10.1090/conm/307.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2737
Bardos, Claude, László Erdös, François Golse, Norbert Mauser, and Horng Yau. “Derivation of the Schrödinger-Poisson Equation from the Quantum N-Body Problem.” Comptes Rendus Mathematique 334, no. 6 (2002): 515–20. https://doi.org/10.1016/S1631-073X(02)02253-7.
View | DOI
 

2002 | Journal Article | IST-REx-ID: 2738
Erdös, László. “Linear Boltzmann Equation as the Long Time Dynamics of an Electron Weakly Coupled to a Phonon Field.” Journal of Statistical Physics 107, no. 5–6 (2002): 1043–1127. https://doi.org/10.1023/A:1015157624384.
View | DOI
 

Search

Filter Publications