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.

6021 Publications


2000 | Book Chapter | IST-REx-ID: 4513
The theory of hybrid automata
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
View
 

2000 | Journal Article | IST-REx-ID: 4598
Discrete abstractions of hybrid systems
R. Alur, T.A. Henzinger, G. Lafferriere, G. Pappas, Proceedings of the IEEE 88 (2000) 971–984.
View | DOI
 

2000 | Conference Paper | IST-REx-ID: 4627
Concurrent omega-regular games
L. De Alfaro, T.A. Henzinger, in:, IEEE, 2000, pp. 141–154.
View | DOI
 

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
 

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

2000 | Journal Article | IST-REx-ID: 3149
Interaction of Drosophila melanogaster prohormone convertase 2 and 7B2: Insect cell specific processing and secretion
J. Hwang, D.E. Siekhaus, R. Fuller, P. Taghert, I. Lindberg, Journal of Biological Chemistry 275 (2000) 17886–17893.
View | DOI
 

Search

Filter Publications