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
Synthesis of uninitialized systems
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Springer, 2002, pp. 644–656.
View
| DOI
T.A. Henzinger, S. Krishnan, O. Kupferman, F. Mang, in:, Proceedings of the 29th International Colloquium on Automata, Languages and Programming, Springer, 2002, pp. 644–656.
2002 |
Published |
Conference Paper |
IST-REx-ID: 4472
Temporal safety proofs for systems code
T.A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, W. Weimer, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 526–538.
View
| DOI
T.A. Henzinger, G. Necula, R. Jhala, G. Sutre, R. Majumdar, W. Weimer, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 526–538.
2002 |
Published |
Journal Article |
IST-REx-ID: 4473
An assume-guarantee rule for checking simulation
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2002) 51–64.
View
| DOI
T.A. Henzinger, S. Qadeer, S. Rajamani, S. Tasiran, ACM Transactions on Programming Languages and Systems (TOPLAS) 24 (2002) 51–64.
2002 |
Published |
Journal Article |
IST-REx-ID: 4474 |
Fair simulation
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.
[Published Version]
View
| DOI
| Download Published Version (ext.)
T.A. Henzinger, O. Kupferman, S. Rajamani, Information and Computation 173 (2002) 64–81.
2002 |
Published |
Conference Paper |
IST-REx-ID: 4476
Lazy abstraction
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2002, pp. 58–70.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, G. Sutre, in:, Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, 2002, pp. 58–70.
2002 |
Published |
Conference Paper |
IST-REx-ID: 4562
Synchronous and bidirectional component interfaces
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 414–427.
View
| DOI
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 414–427.
2002 |
Published |
Conference Paper |
IST-REx-ID: 4563
Interface compatibility checking for software modules
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziński, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 428–441.
View
| DOI
A. Chakrabarti, L. De Alfaro, T.A. Henzinger, M. Jurdziński, F. Mang, in:, Proceedings of the 14th International Conference on Computer Aided Verification, Springer, 2002, pp. 428–441.
2002 |
Published |
Conference Paper |
IST-REx-ID: 4565
A comparison of control problems for timed and hybrid systems
F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.
View
| DOI
F. Cassez, T.A. Henzinger, J. Raskin, in:, Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, Springer, 2002, pp. 134–148.
2002 |
Published |
Journal Article |
IST-REx-ID: 4595
Alternating-time temporal logic
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
View
| DOI
R. Alur, T.A. Henzinger, O. Kupferman, Journal of the ACM 49 (2002) 672–713.
2001 |
Published |
Journal Article |
IST-REx-ID: 11755
Hyperlink analysis for the Web
M. Henzinger, IEEE Internet Computing 5 (2001) 45–50.
View
| DOI
| WoS
M. Henzinger, IEEE Internet Computing 5 (2001) 45–50.
2001 |
Published |
Journal Article |
IST-REx-ID: 11892
Maintaining minimum spanning forests in dynamic graphs
M. Henzinger, V. King, SIAM Journal on Computing 31 (2001) 364–374.
View
| DOI
M. Henzinger, V. King, SIAM Journal on Computing 31 (2001) 364–374.
2001 |
Published |
Conference Paper |
IST-REx-ID: 11914
Who links to whom: Mining linkage between Web sites
K. Bharat, B.-W. Chang, M. Henzinger, M. Ruhl, in:, 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58.
View
| DOI
K. Bharat, B.-W. Chang, M. Henzinger, M. Ruhl, in:, 1st IEEE International Conference on Data Mining, Institute of Electrical and Electronics Engineers, 2001, pp. 51–58.
2001 |
Published |
Book Chapter |
IST-REx-ID: 2709
Long time dynamics of an electron in a weakly coupled phonon field
L. Erdös, in:, 13th International Congress of Mathematical Physics, International Press of Boston, 2001, pp. 273–281.
View
L. Erdös, in:, 13th International Congress of Mathematical Physics, International Press of Boston, 2001, pp. 273–281.
2001 |
Published |
Journal Article |
IST-REx-ID: 2734 |
The kernel of Dirac operators on S3 and R3
L. Erdös, J. Solovej, Reviews in Mathematical Physics 13 (2001) 1247–1280.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
L. Erdös, J. Solovej, Reviews in Mathematical Physics 13 (2001) 1247–1280.
2001 |
Published |
Journal Article |
IST-REx-ID: 2735 |
Lifschitz tail in a magnetic field: Coexistence of classical and quantum behavior in the borderline case
L. Erdös, Probability Theory and Related Fields 121 (2001) 219–236.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
L. Erdös, Probability Theory and Related Fields 121 (2001) 219–236.
2001 |
Published |
Journal Article |
IST-REx-ID: 2736 |
Derivation of the nonlinear Schrödinger equation from a many body Coulomb system
L. Erdös, H. Yau, Advances in Theoretical and Mathematical Physics 5 (2001) 1169–1205.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
L. Erdös, H. Yau, Advances in Theoretical and Mathematical Physics 5 (2001) 1169–1205.
2001 |
Published |
Journal Article |
IST-REx-ID: 2981 |
Arabidopsis thaliana Rop GTPases are localized to tips of root hairs and control polar growth
A. Molendijk, F. Bischoff, C. Rajendrakumar, J. Friml, M. Braun, S. Gilroy, K. Palme, EMBO Journal 20 (2001) 2779–2788.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
A. Molendijk, F. Bischoff, C. Rajendrakumar, J. Friml, M. Braun, S. Gilroy, K. Palme, EMBO Journal 20 (2001) 2779–2788.
2001 |
Published |
Journal Article |
IST-REx-ID: 2982 |
BIG: A calossin-like protein required for polar auxin transport in Arabidopsis
P. Gil, E. Dewey, J. Friml, Y. Zhao, K. Snowden, J. Putterill, K. Palme, M. Estelle, J. Chory, Genes and Development 15 (2001) 1985–1997.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P. Gil, E. Dewey, J. Friml, Y. Zhao, K. Snowden, J. Putterill, K. Palme, M. Estelle, J. Chory, Genes and Development 15 (2001) 1985–1997.
2001 |
Published |
Journal Article |
IST-REx-ID: 2983
Auxin transport inhibitors block PIN1 cycling and vesicle trafficking
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, K. Palme, Nature 413 (2001) 425–428.
View
| DOI
| PubMed | Europe PMC
N. Geldner, J. Friml, Y. Stierhof, G. Jürgens, K. Palme, Nature 413 (2001) 425–428.
2001 |
Published |
Journal Article |
IST-REx-ID: 2984 |
Localization of the auxin permease AUX1 suggests two functionally distinct hormone transport pathways operate in the Arabidopsis root apex
R. Swarup, J. Friml, A. Marchant, K. Ljung, G. Sandberg, K. Palme, M. Bennett, Genes and Development 15 (2001) 2648–2653.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
R. Swarup, J. Friml, A. Marchant, K. Ljung, G. Sandberg, K. Palme, M. Bennett, Genes and Development 15 (2001) 2648–2653.