Kaloshin V. 2000. Generic diffeomorphisms with superexponential growth of number of periodic orbits. Communications in Mathematical Physics. 211, 253–271.
LibreCat: https://research-explorer.ista.ac.at/record/8525
DOI: 10.1007/s002200050811

De Alfaro L, Henzinger TA, Mang F. 2000. The control of synchronous systems. Proceedings of the 11th International Conference on Concurrency Theory. CONCUR: Concurrency Theory, LNCS, vol. 1877, 458–473.
LibreCat: https://research-explorer.ista.ac.at/record/4637
DOI: 10.1007/3-540-44618-4_33

De Alfaro L, Henzinger TA, Mang F. 2000. Detecting errors before reaching them. Proceedings of the 12th International Conference on Computer Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 1855, 186–201.
LibreCat: https://research-explorer.ista.ac.at/record/4638
DOI: 10.1007/10722167_17

De Alfaro L, Henzinger TA. 2000. Concurrent omega-regular games. Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 141–154.
LibreCat: https://research-explorer.ista.ac.at/record/4627
DOI: 10.1109/LICS.2000.855763

Henzinger TA. 2000. Masaccio: A formal model for embedded components. Proceedings of the 1st International Conference on Theoretical Computer Science . TCS: Theoretical Computer Science, LNCS, vol. 1872, 549–563.
LibreCat: https://research-explorer.ista.ac.at/record/4512
DOI: 10.1007/3-540-44929-9_38

Alur R, Henzinger TA, Lafferriere G, Pappas G. 2000. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 88(7), 971–984.
LibreCat: https://research-explorer.ista.ac.at/record/4598
DOI: 10.1109/5.871304 

Henzinger TA, Majumdar R, Mang F, Raskin J. 2000. Abstract interpretation of game properties. Proceedings of the 7th International Symposium on Static Analysis. SAS: Static Analysis Symposium, LNCS, vol. 1824, 220–239.
LibreCat: https://research-explorer.ista.ac.at/record/4482
DOI: 10.1007/978-3-540-45099-3_12

Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. 2000. Beyond HyTech: Hybrid systems analysis using interval numerical methods. Proceedings of the 3rd International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1790, 130–144.
LibreCat: https://research-explorer.ista.ac.at/record/4481
DOI: 10.1007/3-540-46430-1_14

Henzinger TA, Qadeer S, Rajamani S. 2000. Decomposing refinement proofs using assume-guarantee reasoning. Proceedings of the 2000 International Conference on Computer-Aided Design. ICCAD: Computer-Aided Design, 245–252.
LibreCat: https://research-explorer.ista.ac.at/record/4483
DOI: 10.1109/ICCAD.2000.896481

Henzinger TA. 2000.The theory of hybrid automata. In: Verification of Digital and Hybrid Systems. NATO ASI Series F: Computer and Systems Sciences, vol. 170, 265–292.
LibreCat: https://research-explorer.ista.ac.at/record/4513
DOI: 10.1007/978-3-642-59615-5

Henzinger TA, Rajamani S. 2000. Fair bisimulation. Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 299–314.
LibreCat: https://research-explorer.ista.ac.at/record/4433
DOI: 10.1007/3-540-46419-0_21

Henzinger TA, Majumdar R. 2000. A classification of symbolic transition systems. Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science. STACS: Theoretical Aspects of Computer Science, LNCS, vol. 1770, 13–34.
LibreCat: https://research-explorer.ista.ac.at/record/4439
DOI: 10.1007/3-540-46541-3_2

Henzinger TA, Majumdar R. 2000. Symbolic model checking for rectangular hybrid systems. Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 1785, 142–156.
LibreCat: https://research-explorer.ista.ac.at/record/4435
DOI: 10.1007/3-540-46419-0_11

Henzinger TA, Raskin J. 2000. Robust undecidability of timed and hybrid systems. Proceedings of the 3rd International Workshop on Hybrid Systems. HSCC: Hybrid Systems - Computation and Control, LNCS, vol. 1790, 145–159.
LibreCat: https://research-explorer.ista.ac.at/record/4434
DOI: 10.1007/3-540-46430-1_15

Barton NH. 2000. Population genetics of multiple loci. Genetics Research. 75(3), 371–373.
LibreCat: https://research-explorer.ista.ac.at/record/4276
DOI: 10.1017/S0016672300239220

Barton NH, Shpak M. 2000. The effects of epistasis on the structure of hybrid zones. Genetical Research. 75(2), 179–198.
LibreCat: https://research-explorer.ista.ac.at/record/4271
DOI: 10.1017/S0016672399004334
PMID: 10816975

Barton NH. 2000. Genetic hitchhiking. Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences. 355(1403), 1553–1562.
LibreCat: https://research-explorer.ista.ac.at/record/4274
DOI: 10.1098/rstb.2000.0716
PMID: 11127900

Barton NH, Shpak M. 2000. The stability of symmetrical solutions to polygenic models. Theoretical Population Biology. 57(3), 249–263.
LibreCat: https://research-explorer.ista.ac.at/record/4272
DOI: 10.1006/tpbi.2000.1455
PMID: 10828217

Barton NH, Partridge L. 2000. Limits to natural selection. BioEssays. 22(12), 1075–1084.
LibreCat: https://research-explorer.ista.ac.at/record/4273
DOI: 10.1002/1521-1878(200012)22:12&lt;1075::AID-BIES5&gt;3.0.CO;2-M
PMID: 11084623

Coyne J, Barton NH, Turelli M. 2000. Is Wright’s shifting balance process important in evolution? Evolution; International Journal of Organic Evolution. 54(1), 306–317.
LibreCat: https://research-explorer.ista.ac.at/record/4269
DOI: 10.1554/0014-3820(2000)054[0306:IWSSBP]2.0.CO;2
PMID: 10937209