Skapa en profil
Offentlig åtkomst
Visa alla4 artiklar
1 artikel
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Pedro R. D'ArgenioFaMAF, Universidad Nacional de Córdoba - CONICETVerifierad e-postadress på famaf.unc.edu.ar
- Daniel GeblerVU University AmsterdamVerifierad e-postadress på vu.nl
- Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerifierad e-postadress på cs.unibo.it
- Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verifierad e-postadress på cwi.nl
- Pierre L'EcuyerProfessor, DIRO, University of MontrealVerifierad e-postadress på iro.umontreal.ca
- Gerardo RubinoInria/IrisaVerifierad e-postadress på inria.fr
- Bruno TuffinInriaVerifierad e-postadress på inria.fr
- Héctor CancelaUniversidad de la RepublicaVerifierad e-postadress på fing.edu.uy
- Martin SteffenUniversity of OsloVerifierad e-postadress på ifi.uio.no
- Raúl E. MontiUniversity of TwenteVerifierad e-postadress på utwente.nl
- Erik P. de VinkAssociate Professor, Eindhoven University of TechnologyVerifierad e-postadress på win.tue.nl
- Jurriaan RotRadboud UniversityVerifierad e-postadress på cs.ru.nl
- Filippo BonchiCNRS ENS-LyonVerifierad e-postadress på ens-lyon.fr
- Bas LuttikAssociate Professor of Computer Science, Eindhoven University of TechnologyVerifierad e-postadress på tue.nl