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.
58 Publications
1998 | Patent | IST-REx-ID: 3506 | 
Edelsbrunner, Herbert, and Ping Fu. Apparatus and Method for Geometric Morphing. 1998.
[Published Version]
View
| Download Published Version (ext.)
1998 | Journal Article | IST-REx-ID: 3521
Csicsvari, Jozsef L., et al. “Reliability and State Dependence of Pyramidal Cell-Interneuron Synapses in the Hippocampus: An Ensemble Approach in the Behaving Rat.” Neuron, vol. 21, no. 1, Elsevier, 1998, pp. 179–89, doi:10.1016/S0896-6273(00)80525-5.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 3535
Hirase, Hajima, et al. “Hippocampal Pyramidal Neutrons ‘Space-Clamped’ in a Running Wheel Task: Place Cells or Path Integrators?” European Journal of Neuroscience, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 9932–9932.
View
1998 | Book Chapter | IST-REx-ID: 3570
Axen, Ulrike, and Herbert Edelsbrunner. “Auditory Morse Analysis of Triangulated Manifolds.” Mathematical Visualization, Springer, 1998, pp. 223–36, doi:10.1007/978-3-662-03567-2_17.
View
| DOI
1998 | Journal Article | IST-REx-ID: 3926
Cremer, Sylvia, and Michael Greenfield. “Partitioning the Components of Sexual Selection: Attractiveness and Agonistic Behaviour in Male Wax Moths, Achroia Grisella (Lepidoptera, Pyralidae).” Ethology, vol. 104, no. 1, Wiley-Blackwell, 1998, pp. 1–9, doi:10.1111/j.1439-0310.1998.tb00025.x.
View
| DOI
1998 | Journal Article | IST-REx-ID: 4011
Liang, Jie, et al. “Analytical Shape Computation of Macromolecules: I. Molecular Area and Volume through Alpha Shape.” Proteins: Structure, Function and Bioinformatics, vol. 33, no. 1, Wiley-Blackwell, 1998, pp. 1–17, doi:10.1002/(SICI)1097-0134(19981001)33:1<1::AID-PROT1>3.0.CO;2-O.
View
| DOI
1998 | Book Chapter | IST-REx-ID: 4020
Edelsbrunner, Herbert. “Geometry for Modeling Biomolecules.” Robotics: The Algorithmic Perspective, AK Peters, 1998, pp. 265–77.
View
1998 | Journal Article | IST-REx-ID: 3525
Nádasdy, Zoltán, et al. “Persistence and Temporal Compression of Spike Sequences during Fast Field Oscillation in the Hippocampus.” European Journal of Neuroscience, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 9409–9409.
View
1998 | Journal Article | IST-REx-ID: 3527
Csicsvari, Jozsef L., et al. “Monosynaptic Interactions between CA1 Pyramidal Cells and Interneuron in the Behaving Rat.” European Journal of Neuroscience, vol. 10, no. Suppl. 10, Wiley-Blackwell, 1998, pp. 2553–2553.
View
1998 | Journal Article | IST-REx-ID: 3629
Maccallum, Catriona, et al. “Habitat Preference in the Bombina Hybrid Zone in Croatia.” Evolution, vol. 52, no. 1, Wiley-Blackwell, 1998, pp. 227–39, doi:10.1111/j.1558-5646.1998.tb05156.x.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 3628 |
West, Stuart, et al. “Testing for Epistasis between Deleterious Mutations.” Genetics, vol. 149, no. 1, Genetics Society of America, 1998, pp. 435–44, doi:10.1093/genetics/149.1.435.
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 3627
Barton, Nicholas H. “The Effect of Hitch-Hiking on Neutral Genealogies.” Genetical Research, vol. 72, no. 2, Cambridge University Press, 1998, pp. 123–33, doi:10.1017/S0016672398003462.
View
| DOI
1998 | Journal Article | IST-REx-ID: 4017 |
Liang, Jie, et al. “Anatomy of Protein Pockets and Cavities: Measurement of Binding Site Geometry and Implications for Ligand Design.” Protein Science, vol. 7, no. 9, Wiley-Blackwell, 1998, pp. 1884–97, doi:10.1002/pro.5560070905.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 4012
Liang, Jie, et al. “Analytical Shape Computation of Macromolecules: II. Inaccessible Cavities in Proteins.” Proteins: Structure, Function and Bioinformatics, vol. 33, no. 1, Wiley-Blackwell, 1998, pp. 18–29, doi:10.1002/(SICI)1097-0134(19981001)33:1<18::AID-PROT2>3.0.CO;2-H.
View
| DOI
1998 | Journal Article | IST-REx-ID: 4013 |
Edelsbrunner, Herbert, et al. “On the Definition and the Construction of Pockets in Macromolecules.” Discrete Applied Mathematics, vol. 88, no. 1–3, Elsevier, 1998, pp. 83–102, doi:10.1016/S0166-218X(98)00067-5.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
1998 | Conference Paper | IST-REx-ID: 4015
Edelsbrunner, Herbert. “Shape Reconstruction with Delaunay Complex.” Proceedingsof the 3rd Latin American Symposium on Theoretical Informatics, vol. 1380, Springer, 1998, pp. 119–32, doi:10.1007/BFb0054315.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4019
Cheng, Ho, et al. “Shape Space from Deformation.” Proceedings of the 6th Pacific Conference on Computer Graphics and Applications, IEEE, 1998, pp. 104–13, doi:10.1109/PCCGA.1998.732056.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4016
Edelsbrunner, Herbert, et al. Wrapping 3D Scanning Data. Vol. 3313, SPIE, 1998, pp. 148–58, doi:10.1117/12.302448.
View
| DOI
1998 | Journal Article | IST-REx-ID: 4281
Barton, Nicholas H., and Brian Charlesworth. “Why Sex and Recombination?” Science, vol. 281, no. 5385, American Association for the Advancement of Science, 1998, pp. 1986–90, doi:10.1126/science.281.5385.1986.
View
| DOI
| PubMed | Europe PMC
1998 | Journal Article | IST-REx-ID: 4280
Ritchie, Mike, and Nicholas H. Barton. “Hybrids and Hybrid Zones: Reply from M.G. Ritchie and N.H. Barton.” Trends in Ecology and Evolution, vol. 13, no. 7, Cell Press, 1998, pp. 282–83, doi:10.1016/S0169-5347(98)01396-2.
View
| DOI
| PubMed | Europe PMC
1998 | Book Review | IST-REx-ID: 4283
Barton, Nicholas H. “The Geometry of Adaptation.” Nature, vol. 395, no. 6704, Nature Publishing Group, 1998, pp. 751–52, doi:10.1038/27338.
View
| DOI
1998 | Book Review | IST-REx-ID: 4282
Barton, Nicholas H. “Genetics and Analysis of Quantitative Traits.” Genetical Research, vol. 72, no. 1, Cambridge University Press, 1998, pp. 73–73, doi:10.1017/S0016672398219732.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4410
Preußig, Jörg, et al. “An Algorithm for the Approximative Analysis of Rectangular Automata.” Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, vol. 1486, Springer, 1998, pp. 228–40, doi:10.1007/BFb0055350.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4408
Raskin, Jean, et al. “Axioms for Real-Time Logics.” Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–36, doi:10.1007/BFb0055625.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4429
Henzinger, Thomas A., and Vlad Rusu. “Reachability Verification for Hybrid Automata.” Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, vol. 1386, Springer, 1998, pp. 190–204, doi:10.1007/3-540-64358-3_40.
View
| DOI
1998 | Conference (Editor) | IST-REx-ID: 4430
Henzinger, Thomas A., editor. HSCC: Hybrid Systems—Computation and Control. Vol. 1386, Springer, 1998, doi:10.1007/3-540-64358-3.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4486
Henzinger, Thomas A., et al. “An Assume-Guarantee Rule for Checking Simulation.” Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, vol. 1522, Springer, 1998, pp. 421–32, doi:10.1007/3-540-49519-3_27.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A., et al. “The Regular Real-Time Languages.” Proceedings of the 25th International Colloqium on Automata, Languages and Programming, vol. 1443, Springer, 1998, pp. 580–91, doi:10.1007/BFb0055086.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A., et al. “From Pre-Historic to Post-Modern Symbolic Model Checking.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 195–206, doi:10.1007/BFb0028745.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4488
Henzinger, Thomas A., et al. “You Assume, We Guarantee: Methodology and Case Studies.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 440–51, doi:10.1007/BFb0028765.
View
| DOI
1998 | Journal Article | IST-REx-ID: 4491
Henzinger, Thomas A., et al. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control, vol. 43, no. 4, IEEE, 1998, pp. 540–54, doi:10.1109/9.664156 .
View
| DOI
1998 | Journal Article | IST-REx-ID: 4492 |
Henzinger, Thomas A., et al. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences, vol. 57, no. 1, Elsevier, 1998, pp. 94–124, doi:10.1006/jcss.1998.1581.
[Published Version]
View
| DOI
| Download Published Version (ext.)
1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed.” Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–54, doi:10.1007/BFb0055640.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4606
Alur, Rajeev, et al. “Symbolic Exploration of Transition Hierarchies.” Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 1384, Springer, 1998, pp. 330–44, doi:10.1007/BFb0054181.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, et al. “Alternating Refinement Relations.” Proceedings of the 9th Interantional Conference on Concurrency Theory, vol. 1466, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–78, doi:10.1007/BFb0055622.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, et al. “Mocha: Modularity in Model Checking.” Proceedings of the 10th International Conference on Computer Aided Verification, vol. 1427, Springer, 1998, pp. 521–25, doi:10.1007/BFb0028774.
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, et al. “Concurrent Reachability Games.” Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–75, doi:10.1109/SFCS.1998.743507 .
View
| DOI
1998 | Journal Article | IST-REx-ID: 6160
de Bono, Mario, and Cornelia I. Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” Cell, vol. 94, no. 5, Elsevier, 1998, pp. 679–89, doi:10.1016/s0092-8674(00)81609-8.
View
| DOI
| PubMed | Europe PMC