Distributing the comparison of DNA and protein sequences across heterogeneous supercomputers. - Hugh B. Nicholas; Grace Giras; Vasiliki Hartonas-Garmhausen; Michael Kopko; Christopher Maher; Alexander Ropelewski (SC, 1991)

Automatic verification of industrial designs. - Vicky Hartonas-Garmhausen; Thomas R. Kurfess; Edmund M. Clarke; David E. Long (WIFT, 1995)

Symbolic Model Checking. - Edmund M. Clarke; Kenneth L. McMillan; Sérgio Vale Aguiar Campos; Vasiliki Hartonas-Garmhausen (CAV, 1996)

Deadlock prevention in flexible manufacturing systems using symbolic model checking. - Vasiliki Hartonas-Garmhausen; Edmund M. Clarke; S. Campos (ICRA, 1996)

Symbolic Model Checking for Probabilistic Processes. - Christel Baier; Edmund M. Clarke; Vasiliki Hartonas-Garmhausen; Marta Z. Kwiatkowska; Mark Ryan 001 (ICALP, 1997)

On the Semantic Foundations of Probabilistic Synchronous Reactive Programs. - Christel Baier; Edmund M. Clarke; Vasiliki Hartonas-Garmhausen (PROBMIV, 1998)

ProbVerus: Probabilistic Symbolic Model Checking. - Vicky Hartonas-Garmhausen; Sérgio Vale Aguiar Campos; Edmund M. Clarke (ARTS, 1999)

Verification of a safety-critical railway interlocking system with real-time constraints. - Vicky Hartonas-Garmhausen; Sérgio Vale Aguiar Campos; Alessandro Cimatti; Edmund M. Clarke; Fausto Giunchiglia (Sci. Comput. Program., 2000)