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 MakhloufInria Paris-Saclay, 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
- Carlos OlarteAssociate Professor at Université Sorbonne Paris NordVerified email at lipn.univ-paris13.fr