Get my own profile
Public access
View all48 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 WalesVerified email at unsw.edu.au
Karima MakhloufPh.D. in Artificial IntelligenceVerified email at lix.polytechnique.fr
Sami ZhiouaINRIA, LIX, École Polytechnique, Paris, FranceVerified email at lix.polytechnique.fr
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
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
Carlos OlarteAssociate Professor at Université Sorbonne Paris NordVerified email at lipn.univ-paris13.fr