Edelsbrunner, Herbert, and Afra Zomorodian. “Computing Linking Numbers of a Filtration.” Homology, Homotopy and Applications, vol. 5, no. 2, International Press, 2003, pp. 19–37.
LibreCat: https://research-explorer.ista.ac.at/record/3584

Nürnberger, Beate, et al. “A Linkage Map for the Hybridising Toads Bombina Bombina and B. Variegata (Anura: Discoglossidae).”10.1038/sj.hdy.6800291__Heredity, vol. 91, no. 2, Nature Publishing Group, 2003, pp. 136–42, doi:10.1038/sj.hdy.6800291.
LibreCat: https://research-explorer.ista.ac.at/record/3620
DOI: 10.1038/sj.hdy.6800291

Baird, Stuart, et al. “The Distribution of Surviving Blocks of an Ancestral Genome.”10.1016/S0040-5809(03)00098-4__Theoretical Population Biology, vol. 64, no. 4, Academic Press, 2003, pp. 451–71, doi:10.1016/S0040-5809(03)00098-4.
LibreCat: https://research-explorer.ista.ac.at/record/3619
DOI: 10.1016/S0040-5809(03)00098-4

Vines, Timothy, and Nicholas H. Barton. “A New Approach to Detecting Mixed Families.”10.1046/j.1365-294X.2003.01867.x__Molecular Ecology, vol. 12, no. 7, Wiley-Blackwell, 2003, pp. 1999–2002, doi:10.1046/j.1365-294X.2003.01867.x.
LibreCat: https://research-explorer.ista.ac.at/record/3618
DOI: 10.1046/j.1365-294X.2003.01867.x

Vilar, Jose, et al. “Modeling Network Dynamics: The Lac Operon, a Case Study.”10.1083/jcb.200301125__Journal of Cell Biology, vol. 161, no. 3, Rockefeller University Press, 2003, pp. 471–76, doi:10.1083/jcb.200301125.
LibreCat: https://research-explorer.ista.ac.at/record/3752
DOI: 10.1083/jcb.200301125

Bauer, Wolfgang, et al. “Breaking Atomic Nuclei into Little Pieces: Evidence for a Phase Transition.” Revista Mexicana De Fisica, vol. 49, no. 4, Sociedad Mexicana de Física, 2003, pp. 1–6.
LibreCat: https://research-explorer.ista.ac.at/record/3797

Chatterjee, Krishnendu, et al. Simple Stochastic Parity Games. Vol. 2803, Springer, 2003, pp. 100–13, doi:10.1007/978-3-540-45220-1_11.
LibreCat: https://research-explorer.ista.ac.at/record/3897
DOI: 10.1007/978-3-540-45220-1_11

Chatterjee, Krishnendu, et al. Stack Size Analysis for Interrupt-Driven Programs. Vol. 2694, Springer, 2003, pp. 109–26, doi:10.1007/3-540-44898-5_7.
LibreCat: https://research-explorer.ista.ac.at/record/3898
DOI: 10.1007/3-540-44898-5_7

Edelsbrunner, Herbert, et al. “Hierarchical Morse-Smale Complexes for Piecewise Linear 2-Manifolds.”10.1007/s00454-003-2926-5__Discrete &; Computational Geometry, vol. 30, no. 1, Springer, 2003, pp. 87–107, doi:10.1007/s00454-003-2926-5.
LibreCat: https://research-explorer.ista.ac.at/record/3993
DOI: 10.1007/s00454-003-2926-5

Cheng, Ho, and Herbert Edelsbrunner. “Area, Perimeter and Derivatives of a Skin Curve.”10.1016/S0925-7721(02)00124-4__Computational Geometry: Theory and Applications, vol. 26, no. 2, Elsevier, 2003, pp. 173–92, doi:10.1016/S0925-7721(02)00124-4.
LibreCat: https://research-explorer.ista.ac.at/record/3994
DOI: 10.1016/S0925-7721(02)00124-4

Chen, Hsiao, et al. “Development of the Monosynaptic Stretch Reflex Circuit.”10.1016/S0959-4388(03)00006-0__Current Opinion in Neurobiology, vol. 13, no. 1, Elsevier, 2003, pp. 96–102, doi:10.1016/S0959-4388(03)00006-0.
LibreCat: https://research-explorer.ista.ac.at/record/3139
DOI: 10.1016/S0959-4388(03)00006-0

Kolmogorov, Vladimir, et al. Generalized Multi Camera Scene Reconstruction Using Graph Cuts. Vol. 2683, Springer, 2003, pp. 501–16, doi:10.1007/978-3-540-45063-4_32.
LibreCat: https://research-explorer.ista.ac.at/record/3171
DOI: 10.1007/978-3-540-45063-4_32

Kim, Junhwan, et al. Visual Correspondence Using Energy Minimization and Mutual Information. Vol. 2, IEEE, 2003, pp. 1033–40, doi:10.1109/ICCV.2003.1238463.
LibreCat: https://research-explorer.ista.ac.at/record/3174
DOI: 10.1109/ICCV.2003.1238463

Boykov, Yuri, and Vladimir Kolmogorov. Computing Geodesics and Minimal Surfaces via Graph Cuts. Vol. 1, IEEE, 2003, pp. 26–33, doi:10.1109/ICCV.2003.1238310.
LibreCat: https://research-explorer.ista.ac.at/record/3170
DOI: 10.1109/ICCV.2003.1238310

Harris, Kenneth, et al. “Organization of Cell Assemblies in the Hippocampus.”0.1038/nature01834__Nature, vol. 424, no. 6948, Nature Publishing Group, 2003, pp. 552–56, doi:0.1038/nature01834.
LibreCat: https://research-explorer.ista.ac.at/record/3526
DOI: 0.1038/nature01834

Csicsvari, Jozsef L., et al. “Massively Parallel Recording of Unit and Local Field Potentials with Silicon-Based Electrodes.”10.1152/jn.00116.2003__Journal of Neurophysiology, vol. 90, no. 2, American Physiological Society, 2003, pp. 1314–23, doi:10.1152/jn.00116.2003.
LibreCat: https://research-explorer.ista.ac.at/record/3529
DOI: 10.1152/jn.00116.2003

Csicsvari, Jozsef L., et al. “Mechanisms of Gamma Oscillations in the Hippocampus of the Behaving Rat.”10.1016/S0896-6273(02)01169-8__Neuron, vol. 37, no. 2, Elsevier, 2003, pp. 311–22, doi:10.1016/S0896-6273(02)01169-8.
LibreCat: https://research-explorer.ista.ac.at/record/3528
DOI: 10.1016/S0896-6273(02)01169-8

Sirota, Anton, et al. “Communication between Neocortex and Hippocampus during Sleep in Rodents.”10.1073/pnas.0437938100__PNAS, vol. 100, no. 4, National Academy of Sciences, 2003, pp. 2065–69, doi:10.1073/pnas.0437938100.
LibreCat: https://research-explorer.ista.ac.at/record/3543
DOI: 10.1073/pnas.0437938100

Chatterjee, Krishnendu, et al. “A Branching Time Temporal Framework for Quantitative Reasoning.”10.1023/A:1023217515688__Journal of Automated Reasoning, vol. 30, no. 2, Springer, 2003, pp. 205–32, doi:10.1023/A:1023217515688.
LibreCat: https://research-explorer.ista.ac.at/record/3593
DOI: 10.1023/A:1023217515688

Lampert, Christoph. “The Neumann Operator in Strictly Pseudoconvex Domains with Weighted Bergman Metric .” Bonner Mathematische Schriften, vol. 356, Universität Bonn, Fachbibliothek Mathematik, 2003, pp. 1–165.
LibreCat: https://research-explorer.ista.ac.at/record/3678

Janovjak, Harald L., et al. “Unfolding Pathways of Native Bacteriorhodopsin Depend on Temperature.”10.1093/emboj/cdg509__EMBO Journal, vol. 22, no. 19, Wiley-Blackwell, 2003, pp. 5220–29, doi:10.1093/emboj/cdg509.
LibreCat: https://research-explorer.ista.ac.at/record/3725
DOI: 10.1093/emboj/cdg509

Lien, Cheng, and Peter M. Jonas. “K Potassium Conductance Is Necessary and Kinetically Optimized for High-Frequency Action Potential Generation in Hippocampal Interneurons.” Journal of Neuroscience, vol. 23, no. 6, Society for Neuroscience, 2003, pp. 2058–68.
LibreCat: https://research-explorer.ista.ac.at/record/3804

Hallermann, Stefan, et al. “A Large Pool of Releasable Vesicles in a Cortical Glutamatergic Synapse.”10.1073/pnas.1432836100__PNAS, vol. 100, no. 15, National Academy of Sciences, 2003, pp. 8975–80, doi:10.1073/pnas.1432836100.
LibreCat: https://research-explorer.ista.ac.at/record/3806
DOI: 10.1073/pnas.1432836100

Anderson, Carl, et al. “Live and Let Die: Why Fighter Males of the Ant Cardiocondyla Kill Each Other but Tolerate Their Winged Rivals.”10.1093/beheco/14.1.54__Behavioral Ecology, vol. 14, no. 1, Oxford University Press, 2003, pp. 54–62, doi:10.1093/beheco/14.1.54.
LibreCat: https://research-explorer.ista.ac.at/record/3921
DOI: 10.1093/beheco/14.1.54

Cremer, Sylvia, and Jürgen Heinze. “Stress Grows Wings: Environmental Induction of Winged Dispersal Males in Cardiocondyla Ants.”10.1016/S0960-9822(03)00012-5__Current Biology, vol. 13, no. 3, Cell Press, 2003, pp. 219–23, doi:10.1016/S0960-9822(03)00012-5.
LibreCat: https://research-explorer.ista.ac.at/record/3922
DOI: 10.1016/S0960-9822(03)00012-5

Cremer, Sylvia, and Jürgen Heinze. “Zwischen Hochzeitsflug Und Brudermord: Reproduktive Taktiken Bei Ameisenmännchen.” Blick in Die Wissenschaft, vol. 12, no. 15, Schnell und Steiner, 2003, pp. 32–36.
LibreCat: https://research-explorer.ista.ac.at/record/3917

Majumdar, Ritankar. Symbolic Algorithms for Verification and Control. University of California, Berkeley, 2003, pp. 1–201.
LibreCat: https://research-explorer.ista.ac.at/record/4416

Horowitz, Benjamin. Giotto: A Time-Triggered Language for Embedded Programming. University of California, Berkeley, 2003, pp. 1–237.
LibreCat: https://research-explorer.ista.ac.at/record/4425

Hosten, Onur, et al. “Free Expansion of Two-Dimensional Condensates with a Vortex.”10.1088/0953-4075/36/12/306__Journal of Physics B: Atomic, Molecular and Optical Physics, vol. 36, no. 12, IOP Publishing Ltd., 2003, pp. 2455–63, doi:10.1088/0953-4075/36/12/306.
LibreCat: https://research-explorer.ista.ac.at/record/576
DOI: 10.1088/0953-4075/36/12/306

Rogers, Candida, et al. “Inhibition of Caenorhabditis Elegans Social Feeding by FMRFamide-Related Peptide Activation of NPR-1.”10.1038/nn1140__Nature Neuroscience, vol. 6, no. 11, Springer Nature, 2003, pp. 1178–85, doi:10.1038/nn1140.
LibreCat: https://research-explorer.ista.ac.at/record/6156
DOI: 10.1038/nn1140
PMID: 14555955

de Bono, Mario. “Molecular Approaches to Aggregation Behavior and Social Attachment.”10.1002/neu.10162__Journal of Neurobiology, vol. 54, no. 1, Wiley, 2003, pp. 78–92, doi:10.1002/neu.10162.
LibreCat: https://research-explorer.ista.ac.at/record/6157
DOI: 10.1002/neu.10162
PMID: 12486699

Sunyaev, Shamil, et al. “Impact of Selection, Mutation Rate and Genetic Drift on Human Genetic Variation.”10.1093/hmg/ddg359__Human Molecular Genetics, vol. 12, no. 24, Oxford University Press, 2003, pp. 3325–30, doi:10.1093/hmg/ddg359.
LibreCat: https://research-explorer.ista.ac.at/record/847
DOI: 10.1093/hmg/ddg359

Kondrashov, Fyodor, and Eugene Koonin. “Evolution of Alternative Splicing: Deletions, Insertions and Origin of Functional Parts of Proteins from Intron Sequences.”10.1016/S0168-9525(02)00029-X__Trends in Genetics, vol. 19, no. 3, Elsevier, 2003, pp. 115–19, doi:10.1016/S0168-9525(02)00029-X.
LibreCat: https://research-explorer.ista.ac.at/record/876
DOI: 10.1016/S0168-9525(02)00029-X

Cao, Xiaofeng, et al. “Role of the DRM and CM Methyltransferases in RNA-Directed DNA Methylation.”10.1016/j.cub.2003.11.052__Current Biology, vol. 13, no. 24, Elsevier, 2003, pp. 2212–17, doi:10.1016/j.cub.2003.11.052.
LibreCat: https://research-explorer.ista.ac.at/record/9495
DOI: 10.1016/j.cub.2003.11.052
PMID: 14680640

Kaloshin, Vadim. “The Existential Hilbert 16-Th Problem and an Estimate for Cyclicity of Elementary Polycycles.”10.1007/s00222-002-0244-9__Inventiones Mathematicae, vol. 151, no. 3, Springer Nature, 2003, pp. 451–512, doi:10.1007/s00222-002-0244-9.
LibreCat: https://research-explorer.ista.ac.at/record/8519
DOI: 10.1007/s00222-002-0244-9

Zilberman, Daniel, et al. “ARGONAUT Control of Locus-Specific SiRNA Accumulation and DNA and Histone Methylation.”10.1126/science.1079695__Science, vol. 299, no. 5607, American Association for the Advancement of Science, 2003, pp. 716–19, doi:10.1126/science.1079695.
LibreCat: https://research-explorer.ista.ac.at/record/9455
DOI: 10.1126/science.1079695
PMID: 12522258

De Alfaro, Luca, et al. “Discounting the Future in Systems Theory.”10.1007/3-540-45061-0_79__Proceedings of the 30th International Colloquium on Automata, Languages and Programming, vol. 2719, Springer, 2003, pp. 1022–37, doi:10.1007/3-540-45061-0_79.
LibreCat: https://research-explorer.ista.ac.at/record/4628
DOI: 10.1007/3-540-45061-0_79

Michrowska, Anna, et al. “Cross-Metathesis Reaction of Vinyl Sulfones and Sulfoxides.”10.1016/s0040-4020(03)00682-3__Tetrahedron, vol. 59, no. 25, Elsevier, 2003, pp. 4525–31, doi:10.1016/s0040-4020(03)00682-3.
LibreCat: https://research-explorer.ista.ac.at/record/13436
DOI: 10.1016/s0040-4020(03)00682-3

Chakrabarti, Arindam, et al. “Resource Interfaces.”10.1007/978-3-540-45212-6_9__Third International Conference on Embedded Software, vol. 2855, ACM, 2003, pp. 117–33, doi:10.1007/978-3-540-45212-6_9.
LibreCat: https://research-explorer.ista.ac.at/record/4561
DOI: 10.1007/978-3-540-45212-6_9

De Alfaro, Luca, et al. “The Element of Surprise in Timed Games.”10.1007/978-3-540-45187-7_9__Proceedings of the 14th International Conference on Concurrency Theory, vol. 2761, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003, pp. 144–58, doi:10.1007/978-3-540-45187-7_9.
LibreCat: https://research-explorer.ista.ac.at/record/4630
DOI: 10.1007/978-3-540-45187-7_9

Henzinger, Thomas A., et al. “From Control Models to Real-Time Code Using Giotto.”10.1109/MCS.2003.1172829__IEEE Control Systems Magazine, vol. 23, no. 1, IEEE, 2003, pp. 50–64, doi:10.1109/MCS.2003.1172829.
LibreCat: https://research-explorer.ista.ac.at/record/4468
DOI: 10.1109/MCS.2003.1172829

Henzinger, Thomas A., et al. “Embedded Control Systems Development with Giotto.”10.1002/047172288X.ch8__Software-Enabled Control: Information Technology for Dynamical Systems, Wiley-Blackwell, 2003, pp. 123–46, doi:10.1002/047172288X.ch8.
LibreCat: https://research-explorer.ista.ac.at/record/4465
DOI: 10.1002/047172288X.ch8

Henzinger, Thomas A., et al. “On the Universal and Existential Fragments of the Mu-Calculus.”10.1007/3-540-36577-X_5__Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 2619, Springer, 2003, pp. 49–64, doi:10.1007/3-540-36577-X_5.
LibreCat: https://research-explorer.ista.ac.at/record/4466
DOI: 10.1007/3-540-36577-X_5

Henzinger, Thomas A., et al. “Software Verification with BLAST.”10.1007/3-540-44829-2_17__Proceedings of the 10th International SPIN Workshop , vol. 2648, Springer, 2003, pp. 235–39, doi:10.1007/3-540-44829-2_17.
LibreCat: https://research-explorer.ista.ac.at/record/4467
DOI: 10.1007/3-540-44829-2_17

Henzinger, Thomas A., et al. “Thread-Modular Abstraction Refinement.”10.1007/978-3-540-45069-6_27__Proceedings of the 15th International Conference on Computer Aided Verification, vol. 2725, Springer, 2003, pp. 262–74, doi:10.1007/978-3-540-45069-6_27.
LibreCat: https://research-explorer.ista.ac.at/record/4463
DOI: 10.1007/978-3-540-45069-6_27

Henzinger, Thomas A., et al. “Counterexample-Guided Control.”10.1007/3-540-45061-0_69__Proceedings of the 30th International Colloquium on Automata, Languages and Programming, vol. 2719, Springer, 2003, pp. 886–902, doi:10.1007/3-540-45061-0_69.
LibreCat: https://research-explorer.ista.ac.at/record/4462
DOI: 10.1007/3-540-45061-0_69

Henzinger, Thomas A., et al. “Schedule-Carrying Code.”10.1007/978-3-540-45212-6_16__Proceedings of the 3rd International Conference on Embedded Software, vol. 2855, ACM, 2003, pp. 241–56, doi:10.1007/978-3-540-45212-6_16.
LibreCat: https://research-explorer.ista.ac.at/record/4464
DOI: 10.1007/978-3-540-45212-6_16

Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.”10.1023/A:1026228213080__Formal Methods in System Design, vol. 23, no. 3, Springer, 2003, pp. 303–27, doi:10.1023/A:1026228213080.
LibreCat: https://research-explorer.ista.ac.at/record/4460
DOI: 10.1023/A:1026228213080

Henzinger, Thomas A., et al. “Giotto: A Time-Triggered Language for Embedded Programming.”10.1109/JPROC.2002.805825__Proceedings of the IEEE, vol. 91, no. 1, IEEE, 2003, pp. 84–99, doi:10.1109/JPROC.2002.805825.
LibreCat: https://research-explorer.ista.ac.at/record/4469
DOI: 10.1109/JPROC.2002.805825

Vines, Timothy, et al. “On the Maintenance of Reproductive Isolation in a Mosaic Hybrid Zone between the Toads Bombina Bombina and B. Variegata.”10.1111/j.0014-3820.2003.tb00595.x__Evolution, vol. 57, no. 8, Wiley-Blackwell, 2003, pp. 1876–88, doi:10.1111/j.0014-3820.2003.tb00595.x.
LibreCat: https://research-explorer.ista.ac.at/record/4338
DOI: 10.1111/j.0014-3820.2003.tb00595.x