Mocha: Modularity in model checking
R. Alur, T.A. Henzinger, F. Mang, S. Qadeer, S. Rajamani, S. Tasiran, in:, Proceedings of the 10th International Conference on Computer Aided Verification, Springer, 1998, pp. 521–525.
LibreCat: https://research-explorer.ista.ac.at/record/4604
DOI: 10.1007/BFb0028774

Concurrent reachability games
L. De Alfaro, T.A. Henzinger, O. Kupferman, in:,  Proceedings 39th Annual Symposium on Foundations of Computer Science, IEEE, 1998, pp. 564–575.
LibreCat: https://research-explorer.ista.ac.at/record/4639
DOI: 10.1109/SFCS.1998.743507  

Natural variation in a neuropeptide Y receptor homolog modifies social behavior and food response in C. elegans
M. de Bono, C.I. Bargmann, Cell 94 (1998) 679–689.
LibreCat: https://research-explorer.ista.ac.at/record/6160
DOI: 10.1016/s0092-8674(00)81609-8
PMID: 9741632