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


1998 | Published | Conference Paper | IST-REx-ID: 4490
T. A. Henzinger, J. Raskin, and P. Schobbens, “The regular real-time languages,” in Proceedings of the 25th International Colloqium on Automata, Languages and Programming, Aalborg, Denmark, 1998, vol. 1443, pp. 580–591.
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 4491
T. A. Henzinger, P. Ho, and H. Wong Toi, “Algorithmic analysis of nonlinear hybrid systems,” IEEE Transactions on Automatic Control, vol. 43, no. 4. IEEE, pp. 540–554, 1998.
View | DOI
 

1998 | Published | Journal Article | IST-REx-ID: 4492 | OA
T. A. Henzinger, P. Kopke, A. Puri, and P. Varaiya, “What’s decidable about hybrid automata?,” Journal of Computer and System Sciences, vol. 57, no. 1. Elsevier, pp. 94–124, 1998.
[Published Version] View | DOI | Download Published Version (ext.)
 

1998 | Published | Conference Paper | IST-REx-ID: 4515
T. A. Henzinger, “It’s about time: Real-time logics reviewed,” in Proceedings of the 9th Interantional Conference on Concurrency Theory, Nice, France, 1998, vol. 1466, pp. 439–454.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 11666
J. M. Anderson et al., “Continuous profiling: Where have all the cycles gone?,” ACM Transactions on Computer Systems, vol. 15, no. 4. Association for Computing Machinery, pp. 357–390, 1997.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 11765
M. Henzinger, “A static 2-approximation algorithm for vertex connectivity and incremental approximation algorithms for edge and vertex connectivity,” Journal of Algorithms, vol. 24, no. 1. Elsevier, pp. 194–220, 1997.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 11767 | OA
M. Henzinger, P. Klein, S. Rao, and S. Subramanian, “Faster shortest-path algorithms for planar graphs,” Journal of Computer and System Sciences, vol. 55, no. 1. Elsevier, pp. 3–23, 1997.
[Published Version] View | DOI | Download Published Version (ext.)
 

1997 | Published | Conference Paper | IST-REx-ID: 11803
M. Henzinger and V. King, “Maintaining minimum spanning trees in dynamic graphs,” in 24th International Colloquium on Automata, Languages and Programming, Bologna, Italy, 1997, vol. 1256, pp. 594–604.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 11849 | OA
J. M. Anderson et al., “Continuous profiling: Where have all the cycles gone?,” ACM SIGOPS Operating Systems Review, vol. 31, no. 5. Association for Computing Machinery, pp. 1–14, 1997.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

1997 | Published | Journal Article | IST-REx-ID: 11883
M. Henzinger and M. Thorup, “Sampling to provide or to bound: With applications to fully dynamic graph algorithms,” Random Structures and Algorithms, vol. 11, no. 4. Wiley, pp. 369–379, 1997.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 2727
L. Erdös, “Dia- and paramagnetism for nonhomogeneous magnetic fields,” Journal of Mathematical Physics, vol. 38, no. 3. American Institute of Physics, pp. 1289–1317, 1997.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 2729
L. Erdös and J. Solovej, “Semiclassical eigenvalue estimates for the Pauli operator with strong non-homogeneous magnetic fields, II. Leading order asymptotic estimates,” Communications in Mathematical Physics, vol. 188, no. 3. Springer, pp. 599–656, 1997.
View | DOI
 

1997 | Published | Journal Article | IST-REx-ID: 17821 | OA
Z. Haiman, M. J. Rees, and A. Loeb, “Destruction of molecular hydrogen during cosmological reionization,” The Astrophysical Journal, vol. 476, no. 2. American Astronomical Society, pp. 458–463, 1997.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1997 | Published | Journal Article | IST-REx-ID: 17828 | OA
A. Loeb and Z. Haiman, “Signatures of intergalactic dust from the first supernovae,” The Astrophysical Journal, vol. 490, no. 2. American Astronomical Society, pp. 571–576, 1997.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1997 | Published | Journal Article | IST-REx-ID: 17848 | OA
Z. Haiman and A. Loeb, “Signatures of stellar reionization of the universe,” The Astrophysical Journal, vol. 483, no. 1. American Astronomical Society, pp. 21–37, 1997.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

1997 | Published | Journal Article | IST-REx-ID: 2493
L. Acsády, I. Katona, A. Gulyás, R. Shigemoto, and T. Freund, “Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus,” Journal of Comparative Neurology, vol. 378, no. 3. Wiley-Blackwell, pp. 320–336, 1997.
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2575
H. Li, H. Ohishi, A. Kinoshita, R. Shigemoto, S. Nomura, and N. Mizuno, “Localization of a metabotropic glutamate receptor, mGluR7, in axon terminals of presumed nociceptive, primary afferent fibers in the superficial layers of the spinal dorsal horn: An electron microscope study in the rat,” Neuroscience Letters, vol. 223, no. 3. Elsevier, pp. 153–156, 1997.
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2576
J. Li, T. Kaneko, R. Shigemoto, and N. Mizuno, “Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat,” Journal of Comparative Neurology, vol. 378, no. 4. Wiley-Blackwell, pp. 508–521, 1997.
View | DOI | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2577
Y. Tone et al., “The regional distribution and cellular localization of mRNA encoding rat prostacyclin synthase,” European Journal of Cell Biology, vol. 72, no. 3. Elsevier, pp. 268–277, 1997.
View | PubMed | Europe PMC
 

1997 | Published | Journal Article | IST-REx-ID: 2578
V. Seybold et al., “Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord,” Journal of Comparative Neurology, vol. 381, no. 4. Wiley-Blackwell, pp. 439–448, 1997.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed