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
Henzinger, Thomas A., and Ritankar Majumdar. “A Classification of Symbolic Transition Systems.” Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, vol. 1770, Springer, 2000, pp. 13–34, doi:10.1007/3-540-46541-3_2.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4481
Henzinger, Thomas A., et al. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.” Proceedings of the 3rd International Workshop on Hybrid Systems, vol. 1790, Springer, 2000, pp. 130–44, doi:10.1007/3-540-46430-1_14.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4482
Henzinger, Thomas A., et al. “Abstract Interpretation of Game Properties.” Proceedings of the 7th International Symposium on Static Analysis, vol. 1824, Springer, 2000, pp. 220–39, doi:10.1007/978-3-540-45099-3_12.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4483
Henzinger, Thomas A., et al. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.” Proceedings of the 2000 International Conference on Computer-Aided Design, IEEE, 2000, pp. 245–52, doi:10.1109/ICCAD.2000.896481.
View | DOI
 

2000 | Published | Conference Paper | IST-REx-ID: 4512
Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.” Proceedings of the 1st International Conference on Theoretical Computer Science , vol. 1872, Springer, 2000, pp. 549–63, doi:10.1007/3-540-44929-9_38.
View | DOI
 

2000 | Published | Book Chapter | IST-REx-ID: 4513
Henzinger, Thomas A. “The Theory of Hybrid Automata.” Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, vol. 170, Springer, 2000, pp. 265–92, doi:10.1007/978-3-642-59615-5.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 11679
Henzinger, Monika, et al. “Constructing a Tree from Homeomorphic Subtrees, with Applications to Computational Evolutionary Biology.” Algorithmica, vol. 24, Springer Nature, 1999, pp. 1–13, doi:10.1007/pl00009268.
View | Files available | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 11687
Dean, Jeffrey, and Monika Henzinger. “Finding Related Pages in the World Wide Web.” Computer Networks, vol. 31, no. 11–16, Elsevier, 1999, pp. 1467–79, doi:10.1016/s1389-1286(99)00022-5.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 11688
Henzinger, Monika, et al. “Measuring Index Quality Using Random Walks on the Web.” Computer Networks, vol. 31, no. 11–16, Elsevier, 1999, pp. 1291–303, doi:10.1016/s1389-1286(99)00016-x.
View | DOI
 

1999 | Published | Conference Paper | IST-REx-ID: 11691
Goel, Ashish, et al. “Scheduling Data Transfers in a Network and the Set Scheduling Problem.” Proceedings of the 31st Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 1999, pp. 189–97, doi:10.1145/301250.301300.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 11769
Henzinger, Monika, and Valerie King. “Randomized Fully Dynamic Graph Algorithms with Polylogarithmic Time per Operation.” Journal of the ACM, vol. 46, no. 4, Association for Computing Machinery, 1999, pp. 502–16, doi:10.1145/320211.320215.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 11895 | OA
Silverstein, Craig, et al. “Analysis of a Very Large Web Search Engine Query Log.” ACM SIGIR Forum, vol. 33, no. 1, Association for Computing Machinery, 1999, pp. 6–12, doi:10.1145/331403.331405.
[Published Version] View | DOI | Download Published Version (ext.)
 

1999 | Published | Conference Paper | IST-REx-ID: 11925
Henzinger, Monika, and Stefano Leonardi  . “Scheduling Multicasts on Unit-Capacity Trees and Meshes.” 10th Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial & Applied Mathematics, 1999, pp. 438–47.
View
 

1999 | Published | Conference Paper | IST-REx-ID: 2711
Erdös, László. “Linear Boltzmann Equation as the Weak Coupling Limit of the Random Schrödinger Equation.” Proceedings of the 7th QMath Conference, vol. 108, World Scientific Publishing, 1999, pp. 233–42, doi:10.1007/978-3-0348-8745-8_20.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 2730
Erdös, László, and Jan Solovej. “Semiclassical Eigenvalue Estimates for the Pauli Operator with Strong Nonhomogeneous Magnetic Fields, I: Nonasymptotic Lieb-Thirring-Type Estimate.” Duke Mathematical Journal, vol. 96, no. 1, Duke University Press, 1999, pp. 127–73, doi:10.1215/S0012-7094-99-09604-7.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 2783
Hof, Björn, et al. “Flow State Multiplicity in Convection.” Physics of Fluids, vol. 11, no. 10, American Institute of Physics, 1999, pp. 2815–17, doi:10.1063/1.870178 .
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 2864
Witters, Erwin, et al. “Analysis of Cyclic Nucleotides and Cytokinins in Minute Plant Samples Using Phase System Switching Capillary Electrospray Liquid Chromatography Tandem Mass Spectrometry.” Phytochemical Analysis, vol. 10, no. 3, Wiley-Blackwell, 1999, pp. 143–51, doi:10.1002/(SICI)1099-1565(199905/06)10:3<143::AID-PCA441>3.0.CO;2-G.
View | DOI
 

1999 | Published | Journal Article | IST-REx-ID: 2865 | OA
Benková, Eva, et al. “Cytokinins in Tobacco and Wheat Chloroplasts. Occurrence and Changes Due to Light/Dark Treatment.” Plant Physiology, vol. 121, no. 1, American Society of Plant Biologists, 1999, pp. 245–51, doi:10.1104/pp.121.1.245.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

1999 | Published | Book (Editor) | IST-REx-ID: 3137
Jonas, Peter M., and Hannah Monyer, editors. Ionotropic Glutamate Receptors in the CNS. 1st ed., vol. 141, Springer, 1999, doi:10.1007/978-3-662-08022-1.
View | DOI | Download None (ext.)
 

1999 | Published | Journal Article | IST-REx-ID: 3148 | OA
Siekhaus, Daria E., and Robert Fuller. “A Role for Amontillado the Drosophila Homolog of the Neuropeptide Precursor Processing Protease PC2 in Triggering Hatching Behavior.” Journal of Neuroscience, vol. 19, no. 16, Society for Neuroscience, 1999, pp. 6942–54, doi:10.1523/jneurosci.19-16-06942.1999.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed