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 | OA
H. Edelsbrunner and P. Fu, “Apparatus and method for geometric morphing.” 1998.
[Published Version] View | Download Published Version (ext.)
 

1998 | Journal Article | IST-REx-ID: 3521
J. L. Csicsvari, H. Hirase, A. Czurkó, and G. Buzsáki, “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, pp. 179–189, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 3535
H. Hirase, A. Czurkó, J. L. Csicsvari, and G. Buzsáki, “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, pp. 9932–9932, 1998.
View
 

1998 | Book Chapter | IST-REx-ID: 3570
U. Axen and H. Edelsbrunner, “Auditory Morse analysis of triangulated manifolds,” in Mathematical Visualization, Springer, 1998, pp. 223–236.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 3926
S. Cremer and M. 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, pp. 1–9, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4011
J. Liang, H. Edelsbrunner, P. Fu, P. Sudhakar, and S. Subramaniam, “Analytical shape computation of macromolecules: I. molecular area and volume through alpha shape,” Proteins: Structure, Function and Bioinformatics, vol. 33, no. 1. Wiley-Blackwell, pp. 1–17, 1998.
View | DOI
 

1998 | Book Chapter | IST-REx-ID: 4020
H. Edelsbrunner, “Geometry for modeling biomolecules,” in Robotics: The Algorithmic Perspective, AK Peters, 1998, pp. 265–277.
View
 

1998 | Journal Article | IST-REx-ID: 3525
Z. Nádasdy, J. L. Csicsvari, H. Hirase, A. Czurkó, and G. Buzsáki, “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, pp. 9409–9409, 1998.
View
 

1998 | Journal Article | IST-REx-ID: 3527
J. L. Csicsvari, A. Czurkó, H. Hirase, and G. Buzsáki, “Monosynaptic interactions between CA1 Pyramidal cells and interneuron in the behaving rat,” European Journal of Neuroscience, vol. 10, no. Suppl. 10. Wiley-Blackwell, pp. 2553–2553, 1998.
View
 

1998 | Journal Article | IST-REx-ID: 3629
C. Maccallum, B. Nürnberger, N. H. Barton, and J. Szymura, “Habitat preference in the Bombina hybrid zone in Croatia,” Evolution, vol. 52, no. 1. Wiley-Blackwell, pp. 227–239, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 3628 | OA
S. West, A. Peters, and N. H. Barton, “Testing for epistasis between deleterious mutations,” Genetics, vol. 149, no. 1. Genetics Society of America, pp. 435–444, 1998.
View | DOI | Download None (ext.) | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 3627
N. H. Barton, “The effect of hitch-hiking on neutral genealogies,” Genetical Research, vol. 72, no. 2. Cambridge University Press, pp. 123–133, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4017 | OA
J. Liang, H. Edelsbrunner, and C. Woodward, “Anatomy of protein pockets and cavities: Measurement of binding site geometry and implications for ligand design,” Protein Science, vol. 7, no. 9. Wiley-Blackwell, pp. 1884–1897, 1998.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 4012
J. Liang, H. Edelsbrunner, P. Fu, P. Sudhakar, and S. Subramaniam, “Analytical shape computation of macromolecules: II. Inaccessible cavities in proteins,” Proteins: Structure, Function and Bioinformatics, vol. 33, no. 1. Wiley-Blackwell, pp. 18–29, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4013 | OA
H. Edelsbrunner, M. Facello, and J. Liang, “On the definition and the construction of pockets in macromolecules,” Discrete Applied Mathematics, vol. 88, no. 1–3. Elsevier, pp. 83–102, 1998.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1998 | Conference Paper | IST-REx-ID: 4015
H. Edelsbrunner, “Shape reconstruction with Delaunay complex,” in Proceedingsof the 3rd Latin American Symposium on Theoretical Informatics, Campinas, Brazil, 1998, vol. 1380, pp. 119–132.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4019
H. Cheng, H. Edelsbrunner, and P. Fu, “Shape space from deformation,” in Proceedings of the 6th Pacific Conference on Computer Graphics and Applications, Singapore, 1998, pp. 104–113.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4016
H. Edelsbrunner, M. Facello, P. Fu, J. Qian, and D. Nekhayev, “Wrapping 3D scanning data,” presented at the Three-Dimensional Image Capture and Applications, 1998, vol. 3313, pp. 148–158.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4281
N. H. Barton and B. Charlesworth, “Why sex and recombination?,” Science, vol. 281, no. 5385. American Association for the Advancement of Science, pp. 1986–1990, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Journal Article | IST-REx-ID: 4280
M. Ritchie and N. 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, pp. 282–283, 1998.
View | DOI | PubMed | Europe PMC
 

1998 | Book Review | IST-REx-ID: 4283
N. H. Barton, “The geometry of adaptation,” Nature, vol. 395, no. 6704. Nature Publishing Group, pp. 751–752, 1998.
View | DOI
 

1998 | Book Review | IST-REx-ID: 4282
N. H. Barton, “Genetics and analysis of quantitative traits,” Genetical Research, vol. 72, no. 1. Cambridge University Press, pp. 73–73, 1998.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4410
J. Preußig, S. Kowalewski, H. Wong Toi, and T. A. Henzinger, “An algorithm for the approximative analysis of rectangular automata,” in Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, 1998, vol. 1486, pp. 228–240.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4408
J. Raskin, P. Schobbens, and T. A. Henzinger, “Axioms for real-time logics,” in Proceedings of the 9th Interantional Conference on Concurrency Theory, Nice, France, 1998, vol. 1466, pp. 219–236.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4429
T. A. Henzinger and V. Rusu, “Reachability verification for hybrid automata,” in Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, Berkely, CA, United States of America, 1998, vol. 1386, pp. 190–204.
View | DOI
 

1998 | Conference (Editor) | IST-REx-ID: 4430
T. A. Henzinger, Ed., HSCC: Hybrid Systems—Computation and Control, vol. 1386. Springer, 1998.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4486
T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” in Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, Palo Alto, CA, United States of America, 1998, vol. 1522, pp. 421–432.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
T. A. Henzinger, J. Raskin, and P. Schobbens, “The regular real-time languages,” in Proceedings of the 25th International Colloqium on Automata, Languages and Programming, Aalborg, Denmark, 1998, vol. 1443, pp. 580–591.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4489
T. A. Henzinger, O. Kupferman, and S. Qadeer, “From pre-historic to post-modern symbolic model checking,” in Proceedings of the 10th International Conference on Computer Aided Verification, Vancouver, Canada, 1998, vol. 1427, pp. 195–206.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4488
T. A. Henzinger, S. Qadeer, and S. Rajamani, “You assume, we guarantee: Methodology and case studies,” in Proceedings of the 10th International Conference on Computer Aided Verification, Vancouver, Canada, 1998, vol. 1427, pp. 440–451.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
T. A. Henzinger, P. Ho, and H. Wong Toi, “Algorithmic analysis of nonlinear hybrid systems,” IEEE Transactions on Automatic Control, vol. 43, no. 4. IEEE, pp. 540–554, 1998.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4492 | OA
T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” Journal of Computer and System Sciences, vol. 57, no. 1. Elsevier, pp. 94–124, 1998.
[Published Version] View | DOI | Download Published Version (ext.)
 

1998 | Conference Paper | IST-REx-ID: 4515
T. A. Henzinger, “It’s about time: Real-time logics reviewed,” in Proceedings of the 9th Interantional Conference on Concurrency Theory, Nice, France, 1998, vol. 1466, pp. 439–454.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4606
R. Alur, T. A. Henzinger, and S. Rajamani, “Symbolic exploration of transition hierarchies,” in Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lisbon, Portugal, 1998, vol. 1384, pp. 330–344.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
R. Alur, T. A. Henzinger, O. Kupferman, and M. Vardi, “Alternating refinement relations,” in Proceedings of the 9th Interantional Conference on Concurrency Theory, Nice, France, 1998, vol. 1466, pp. 163–178.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
R. Alur, T. A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, and S. Tasiran, “Mocha: Modularity in model checking,” in Proceedings of the 10th International Conference on Computer Aided Verification, Vancouver, Canada, 1998, vol. 1427, pp. 521–525.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
L. De Alfaro, T. A. Henzinger, and O. Kupferman, “Concurrent reachability games,” in Proceedings 39th Annual Symposium on Foundations of Computer Science, Palo Alto, CA, United States of America, 1998, pp. 564–575.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 6160
M. de Bono and C. 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, pp. 679–689, 1998.
View | DOI | PubMed | Europe PMC
 

Filters and Search Terms

year=1998

Search

Filter Publications