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.

81 Publications


2001 | Conference Paper | IST-REx-ID: 4623
De Alfaro, L., & Henzinger, T. A. (2001). Interface theories for component-based design (Vol. 2211, pp. 148–165). Presented at the EMSOFT: Embedded Software , ACM. https://doi.org/10.1007/3-540-45449-7_11
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
De Alfaro, L., Henzinger, T. A., & Jhala, R. (2001). Compositional methods for probabilistic systems (Vol. 2154, pp. 351–365). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_24
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). Symbolic algorithms for infinite-state games (Vol. 2154, pp. 536–550). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_36
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
De Alfaro, L., Henzinger, T. A., & Mang, F. (2001). The control of synchronous systems, Part II (Vol. 2154, pp. 566–581). Presented at the CONCUR: Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/3-540-44685-0_38
View | DOI
 

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

2001 | Conference Paper | IST-REx-ID: 4636
De Alfaro, L., Henzinger, T. A., & Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives (pp. 279–290). Presented at the LICS: Logic in Computer Science, IEEE. https://doi.org/10.1109/LICS.2001.932504
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2709
Erdös, L. (2001). Long time dynamics of an electron in a weakly coupled phonon field. ICMP: International Congress on Mathematical Physics, 273–281.
View
 

2001 | Journal Article | IST-REx-ID: 2734
Erdös, L., & Solovej, J. (2001). The kernel of Dirac operators on S3 and R3. Reviews in Mathematical Physics, 13(10), 1247–1280. https://doi.org/10.1142/S0129055X01000983
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2735
Erdös, L. (2001). Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case. Probability Theory and Related Fields, 121(2), 219–236. https://doi.org/10.1007/PL00008803
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2736 | OA
Erdös, L., & Yau, H. (2001). Derivation of the nonlinear Schrödinger equation from a many body Coulomb system. Advances in Theoretical and Mathematical Physics, 5(6), 1169–1205.
View | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2981 | OA
Molendijk, A., Bischoff, F., Rajendrakumar, C., Friml, J., Braun, M., Gilroy, S., & Palme, K. (2001). Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth. EMBO Journal, 20(11), 2779–2788. https://doi.org/10.1093/emboj/20.11.2779
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
Gil, P., Dewey, E., Friml, J., Zhao, Y., Snowden, K., Putterill, J., … Chory, J. (2001). BIG: A calossin-like protein required for polar auxin transport in Arabidopsis. Genes and Development, 15(15), 1985–1997. https://doi.org/10.1101/gad.905201
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
Geldner, N., Friml, J., Stierhof, Y., Jürgens, G., & Palme, K. (2001). Auxin transport inhibitors block PIN1 cycling and vesicle trafficking. Nature, 413(6854), 425–428. https://doi.org/10.1038/35096571
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
Swarup, R., Friml, J., Marchant, A., Ljung, K., Sandberg, G., Palme, K., & Bennett, M. (2001). Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex. Genes and Development, 15(20), 2648–2653. https://doi.org/10.1101/gad.210501
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
Trnková, L., Friml, J., & Dračka, O. (2001). Elimination voltammetry of adenine and cytosine mixtures. Bioelectrochemistry, 54(2), 131–136. https://doi.org/10.1016/S1567-5394(01)00119-0
View | DOI
 

2001 | Journal Article | IST-REx-ID: 841
Wolf, Y., Kondrashov, F., & Koonin, E. (2001). Footprints of primordial introns on the eukaryotic genome: still no clear traces . Trends in Genetics, 17(9), 499–501. https://doi.org/10.1016/S0168-9525(01)02376-9
View | DOI
 

2001 | Journal Article | IST-REx-ID: 851
Rogozin, I., Kondrashov, F., & Glazko, G. (2001). Use of mutation spectra analysis software. Human Mutation, 17(2), 83–102. https://doi.org/10.1002/1098-1004(200102)17:2<83::AID-HUMU1>3.0.CO;2-E
View | DOI
 

2001 | Journal Article | IST-REx-ID: 855
Rogozin, I., Kochetov, A., Kondrashov, F., Koonin, E., & Milanesi, L. (2001). Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon. Bioinformatics, 17(10), 890–900. https://doi.org/10.1093/bioinformatics/17.10.890
View | DOI
 

2001 | Journal Article | IST-REx-ID: 867
Kondrashov, F., & Koonin, E. (2001). Origin of alternative splicing by tandem exon duplication. Human Molecular Genetics, 10(23), 2661–2669. https://doi.org/10.1093/hmg/10.23.2661
View | DOI
 

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

Filters and Search Terms

year=2001

Search

Filter Publications