Please note that IST 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.

5761 Publications


1998 | Conference Paper | IST-REx-ID: 4489
Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking,” 1427:195–206. Springer, 1998. https://doi.org/10.1007/BFb0028745.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4490
Henzinger, Thomas A, Jean Raskin, and Pierre Schobbens. “The Regular Real-Time Languages,” 1443:580–91. Springer, 1998. https://doi.org/10.1007/BFb0055086.
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4491
Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “Algorithmic Analysis of Nonlinear Hybrid Systems.” IEEE Transactions on Automatic Control 43, no. 4 (1998): 540–54. https://doi.org/10.1109/9.664156 .
View | DOI
 

1998 | Journal Article | IST-REx-ID: 4492
Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?” Journal of Computer and System Sciences 57, no. 1 (1998): 94–124. https://doi.org/10.1006/jcss.1998.1581.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4515
Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed,” 1466:439–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055640.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4603
Alur, Rajeev, Thomas A Henzinger, Orna Kupferman, and Moshe Vardi. “Alternating Refinement Relations,” 1466:163–78. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998. https://doi.org/10.1007/BFb0055611.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4604
Alur, Rajeev, Thomas A Henzinger, Freddy Mang, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “Mocha: Modularity in Model Checking,” 1427:521–25. Springer, 1998. https://doi.org/10.1007/BFb0028774.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4606
Alur, Rajeev, Thomas A Henzinger, and Sriram Rajamani. “Symbolic Exploration of Transition Hierarchies,” 1384:330–44. Springer, 1998. https://doi.org/ 10.1007/BFb0054181.
View | DOI
 

1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games,” 564–75. IEEE, 1998. https://doi.org/10.1109/SFCS.1998.743507  .
View | DOI
 

1998 | Journal Article | IST-REx-ID: 6160
Bono, Mario de, and Cornelia I Bargmann. “Natural Variation in a Neuropeptide Y Receptor Homolog Modifies Social Behavior and Food Response in C. Elegans.” Cell 94, no. 5 (1998): 679–89. https://doi.org/10.1016/s0092-8674(00)81609-8.
View | DOI | PubMed | Europe PMC
 

Search

Filter Publications