Get my own profile
Public access
View all6 articles
0 articles
available
not available
Based on funding mandates
Co-authors
- Yannis SmaragdakisUniversity of AthensVerified email at di.uoa.gr
- Martin OderskyEPFLVerified email at epfl.ch
- Odysseas SekkasHead of R&D, Mobics S.A.Verified email at mobics.gr
- Stathes HadjiefthymiadesDepartment of Informatics and Telecommunications, National and Kapodistrian University of AthensVerified email at di.uoa.gr
- Evangelos ZervasProfessor of Electrical and Electronics EngineeringVerified email at uniwa.gr
- George FourtounisGRNETVerified email at softlab.ntua.gr
- Christos (Chris) AnagnostopoulosAssociate Professor, School of Computing Science, University of GlasgowVerified email at glasgow.ac.uk
- Olivier BlanvillainEPFLVerified email at epfl.ch
- Nicolas StuckiPhD in Computer Science at EPFLVerified email at epfl.ch
- Heather MillerCarnegie Mellon UniversityVerified email at cs.cmu.edu
- Sandro StuckiAmazonVerified email at amazon.com
- Pablo InostrozaCentrum Wiskunde & Informatica CWI, The NetherlandsVerified email at cwi.nl
- Tijs van der StormSenior Researcher, Centrum Wiskunde & Informatica (CWI)Verified email at cwi.nl
- Paolo G. GiarrussoFormal Methods Engineer, Bedrock Systems Inc.Verified email at tudelft.nl
- Vlad UrechePhD student, LAMP, EPFLVerified email at epfl.ch
- Ondrej LhotakComputer Science, University of WaterlooVerified email at uwaterloo.ca
- Vassileios Tsetsos, PhDResearch Associate, National and Kapodistrian University of AthensVerified email at di.uoa.gr
- Jeremy GibbonsProfessor of Computing, University of OxfordVerified email at cs.ox.ac.uk