Christine PAULIN-MOHRING

Christine PAULIN-MOHRING

LMF, Université Paris-Saclay
Verified email at universite-paris-saclay.fr
Cited by 4298
Computer Science : formal methods proof assistants type theory
Pierre Casteran

Pierre Casteran

University of Bordeaux
Verified email at labri.fr
Cited by 3478
logic computer science proof assistants
Robbert Krebbers

Robbert Krebbers

Associate Professor, Radboud University Nijmegen
Verified email at cs.ru.nl
Cited by 2832
Programming languages Concurrency Separation Logic Proof assistants Coq
Artur Korniłowicz

Artur Korniłowicz

Uniwersytet w Białymstoku
Verified email at math.uwb.edu.pl
Cited by 2318
formalization of mathematics theorem proving proof assistants
Andrei Popescu

Andrei Popescu

University of Sheffield
Verified email at sheffield.ac.uk
Cited by 2042
proof assistants information flow security logical foundations syntax with bindings datatypes
Stéphane Glondu

Stéphane Glondu

Inria
Verified email at glondu.net
Cited by 1849
Computer science Logics Formal methods Proof assistants Programming languages
Adam Grabowski

Adam Grabowski

Institute of Computer Science, University of Bialystok, Poland
Verified email at math.uwb.edu.pl
Cited by 1788
formalization of mathematics theorem proving proof assistants rough sets lattice theory
José Bacelar Almeida

José Bacelar Almeida

HASLab / INESC TEC, Universidade do Minho
Verified email at di.uminho.pt
Cited by 1450
Cryptography Formal Verification Proof-Assistants
Adam Naumowicz

Adam Naumowicz

Institute of Computer Science, University of Bialystok
Verified email at math.uwb.edu.pl
Cited by 1437
formalization of mathematics theorem proving proof assistants
Frédéric Blanqui

Frédéric Blanqui

INRIA
Verified email at inria.fr
Cited by 1409
dependent type theory rewriting theory logic formal proofs proof assistants
1 - 10