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.

5893 Publications


2000 | Conference Paper | IST-REx-ID: 4637
L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems,” presented at the CONCUR: Concurrency Theory, 2000, vol. 1877, pp. 458–473.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
L. De Alfaro, T. A. Henzinger, and F. Mang, “Detecting errors before reaching them,” presented at the CAV: Computer-Aided Verification, 2000, vol. 1855, pp. 186–201.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2710
L. Erdös, “The kernel of Dirac operators on S3 and R3,” presented at the Differential Equations and Mathematical Physics, 2000, vol. 16, pp. 111–119.
View
 

2000 | Journal Article | IST-REx-ID: 2731
L. Erdös and H. Yau, “Linear Boltzmann equation as the weak coupling limit of a random Schrödinger equation,” Communications on Pure and Applied Mathematics, vol. 53, no. 6, pp. 667–735, 2000.
View | DOI
 

2000 | Journal Article | IST-REx-ID: 2732
F. Castella, L. Erdös, F. Frommlet, and P. Markowich, “Fokker-Planck equations as scaling limits of reversible quantum systems,” Journal of Statistical Physics, vol. 100, no. 3–4, pp. 543–601, 2000.
View | DOI
 

Search

Filter Publications