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: 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