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
 

2001 | Journal Article | IST-REx-ID: 4007
Cheng, Ho, et al. “Dynamic Skin Triangulation.” Discrete & Computational Geometry, vol. 25, no. 4, Springer, 2001, pp. 525–68, doi:10.1007/s00454-001-0007-1.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4200
Heisenberg, Carl-Philipp J., et al. “A Mutation in the Gsk3-Binding Domain of Zebrafish Masterblind/Axin1 Leads to a Fate Transformation of Telencephalon and Eyes to Diencephalon.” Genes and Development, vol. 15, no. 11, Cold Spring Harbor Laboratory Press, 2001, pp. 1427–34, doi:10.1101/gad.194301.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4229
Bollback, Jonathan P., and John Huelsenbeck. “Phylogeny, Genome Evolution, and Host Specificity of Single-Stranded RNA Bacteriophage (Family Leviviridae).” Journal of Molecular Evolution, vol. 52, no. 2, Springer, 2001, pp. 117–28, doi:10.1007/s002390010140.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4264
Turelli, Michael, et al. “Theory and Speciation.” Trends in Ecology and Evolution, vol. 16, no. 7, Cell Press, 2001, pp. 330–43, doi:10.1016/S0169-5347(01)02177-2.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4265
Otto, Sarah, and Nicholas H. Barton. “Selection for Recombination in Small Populations.” Evolution; International Journal of Organic Evolution, vol. 55, no. 10, Wiley-Blackwell, 2001, pp. 1921–31, doi:10.1111/j.0014-3820.2001.tb01310.x.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4266
Barton, Nicholas H. “The Role of Hybridisation in Evolution.” Molecular Ecology, vol. 10, no. 3, Wiley-Blackwell, 2001, pp. 551–68, doi:10.1046/j.1365-294X.2001.01216.x.
View | DOI
 

2001 | Book Chapter | IST-REx-ID: 4267
Barton, Nicholas H. “Adaptation at the Edge of a Species’ Range.” Integrating Ecology and Evolution in a Spatial Context, Cambridge University Press, 2001, pp. 365–92.
View
 

2001 | Book Chapter | IST-REx-ID: 4278
Barton, Nicholas H. “The Evolutionary Consequences of Gene Flow and Local Adaptation: Future Approaches.” Dispersal, Oxford University Press, 2001.
View
 

2001 | Conference (Editor) | IST-REx-ID: 4449
Henzinger, Thomas A., and Christoph Kirsch. “EMSOFT: Embedded Software.” EMSOFT: Embedded Software , vol. 2211, ACM, 2001, doi:10.1007/3-540-45449-7.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4475
Henzinger, Thomas A., et al. Some Lessons from the HYTECH Experience. Vol. 3, IEEE, 2001, pp. 2887–92, doi:10.1109/.2001.980714.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4477
Henzinger, Thomas A., et al. Assume-Guarantee Reasoning for Hierarchical Hybrid Systems. Vol. 2034, Springer, 2001, pp. 275–90, doi:10.1007/3-540-45351-2_24.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4478
Henzinger, Thomas A., et al. Embedded Control Systems Development with Giotto. ACM, 2001, pp. 64–72, doi:10.1145/384197.384208.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4479
Henzinger, Thomas A., et al. Giotto: A Time-Triggered Language for Embedded Programming. Vol. 2211, ACM, 2001, pp. 166–84, doi:1303.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4564
Brown, Timothy, et al. A Reusable and Platform-Independent Framework for Distributed Control Systems. IEEE, 2001, pp. 1–11, doi:10.1109/DASC.2001.964169.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 4599
Alur, Rajeev, et al. “Partial-Order Reduction in Symbolic State-Space Exploration.” Formal Methods in System Design, vol. 18, no. 2, Springer, 2001, pp. 97–116, doi:10.1023/A:1008767206905.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
Molendijk, Arthur, et al. “Arabidopsis Thaliana Rop GTPases Are Localized to Tips of Root Hairs and Control Polar Growth.” EMBO Journal, vol. 20, no. 11, Wiley-Blackwell, 2001, pp. 2779–88, doi:10.1093/emboj/20.11.2779.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
Gil, Pedro, et al. “BIG: A Calossin-like Protein Required for Polar Auxin Transport in Arabidopsis.” Genes and Development, vol. 15, no. 15, Cold Spring Harbor Laboratory Press, 2001, pp. 1985–97, doi:10.1101/gad.905201.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
Geldner, Niko, et al. “Auxin Transport Inhibitors Block PIN1 Cycling and Vesicle Trafficking.” Nature, vol. 413, no. 6854, Nature Publishing Group, 2001, pp. 425–28, doi:10.1038/35096571.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup, Ranjan, et al. “Localization of the Auxin Permease AUX1 Suggests Two Functionally Distinct Hormone Transport Pathways Operate in the Arabidopsis Root Apex.” Genes and Development, vol. 15, no. 20, Cold Spring Harbor Laboratory Press, 2001, pp. 2648–53, doi:10.1101/gad.210501.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
Trnková, Libuše, et al. “Elimination Voltammetry of Adenine and Cytosine Mixtures.” Bioelectrochemistry, vol. 54, no. 2, Elsevier, 2001, pp. 131–36, doi:10.1016/S1567-5394(01)00119-0.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3169
Kolmogorov, Vladimir, and Ramin Zabih. Computing Visual Correspondence with Occlusions Using Graph Cuts. Vol. 2, IEEE, 2001, pp. 508–15, doi:10.1109/ICCV.2001.937668.
View | DOI | Download (ext.)
 

2001 | Book Chapter | IST-REx-ID: 3434
Huelsenbeck, John, and Jonathan P. Bollback. “Application of the Likelihood Function in Phylogenetic Analysis.” Handbook of Statistical Genetics, edited by David Balding et al., Wiley-Blackwell, 2001, pp. 415–39, doi:10.1002/9780470061619.ch15.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3438
Huelsenbeck, John, et al. “Bayesian Inference of Phylogeny and Its Impact on Evolutionary Biology.” Science, vol. 294, no. 5550, American Association for the Advancement of Science, 2001, pp. 2310–14, doi:10.1126/science.1065889.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3439
Conn, Jan, et al. “Isolation of Polymorphic Microsatellite Markers from the Malaria Vector Anopheles Darlingi.” Molecular Ecology Notes, vol. 1, no. 4, Wiley-Blackwell, 2001, pp. 223–25, doi: 10.1046/j.1471-8278.2001.00078.x.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3440
Huelsenbeck, John, and Jonathan P. Bollback. “Empirical and Hierarchical Bayesian Estimation of Ancestral States.” Systematic Biology, vol. 50, no. 3, Oxford University Press, 2001, pp. 351–66, doi:10.1080/10635150119871.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 3447
Chatterjee, Krishnendu, et al. Weighted Quantified Computation Tree Logic. Elsevier, 2001.
View
 

2001 | Journal Article | IST-REx-ID: 3493 | OA
Jones, M. .., et al. “Microscopic Kinetics and Energetics Distinguish GABAA Receptor Agonists from Antagonists.” Biophysical Journal, vol. 81, no. 5, Biophysical Society, 2001, pp. 2660–70, doi:10.1016/S0006-3495(01)75909-7 .
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 3494
Bartos, Marlene, et al. “Rapid Signaling at Inhibitory Synapses in a Dentate Gyrus Interneuron Network.” Journal of Neuroscience, vol. 21, no. 8, Society for Neuroscience, 2001, pp. 2687–98.
View
 

2001 | Journal Article | IST-REx-ID: 3495
Jerecic, Jasna, et al. “Impaired NMDA Receptor Function in Mouse Olfactory Bulb Neurons by Tetracycline-Sensitive NR1 (N598R) Expression.” Molecular Brain Research, vol. 94, no. 1–2, Elsevier, 2001, pp. 96–104, doi:10.1016/S0169-328X(01)00221-2.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 3496 | OA
Alle, Henrik, et al. “PTP and LTP at a Hippocampal Mossy Fiber-Interneuron Synapse.” PNAS, vol. 98, no. 25, National Academy of Sciences, 2001, pp. 14708–13, doi:10.1073/pnas.251610898 .
View | DOI | Download (ext.)
 

Search

Filter Publications