Please note that ISTA 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.

11366 Publications


2002 | Published | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A., et al. “Lazy Abstraction.” Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2002, pp. 58–70, doi:10.1145/503272.503279.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, et al. “Synchronous and Bidirectional Component Interfaces.” Proceedings of the 14th International Conference on Computer Aided Verification, vol. 2404, Springer, 2002, pp. 414–27, doi:10.1007/3-540-45657-0_34.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, et al. “Interface Compatibility Checking for Software Modules.” Proceedings of the 14th International Conference on Computer Aided Verification, vol. 2404, Springer, 2002, pp. 428–41, doi:10.1007/3-540-45657-0_35.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4565
Cassez, Franck, et al. “A Comparison of Control Problems for Timed and Hybrid Systems.” Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, vol. 2289, Springer, 2002, pp. 134–48, doi:10.1007/3-540-45873-5_13.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, et al. “Alternating-Time Temporal Logic.” Journal of the ACM, vol. 49, no. 5, ACM, 2002, pp. 672–713, doi:10.1145/585265.585270.
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 11755
Henzinger, Monika. “Hyperlink Analysis for the Web.” IEEE Internet Computing, vol. 5, no. 1, Institute of Electrical and Electronics Engineers, 2001, pp. 45–50, doi:10.1109/4236.895141.
View | DOI | WoS
 

2001 | Published | Journal Article | IST-REx-ID: 11892
Henzinger, Monika, and Valerie King. “Maintaining Minimum Spanning Forests in Dynamic Graphs.” SIAM Journal on Computing, vol. 31, no. 2, Society for Industrial & Applied Mathematics, 2001, pp. 364–74, doi:10.1137/s0097539797327209.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 11914
Bharat, K., et al. “Who Links to Whom: Mining Linkage between Web Sites.” 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58, doi:10.1109/ICDM.2001.989500.
View | DOI
 

2001 | Published | Book Chapter | IST-REx-ID: 2709
Erdös, László. “Long Time Dynamics of an Electron in a Weakly Coupled Phonon Field.” 13th International Congress of Mathematical Physics, International Press of Boston, 2001, pp. 273–81.
View
 

2001 | Published | Journal Article | IST-REx-ID: 2734 | OA
Erdös, László, and Jan Solovej. “The Kernel of Dirac Operators on S3 and R3.” Reviews in Mathematical Physics, vol. 13, no. 10, World Scientific Publishing, 2001, pp. 1247–80, doi:10.1142/S0129055X01000983.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 2735 | OA
Erdös, László. “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, Springer, 2001, pp. 219–36, doi:10.1007/PL00008803.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 2736 | OA
Erdös, László, and Horng Yau. “Derivation of the Nonlinear Schrödinger Equation from a Many Body Coulomb System.” Advances in Theoretical and Mathematical Physics, vol. 5, no. 6, International Press, 2001, pp. 1169–205, doi:10.48550/arXiv.math-ph/0111042.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Published | 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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 2982 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Published | 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 | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 2984 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2001 | Published | 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 | PubMed | Europe PMC
 

2001 | Published | Conference Paper | IST-REx-ID: 3169
Kolmogorov, Vladimir, and Ramin Zabih. “Computing Visual Correspondence with Occlusions Using Graph Cuts.” Proceedings of the 8th IEEE International Conference on Computer Vision, vol. 2, IEEE, 2001, pp. 508–15, doi:10.1109/ICCV.2001.937668.
View | DOI
 

2001 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2001 | Published | 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed