Vasiliki Hartonas-Garmhausen
According to our database1,
Vasiliki Hartonas-Garmhausen
authored at least 8 papers
between 1991 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
0
1
2
3
1
1
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2000
Verification of a safety-critical railway interlocking system with real-time constraints.
Sci. Comput. Program., 2000
1999
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999
1998
Proceedings of the First International Workshop on Probabilistic Methods in Verification, 1998
1997
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997
1996
Proceedings of the 1996 IEEE International Conference on Robotics and Automation, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1995
Proceedings of the Workshop on Industrial-Strength Formal Specification Techniques, 1995
1991
Distributing the comparison of DNA and protein sequences across heterogeneous supercomputers.
Proceedings of the Proceedings Supercomputing '91, 1991