Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 3358 | 920 |
h-indeks | 30 | 14 |
i10-indeks | 77 | 26 |
Dostęp publiczny
Wyświetl wszystko16 artykułów
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Etienne LozesUniversité Côte d'AzurZweryfikowany adres z univ-cotedazur.fr
- Ranko LazicDepartment of Computer Science, University of WarwickZweryfikowany adres z warwick.ac.uk
- Ewa Orlowskanational institute of telecommunicationsZweryfikowany adres z itl.waw.pl
- Morgan DetersSenior Research Scientist, NYUZweryfikowany adres z cs.nyu.edu
- Natasha AlechinaDepartment of Information and Computing Sciences, University of UtrechtZweryfikowany adres z uu.nl
- Deepak D'SouzaDepartment of CSA, Indian Institute of ScienceZweryfikowany adres z iisc.ac.in
- Valentin GorankoProfessor of Logic and Theoretical Philosophy, Stockholm UniversityZweryfikowany adres z philosophy.su.se
- Martin LangeProfessor of Computer Science, University of KasselZweryfikowany adres z uni-kassel.de
- Amit Kumar DharAssistant ProfessorZweryfikowany adres z iitbhilai.ac.in
- Hans de NivelleNazarbayev University, Astana, KazakhstanZweryfikowany adres z nu.edu.kz
- Brian LoganNottingham UniversityZweryfikowany adres z cs.nott.ac.uk
- Govert van DrimmelenUniversity of JohannesburgZweryfikowany adres z icon.co.za
- Maarten de RijkeUniversity of Amsterdam & ICAIZweryfikowany adres z uva.nl
- Oded LachishBirkbeck, University of LondonZweryfikowany adres z dcs.bbk.ac.uk
- Christophe MorvanAssociate Professor Université Gustave EiffelZweryfikowany adres z u-pem.fr
- Diego FigueiraCNRS, LaBRI, Univ. BordeauxZweryfikowany adres z labri.fr
- Nils BullingTU ClausthalZweryfikowany adres z in.tu-clausthal.de
- Paul GastinProfessor, LMF, ENS Paris-SaclayZweryfikowany adres z lmf.cnrs.fr
- Roland MeyerProfessor of Theoretical Computer ScienceZweryfikowany adres z tu-bs.de
- Marcin JurdzińskiUniversity of Warwick, Department of Computer ScienceZweryfikowany adres z warwick.ac.uk
Obserwuj
Stéphane Demri
CNRS, Laboratoire Méthodes Formelles (LMF)
Zweryfikowany adres z lmf.cnrs.fr - Strona główna