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, Fyodor, and Alexey Kondrashov. “Multidimensional Epistasis and the Disadvantage of Sex.” PNAS, vol. 98, no. 21, National Academy of Sciences, 2001, pp. 12089–92, doi:10.1073/pnas.211214298.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4600
Alur, Rajeev, et al. JMocha: A Model-Checking Tool That Exploits Design Structure. IEEE, 2001, pp. 835–36, doi:10.1109/ICSE.2001.919196.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4622
De Alfaro, Luca, and Thomas A. Henzinger. Interface Automata. ACM, 2001, pp. 109–20, doi:10.1145/503209.503226.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, Luca, and Thomas A. Henzinger. Interface Theories for Component-Based Design. Vol. 2211, ACM, 2001, pp. 148–65, doi:10.1007/3-540-45449-7_11.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, Luca, et al. Compositional Methods for Probabilistic Systems. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 351–65, doi:10.1007/3-540-44685-0_24.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, Luca, et al. Symbolic Algorithms for Infinite-State Games. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 536–50, doi:10.1007/3-540-44685-0_36.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro, Luca, et al. The Control of Synchronous Systems, Part II. Vol. 2154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001, pp. 566–81, doi:10.1007/3-540-44685-0_38.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4635
De Alfaro, Luca, et al. MCWEB: A Model-Checking Tool for Web-Site Debugging. ACM, 2001, pp. 86–87.
View | Download (ext.)
 

2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro, Luca, et al. From Verification to Control: Dynamic Programs for Omega-Regular Objectives. IEEE, 2001, pp. 279–90, doi:10.1109/LICS.2001.932504.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 1452 | OA
Hausel, Tamás, and Michael Thaddeus. “Examples of Mirror Partners Arising from Integrable Systems.” Comptes Rendus de l’Academie Des Sciences - Series I: Mathematics, vol. 333, no. 4, Elsevier, 2001, pp. 313–18, doi:10.1016/S0764-4442(01)02057-2.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 1453 | OA
Etesi, Gábor, and Tamás Hausel. “Geometric Construction of New Yang-Mills Instantons over Taub-NUT Space.” Physics Letters, Section B: Nuclear, Elementary Particle and High-Energy Physics, vol. 514, no. 1–2, Elsevier, 2001, pp. 189–99, doi:10.1016/S0370-2693(01)00821-8.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 1454 | OA
Etesi, Gábor, and Tamás Hausel. “Geometric Interpretation of Schwarzschild Instantons.” Journal of Geometry and Physics, vol. 37, no. 1–2, Elsevier, 2001, pp. 126–36, doi:10.1016/S0393-0440(00)00040-1.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 888
Jordan, Ingo, et al. “Constant Relative Rate of Protein Evolution and Detection of Functional Diversification among Bacterial, Archaeal and Eukaryotic Proteins .” Genome Biology, vol. 2, no. 12, BioMed Central, 2001, doi:10.1186/gb-2001-2-12-research0053.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3927
Wolf, Dominik, et al. “TNF-α-Induced Expression of Adhesion Molecules in the Liver Is under the Control of TNFR1--Relevance for Concanavalin A-Induced Hepatitis.” Journal of Immunology, vol. 166, no. 2, American Association of Immunologists, 2001, pp. 1300–07.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3928
Sixt, Michael K., et al. “Cell Adhesion and Migration Properties of Β2-Integrin Negative Polymorphonuclear Granulocytes on Defined Extracellular Matrix Molecules. Relevance for Leukocyte Extravasation.” Journal of Biological Chemistry, vol. 276, no. 22, American Society for Biochemistry and Molecular Biology, 2001, pp. 18878–87, doi:10.1074/jbc.M010898200.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3930
Sixt, Michael K., et al. “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, vol. 153, no. 5, Rockefeller University Press, 2001, pp. 933–46, doi:10.1083/jcb.153.5.933 .
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4001
Cheng, Ho, et al. “Shape Space from Deformation.” Computational Geometry: Theory and Applications, vol. 19, no. 2–3, Elsevier, 2001, pp. 191–204, doi:10.1016/S0925-7721(01)00021-9.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4002
Cheng, Siu, et al. “Design and Analysis of Planar Shape Deformation.” Computational Geometry: Theory and Applications, vol. 19, no. 2–3, Elsevier, 2001, pp. 205–18, doi:10.1016/S0925-7721(01)00020-7.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4005
Cheng, Ho, et al. Dynamic Skin Triangulation. SIAM, 2001, pp. 47–56.
View
 

2001 | Journal Article | IST-REx-ID: 4006
Edelsbrunner, Herbert. “180 Wrapped Tubes.” Journal of Universal Computer Science, vol. 7, no. 5, Springer, 2001, pp. 379–99, doi:10.3217/jucs-007-05-0379.
View | DOI
 

Search

Filter Publications