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, T. A., Krishnan, S., Kupferman, O., & Mang, F. (2002). Synthesis of uninitialized systems. In Proceedings of the 29th International Colloquium on Automata, Languages and Programming (Vol. 2380, pp. 644–656). Malaga, Spain: Springer. https://doi.org/10.1007/3-540-45465-9_55
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4472
Henzinger, T. A., Necula, G., Jhala, R., Sutre, G., Majumdar, R., & Weimer, W. (2002). Temporal safety proofs for systems code. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 526–538). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_45
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4473
Henzinger, T. A., Qadeer, S., Rajamani, S., & Tasiran, S. (2002). An assume-guarantee rule for checking simulation. ACM Transactions on Programming Languages and Systems (TOPLAS). ACM. https://doi.org/10.1145/509705.509707
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4474 | OA
Henzinger, T. A., Kupferman, O., & Rajamani, S. (2002). Fair simulation. Information and Computation. Elsevier. 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, T. A., Jhala, R., Majumdar, R., & Sutre, G. (2002). Lazy abstraction. In Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (pp. 58–70). Portland, OR, USA: ACM. https://doi.org/10.1145/503272.503279
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4562
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., & Mang, F. (2002). Synchronous and bidirectional component interfaces. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 414–427). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_34
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4563
Chakrabarti, A., De Alfaro, L., Henzinger, T. A., Jurdziński, M., & Mang, F. (2002). Interface compatibility checking for software modules. In Proceedings of the 14th International Conference on Computer Aided Verification (Vol. 2404, pp. 428–441). Copenhagen, Denmark: Springer. https://doi.org/10.1007/3-540-45657-0_35
View | DOI
 

2002 | Published | Conference Paper | IST-REx-ID: 4565
Cassez, F., Henzinger, T. A., & Raskin, J. (2002). A comparison of control problems for timed and hybrid systems. In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control (Vol. 2289, pp. 134–148). Stanford, CA, USA: Springer. https://doi.org/10.1007/3-540-45873-5_13
View | DOI
 

2002 | Published | Journal Article | IST-REx-ID: 4595
Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM. ACM. https://doi.org/10.1145/585265.585270
View | DOI
 

2001 | Published | Journal Article | IST-REx-ID: 11755
Henzinger, M. (2001). Hyperlink analysis for the Web. IEEE Internet Computing. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/4236.895141
View | DOI | WoS
 

2001 | Published | Journal Article | IST-REx-ID: 11892
Henzinger, M., & King, V. (2001). Maintaining minimum spanning forests in dynamic graphs. SIAM Journal on Computing. Society for Industrial & Applied Mathematics. https://doi.org/10.1137/s0097539797327209
View | DOI
 

2001 | Published | Conference Paper | IST-REx-ID: 11914
Bharat, K., Chang, B.-W., Henzinger, M., & Ruhl, M. (2001). Who links to whom: Mining linkage between Web sites. In 1st IEEE International Conference on Data Mining (pp. 51–58). San Jose, CA, United States: Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICDM.2001.989500
View | DOI
 

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

2001 | Published | Journal Article | IST-REx-ID: 2734 | OA
Erdös, L., & Solovej, J. (2001). The kernel of Dirac operators on S3 and R3. Reviews in Mathematical Physics. World Scientific Publishing. 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. (2001). Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case. Probability Theory and Related Fields. Springer. 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., & Yau, H. (2001). Derivation of the nonlinear Schrödinger equation from a many body Coulomb system. Advances in Theoretical and Mathematical Physics. International Press. 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, 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. Wiley-Blackwell. 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, 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. Cold Spring Harbor Laboratory Press. 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, N., Friml, J., Stierhof, Y., Jürgens, G., & Palme, K. (2001). Auxin transport inhibitors block PIN1 cycling and vesicle trafficking. Nature. Nature Publishing Group. https://doi.org/10.1038/35096571
View | DOI | PubMed | Europe PMC
 

2001 | Published | Journal Article | IST-REx-ID: 2984 | OA
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. Cold Spring Harbor Laboratory Press. 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: APA

Export / Embed