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.
11357 Publications
2000 |
Published |
Conference Paper |
IST-REx-ID: 4439
A classification of symbolic transition systems
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
View
| DOI
T.A. Henzinger, R. Majumdar, in:, Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, Springer, 2000, pp. 13–34.
2000 |
Published |
Conference Paper |
IST-REx-ID: 4481
Beyond HyTech: Hybrid systems analysis using interval numerical methods
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144.
View
| DOI
T.A. Henzinger, B. Horowitz, R. Majumdar, H. Wong Toi, in:, Proceedings of the 3rd International Workshop on Hybrid Systems, Springer, 2000, pp. 130–144.
2000 |
Published |
Conference Paper |
IST-REx-ID: 4482
Abstract interpretation of game properties
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Proceedings of the 7th International Symposium on Static Analysis, Springer, 2000, pp. 220–239.
View
| DOI
T.A. Henzinger, R. Majumdar, F. Mang, J. Raskin, in:, Proceedings of the 7th International Symposium on Static Analysis, Springer, 2000, pp. 220–239.
2000 |
Published |
Conference Paper |
IST-REx-ID: 4483
Decomposing refinement proofs using assume-guarantee reasoning
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–252.
View
| DOI
T.A. Henzinger, S. Qadeer, S. Rajamani, in:, Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–252.
2000 |
Published |
Conference Paper |
IST-REx-ID: 4512
Masaccio: A formal model for embedded components
T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563.
View
| DOI
T.A. Henzinger, in:, Proceedings of the 1st International Conference on Theoretical Computer Science , Springer, 2000, pp. 549–563.
2000 |
Published |
Book Chapter |
IST-REx-ID: 4513
The theory of hybrid automata
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
View
| DOI
T.A. Henzinger, in:, M. Inan, R. Kurshan (Eds.), Verification of Digital and Hybrid Systems, Springer, 2000, pp. 265–292.
1999 |
Published |
Journal Article |
IST-REx-ID: 11679
Constructing a tree from homeomorphic subtrees, with applications to computational evolutionary biology
M. Henzinger, V. King, T. Warnow, Algorithmica 24 (1999) 1–13.
View
| Files available
| DOI
M. Henzinger, V. King, T. Warnow, Algorithmica 24 (1999) 1–13.
1999 |
Published |
Journal Article |
IST-REx-ID: 11687
Finding related pages in the world wide Web
J. Dean, M. Henzinger, Computer Networks 31 (1999) 1467–1479.
View
| DOI
J. Dean, M. Henzinger, Computer Networks 31 (1999) 1467–1479.
1999 |
Published |
Journal Article |
IST-REx-ID: 11688
Measuring index quality using random walks on the web
M. Henzinger, A. Heydon, M. Mitzenmacher, M. Najork, Computer Networks 31 (1999) 1291–1303.
View
| DOI
M. Henzinger, A. Heydon, M. Mitzenmacher, M. Najork, Computer Networks 31 (1999) 1291–1303.
1999 |
Published |
Conference Paper |
IST-REx-ID: 11691
Scheduling data transfers in a network and the set scheduling problem
A. Goel, M. Henzinger, S. Plotkin, E. Tardos, in:, Proceedings of the 31st Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 1999, pp. 189–197.
View
| DOI
A. Goel, M. Henzinger, S. Plotkin, E. Tardos, in:, Proceedings of the 31st Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 1999, pp. 189–197.
1999 |
Published |
Journal Article |
IST-REx-ID: 11769
Randomized fully dynamic graph algorithms with polylogarithmic time per operation
M. Henzinger, V. King, Journal of the ACM 46 (1999) 502–516.
View
| DOI
M. Henzinger, V. King, Journal of the ACM 46 (1999) 502–516.
1999 |
Published |
Journal Article |
IST-REx-ID: 11895 |
Analysis of a very large web search engine query log
C. Silverstein, H. Marais, M. Henzinger, M. Moricz, ACM SIGIR Forum 33 (1999) 6–12.
[Published Version]
View
| DOI
| Download Published Version (ext.)
C. Silverstein, H. Marais, M. Henzinger, M. Moricz, ACM SIGIR Forum 33 (1999) 6–12.
1999 |
Published |
Conference Paper |
IST-REx-ID: 11925
Scheduling multicasts on unit-capacity trees and meshes
M. Henzinger, S. Leonardi , in:, 10th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial & Applied Mathematics, 1999, pp. 438–447.
View
M. Henzinger, S. Leonardi , in:, 10th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial & Applied Mathematics, 1999, pp. 438–447.
1999 |
Published |
Conference Paper |
IST-REx-ID: 2711
Linear Boltzmann equation as the weak coupling limit of the random Schrödinger equation
L. Erdös, in:, Proceedings of the 7th QMath Conference, World Scientific Publishing, 1999, pp. 233–242.
View
| DOI
L. Erdös, in:, Proceedings of the 7th QMath Conference, World Scientific Publishing, 1999, pp. 233–242.
1999 |
Published |
Journal Article |
IST-REx-ID: 2730
Semiclassical eigenvalue estimates for the Pauli operator with strong nonhomogeneous magnetic fields, I: Nonasymptotic Lieb-Thirring-type estimate
L. Erdös, J. Solovej, Duke Mathematical Journal 96 (1999) 127–173.
View
| DOI
L. Erdös, J. Solovej, Duke Mathematical Journal 96 (1999) 127–173.
1999 |
Published |
Journal Article |
IST-REx-ID: 2783
Flow state multiplicity in convection
B. Hof, P. Lucas, T. Mullin, Physics of Fluids 11 (1999) 2815–2817.
View
| DOI
B. Hof, P. Lucas, T. Mullin, Physics of Fluids 11 (1999) 2815–2817.
1999 |
Published |
Journal Article |
IST-REx-ID: 2864
Analysis of cyclic nucleotides and cytokinins in minute plant samples using phase system switching capillary electrospray liquid chromatography tandem mass spectrometry
E. Witters, K. Vanhoutte, W. Dewitte, I. Macháčková, E. Benková, W. Van Dongen, E. Esmans, H. Van Onckelen, Phytochemical Analysis 10 (1999) 143–151.
View
| DOI
E. Witters, K. Vanhoutte, W. Dewitte, I. Macháčková, E. Benková, W. Van Dongen, E. Esmans, H. Van Onckelen, Phytochemical Analysis 10 (1999) 143–151.
1999 |
Published |
Journal Article |
IST-REx-ID: 2865 |
Cytokinins in tobacco and wheat chloroplasts. Occurrence and changes due to light/dark treatment
E. Benková, E. Witters, W. Van Dongen, J. Kolář, V. Motyka, B. Brzobohatý, H. Van Onckelen, I. Macháčková, Plant Physiology 121 (1999) 245–251.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
E. Benková, E. Witters, W. Van Dongen, J. Kolář, V. Motyka, B. Brzobohatý, H. Van Onckelen, I. Macháčková, Plant Physiology 121 (1999) 245–251.
1999 |
Published |
Book (Editor) |
IST-REx-ID: 3137
Ionotropic Glutamate Receptors in the CNS
P.M. Jonas, H. Monyer, eds., Ionotropic Glutamate Receptors in the CNS, 1st ed., Springer, Berlin ; Heidelberg, 1999.
View
| DOI
| Download None (ext.)
P.M. Jonas, H. Monyer, eds., Ionotropic Glutamate Receptors in the CNS, 1st ed., Springer, Berlin ; Heidelberg, 1999.
1999 |
Published |
Journal Article |
IST-REx-ID: 3148 |
A role for amontillado the Drosophila homolog of the neuropeptide precursor processing protease PC2 in triggering hatching behavior
D.E. Siekhaus, R. Fuller, Journal of Neuroscience 19 (1999) 6942–6954.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
D.E. Siekhaus, R. Fuller, Journal of Neuroscience 19 (1999) 6942–6954.