Shape reconstruction with Delaunay complex
H. Edelsbrunner, in:, Proceedingsof the 3rd Latin American Symposium on Theoretical Informatics, Springer, 1998, pp. 119–132.
LibreCat: https://research-explorer.ista.ac.at/record/4015
DOI: 10.1007/BFb0054315

Shape space from deformation
H. Cheng, H. Edelsbrunner, P. Fu, in:, Proceedings of the 6th Pacific Conference on Computer Graphics and Applications, IEEE, 1998, pp. 104–113.
LibreCat: https://research-explorer.ista.ac.at/record/4019
DOI: 10.1109/PCCGA.1998.732056

Wrapping 3D scanning data
H. Edelsbrunner, M. Facello, P. Fu, J. Qian, D. Nekhayev, in:, SPIE, 1998, pp. 148–158.
LibreCat: https://research-explorer.ista.ac.at/record/4016
DOI: 10.1117/12.302448

Why sex and recombination?
N.H. Barton, B. Charlesworth, Science 281 (1998) 1986–1990.
LibreCat: https://research-explorer.ista.ac.at/record/4281
DOI: 10.1126/science.281.5385.1986
PMID: 9748151

Hybrids and hybrid zones: Reply from M.G. Ritchie and N.H. Barton
M. Ritchie, N.H. Barton, Trends in Ecology and Evolution 13 (1998) 282–283.
LibreCat: https://research-explorer.ista.ac.at/record/4280
DOI: 10.1016/S0169-5347(98)01396-2
PMID: 21238302

The geometry of adaptation
N.H. Barton, Nature 395 (1998) 751–752.
LibreCat: https://research-explorer.ista.ac.at/record/4283
DOI: 10.1038/27338

Genetics and analysis of quantitative traits
N.H. Barton, Genetical Research 72 (1998) 73–73.
LibreCat: https://research-explorer.ista.ac.at/record/4282
DOI: 10.1017/S0016672398219732

An algorithm for the approximative analysis of rectangular automata
J. Preußig, S. Kowalewski, H. Wong Toi, T.A. Henzinger, in:, Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Springer, 1998, pp. 228–240.
LibreCat: https://research-explorer.ista.ac.at/record/4410
DOI: 10.1007/BFb0055350

Axioms for real-time logics
J. Raskin, P. Schobbens, T.A. Henzinger, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 219–236.
LibreCat: https://research-explorer.ista.ac.at/record/4408
DOI: 10.1007/BFb0055625

Reachability verification for hybrid automata
T.A. Henzinger, V. Rusu, in:, Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, Springer, 1998, pp. 190–204.
LibreCat: https://research-explorer.ista.ac.at/record/4429
DOI: 10.1007/3-540-64358-3_40

HSCC: Hybrid Systems—Computation and Control
T.A. Henzinger, ed., HSCC: Hybrid Systems—Computation and Control, Springer, 1998.
LibreCat: https://research-explorer.ista.ac.at/record/4430
DOI: 10.1007/3-540-64358-3

An assume-guarantee rule for checking simulation
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, in:, Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, Springer, 1998, pp. 421–432.
LibreCat: https://research-explorer.ista.ac.at/record/4486
DOI: 10.1007/3-540-49519-3_27

The regular real-time languages
T.A. Henzinger, J. Raskin, P. Schobbens, in:, Proceedings of the 25th International Colloqium on Automata, Languages and Programming, Springer, 1998, pp. 580–591.
LibreCat: https://research-explorer.ista.ac.at/record/4490
DOI: 10.1007/BFb0055086

From pre-historic to post-modern symbolic model checking
T.A. Henzinger, O. Kupferman, S. Qadeer, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 195–206.
LibreCat: https://research-explorer.ista.ac.at/record/4489
DOI: 10.1007/BFb0028745

You assume, we guarantee: Methodology and case studies
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 440–451.
LibreCat: https://research-explorer.ista.ac.at/record/4488
DOI: 10.1007/BFb0028765

Algorithmic analysis of nonlinear hybrid systems
T.A. Henzinger, P. Ho, H. Wong Toi, IEEE Transactions on Automatic Control 43 (1998) 540–554.
LibreCat: https://research-explorer.ista.ac.at/record/4491
DOI: 10.1109/9.664156 

What's decidable about hybrid automata?
T.A. Henzinger, P. Kopke, A. Puri, P. Varaiya, Journal of Computer and System Sciences 57 (1998) 94–124.
LibreCat: https://research-explorer.ista.ac.at/record/4492
DOI: 10.1006/jcss.1998.1581

It's about time: Real-time logics reviewed
T.A. Henzinger, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 439–454.
LibreCat: https://research-explorer.ista.ac.at/record/4515
DOI: 10.1007/BFb0055640

Symbolic exploration of transition hierarchies
R. Alur, T.A. Henzinger, S. Rajamani, in:, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 1998, pp. 330–344.
LibreCat: https://research-explorer.ista.ac.at/record/4606
DOI: 10.1007/BFb0054181

Alternating refinement relations
R. Alur, T.A. Henzinger, O. Kupferman, M. Vardi, in:, Proceedings of the 9th Interantional Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998, pp. 163–178.
LibreCat: https://research-explorer.ista.ac.at/record/4603
DOI: 10.1007/BFb0055622