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.
58 Publications
1998 | Published | Conference Paper | IST-REx-ID: 4488
Henzinger TA, Qadeer S, Rajamani S. You assume, we guarantee: Methodology and case studies. In: Proceedings of the 10th International Conference on Computer Aided Verification. Vol 1427. Springer; 1998:440-451. doi:10.1007/BFb0028765
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4489
Henzinger TA, Kupferman O, Qadeer S. From pre-historic to post-modern symbolic model checking. In: Proceedings of the 10th International Conference on Computer Aided Verification. Vol 1427. Springer; 1998:195-206. doi:10.1007/BFb0028745
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4490
Henzinger TA, Raskin J, Schobbens P. The regular real-time languages. In: Proceedings of the 25th International Colloqium on Automata, Languages and Programming. Vol 1443. Springer; 1998:580-591. doi:10.1007/BFb0055086
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 4491
Henzinger TA, Ho P, Wong Toi H. Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control. 1998;43(4):540-554. doi:10.1109/9.664156
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 4492 | 
Henzinger TA, Kopke P, Puri A, Varaiya P. What’s decidable about hybrid automata? Journal of Computer and System Sciences. 1998;57(1):94-124. doi:10.1006/jcss.1998.1581
[Published Version]
View
| DOI
| Download Published Version (ext.)
1998 | Published | Conference Paper | IST-REx-ID: 4515
Henzinger TA. It’s about time: Real-time logics reviewed. In: Proceedings of the 9th Interantional Conference on Concurrency Theory. Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:439-454. doi:10.1007/BFb0055640
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4603
Alur R, Henzinger TA, Kupferman O, Vardi M. Alternating refinement relations. In: Proceedings of the 9th Interantional Conference on Concurrency Theory. Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:163-178. doi:10.1007/BFb0055622
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4604
Alur R, Henzinger TA, Mang F, Qadeer S, Rajamani S, Tasiran S. Mocha: Modularity in model checking. In: Proceedings of the 10th International Conference on Computer Aided Verification. Vol 1427. Springer; 1998:521-525. doi:10.1007/BFb0028774
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4606
Alur R, Henzinger TA, Rajamani S. Symbolic exploration of transition hierarchies. In: Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Vol 1384. Springer; 1998:330-344. doi:10.1007/BFb0054181
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 4639
De Alfaro L, Henzinger TA, Kupferman O. Concurrent reachability games. In: Proceedings 39th Annual Symposium on Foundations of Computer Science. IEEE; 1998:564-575. doi:10.1109/SFCS.1998.743507
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 11680
Alberts D, Henzinger MH. Average-case analysis of dynamic graph algorithms. Algorithmica. 1998;20:31-60. doi:10.1007/pl00009186
View
| Files available
| DOI
1998 | Published | Journal Article | IST-REx-ID: 11681
Henzinger MH, Fredman ML. Lower bounds for fully dynamic connectivity problems in graphs. Algorithmica. 1998;22(3):351-362. doi:10.1007/pl00009228
View
| DOI
1998 | Published | Conference Paper | IST-REx-ID: 11682
Agarwal PK, EppsteinL. J. Guibas D, Henzinger MH. Parametric and kinetic minimum spanning trees. In: Proceedings of the 39th Annual Symposium on Foundations of Computer Science. ; 1998:596-605. doi:10.1109/SFCS.1998.743510
View
| DOI
1998 | Published | Journal Article | IST-REx-ID: 1449 |
Hausel T. Compactification of moduli of Higgs bundles. Journal fur die Reine und Angewandte Mathematik. 1998;1998(503):169-192. doi:10.1515/crll.1998.096
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 | Published | Journal Article | IST-REx-ID: 1450 |
Hausel T. Vanishing of intersection numbers on the moduli space of Higgs bundles. Advances in Theoretical and Mathematical Physics. 1998;2(5):1011-1040. doi:10.4310/ATMP.1998.v2.n5.a3
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
1998 | Published | Journal Article | IST-REx-ID: 6160
de Bono M, Bargmann CI. Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. 1998;94(5):679-689. doi:10.1016/s0092-8674(00)81609-8
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 3487
Jonas PM, Bischofberger J, Sandkühler J. Corelease of two fast neurotransmitters at a central synapse. Science. 1998;281(5375):419-424. doi:10.1126/science.281.5375.419
View
| DOI
| PubMed | Europe PMC
1998 | Published | Journal Article | IST-REx-ID: 3488 |
Martina M, Schultz J, Ehmke H, Monyer H, Jonas PM. Functional and molecular differences between voltage-gated K+ channels of fast-spiking interneurons and pyramidal neurons of rat hippocampus. Journal of Neuroscience. 1998;18(20):8111-8125. doi:10.1523/JNEUROSCI.18-20-08111.1998
View
| DOI
| Download None (ext.)
| PubMed | Europe PMC
1998 | Patent | IST-REx-ID: 3506 |
Edelsbrunner H, Fu P. Apparatus and method for geometric morphing. 1998.
[Published Version]
View
| Download Published Version (ext.)
1998 | Published | Journal Article | IST-REx-ID: 3521
Csicsvari JL, Hirase H, Czurkó A, Buzsáki G. Reliability and state dependence of pyramidal cell-interneuron synapses in the hippocampus: an ensemble approach in the behaving rat. Neuron. 1998;21(1):179-189. doi:10.1016/S0896-6273(00)80525-5
View
| DOI
| PubMed | Europe PMC