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.

11380 Publications


2002 | Published | Conference Paper | IST-REx-ID: 4471
Henzinger, Thomas A, Sriram Krishnan, Orna Kupferman, and Freddy Mang. “Synthesis of Uninitialized Systems.” In Proceedings of the 29th International Colloquium on Automata, Languages and Programming, 2380:644–56. Springer, 2002. https://doi.org/10.1007/3-540-45465-9_55.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4472
Henzinger, Thomas A, George Necula, Ranjit Jhala, Grégoire Sutre, Ritankar Majumdar, and Westley Weimer. “Temporal Safety Proofs for Systems Code.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:526–38. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_45.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4473
Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.” ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2002. https://doi.org/10.1145/509705.509707.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4474 | OA
Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.” Information and Computation. Elsevier, 2002. https://doi.org/10.1006/inco.2001.3085.
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Published | Conference Paper | IST-REx-ID: 4476
Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Lazy Abstraction.” In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 58–70. ACM, 2002. https://doi.org/10.1145/503272.503279.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4562
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:414–27. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_34.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4563
Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziński, and Freddy Mang. “Interface Compatibility Checking for Software Modules.” In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:428–41. Springer, 2002. https://doi.org/10.1007/3-540-45657-0_35.
View | DOI
 

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

2002 | Published | Journal Article | IST-REx-ID: 4595
Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.” Journal of the ACM. ACM, 2002. https://doi.org/10.1145/585265.585270.
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 11755
Henzinger, Monika. “Hyperlink Analysis for the Web.” IEEE Internet Computing. Institute of Electrical and Electronics Engineers, 2001. https://doi.org/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. Society for Industrial & Applied Mathematics, 2001. https://doi.org/10.1137/s0097539797327209.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 11914
Bharat, K., Bay-Wei Chang, Monika Henzinger, and M. Ruhl. “Who Links to Whom: Mining Linkage between Web Sites.” In 1st IEEE International Conference on Data Mining, 51–58. Institute of Electrical and Electronics Engineers, 2001. https://doi.org/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.” In 13th International Congress of Mathematical Physics, 273–81. International Press of Boston, 2001.
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. World Scientific Publishing, 2001. https://doi.org/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. Springer, 2001. https://doi.org/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. International Press, 2001. https://doi.org/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, Friedrich Bischoff, Chadalavada Rajendrakumar, Jiří Friml, Markus Braun, Simon Gilroy, and Klaus Palme. “Arabidopsis Thaliana Rop GTPases Are Localized to Tips of Root Hairs and Control Polar Growth.” EMBO Journal. Wiley-Blackwell, 2001. https://doi.org/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, Elizabeth Dewey, Jiří Friml, Yunde Zhao, Kimberley Snowden, Jo Putterill, Klaus Palme, Mark Estelle, and Joanne Chory. “BIG: A Calossin-like Protein Required for Polar Auxin Transport in Arabidopsis.” Genes and Development. Cold Spring Harbor Laboratory Press, 2001. https://doi.org/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, Jiří Friml, York Stierhof, Gerd Jürgens, and Klaus Palme. “Auxin Transport Inhibitors Block PIN1 Cycling and Vesicle Trafficking.” Nature. Nature Publishing Group, 2001. https://doi.org/10.1038/35096571.
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 2984 | OA
Swarup, Ranjan, Jiří Friml, Alan Marchant, Karin Ljung, Göran Sandberg, Klaus Palme, and Malcolm Bennett. “Localization of the Auxin Permease AUX1 Suggests Two Functionally Distinct Hormone Transport Pathways Operate in the Arabidopsis Root Apex.” Genes and Development. Cold Spring Harbor Laboratory Press, 2001. https://doi.org/10.1101/gad.210501.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed