Please note that ISTA 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.
9087 Publications
2003 | Journal Article | IST-REx-ID: 3584
Edelsbrunner, Herbert, and Afra Zomorodian. “Computing Linking Numbers of a Filtration.” Homology, Homotopy and Applications. International Press, 2003.
View
| Download None (ext.)
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. Nature Publishing Group, 2003. https://doi.org/10.1038/sj.hdy.6800291.
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. Academic Press, 2003. https://doi.org/10.1016/S0040-5809(03)00098-4.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3618
Vines, Timothy, and Nicholas H Barton. “A New Approach to Detecting Mixed Families.” Molecular Ecology. Wiley-Blackwell, 2003. https://doi.org/10.1046/j.1365-294X.2003.01867.x.
View
| DOI
2003 | Journal Article | IST-REx-ID: 3752 | 
Vilar, Jose, Calin C Guet, and Stanislas Leibler. “Modeling Network Dynamics: The Lac Operon, a Case Study.” Journal of Cell Biology. Rockefeller University Press, 2003. https://doi.org/10.1083/jcb.200301125.
View
| DOI
| Download (ext.)
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. Sociedad Mexicana de Física, 2003.
View
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 | 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. Springer, 2003. 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. Elsevier, 2003. https://doi.org/10.1016/S0925-7721(02)00124-4.
View
| DOI
2003 | Book Review | IST-REx-ID: 3139
Chen, Hsiao, Simon Hippenmeyer, Silvia Arber, and Eric Frank. “Development of the Monosynaptic Stretch Reflex Circuit.” Current Opinion in Neurobiology. Elsevier, 2003. https://doi.org/10.1016/S0959-4388(03)00006-0.
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 | 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: 3526
Harris, Kenneth, Jozsef L Csicsvari, Hajima Hirase, George Dragoi, and György Buzsáki. “Organization of Cell Assemblies in the Hippocampus.” Nature. Nature Publishing Group, 2003. https://doi.org/0.1038/nature01834.
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. American Physiological Society, 2003. https://doi.org/10.1152/jn.00116.2003.
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. Elsevier, 2003. https://doi.org/10.1016/S0896-6273(02)01169-8.
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. National Academy of Sciences, 2003. 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. Springer, 2003. https://doi.org/10.1023/A:1023217515688.
View
| DOI
2003 | Thesis | IST-REx-ID: 3678
Lampert, Christoph. “The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric .” Bonner Mathematische Schriften. Universität Bonn, Fachbibliothek Mathematik, 2003.
View
| Download (ext.)
2003 | Journal Article | IST-REx-ID: 3725 |
Janovjak, Harald L, Max Kessler, Dieter Oesterhelt, Hermann Gaub, and Daniel Mueller. “Unfolding Pathways of Native Bacteriorhodopsin Depend on Temperature.” EMBO Journal. Wiley-Blackwell, 2003. https://doi.org/10.1093/emboj/cdg509.
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. Society for Neuroscience, 2003.
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. National Academy of Sciences, 2003. https://doi.org/10.1073/pnas.1432836100.
View
| DOI
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. Oxford University Press, 2003. 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. Cell Press, 2003. https://doi.org/10.1016/S0960-9822(03)00012-5.
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. Schnell und Steiner, 2003.
View
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: 576
Hosten, Onur, Patrizia Vignolo, Anna Minguzzi, Bilal Tanatar, and Mario Tosi. “Free Expansion of Two-Dimensional Condensates with a Vortex.” Journal of Physics B: Atomic, Molecular and Optical Physics. IOP Publishing Ltd., 2003. https://doi.org/10.1088/0953-4075/36/12/306.
View
| DOI
2003 | Journal Article | IST-REx-ID: 6156
Rogers, Candida, Vincenzina Reale, Kyuhyung Kim, Heather Chatwin, Chris Li, Peter Evans, and Mario de Bono. “Inhibition of Caenorhabditis Elegans Social Feeding by FMRFamide-Related Peptide Activation of NPR-1.” Nature Neuroscience. Springer Nature, 2003. https://doi.org/10.1038/nn1140.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 6157
Bono, Mario de. “Molecular Approaches to Aggregation Behavior and Social Attachment.” Journal of Neurobiology. Wiley, 2003. https://doi.org/10.1002/neu.10162.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 847
Sunyaev, Shamil, Fyodor Kondrashov, Peer Bork, and Vasily Ramensky. “Impact of Selection, Mutation Rate and Genetic Drift on Human Genetic Variation.” Human Molecular Genetics. Oxford University Press, 2003. https://doi.org/10.1093/hmg/ddg359.
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. Elsevier, 2003. https://doi.org/10.1016/S0168-9525(02)00029-X.
View
| DOI
2003 | Journal Article | IST-REx-ID: 9495 |
Cao, Xiaofeng, Werner Aufsatz, Daniel Zilberman, M.Florian Mette, Michael S. Huang, Marjori Matzke, and Steven E. Jacobsen. “Role of the DRM and CMT3 Methyltransferases in RNA-Directed DNA Methylation.” Current Biology. Elsevier, 2003. https://doi.org/10.1016/j.cub.2003.11.052.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
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. Springer Nature, 2003. https://doi.org/10.1007/s00222-002-0244-9.
View
| DOI
2003 | Journal Article | IST-REx-ID: 9455
Zilberman, Daniel, Xiaofeng Cao, and Steven E. Jacobsen. “ARGONAUTE4 Control of Locus-Specific SiRNA Accumulation and DNA and Histone Methylation.” Science. American Association for the Advancement of Science, 2003. https://doi.org/10.1126/science.1079695.
View
| DOI
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 4628
De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Discounting the Future in Systems Theory.” In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:1022–37. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_79.
View
| DOI
2003 | Journal Article | IST-REx-ID: 13436
Michrowska, Anna, Michał Bieniek, Mikhail Kim, Rafal Klajn, and Karol Grela. “Cross-Metathesis Reaction of Vinyl Sulfones and Sulfoxides.” Tetrahedron. Elsevier, 2003. https://doi.org/10.1016/s0040-4020(03)00682-3.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4561
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Mariëlle Stoelinga. “Resource Interfaces.” In Third International Conference on Embedded Software, 2855:117–33. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_9.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4630
De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “The Element of Surprise in Timed Games.” In Proceedings of the 14th International Conference on Concurrency Theory, 2761:144–58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003. https://doi.org/10.1007/978-3-540-45187-7_9.
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. IEEE, 2003. https://doi.org/10.1109/MCS.2003.1172829.
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.” In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 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.” In Proceedings of the 10th International SPIN Workshop , 2648:235–39. Springer, 2003. https://doi.org/10.1007/3-540-44829-2_17.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4463
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Shaz Qadeer. “Thread-Modular Abstraction Refinement.” In Proceedings of the 15th International Conference on Computer Aided Verification, 2725:262–74. Springer, 2003. https://doi.org/10.1007/978-3-540-45069-6_27.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4462
Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control.” In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:886–902. Springer, 2003. https://doi.org/10.1007/3-540-45061-0_69.
View
| DOI
2003 | Conference Paper | IST-REx-ID: 4464
Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Schedule-Carrying Code.” In Proceedings of the 3rd International Conference on Embedded Software, 2855:241–56. ACM, 2003. https://doi.org/10.1007/978-3-540-45212-6_16.
View
| DOI
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. Springer, 2003. https://doi.org/10.1023/A:1026228213080.
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. IEEE, 2003. https://doi.org/10.1109/JPROC.2002.805825.
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. Wiley-Blackwell, 2003. https://doi.org/10.1111/j.0014-3820.2003.tb00595.x.
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. Oxford University Press, 2003. https://doi.org/10.1080/10635150390197028.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 4348
Huelsenbeck, John, Rasmus Nielsen, and Jonathan P Bollback. “Stochastic Mapping of Morphological Characters.” Systematic Biology. Oxford University Press, 2003. https://doi.org/10.1080/10635150390192780.
View
| DOI
| PubMed | Europe PMC
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. Wiley-Blackwell, 2003. https://doi.org/10.1111/j.0014-3820.2003.tb01537.x.
View
| DOI
| PubMed | Europe PMC
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. Annual Reviews, 2003. https://doi.org/10.1146/annurev.ecolsys.34.011802.132359.
View
| DOI
2003 | Journal Article | 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.
[Published Version]
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. American Association for the Advancement of Science, 2003. https://doi.org/10.1126/science.1080600 .
View
| DOI
| PubMed | Europe PMC
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. Company of Biologists, 2003. https://doi.org/10.1242/dev.00758.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
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. Cell Press, 2003. https://doi.org/10.1016/S0960-9822(03)00505-0.
View
| DOI
| PubMed | Europe PMC
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. Elsevier, 2003. https://doi.org/10.1016/S0925-4773(03)00004-2.
View
| DOI
| PubMed | Europe PMC
2003 | Journal Article | IST-REx-ID: 3992 |
Edelsbrunner, Herbert, and Patrice Koehl. “The Weighted-Volume Derivative of a Space-Filling Diagram.” PNAS. National Academy of Sciences, 2003. https://doi.org/10.1073/pnas.0537830100.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2003 | Conference Paper | IST-REx-ID: 3999
Edelsbrunner, Herbert, and Alper Üngör. “Relaxed Scheduling in Dynamic Skin Triangulation.” In Proceedings of the Japanese Conference on Discrete and Computational Geometry , 2866:135–51. Springer, 2003. https://doi.org/10.1007/978-3-540-44400-8_14.
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.” In Proceedings of the 14th IEEE Conference on Visualization , 139–46. IEEE, 2003. https://doi.org/10.1109/VISUAL.2003.1250365.
View
| DOI
2003 | Journal Article | IST-REx-ID: 4168
Montero, Juan, and Carl-Philipp J Heisenberg. “Adhesive Crosstalk in Gastrulation.” Developmental Cell. Cell Press, 2003. https://doi.org/10.1016/S1534-5807(03)00235-1.
View
| DOI
| PubMed | Europe PMC
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
2002 | Journal Article | IST-REx-ID: 11124 |
Bilbao-Cortés, Daniel, Martin Hetzer, Gernot Längst, Peter B. Becker, and Iain W. Mattaj. “Ran Binds to Chromatin by Two Distinct Mechanisms.” Current Biology. Elsevier BV, 2002. https://doi.org/10.1016/s0960-9822(02)00927-2.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 11123
Hetzer, Martin, Oliver J. Gruss, and Iain W. Mattaj. “The Ran GTPase as a Marker of Chromosome Position in Spindle Formation and Nuclear Envelope Assembly.” Nature Cell Biology. Springer Nature, 2002. https://doi.org/10.1038/ncb0702-e177.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 12659 |
Burlando, Paolo, Francesca Pellicciotti, and Ulrich Strasser. “Modelling Mountainous Water Systems between Learning and Speculating Looking for Challenges.” Hydrology Research. IWA Publishing, 2002. https://doi.org/10.2166/nh.2002.0004.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 1738
Falaras, Polycarpos, Katerina Chryssou, Thomas Stergiopoulos, Ioannis Arabatzis, Georgios Katsaros, Vincent Catalano, Raif Kurtaran, Anne Hugot Le Goff, and Marie Bernard. “Dye-Sensitization of Titanium Dioxide Thin Films by Ru(II)-Bpp-Bpy Complexes,” 4801:125–35. SPIE, 2002. https://doi.org/10.1117/12.452446.
View
| DOI
2002 | Journal Article | IST-REx-ID: 1739
Stergiopoulos, Thomas, Iannis Arabatzis, Georgios Katsaros, and Polycarpos Falaras. “Binary Polyethylene Oxide/Titania Solid-State Redox Electrolyte for Highly Efficient Nanocrystalline TiO2 Photoelectrochemical Cells.” Nano Letters. American Chemical Society, 2002. https://doi.org/10.1021/nl025798u.
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: 2351 |
Seiringer, Robert. “Gross-Pitaevskii Theory of the Rotating Bose Gas.” Communications in Mathematical Physics. Springer, 2002. https://doi.org/10.1007/s00220-002-0695-2.
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2349 |
Lieb, Élliott, and Robert Seiringer. “Proof of Bose-Einstein Condensation for Dilute Trapped Gases.” Physical Review Letters. American Physical Society, 2002. https://doi.org/10.1103/PhysRevLett.88.170409.
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2352 |
Hainzl, Christian, and Robert Seiringer. “General Decomposition of Radial Functions on ℝn and Applications to N-Body Quantum Systems.” Letters in Mathematical Physics. Springer, 2002. https://doi.org/10.1023/A:1020204818938.
View
| DOI
| Download (ext.)
2002 | Journal Article | IST-REx-ID: 2617 |
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. Wiley-Blackwell, 2002. https://doi.org/10.1113/jphysiol.2002.020024.
View
| DOI
| Download (ext.)
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: 2991
Friml, Jiří, and Klaus Palme. “Polar Auxin Transport - Old Questions and New Concepts?” Plant Molecular Biology. Springer, 2002. https://doi.org/10.1023/A:1015248926412.
View
| DOI
2002 | Patent | IST-REx-ID: 3508 |
Edelsbrunner, Herbert, and Ping Fu. “Methods of Generating Three-Dimensional Digital Models of Objects by Wrapping Point Cloud Data Points,” 2002.
[Published Version]
View
| Download Published Version (ext.)
2002 | Conference Paper | IST-REx-ID: 3448
Mallick, Sanhita, Krishnendu Chatterjee, Arif Merchant, and Pallab Dasgupta. “Implementation of Shape Grammar for Plan Analysis.” Elsevier, 2002.
View
2002 | Thesis | IST-REx-ID: 4414
Mang, Freddy. “Games in Open Systems Verification and Synthesis.” University of California, Berkeley, 2002.
View
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. Springer Nature, 2002. 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. Springer Nature, 2002. https://doi.org/10.1038/nature01169.
View
| DOI
| PubMed | Europe PMC
2002 | Conference Paper | IST-REx-ID: 4631
De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.” In Proceedings of the 2nd International Conference on Embedded Software, 2491:108–22. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_9.
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.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:414–27. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_34.
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.” In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, 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. ACM, 2002. https://doi.org/10.1145/585265.585270.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A, Sriram Krishnan, Orna Kupferman, and Freddy Mang. “Synthesis of Uninitialized Systems.” In Proceedings of the 29th International Colloquium on Automata, Languages and Programming, 2380:644–56. Springer, 2002. https://doi.org/10.1007/3-540-45465-9_55.
View
| DOI
2002 | Journal Article | IST-REx-ID: 4474 |
Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.” Information and Computation. Elsevier, 2002. https://doi.org/10.1006/inco.2001.3085.
[Published Version]
View
| DOI
| Download Published Version (ext.)
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.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:428–41. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_35.
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.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:526–38. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_45.
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.” In Proceedings of the 2nd International Conference on Embedded Software, 2491:76–92. ACM, 2002. https://doi.org/10.1007/3-540-45828-X_7.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4444
Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.” In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, 315–26. ACM, 2002. https://doi.org/10.1145/512529.512567.
View
| DOI
2002 | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Lazy Abstraction.” In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 58–70. ACM, 2002. https://doi.org/10.1145/503272.503279.
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). ACM, 2002. https://doi.org/10.1145/509705.509707.
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.” In Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Vol. 15. Elsevier, 2002. https://doi.org/10.3182/20020721-6-ES-1901.01628.
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.” In Proceedings of the 2nd International Conference on Embedded Software, 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.” In Proceedings of the 16th International Workshop on Computer Science Logic, 2471:292–305. Springer, 2002. https://doi.org/10.1007/3-540-45793-3_20.
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.” In Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design, 132–39. IEEE, 2002. https://doi.org/10.1145/774572.774592.
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. Cambridge University Press, 2002. https://doi.org/10.1017/S0016672301005493.
View
| DOI
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4260 |
Johnson, Toby, and Nicholas H Barton. “The Effect of Deleterious Alleles on Adaptation in Asexual Populations.” Genetics. Genetics Society of America, 2002. https://doi.org/10.1093/genetics/162.1.395.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
2002 | Journal Article | IST-REx-ID: 4349
Bollback, Jonathan P. “Bayesian Model Adequacy and Choice in Phylogenetics.” Molecular Biology and Evolution. Oxford University Press, 2002. https://doi.org/10.1093/oxfordjournals.molbev.a004175.
View
| DOI
| PubMed | Europe PMC