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 | Book Review | IST-REx-ID: 4283
Barton NH. The geometry of adaptation. Nature. 1998;395(6704):751-752. doi:10.1038/27338
View
| DOI
1998 | Book Review | IST-REx-ID: 4282
Barton NH. Genetics and analysis of quantitative traits. Genetical Research. 1998;72(1):73-73. doi:10.1017/S0016672398219732
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4410
Preußig J, Kowalewski S, Wong Toi H, Henzinger TA. 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. Vol 1486. Springer; 1998:228-240. doi:10.1007/BFb0055350
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4408
Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. In: Proceedings of the 9th Interantional Conference on Concurrency Theory. Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:219-236. doi:10.1007/BFb0055625
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4429
Henzinger TA, Rusu V. Reachability verification for hybrid automata. In: Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control. Vol 1386. Springer; 1998:190-204. doi:10.1007/3-540-64358-3_40
View
| DOI