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.

5867 Publications


2000 | Journal Article | IST-REx-ID: 4274 | OA
Barton NH. Genetic hitchhiking. Philosophical Transactions of the Royal Society of London Series B, Biological Sciences. 2000;355(1403):1553-1562. doi:10.1098/rstb.2000.0716
View | DOI | Download (ext.)
 

2000 | Book Chapter | IST-REx-ID: 4275
Barton NH. Differentiation. In: Encyclopedia of Biodiversity. Academic Press; 2000:85-94. doi:10.1016/B0-12-226865-2/00070-5
View | DOI
 

2000 | Book Review | IST-REx-ID: 4276
Barton NH. Population genetics of multiple loci. Genetical Research. 2000;75(3):371-373.
View
 

2000 | Conference Paper | IST-REx-ID: 4433
Henzinger TA, Rajamani S. Fair bisimulation. In: Vol 1785. Springer; 2000:299-314. doi:10.1007/3-540-46419-0_21
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4434
Henzinger TA, Raskin J. Robust undecidability of timed and hybrid systems. In: Vol 1790. Springer; 2000:145-159. doi:10.1007/3-540-46430-1_15
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4435
Henzinger TA, Majumdar R. Symbolic model checking for rectangular hybrid systems. In: Vol 1785. Springer; 2000:142-156. doi:10.1007/3-540-46419-0_11
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4439
Henzinger TA, Majumdar R. A classification of symbolic transition systems. In: Vol 1770. Springer; 2000:13-34. doi:10.1007/3-540-46541-3_2
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4481
Henzinger TA, Horowitz B, Majumdar R, Wong Toi H. Beyond HyTech: Hybrid systems analysis using interval numerical methods. In: Vol 1790. Springer; 2000:130-144. doi:10.1007/3-540-46430-1_14
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4482
Henzinger TA, Majumdar R, Mang F, Raskin J. Abstract interpretation of game properties. In: Vol 1824. Springer; 2000:220-239. doi:10.1007/978-3-540-45099-3_12
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4483
Henzinger TA, Qadeer S, Rajamani S. Decomposing refinement proofs using assume-guarantee reasoning. In: IEEE; 2000:245-252. doi:10.1109/ICCAD.2000.896481
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4512
Henzinger TA. Masaccio: A formal model for embedded components. In: Vol 1872. Springer; 2000:549-563. doi:10.1007/3-540-44929-9_38
View | DOI
 

2000 | Book Chapter | IST-REx-ID: 4513
Henzinger TA. The theory of hybrid automata. In: Inan M, Kurshan R, eds. Verification of Digital and Hybrid Systems. Vol 170. Springer; 2000:265-292.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Alur R, Henzinger TA, Lafferriere G, Pappas G. Discrete abstractions of hybrid systems. Proceedings of the IEEE. 2000;88(7):971-984. doi:10.1109/5.871304
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
De Alfaro L, Henzinger TA. Concurrent omega-regular games. In: IEEE; 2000:141-154. doi:10.1109/LICS.2000.855763
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4637
De Alfaro L, Henzinger TA, Mang F. The control of synchronous systems. In: Vol 1877. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2000:458-473. doi:10.1007/3-540-44618-4_33
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
De Alfaro L, Henzinger TA, Mang F. Detecting errors before reaching them. In: Vol 1855. Springer; 2000:186-201. doi:10.1007/10722167_17
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2710
Erdös L. The kernel of Dirac operators on S3 and R3. In: Vol 16. American Mathematical Society; 2000:111-119.
View
 

2000 | Journal Article | IST-REx-ID: 2731
Erdös L, Yau H. Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation. Communications on Pure and Applied Mathematics. 2000;53(6):667-735. doi: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 F, Erdös L, Frommlet F, Markowich P. Fokker-Planck equations as scaling limits of reversible quantum systems. Journal of Statistical Physics. 2000;100(3-4):543-601. doi:10.1023/A:1018667323830
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2733
Erdös L, Loss M, Vougalter V. Diamagnetic behavior of sums Dirichlet eigenvalues. Annales de l’Institut Fourier. 2000;50(3):891-907. doi:10.5802/aif.1777
View | DOI
 

Search

Filter Publications