Vasilili Hartonas-Garmhausen

1999
2	EE	Christel Baier, Edmund M. Clarke, Vasilili Hartonas-Garmhausen: On the Semantic Foundations of Probabilistic Synchronous Reactive Programs. Electr. Notes Theor. Comput. Sci. 22: (1999)
1991
1	EE	Hugh B. Nicholas, Grace Giras, Vasilili Hartonas-Garmhausen, Michael Kopko, Christopher Maher, Alexander Ropelewski: Distributing the comparison of DNA and protein sequences across heterogeneous supercomputers. SC 1991: 139-146

Coauthor Index

1	Christel Baier	[2]
2	Edmund M. Clarke	[2]
3	Grace Giras	[1]
4	Michael Kopko	[1]
5	Christopher Maher	[1]
6	Hugh B. Nicholas	[1]
7	Alexander Ropelewski	[1]

Colors in the list of coauthors