Ralph-Johan Back

Ralph-Johan Back

Professor of Computer Science, Åbo Akademi
Verified email at abo.fi
Cited by 8901
formal methods programming program semantics software engineering mathematics education
Antoine Miné

Antoine Miné

Sorbonne Université, LIP6, APR
Verified email at lip6.fr
Cited by 7258
Program Verification Program Semantics Static Analysis Abstract Interpretation
Eric Goubault

Eric Goubault

Ecole Polytechnique
Verified email at cea.fr
Cited by 4896
Program semantics Systems Modeling CPS … theory and Fault-Tolerant Distributed Systems Applied and Computation
Robert Cartwright

Robert Cartwright

Professor of Computer Science, Rice University
Verified email at rice.edu
Cited by 3182
Programming Languages Software Engineering Program Testing Language Design Program Semantics
Dorel Lucanu

Dorel Lucanu

Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO
Verified email at info.uaic.ro
Cited by 1317
Formal Methods Software Engineering Program Semantics Rewriting
Federico Olmedo

Federico Olmedo

University of Chile
Verified email at dcc.uchile.cl
Cited by 995
Program Verification Probabilistic Programs Program Semantics
Niccolò Veltri

Niccolò Veltri

Researcher, Department of Software Science, Tallinn University of Technology
Verified email at cs.ioc.ee
Cited by 319
type theory logic constructive mathematics program semantics proof theory
Raphaël Monat

Raphaël Monat

Research Scientist at Inria & University of Lille
Verified email at inria.fr
Cited by 246
Programming Languages Program Analysis Program Semantics Abstract Interpretation Formal Methods
Paul Brunet

Paul Brunet

Université Paris-Est Créteil - ÉPISEN
Verified email at u-pec.fr
Cited by 234
Automata theory Algebra Program semantics Logic
Thomas Powell

Thomas Powell

Senior Lecturer, University of Bath
Verified email at bath.ac.uk
Cited by 210
proof theory computability theory program semantics
1 - 10