Creați-vă propriul profil
Citat de
Toate | Din 2019 | |
---|---|---|
Referințe bibliografice | 3363 | 923 |
h-index | 30 | 14 |
i10-index | 77 | 26 |
Acces public
Afișați-le pe toate16 articole
0 articole
disponibile
indisponibile
Pe baza cerințelor privind finanțarea
Coautori
- Etienne LozesUniversité Côte d'AzurAdresă de e-mail confirmată pe univ-cotedazur.fr
- Ranko LazicDepartment of Computer Science, University of WarwickAdresă de e-mail confirmată pe warwick.ac.uk
- Ewa Orlowskanational institute of telecommunicationsAdresă de e-mail confirmată pe itl.waw.pl
- Morgan DetersSenior Research Scientist, NYUAdresă de e-mail confirmată pe cs.nyu.edu
- Natasha AlechinaDepartment of Information and Computing Sciences, University of UtrechtAdresă de e-mail confirmată pe uu.nl
- Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceAdresă de e-mail confirmată pe iisc.ac.in
- Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityAdresă de e-mail confirmată pe philosophy.su.se
- Martin LangeProfessor of Computer Science, University of KasselAdresă de e-mail confirmată pe uni-kassel.de
- Hans de NivelleNazarbayev University, Astana, KazakhstanAdresă de e-mail confirmată pe nu.edu.kz
- Brian LoganNottingham UniversityAdresă de e-mail confirmată pe cs.nott.ac.uk
- Govert van DrimmelenUniversity of JohannesburgAdresă de e-mail confirmată pe icon.co.za
- Maarten de RijkeUniversity of Amsterdam & ICAIAdresă de e-mail confirmată pe uva.nl
- Oded LachishBirkbeck, University of LondonAdresă de e-mail confirmată pe dcs.bbk.ac.uk
- Christophe MorvanAssociate Professor Université Gustave EiffelAdresă de e-mail confirmată pe u-pem.fr
- Diego FigueiraCNRS, LaBRI, Univ. BordeauxAdresă de e-mail confirmată pe labri.fr
- Nils BullingTU ClausthalAdresă de e-mail confirmată pe in.tu-clausthal.de
- Paul GastinProfessor, LMF, ENS Paris-SaclayAdresă de e-mail confirmată pe lmf.cnrs.fr
- Roland MeyerProfessor of Theoretical Computer ScienceAdresă de e-mail confirmată pe tu-bs.de
- Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceAdresă de e-mail confirmată pe warwick.ac.uk
- Deepak KapurUniversity of New MexicoAdresă de e-mail confirmată pe cs.unm.edu
Urmăriți
Stéphane Demri
CNRS, Laboratoire Méthodes Formelles (LMF)
Adresă de e-mail confirmată pe lmf.cnrs.fr - Pagina de pornire