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
T. A. Henzinger, S. Krishnan, O. Kupferman, and F. Mang, “Synthesis of uninitialized systems,” in Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Malaga, Spain, 2002, vol. 2380, pp. 644–656.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4472
T. A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, and W. Weimer, “Temporal safety proofs for systems code,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 526–538.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4473
T. A. Henzinger, S. Qadeer, S. Rajamani, and S. Tasiran, “An assume-guarantee rule for checking simulation,” ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 24, no. 1. ACM, pp. 51–64, 2002.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4474 | OA
T. A. Henzinger, O. Kupferman, and S. Rajamani, “Fair simulation,” Information and Computation, vol. 173, no. 1. Elsevier, pp. 64–81, 2002.
[Published Version] View | DOI | Download Published Version (ext.)
 

2002 | Published | Conference Paper | IST-REx-ID: 4476
T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, “Lazy abstraction,” in Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Portland, OR, USA, 2002, pp. 58–70.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4562
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, and F. Mang, “Synchronous and bidirectional component interfaces,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 414–427.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4563
A. Chakrabarti, L. De Alfaro, T. A. Henzinger, M. Jurdziński, and F. Mang, “Interface compatibility checking for software modules,” in Proceedings of the 14th International Conference on Computer Aided Verification, Copenhagen, Denmark, 2002, vol. 2404, pp. 428–441.
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4565
F. Cassez, T. A. Henzinger, and J. Raskin, “A comparison of control problems for timed and hybrid systems,” in Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Stanford, CA, USA, 2002, vol. 2289, pp. 134–148.
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4595
R. Alur, T. A. Henzinger, and O. Kupferman, “Alternating-time temporal logic,” Journal of the ACM, vol. 49, no. 5. ACM, pp. 672–713, 2002.
View | DOI
 

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

2001 | Published | Journal Article | IST-REx-ID: 11892
M. Henzinger and V. King, “Maintaining minimum spanning forests in dynamic graphs,” SIAM Journal on Computing, vol. 31, no. 2. Society for Industrial & Applied Mathematics, pp. 364–374, 2001.
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 11914
K. Bharat, B.-W. Chang, M. Henzinger, and M. Ruhl, “Who links to whom: Mining linkage between Web sites,” in 1st IEEE International Conference on Data Mining, San Jose, CA, United States, 2001, pp. 51–58.
View | DOI
 

2001 | Published | Book Chapter | IST-REx-ID: 2709
L. Erdös, “Long time dynamics of an electron in a weakly coupled phonon field,” in 13th International Congress of Mathematical Physics, International Press of Boston, 2001, pp. 273–281.
View
 

2001 | Published | Journal Article | IST-REx-ID: 2734 | OA
L. Erdös and J. Solovej, “The kernel of Dirac operators on S3 and R3,” Reviews in Mathematical Physics, vol. 13, no. 10. World Scientific Publishing, pp. 1247–1280, 2001.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Published | Journal Article | IST-REx-ID: 2735 | OA
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. Springer, pp. 219–236, 2001.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Published | 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. International Press, pp. 1169–1205, 2001.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2001 | Published | 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. Wiley-Blackwell, pp. 2779–2788, 2001.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

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

2001 | Published | 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. Nature Publishing Group, pp. 425–428, 2001.
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 2984 | OA
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. Cold Spring Harbor Laboratory Press, pp. 2648–2653, 2001.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed