Vasiliki Hartonas-Garmhausen
According to our database1,
Vasiliki Hartonas-Garmhausen
authored at least 8 papers
between 1991 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
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