Get my own profile
Public access
View all42 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
- 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
- Karima MakhloufInria, LIX, École PolytechniqueVerified email at inria.fr
- Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
- Maurizio MartelliUniversity of GenovaVerified email at unige.it
- Sami ZhiouaINRIA, LIX, École Polytechnique, Paris, FranceVerified email at lix.polytechnique.fr
- 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
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk