Get my own profile
Public access
View all31 articles
7 articles
available
not available
Based on funding mandates
Co-authors
Konstantinos ChatzikokolakisUniversity of Athens (on leave from CNRS)Verified email at di.uoa.gr
Mário S. AlvimAssistant Professor, Department of Computer Science, UFMGVerified email at dcc.ufmg.br
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Miguel AndresGoogle Inc, Ecole Polytechnique, Radboud UniversityVerified email at lix.polytechnique.fr
Moreno FalaschiProfessor of Computer ScienceVerified email at unisi.it
Geoffrey SmithSchool of Computing and Information Sciences, Florida International UniversityVerified email at cis.fiu.edu
Frank D. ValenciaCNRS, École Polytechnique de ParisVerified email at lix.polytechnique.fr
Annabelle McIverMacquarie UniversityVerified email at mq.edu.au
Carroll MorganProfessor, University of New South Wales and DATA61Verified email at unsw.edu.au
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerified email at utwente.nl
Nicolás E. BordenabeBooking.com B.V.Verified email at booking.com
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Maurizio MartelliUniversity of GenovaVerified email at unige.it
Ehab ElSalamounyFaculty of Computers and Informatics, Suez Canal UniversityVerified email at ci.suez.edu.eg
Karima MakhloufInria, LIX, École PolytechniqueVerified email at inria.fr
Jan RuttenCWIVerified email at cwi.nl
Sami ZhiouaINRIA, LIX, École Polytechnique, Paris, FranceVerified email at lix.polytechnique.fr
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu