Anderson, Jennifer M., Lance M. Berc, Jeffrey Dean, Sanjay Ghemawat, Monika H Henzinger, Shun-Tak A. Leung, Richard L. Sites, Mark T. Vandevoorde, Carl A. Waldspurger, and William E. Weihl. “Continuous Profiling: Where Have All the Cycles Gone?”https://doi.org/10.1145/265924.265925__ACM Transactions on Computer Systems. Association for Computing Machinery, 1997.https://doi.org/10.1145/265924.265925 .
LibreCat: https://research-explorer.ista.ac.at/record/11666
DOI: 10.1145/265924.265925

Henzinger, Monika H, Philip Klein, Satish Rao, and Sairam Subramanian. “Faster Shortest-Path Algorithms for Planar Graphs.”https://doi.org/10.1006/jcss.1997.1493__Journal of Computer and System Sciences. Elsevier, 1997.https://doi.org/10.1006/jcss.1997.1493 .
LibreCat: https://research-explorer.ista.ac.at/record/11767
DOI: 10.1006/jcss.1997.1493

Henzinger, Monika H. “A Static 2-Approximation Algorithm for Vertex Connectivity and Incremental Approximation Algorithms for Edge and Vertex Connectivity.”https://doi.org/10.1006/jagm.1997.0855__Journal of Algorithms. Elsevier, 1997.https://doi.org/10.1006/jagm.1997.0855 .
LibreCat: https://research-explorer.ista.ac.at/record/11765
DOI: 10.1006/jagm.1997.0855

Henzinger, Monika H, and Valerie King. “Maintaining Minimum Spanning Trees in Dynamic Graphs.”https://doi.org/10.1007/3-540-63165-8_214__In 24th International Colloquium on Automata, Languages and Programming, 1256:594–604. Springer Nature, 1997.https://doi.org/10.1007/3-540-63165-8_214 .
LibreCat: https://research-explorer.ista.ac.at/record/11803
DOI: 10.1007/3-540-63165-8_214

Anderson, Jennifer M., Lance M. Berc, Jeffrey Dean, Sanjay Ghemawat, Monika H Henzinger, Shun-Tak A. Leung, Richard L. Sites, Mark T. Vandevoorde, Carl A. Waldspurger, and William E. Weihl. “Continuous Profiling: Where Have All the Cycles Gone?”https://doi.org/10.1145/269005.266637__ACM SIGOPS Operating Systems Review. Association for Computing Machinery, 1997.https://doi.org/10.1145/269005.266637 .
LibreCat: https://research-explorer.ista.ac.at/record/11849
DOI: 10.1145/269005.266637

Henzinger, Monika H, and Mikkel Thorup. “Sampling to Provide or to Bound: With Applications to Fully Dynamic Graph Algorithms.”https://doi.org/10.1002/(sici)1098-2418(199712)11:4&#60;369::aid-rsa5&#62;3.0.co;2-x__Random Structures and Algorithms. Wiley, 1997.https://doi.org/10.1002/(sici)1098-2418(199712)11:4&#60;369::aid-rsa5&#62;3.0.co;2-x .
LibreCat: https://research-explorer.ista.ac.at/record/11883
DOI: 10.1002/(sici)1098-2418(199712)11:4<369::aid-rsa5>3.0.co;2-x

Acsády, László, István Katona, Attila Gulyás, Ryuichi Shigemoto, and Tamás Freund. “Immunostaining for Substance P Receptor Labels GABAergic Cells with Distinct Termination Patterns in the Hippocampus.”https://doi.org/10.1002/(SICI)1096-9861(19970217)378:3&#38;lt;320::AID-CNE2&#38;gt;3.0.CO;2-5__Journal of Comparative Neurology. Wiley-Blackwell, 1997.https://doi.org/10.1002/(SICI)1096-9861(19970217)378:3&#38;lt;320::AID-CNE2&#38;gt;3.0.CO;2-5 .
LibreCat: https://research-explorer.ista.ac.at/record/2493
DOI: 10.1002/(SICI)1096-9861(19970217)378:3&lt;320::AID-CNE2&gt;3.0.CO;2-5
PMID: 9034894

Li, Jin, Takeshi Kaneko, Ryuichi Shigemoto, and Noboru Mizuno. “Distribution of Trigeminohypothalamic and Spinohypothalamic Tract Neurons Displaying Substance P Receptor-like Immunoreactivity in the Rat.”https://doi.org/10.1002/(SICI)1096-9861(19970224)378:4&#38;lt;508::AID-CNE6&#38;gt;3.0.CO;2-6__Journal of Comparative Neurology. Wiley-Blackwell, 1997.https://doi.org/10.1002/(SICI)1096-9861(19970224)378:4&#38;lt;508::AID-CNE6&#38;gt;3.0.CO;2-6 .
LibreCat: https://research-explorer.ista.ac.at/record/2576
DOI: 10.1002/(SICI)1096-9861(19970224)378:4&lt;508::AID-CNE6&gt;3.0.CO;2-6
PMID: 9034907

Seybold, Virginia, Ivica Grkovi, Andrea Portbury, Yu Ding, Ryuichi Shigemoto, Noboru Mizuno, John Furness, and Bridget Southwell. “Relationship of NK3 Receptor-Immunoreactivity to Subpopulations of Neurons in Rat Spinal Cord.”https://doi.org/10.1002/(SICI)1096-9861(19970519)381:4&#38;lt;439::AID-CNE4&#38;gt;3.0.CO;2-3__Journal of Comparative Neurology. Wiley-Blackwell, 1997.https://doi.org/10.1002/(SICI)1096-9861(19970519)381:4&#38;lt;439::AID-CNE4&#38;gt;3.0.CO;2-3 .
LibreCat: https://research-explorer.ista.ac.at/record/2578
DOI: 10.1002/(SICI)1096-9861(19970519)381:4&lt;439::AID-CNE4&gt;3.0.CO;2-3
PMID: 9136801 

Li, He, Hitoshi Ohishi, Ayae Kinoshita, Ryuichi Shigemoto, Sakashi Nomura, and Noboru Mizuno. “Localization of a Metabotropic Glutamate Receptor, MGlu, in Axon Terminals of Presumed Nociceptive, Primary Afferent Fibers in the Superficial Layers of the Spinal Dorsal Horn: An Electron Microscope Study in the Rat.”https://doi.org/10.1016/S0304-3940(97)13429-2__Neuroscience Letters. Elsevier, 1997.https://doi.org/10.1016/S0304-3940(97)13429-2 .
LibreCat: https://research-explorer.ista.ac.at/record/2575
DOI: 10.1016/S0304-3940(97)13429-2
PMID: 9080455

Tone, Yoshinori, Hiroyasu Inoue, Shuntaro Hara, Chieko Yokoyama, Toshihisa Hatae, Hiroji Oida, Shuh Narumiya, Ryuichi Shigemoto, Susumu Yukawa, and Tadashi Tanabe. “The Regional Distribution and Cellular Localization of MRNA Encoding Rat Prostacyclin Synthase.” European Journal of Cell Biology. Elsevier, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/2577
PMID: 9084989 

Luján, Rafael, John Roberts, Ryuichi Shigemoto, Hitoshi Ohishi, and Péter Somogyi. “Differential Plasma Membrane Distribution of Metabotropic Glutamate Receptors MGlu;1, MGlu and MGlu, Relative to Neurotransmitter Release Sites.”https://doi.org/10.1016/S0891-0618(97)00051-3__Journal of Chemical Neuroanatomy. Elsevier, 1997.https://doi.org/10.1016/S0891-0618(97)00051-3 .
LibreCat: https://research-explorer.ista.ac.at/record/2580
DOI: 10.1016/S0891-0618(97)00051-3
PMID: 9412905

Shigemoto, Ryuichi, Ayae Kinoshita, Eiki Wada, Sakashi Nomura, Hitoshi Ohishi, Masahiko Takada, Peter Flor, et al. “Differential Presynaptic Localization of Metabotropic Glutamate Receptor Subtypes in the Rat Hippocampus.”https://doi.org/10.1523/JNEUROSCI.17-19-07503.1997__Journal of Neuroscience. Society for Neuroscience, 1997.https://doi.org/10.1523/JNEUROSCI.17-19-07503.1997 .
LibreCat: https://research-explorer.ista.ac.at/record/2582
DOI: 10.1523/JNEUROSCI.17-19-07503.1997
PMID: 9295396

Lee, Teffy, Takeshi Kaneko, Ryuichi Shigemoto, Sakashi Nomura, and Noboru Mizuno. “Collateral Projections from Striatonigral Neurons to Substance P Receptor-Expressing Intrinsic Neurons in the Striatum of the Rat.”https://doi.org/10.1002/(SICI)1096-9861(19971117)388:2&#38;lt;250::AID-CNE5&#38;gt;3.0.CO;2-0__Journal of Comparative Neurology. Wiley-Blackwell, 1997.https://doi.org/10.1002/(SICI)1096-9861(19971117)388:2&#38;lt;250::AID-CNE5&#38;gt;3.0.CO;2-0 .
LibreCat: https://research-explorer.ista.ac.at/record/2581
DOI: 10.1002/(SICI)1096-9861(19971117)388:2&lt;250::AID-CNE5&gt;3.0.CO;2-0
PMID: 9368840

Mann, Patricia, Bridget Southwell, Yu Ding, Ryuichi Shigemoto, Noboru Mizuno, and John Furness. “Localisation of Neurokinin 3 (NK3) Receptor Immunoreactivity in the Rat Gastrointestinal Tract.”https://doi.org/10.1007/s004410050846__Cell and Tissue Research. Springer, 1997.https://doi.org/10.1007/s004410050846 .
LibreCat: https://research-explorer.ista.ac.at/record/2579
DOI: 10.1007/s004410050846
PMID: 9182595

Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the Pauli Operator with Strong Non-Homogeneous Magnetic Fields, II. Leading Order Asymptotic Estimates.”https://doi.org/10.1007/s002200050181__Communications in Mathematical Physics. Springer, 1997.https://doi.org/10.1007/s002200050181 .
LibreCat: https://research-explorer.ista.ac.at/record/2729
DOI: 10.1007/s002200050181

Erdös, László. “Dia- and Paramagnetism for Nonhomogeneous Magnetic Fields.”https://doi.org/10.1063/1.531909__Journal of Mathematical Physics. American Institute of Physics, 1997.https://doi.org/10.1063/1.531909 .
LibreCat: https://research-explorer.ista.ac.at/record/2727
DOI: 10.1063/1.531909

Kirkpatrick, Mark, and Nicholas H Barton. “The Strength of Indirect Selection on Female Mating Preferences.”https://doi.org/10.1073/pnas.94.4.1282__PNAS. National Academy of Sciences, 1997.https://doi.org/10.1073/pnas.94.4.1282 .
LibreCat: https://research-explorer.ista.ac.at/record/3632
DOI: 10.1073/pnas.94.4.1282
PMID: 9037044 

Kirkpatrick, Mark, and Nicholas H Barton. “Evolution of a Species’ Range.”https://doi.org/10.1086/286054__American Naturalist. University of Chicago Press, 1997.https://doi.org/10.1086/286054 .
LibreCat: https://research-explorer.ista.ac.at/record/3633
DOI: 10.1086/286054
PMID: 18811273

Edelsbrunner, Herbert, Pavel Valtr, and Emo Welzl. “Cutting Dense Point Sets in Half.”https://doi.org/10.1007/PL00009291__Discrete &; Computational Geometry. Springer, 1997.https://doi.org/10.1007/PL00009291 .
LibreCat: https://research-explorer.ista.ac.at/record/4022
DOI: 10.1007/PL00009291

Edelsbrunner, Herbert, and Roman Waupotitsch. “A Combinatorial Approach to Cartograms.”https://doi.org/10.1016/S0925-7721(96)00006-5__Computational Geometry: Theory and Applications. Elsevier, 1997.https://doi.org/10.1016/S0925-7721(96)00006-5 .
LibreCat: https://research-explorer.ista.ac.at/record/4021
DOI: 10.1016/S0925-7721(96)00006-5

Edelsbrunner, Herbert, and Edgar Ramos. “Inclusion-Exclusion Complexes for Pseudodisk Collections.”https://doi.org/10.1007/PL00009295__Discrete &; Computational Geometry. Springer, 1997.https://doi.org/10.1007/PL00009295 .
LibreCat: https://research-explorer.ista.ac.at/record/4023
DOI: 10.1007/PL00009295

Coyne, Jerry, Nicholas H Barton, and Michael Turelli. “Perspective: A Critique of Sewall Wright’s Shifting Balance Theory of Evolutionight’s Shifting Balance Theory of Evolution.”https://doi.org/10.1111/j.1558-5646.1997.tb03650.x__Evolution; International Journal of Organic Evolution. Wiley-Blackwell, 1997.https://doi.org/10.1111/j.1558-5646.1997.tb03650.x .
LibreCat: https://research-explorer.ista.ac.at/record/4287
DOI: 10.1111/j.1558-5646.1997.tb03650.x
PMID: 28568586

Piálek, Jaroslav, and Nicholas H Barton. “The Spread of an Advantageous Allele across a Barrier: The Effects of Random Drift and Selection against Heterozygotes.”https://doi.org/10.1093/genetics/145.2.493__Genetics. Genetics Society of America, 1997.https://doi.org/10.1093/genetics/145.2.493 .
LibreCat: https://research-explorer.ista.ac.at/record/4286
DOI: 10.1093/genetics/145.2.493
PMID: 9071602

Fowler, Kevin, Colin Semple, Nicholas H Barton, and Linda Partridge. “Genetic Variation for Total Fitness in Drosophila Melanogaster.”https://doi.org/10.1098/rspb.1997.0027__Proceedings of the Royal Society of London Series B Biological Sciences. The Royal Society, 1997.https://doi.org/10.1098/rspb.1997.0027 .
LibreCat: https://research-explorer.ista.ac.at/record/4288
DOI: 10.1098/rspb.1997.0027
PMID: 9061969

Barton, Nicholas H, and Michael Whitlock. “The Evolution of Metapopulations.”https://doi.org/10.1016/B978-012323445-2/50012-2__In Metapopulation Biology, edited by Illka Hanski and Michael E. Gilpin, 183–210. Academic Press, 1997.https://doi.org/10.1016/B978-012323445-2/50012-2 .
LibreCat: https://research-explorer.ista.ac.at/record/4293
DOI: 10.1016/B978-012323445-2/50012-2

Barton, Nicholas H. “Population Genetics: A New Apportionment of Human Diversity.”https://doi.org/10.1016/S0960-9822(06)00397-6__Current Biology. Cell Press, 1997.https://doi.org/10.1016/S0960-9822(06)00397-6 .
LibreCat: https://research-explorer.ista.ac.at/record/4289
DOI: 10.1016/S0960-9822(06)00397-6

Barton, Nicholas H. “The Ecological Detective: Confronting Models with Data.” Genetical Research. Cambridge University Press, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/4291

Barton, Nicholas H. “Natural Hybridization and Evolution.” Genetical Research. Cambridge University Press, 1997.
LibreCat: https://research-explorer.ista.ac.at/record/4290

Ceranik, Katya, Roland Bender, Jörg Geiger, Hannah Monyer, Peter M Jonas, Michael Frotscher, and Joachim Lubke. “A Novel Type of GABAergic Interneuron Connecting the Input and the Output Regions of the Hippocampus.”https://doi.org/10.1523/JNEUROSCI.17-14-05380.1997__Journal of Neuroscience. Society for Neuroscience, 1997.https://doi.org/10.1523/JNEUROSCI.17-14-05380.1997 .
LibreCat: https://research-explorer.ista.ac.at/record/3483
DOI: 10.1523/JNEUROSCI.17-14-05380.1997
PMID: 9204922

Martina, Marco, and Peter M Jonas. “Functional Differences in Na+ Channel Gating between Fast-Spiking Interneurones and Principal Neurones in Rat Hippocampus.”https://doi.org/10.1111/j.1469-7793.1997.593ba.x__Journal of Physiology. Wiley-Blackwell, 1997.https://doi.org/10.1111/j.1469-7793.1997.593ba.x .
LibreCat: https://research-explorer.ista.ac.at/record/3485
DOI: 10.1111/j.1469-7793.1997.593ba.x
PMID: 9457638

Götz, Thomas, Udo Kraushaar, Jörg Geiger, Joachim Lubke, Thomas Berger, and Peter M Jonas. “Functional Properties of AMPA and NMDA Receptors Expressed in Identified Types of Basal Ganglia Neurons.”https://doi.org/10.1523/JNEUROSCI.17-01-00204.1997__Journal of Neuroscience. Society for Neuroscience, 1997.https://doi.org/10.1523/JNEUROSCI.17-01-00204.1997 .
LibreCat: https://research-explorer.ista.ac.at/record/3482
DOI: 10.1523/JNEUROSCI.17-01-00204.1997
PMID: 8987749

Bischofberger, Joseph, and Peter M Jonas. “Action Potential Propagation into the Presynaptic Dendrites of Rat Mitral Cells.”https://doi.org/10.1111/j.1469-7793.1997.359be.x__Journal of Physiology. Wiley-Blackwell, 1997.https://doi.org/10.1111/j.1469-7793.1997.359be.x .
LibreCat: https://research-explorer.ista.ac.at/record/3486
DOI: 10.1111/j.1469-7793.1997.359be.x
PMID: 9365910

Geiger, Jörg, Joachim Lubke, Arnd Roth, Michael Frotscher, and Peter M Jonas. “Submillisecond AMPA Receptor-Mediated Signaling at a Principal Neuron-Interneuron Synapse.”https://doi.org/10.1016/S0896-6273(00)80339-6__Neuron. Elsevier, 1997.https://doi.org/10.1016/S0896-6273(00)80339-6 .
LibreCat: https://research-explorer.ista.ac.at/record/3484
DOI: 10.1016/S0896-6273(00)80339-6
PMID: 9208867 

Bragin, Anatol, Jozsef L Csicsvari, Markku Penttonen, and György Buzsáki. “Epileptic Afterdischarge in the Hippocampal-Entorhinal System: Current Source Density and Unit Studies.”https://doi.org/10.1016/S0306-4522(96)00446-0__Neuroscience. Elsevier, 1997.https://doi.org/10.1016/S0306-4522(96)00446-0 .
LibreCat: https://research-explorer.ista.ac.at/record/3541
DOI: 10.1016/S0306-4522(96)00446-0
PMID: 9027878

Whitlock, Michael, and Nicholas H Barton. “The Effective Size of a Subdivided Population.”https://doi.org/10.1093/genetics/146.1.427__Genetics. Genetics Society of America, 1997.https://doi.org/10.1093/genetics/146.1.427 .
LibreCat: https://research-explorer.ista.ac.at/record/3630
DOI: 10.1093/genetics/146.1.427
PMID: 9136031 

Kawecki, Tadeusz, Nicholas H Barton, and James Fry. “Mutational Collapse of Fitness in Marginal Habitats and the Evolution of Ecological Specialisation.”https://doi.org/10.1046/j.1420-9101.1997.10030407.x__Journal of Evolutionary Biology. Wiley-Blackwell, 1997.https://doi.org/10.1046/j.1420-9101.1997.10030407.x .
LibreCat: https://research-explorer.ista.ac.at/record/3631
DOI: 10.1046/j.1420-9101.1997.10030407.x

Edelsbrunner, Herbert, and Nimish Shah. “Triangulating Topological Spaces.”https://doi.org/10.1142/S0218195997000223__International Journal of Computational Geometry &; Applications. World Scientific Publishing, 1997.https://doi.org/10.1142/S0218195997000223 .
LibreCat: https://research-explorer.ista.ac.at/record/4018
DOI: 10.1142/S0218195997000223

Masai, Ichiro, Carl-Philipp J Heisenberg, K Anukampa Barth, Rachel Macdonald, Sylwia Adamek, and Stephen Wilson. “Floating Head and Masterblind Regulate Neuronal Patterning in the Roof of the Forebrain.”https://doi.org/10.1016/S0896-6273(01)80045-3__Neuron. Elsevier, 1997.https://doi.org/10.1016/S0896-6273(01)80045-3 .
LibreCat: https://research-explorer.ista.ac.at/record/4174
DOI: 10.1016/S0896-6273(01)80045-3
PMID: 9010204

Heisenberg, Carl-Philipp J, and Christiane Nüsslein Volhard. “The Function of Silberblick in the Positioning of the Eye Anlage in the Zebrafish Embryo.”https://doi.org/10.1006/dbio.1997.8511__Developmental Biology. Elsevier, 1997.https://doi.org/10.1006/dbio.1997.8511 .
LibreCat: https://research-explorer.ista.ac.at/record/4201
DOI: 10.1006/dbio.1997.8511
PMID: 9142986 

Otto, Sarah, and Nicholas H Barton. “The Evolution of Recombination: Removing the Limits to Natural Selection.”https://doi.org/10.1093/genetics/147.2.879__Genetics. Genetics Society of America, 1997.https://doi.org/10.1093/genetics/147.2.879 .
LibreCat: https://research-explorer.ista.ac.at/record/4285
DOI: 10.1093/genetics/147.2.879
PMID: 9335621

Barton, Nicholas H. “Natural Selection and Random Genetic Drift as Causes of Evolution on Islands.”https://doi.org/10.1098/rstb.1996.0073__In Evolution on Islands, 102–23. Oxford University Press, 1997.https://doi.org/10.1098/rstb.1996.0073 .
LibreCat: https://research-explorer.ista.ac.at/record/4284
DOI: 10.1098/rstb.1996.0073
PMID: 8693020

Henzinger, Thomas A, and Orna Kupferman. “From Quantity to Quality.”https://doi.org/10.1007/BFb0014712__In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:48–62. Springer, 1997.https://doi.org/10.1007/BFb0014712 .
LibreCat: https://research-explorer.ista.ac.at/record/4438
DOI: 10.1007/BFb0014712

Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.”https://doi.org/10.1007/3-540-63165-8_213__In Proceedings of the 24th International Colloquium on Automata, Languages and Programming, 1256:582–93. Springer, 1997.https://doi.org/10.1007/3-540-63165-8_213 .
LibreCat: https://research-explorer.ista.ac.at/record/4441
DOI: 10.1007/3-540-63165-8_213

Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.”https://doi.org/10.1007/3-540-63141-0_19__In Proceedings of the 8th International Conference on Concurrency Theory, 1243:273–87. Springer, 1997.https://doi.org/10.1007/3-540-63141-0_19 .
LibreCat: https://research-explorer.ista.ac.at/record/4496
DOI: 10.1007/3-540-63141-0_19

Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems,”https://doi.org/10.1007/3-540-63166-6_48__1254:460–63. Springer, 1997.https://doi.org/10.1007/3-540-63166-6_48 .
LibreCat: https://research-explorer.ista.ac.at/record/4494
DOI: 10.1007/3-540-63166-6_48

Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems.”https://doi.org/10.1007/s100090050008__Software Tools For Technology Transfer. Springer, 1997.https://doi.org/10.1007/s100090050008 .
LibreCat: https://research-explorer.ista.ac.at/record/4493
DOI: 10.1007/s100090050008

Gupta, Vineet, Thomas A Henzinger, and Radha Jagadeesan. “Robust Timed Automata.”https://doi.org/10.1007/BFb0014736__In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:331–45. Springer, 1997.https://doi.org/10.1007/BFb0014736 .
LibreCat: https://research-explorer.ista.ac.at/record/4520
DOI: 10.1007/BFb0014736

Alur, Rajeev, and Thomas A Henzinger. “Modularity for Timed and Hybrid Systems.”https://doi.org/10.1007/3-540-63141-0_6__In 8th International Conference on Concurrency Theory, 1243:74–88. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997.https://doi.org/10.1007/3-540-63141-0_6 .
LibreCat: https://research-explorer.ista.ac.at/record/4583
DOI: 10.1007/3-540-63141-0_6

Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.”https://doi.org/10.1007/s100090050007__Software Tools For Technology Transfer. Springer, 1997.https://doi.org/10.1007/s100090050007 .
LibreCat: https://research-explorer.ista.ac.at/record/4584
DOI: 10.1007/s100090050007

Alur, Rajeev, Robert Brayton, Thomas A Henzinger, Shaz Qadeer, and Sriram Rajamani. “Partial-Order Reduction in Symbolic State-Space Exploration.”https://doi.org/10.1007/3-540-63166-6_34__In 9th International Conference on Computer Aided Verification, 1254:340–51. Springer, 1997.https://doi.org/10.1007/3-540-63166-6_34 .
LibreCat: https://research-explorer.ista.ac.at/record/4608
DOI: 10.1007/3-540-63166-6_34

Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.”https://doi.org/10.1145/585265.585270__In Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 100–109. Association for Computing Machinery (ACM), 1997.https://doi.org/10.1145/585265.585270 .
LibreCat: https://research-explorer.ista.ac.at/record/4609
DOI: 10.1145/585265.585270

Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.”https://doi.org/10.1023/A:1008626013578__Formal Methods in System Design. Springer, 1997.https://doi.org/10.1023/A:1008626013578 .
LibreCat: https://research-explorer.ista.ac.at/record/4607
DOI: 10.1023/A:1008626013578

Alur, Rajeev, Thomas A Henzinger, and Howard Wong Toi. “Symbolic Analysis of Hybrid Systems.”https://doi.org/10.1109/CDC.1997.650717Â  __In Proceedings of the 36th IEEE Conference on Decision and Control, 702–7. IEEE, 1997.https://doi.org/10.1109/CDC.1997.650717Â   .
LibreCat: https://research-explorer.ista.ac.at/record/4605
DOI: 10.1109/CDC.1997.650717  

Kaloshin, Vadim. “Prevalence in the Space of Finitely Smooth Maps.”https://doi.org/10.1007/bf02466014__Functional Analysis and Its Applications. Springer Nature, 1997.https://doi.org/10.1007/bf02466014 .
LibreCat: https://research-explorer.ista.ac.at/record/8528
DOI: 10.1007/bf02466014

Hunt, Brian R, and Vadim Kaloshin. “How Projections Affect the Dimension Spectrum of Fractal Measures.”https://doi.org/10.1088/0951-7715/10/5/002__Nonlinearity. IOP Publishing, 1997.https://doi.org/10.1088/0951-7715/10/5/002 .
LibreCat: https://research-explorer.ista.ac.at/record/8527
DOI: 10.1088/0951-7715/10/5/002