Get my own profile
Public access
View all46 articles
0 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
Miguel E. AndresGoogle Inc, Ecole Polytechnique, Radboud UniversityVerified email at lix.polytechnique.fr
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
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
Karima MakhloufInria, LIX, École PolytechniqueVerified email at inria.fr
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Sami ZhiouaINRIA, LIX, École Polytechnique, Paris, FranceVerified email at lix.polytechnique.fr
Joost KokVice-Dean Mathematics and Computer ScienceVerified email at tue.nl
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Nicolás E. BordenabeBooking.com B.V.Verified email at booking.com
Maurizio MartelliUniversity of GenovaVerified email at unige.it
Jan RuttenCWIVerified email at cwi.nl
Ehab ElSalamounyFaculty of Computers and Informatics, Suez Canal UniversityVerified email at ci.suez.edu.eg
Dale MillerInria-Saclay and LIX, Ecole PolytechniqueVerified email at inria.fr
Kim MarriottProfessor, Monash UniversityVerified email at monash.edu