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 | Conference Paper | IST-REx-ID: 4604
Alur, R., Henzinger, T. A., Mang, F., Qadeer, S., Rajamani, S., & Tasiran, S. (1998). Mocha: Modularity in model checking. In Proceedings of the 10th International Conference on Computer Aided Verification (Vol. 1427, pp. 521–525). Vancouver, Canada: Springer. https://doi.org/10.1007/BFb0028774
View
| DOI
1998 | Conference Paper | IST-REx-ID: 4639
De Alfaro, L., Henzinger, T. A., & Kupferman, O. (1998). Concurrent reachability games. In Proceedings 39th Annual Symposium on Foundations of Computer Science (pp. 564–575). Palo Alto, CA, United States of America: IEEE. https://doi.org/10.1109/SFCS.1998.743507
View
| DOI
1998 | Journal Article | IST-REx-ID: 6160
de Bono, M., & Bargmann, C. I. (1998). Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans. Cell. Elsevier. https://doi.org/10.1016/s0092-8674(00)81609-8
View
| DOI
| PubMed | Europe PMC