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
The control of synchronous systems
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000, pp. 458–473.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4638
Detecting errors before reaching them
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Springer, 2000, pp. 186–201.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 2710
The kernel of Dirac operators on S3 and R3
L. Erdös, in:, American Mathematical Society, 2000, pp. 111–119.
View
 

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

2000 | Journal Article | IST-REx-ID: 2732
Fokker-Planck equations as scaling limits of reversible quantum systems
F. Castella, L. Erdös, F. Frommlet, P. Markowich, Journal of Statistical Physics 100 (2000) 543–601.
View | DOI
 

Search

Filter Publications