Skapa en profil
Offentlig åtkomst
Visa alla9 artiklar
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerifierad e-postadress på liacs.leidenuniv.nl
- Alexandra SilvaCornell UniversityVerifierad e-postadress på cornell.edu
- Joost KokDean of the Faculty of Electrical Engineering, Mathematics and Computer Science at the University ofVerifierad e-postadress på utwente.nl
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verifierad e-postadress på cwi.nl
- Filippo BonchiCNRS ENS-LyonVerifierad e-postadress på ens-lyon.fr
- Farhad ArbabProfessor of Computer Science, Leiden UniversityVerifierad e-postadress på liacs.nl
- Catuscia PalamidessiInriaVerifierad e-postadress på lix.polytechnique.fr
- Christel BaierTU DresdenVerifierad e-postadress på tu-dresden.de
- Helle Hvid HansenAssociate Professor at University of GroningenVerifierad e-postadress på rug.nl
- Bart JacobsProfessor of Software Security and Correctness, Radboud University NijmegenVerifierad e-postadress på cs.ru.nl
- Marjan SirjaniMälardalen UniversityVerifierad e-postadress på mdh.se
- Davide SangiorgiProfessor of Computer Science, University of BolognaVerifierad e-postadress på cs.unibo.it
- Jurriaan RotRadboud UniversityVerifierad e-postadress på cs.ru.nl
- Joost WinterUniversity of WarsawVerifierad e-postadress på mimuw.edu.pl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerifierad e-postadress på win.tue.nl
- Enric Cosme LlópezUniversitat de ValènciaVerifierad e-postadress på uv.es
- Adolfo Ballester-BolinchesCatedràtic d'Àlgebra, Universitat de ValènciaVerifierad e-postadress på uv.es
- Prakash PanangadenProfessor of Computer Science, McGill UniversityVerifierad e-postadress på cs.mcgill.ca
- Meng SunProfessor, School of Mathematical Science, Peking UniversityVerifierad e-postadress på math.pku.edu.cn
- Bernhard AichernigGraz Univ. of Technology (TU Graz)Verifierad e-postadress på ist.tugraz.at