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.

6425 Publications


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
 

Search

Filter Publications