Luca Cardelli

Luca Cardelli

University of Oxford
Verified email at cs.ox.ac.uk
Cited by 32972
Theory of programming languages Process algebra Systems Biology Molecular Programming
Chris Barker

Chris Barker

Professor of Linguistics, NYU
Verified email at nyu.edu
Cited by 5085
Semantics of Natural Language Philosophy of Language Theory of Programming Languages
Jacques Garrigue

Jacques Garrigue

Professor, Graduate School of Mathematics, Nagoya University
Verified email at math.nagoya-u.ac.jp
Cited by 2017
Theory of Programming Languages
Martin Steffen

Martin Steffen

University of Oslo
Verified email at ifi.uio.no
Cited by 1887
formal methods theory of programming languages semantics verification
Damiano Mazza

Damiano Mazza

CNRS, LIPN, Université Sorbonne Paris Nord
Verified email at lipn.univ-paris13.fr
Cited by 842
logic in computer science theory of programming languages
Marco Solieri

Marco Solieri

Minerva Systems & Università di Modena e Reggio Emilia
Verified email at xt3.it
Cited by 384
Real-time Systems Embedded Systems Operating Systems Theory of Programming languages Logic in
Juliana Dochkova-Todorova

Juliana Dochkova-Todorova

St. Cyril and St. Methodius University of Veliko Turnovo, Bulgaria
Verified email at ts.uni-vt.bg
Cited by 10
Theory of Programming Languages Web Design XML Semantic Web Discrete geometry