Please note that IST 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.

6032 Publications


2000 | Journal Article | IST-REx-ID: 4274 | OA
Barton, Nicholas H. “Genetic Hitchhiking.” Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 355, no. 1403 (2000): 1553–62. https://doi.org/10.1098/rstb.2000.0716.
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 4275
Barton, Nicholas H. “Differentiation.” In Encyclopedia of Biodiversity, 85–94. Academic Press, 2000. https://doi.org/10.1016/B0-12-226865-2/00070-5.
View | DOI
 

2000 | Book Review | IST-REx-ID: 4276
Barton, Nicholas H. “Population Genetics of Multiple Loci.” Genetical Research. Cambridge University Press, 2000.
View
 

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger, Thomas A, and Sriram Rajamani. “Fair Bisimulation,” 1785:299–314. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_21.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger, Thomas A, and Jean Raskin. “Robust Undecidability of Timed and Hybrid Systems,” 1790:145–59. Springer, 2000. https://doi.org/10.1007/3-540-46430-1_15.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger, Thomas A, and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems,” 1785:142–56. Springer, 2000. https://doi.org/10.1007/3-540-46419-0_11.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger, Thomas A, and Ritankar Majumdar. “A Classification of Symbolic Transition Systems,” 1770:13–34. Springer, 2000. https://doi.org/10.1007/3-540-46541-3_2.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger, Thomas A, Benjamin Horowitz, Ritankar Majumdar, and Howard Wong Toi. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods,” 1790:130–44. Springer, 2000. https://doi.org/10.1007/3-540-46430-1_14.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger, Thomas A, Ritankar Majumdar, Freddy Mang, and Jean Raskin. “Abstract Interpretation of Game Properties,” 1824:220–39. Springer, 2000. https://doi.org/10.1007/978-3-540-45099-3_12.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning,” 245–52. IEEE, 2000. https://doi.org/10.1109/ICCAD.2000.896481.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components,” 1872:549–63. Springer, 2000. https://doi.org/10.1007/3-540-44929-9_38.
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” In Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, 170:265–92. Springer, 2000.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Alur, Rajeev, Thomas A Henzinger, Gerardo Lafferriere, and George Pappas. “Discrete Abstractions of Hybrid Systems.” Proceedings of the IEEE 88, no. 7 (2000): 971–84. https://doi.org/10.1109/5.871304 .
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro, Luca, and Thomas A Henzinger. “Concurrent Omega-Regular Games,” 141–54. IEEE, 2000. https://doi.org/10.1109/LICS.2000.855763.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems,” 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000. https://doi.org/10.1007/3-540-44618-4_33.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “Detecting Errors before Reaching Them,” 1855:186–201. Springer, 2000. https://doi.org/10.1007/10722167_17.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2710
Erdös, László. “The Kernel of Dirac Operators on S3 and R3,” 16:111–19. American Mathematical Society, 2000.
View
 

2000 | Journal Article | IST-REx-ID: 2731
Erdös, László, and Horng Yau. “Linear Boltzmann Equation as the Weak Coupling Limit of a Random Schrödinger Equation.” Communications on Pure and Applied Mathematics 53, no. 6 (2000): 667–735. https://doi.org/10.1002/(SICI)1097-0312(200006)53:6<667::AID-CPA1>3.0.CO;2-5.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2732
Castella, François, László Erdös, Florian Frommlet, and Peter Markowich. “Fokker-Planck Equations as Scaling Limits of Reversible Quantum Systems.” Journal of Statistical Physics 100, no. 3–4 (2000): 543–601. https://doi.org/10.1023/A:1018667323830.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2733
Erdös, László, Michael Loss, and Vitali Vougalter. “Diamagnetic Behavior of Sums Dirichlet Eigenvalues.” Annales de l’Institut Fourier 50, no. 3 (2000): 891–907. https://doi.org/10.5802/aif.1777.
View | DOI
 

Search

Filter Publications