papers
Michael Lampis, Kyriakos G. Ginis, Michalis A. Papakyriakou,
Nikolaos S. Papaspyrou.
Quantum data and control made easier
In Electronic Notes in Theoretical Computer Science, Volume 210, 11 July 2008, Pages 85-105
Quantum data and control made easier
In Electronic Notes in Theoretical Computer Science, Volume 210, 11 July 2008, Pages 85-105
Angelos Manousaridis, Michalis Papakyriakou and Nikolaos Papaspyrou.
From Program Verification to Certified Binaries
In Computability in Europe 2008, June 2008
From Program Verification to Certified Binaries
In Computability in Europe 2008, June 2008
Michalis A. Papakyriakou and Nikolaos S. Papaspyrou.
Mechanized Proofs of Type Safety for a Family of Lambda Calculi with References
In 2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory, October 2007
Mechanized Proofs of Type Safety for a Family of Lambda Calculi with References
In 2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory, October 2007
Michalis A. Papakyriakou, Prodromos E. Gerakios and Nikolaos S.
Papaspyrou.
A Mechanized Proof of Type Safety for the Polymorphic Lambda Calculus with References
In 6th Panhellenic Logic Symposium, July 2007
A Mechanized Proof of Type Safety for the Polymorphic Lambda Calculus with References
In 6th Panhellenic Logic Symposium, July 2007