Get my own profile
Public access
View all13 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, Computer Science Department, 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 Paris & Pontificia Universidad Javeriana CaliVerified 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
Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerified email at utwente.nl
Jan RuttenCWIVerified email at cwi.nl
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Prakash PanangadenProfessor of Computer Science, McGill UniversityVerified email at cs.mcgill.ca
Maurizio MartelliUniversity of GenovaVerified email at unige.it
Nicolás E. BordenabeBooking.com B.V.Verified email at booking.com
Dale MillerDirector of Research, INRIAVerified email at inria.fr
Corrado MoisoTelecom ItaliaVerified email at telecomitalia.it
Ehab ElSalamounyFaculty of Computers and Informatics, Suez Canal UniversityVerified email at ci.suez.edu.eg
Carlos OlarteProfessor of Computer Science, ECT, Universidade Federal do Rio Grande do Norte, BrazilVerified email at ect.ufrn.br
Mogens NielsenProfessor of Computer Science, Aarhus UniversityVerified email at cs.au.dk