Vasiliki Hartonas-Garmhausen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1991–1997
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ICALP | Symbolic Model Checking for Probabilistic Processes. | Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan |
| 1996 | CAV | Symbolic Model Checking. | Edmund M. Clarke, Kenneth L. McMillan, Srgio Vale Aguiar Campos, Vasiliki Hartonas-Garmhausen |
| 1996 | ICRA | Deadlock prevention in flexible manufacturing systems using symbolic model checking. | Vasiliki Hartonas-Garmhausen, Edmund M. Clarke, S. Campos |
| 1991 | SC | 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 |