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.

6489 Publications


2001 | Conference Paper | IST-REx-ID: 4632
Compositional methods for probabilistic systems
L. De Alfaro, T.A. Henzinger, R. Jhala, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–365.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
Symbolic algorithms for infinite-state games
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–550.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
The control of synchronous systems, Part II
L. De Alfaro, T.A. Henzinger, F. Mang, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–581.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
MCWEB: A model-checking tool for web-site debugging
L. De Alfaro, T.A. Henzinger, F. Mang, in:, ACM, 2001, pp. 86–87.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4636
From verification to control: dynamic programs for omega-regular objectives
L. De Alfaro, T.A. Henzinger, R. Majumdar, in:, IEEE, 2001, pp. 279–290.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 1452 | OA
Examples of mirror partners arising from integrable systems
T. Hausel, M. Thaddeus, Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics 333 (2001) 313–318.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 1453 | OA
Geometric construction of new Yang-Mills instantons over Taub-NUT space
G. Etesi, T. Hausel, Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics 514 (2001) 189–199.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 1454 | OA
Geometric interpretation of Schwarzschild instantons
G. Etesi, T. Hausel, Journal of Geometry and Physics 37 (2001) 126–136.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 888
Constant relative rate of protein evolution and detection of functional diversification among bacterial, archaeal and eukaryotic proteins
I. Jordan, F. Kondrashov, I. Rogozin, R. Tatusov, Y. Wolf, E. Koonin, Genome Biology 2 (2001).
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3927
TNF-α-induced expression of adhesion molecules in the liver is under the control of TNFR1--relevance for concanavalin A-induced hepatitis
D. Wolf, R. Hallmann, G. Sass, M.K. Sixt, S. Küsters, B. Fregien, C. Trautwein, G. Tiegs, Journal of Immunology 166 (2001) 1300–1307.
View | Download (ext.)
 

Search

Filter Publications