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.

6292 Publications


2001 | Journal Article | IST-REx-ID: 874
Kondrashov F, Kondrashov A. 2001. Multidimensional epistasis and the disadvantage of sex. PNAS. 98(21), 12089–12092.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
Alur R, De Alfaro L, Grosu R, Henzinger TA, Kang M, Kirsch C, Majumdar R, Mang F, Wang B. 2001. jMocha: A model-checking tool that exploits design structure. ICSE: Software Engineering, 835–836.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro L, Henzinger TA. 2001. Interface automata. FSE: Foundations of Software Engineering, 109–120.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro L, Henzinger TA. 2001. Interface theories for component-based design. EMSOFT: Embedded Software , LNCS, vol. 2211, 148–165.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro L, Henzinger TA, Jhala R. 2001. Compositional methods for probabilistic systems. CONCUR: Concurrency Theory, LNCS, vol. 2154, 351–365.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro L, Henzinger TA, Majumdar R. 2001. Symbolic algorithms for infinite-state games. CONCUR: Concurrency Theory, LNCS, vol. 2154, 536–550.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro L, Henzinger TA, Mang F. 2001. The control of synchronous systems, Part II. CONCUR: Concurrency Theory, LNCS, vol. 2154, 566–581.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro L, Henzinger TA, Mang F. 2001. MCWEB: A model-checking tool for web-site debugging. WWW: World Wide Web Conference, 86–87.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro L, Henzinger TA, Majumdar R. 2001. From verification to control: dynamic programs for omega-regular objectives. LICS: Logic in Computer Science, 279–290.
View | DOI
 

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

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

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

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

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

2001 | Journal Article | IST-REx-ID: 3928
Sixt MK, Hallmann R, Wendler O, Scharffetter Kochanek K, Sorokin L. 2001. Cell adhesion and migration properties of β2-integrin negative polymorphonuclear granulocytes on defined extracellular matrix molecules. Relevance for leukocyte extravasation. Journal of Biological Chemistry. 276(22), 18878–18887.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3930
Sixt MK, Engelhardt B, Pausch F, Hallmann R, Wendler O, Sorokin L. 2001. Endothelial cell laminin isoforms, laminins 8 and 10, play decisive roles in T cell recruitment across the blood-brain barrier in experimental autoimmune encephalomyelitis. Journal of Cell Biology. 153(5), 933–946.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
Cheng H, Edelsbrunner H, Fu P. 2001. Shape space from deformation. Computational Geometry: Theory and Applications. 19(2–3), 191–204.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4002
Cheng S, Edelsbrunner H, Fu P, Lam K. 2001. Design and analysis of planar shape deformation. Computational Geometry: Theory and Applications. 19(2–3), 205–218.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng H, Dey T, Edelsbrunner H, Sullivan J. 2001. Dynamic skin triangulation. SODA: Symposium on Discrete Algorithms, 47–56.
View
 

2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner H. 2001. 180 wrapped tubes. Journal of Universal Computer Science. 7(5), 379–399.
View | DOI
 

Search

Filter Publications