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
L. De Alfaro and T. A. Henzinger, “Interface theories for component-based design,” presented at the EMSOFT: Embedded Software , 2001, vol. 2211, pp. 148–165.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4632
L. De Alfaro, T. A. Henzinger, and R. Jhala, “Compositional methods for probabilistic systems,” presented at the CONCUR: Concurrency Theory, 2001, vol. 2154, pp. 351–365.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4633
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “Symbolic algorithms for infinite-state games,” presented at the CONCUR: Concurrency Theory, 2001, vol. 2154, pp. 536–550.
View | DOI
 

2001 | Conference Paper | IST-REx-ID: 4634
L. De Alfaro, T. A. Henzinger, and F. Mang, “The control of synchronous systems, Part II,” presented at the CONCUR: Concurrency Theory, 2001, vol. 2154, pp. 566–581.
View | DOI
 

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

2001 | Conference Paper | IST-REx-ID: 4636
L. De Alfaro, T. A. Henzinger, and R. Majumdar, “From verification to control: dynamic programs for omega-regular objectives,” presented at the LICS: Logic in Computer Science, 2001, pp. 279–290.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 2734
L. Erdös and J. Solovej, “The kernel of Dirac operators on S3 and R3,” Reviews in Mathematical Physics, vol. 13, no. 10, pp. 1247–1280, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2735
L. Erdös, “Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case,” Probability Theory and Related Fields, vol. 121, no. 2, pp. 219–236, 2001.
View | DOI
 

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

2001 | Journal Article | IST-REx-ID: 2981 | OA
A. Molendijk et al., “Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth,” EMBO Journal, vol. 20, no. 11, pp. 2779–2788, 2001.
View | DOI | Download (ext.)
 

2001 | Journal Article | IST-REx-ID: 2982
P. Gil et al., “BIG: A calossin-like protein required for polar auxin transport in Arabidopsis,” Genes and Development, vol. 15, no. 15, pp. 1985–1997, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2983
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, and K. Palme, “Auxin transport inhibitors block PIN1 cycling and vesicle trafficking,” Nature, vol. 413, no. 6854, pp. 425–428, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2984
R. Swarup 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, pp. 2648–2653, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 2985
L. Trnková, J. Friml, and O. Dračka, “Elimination voltammetry of adenine and cytosine mixtures,” Bioelectrochemistry, vol. 54, no. 2, pp. 131–136, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 841
Y. Wolf, F. Kondrashov, and E. Koonin, “Footprints of primordial introns on the eukaryotic genome: still no clear traces ,” Trends in Genetics, vol. 17, no. 9, pp. 499–501, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 851
I. Rogozin, F. Kondrashov, and G. Glazko, “Use of mutation spectra analysis software,” Human Mutation, vol. 17, no. 2, pp. 83–102, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 855
I. Rogozin, A. Kochetov, F. Kondrashov, E. Koonin, and L. Milanesi, “Presence of ATG triplets in 5′ untranslated regions of eukaryotic cDNAs correlates with a ’weak’context of the start codon,” Bioinformatics, vol. 17, no. 10, pp. 890–900, 2001.
View | DOI
 

2001 | Journal Article | IST-REx-ID: 867
F. Kondrashov and E. Koonin, “Origin of alternative splicing by tandem exon duplication,” Human Molecular Genetics, vol. 10, no. 23, pp. 2661–2669, 2001.
View | DOI
 

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

Filters and Search Terms

year=2001

Search

Filter Publications