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.
6978 Publications
1998 |Published| Conference Paper | IST-REx-ID: 4410
Preußig J, Kowalewski S, Wong Toi H, Henzinger TA. An algorithm for the approximative analysis of rectangular automata. In: Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. Vol 1486. Springer; 1998:228-240. doi:10.1007/BFb0055350
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4408
Raskin J, Schobbens P, Henzinger TA. Axioms for real-time logics. In: Proceedings of the 9th Interantional Conference on Concurrency Theory. Vol 1466. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 1998:219-236. doi:10.1007/BFb0055625
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4429
Henzinger TA, Rusu V. Reachability verification for hybrid automata. In: Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control. Vol 1386. Springer; 1998:190-204. doi:10.1007/3-540-64358-3_40
View
| DOI
1998 |Published| Conference (Editor) | IST-REx-ID: 4430
Henzinger TA, ed. HSCC: Hybrid Systems—Computation and Control. Vol 1386. Springer; 1998. doi:10.1007/3-540-64358-3
View
| DOI
1998 |Published| Conference Paper | IST-REx-ID: 4486
Henzinger TA, Qadeer S, Rajamani S, Tasiran S. An assume-guarantee rule for checking simulation. In: Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design. Vol 1522. Springer; 1998:421-432. doi:10.1007/3-540-49519-3_27
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| 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: 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| 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: 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: 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: 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: 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
1997 |Published| Journal Article | IST-REx-ID: 2493
Acsády L, Katona I, Gulyás A, Shigemoto R, Freund T. Immunostaining for substance P receptor labels GABAergic cells with distinct termination patterns in the hippocampus. Journal of Comparative Neurology. 1997;378(3):320-336. doi:10.1002/(SICI)1096-9861(19970217)378:3<320::AID-CNE2>3.0.CO;2-5
View
| DOI
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 2576
Li J, Kaneko T, Shigemoto R, Mizuno N. Distribution of trigeminohypothalamic and spinohypothalamic tract neurons displaying substance P receptor-like immunoreactivity in the rat. Journal of Comparative Neurology. 1997;378(4):508-521. doi:10.1002/(SICI)1096-9861(19970224)378:4<508::AID-CNE6>3.0.CO;2-6
View
| DOI
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 2578
Seybold V, Grković I, Portbury A, et al. Relationship of NK3 receptor-immunoreactivity to subpopulations of neurons in rat spinal cord. Journal of Comparative Neurology. 1997;381(4):439-448. doi:10.1002/(SICI)1096-9861(19970519)381:4<439::AID-CNE4>3.0.CO;2-3
View
| DOI
| PubMed | Europe PMC
1997 |Published| Journal Article | IST-REx-ID: 2575
Li H, Ohishi H, Kinoshita A, Shigemoto R, Nomura S, Mizuno N. 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. 1997;223(3):153-156. doi:10.1016/S0304-3940(97)13429-2
View
| DOI
| PubMed | Europe PMC