Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 3405 | 967 |
Índice h | 31 | 15 |
Índice i10 | 79 | 27 |
Acceso público
Ver todo17 artículos
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Ranko LazicDepartment of Computer Science, University of WarwickDirección de correo verificada de warwick.ac.uk
- Etienne LozesUniversité Côte d'AzurDirección de correo verificada de univ-cotedazur.fr
- Ewa Orlowskanational institute of telecommunicationsDirección de correo verificada de itl.waw.pl
- Morgan DetersSenior Research Scientist, NYUDirección de correo verificada de cs.nyu.edu
- Rajeev GoreFaculty of Information Technology, Monash University, AustraliaDirección de correo verificada de monash.edu
- Natasha AlechinaDepartment of Information and Computing Sciences, University of UtrechtDirección de correo verificada de uu.nl
- Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceDirección de correo verificada de iisc.ac.in
- Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityDirección de correo verificada de philosophy.su.se
- Martin LangeProfessor of Computer Science, University of KasselDirección de correo verificada de uni-kassel.de
- Hans de NivelleNazarbayev University, Astana, KazakhstanDirección de correo verificada de nu.edu.kz
- Brian LoganNottingham UniversityDirección de correo verificada de cs.nott.ac.uk
- Govert van DrimmelenUniversity of JohannesburgDirección de correo verificada de icon.co.za
- Maarten de RijkeUniversity of Amsterdam & ICAIDirección de correo verificada de uva.nl
- Oded LachishBirkbeck, University of LondonDirección de correo verificada de dcs.bbk.ac.uk
- Diego FigueiraCNRS, LaBRI, Univ. BordeauxDirección de correo verificada de labri.fr
- Christophe MorvanAssociate Professor Université Gustave EiffelDirección de correo verificada de u-pem.fr
- Nils BullingTU ClausthalDirección de correo verificada de in.tu-clausthal.de
- Paul GastinProfessor, LMF, ENS Paris-SaclayDirección de correo verificada de lmf.cnrs.fr
- Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceDirección de correo verificada de warwick.ac.uk
- Roland MeyerProfessor of Theoretical Computer ScienceDirección de correo verificada de tu-bs.de
Seguir
Stéphane Demri
CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)
Dirección de correo verificada de lmf.cnrs.fr - Página principal