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 | 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
 

Filters and Search Terms

year=1998

Search

Filter Publications