Perfiles

Ralph-Johan Back

Professor of Computer Science, Åbo Akademi

Dirección de correo verificada de abo.fi

Citado por 8950

formal methods programming program semantics software engineering mathematics education

Antoine Miné

Sorbonne Université, LIP6, APR

Dirección de correo verificada de lip6.fr

Citado por 7423

Program Verification Program Semantics Static Analysis Abstract Interpretation

Eric Goubault

Ecole Polytechnique

Dirección de correo verificada de cea.fr

Citado por 5024

Program semantics Systems Modeling CPS … theory and Fault-Tolerant Distributed Systems Applied and Computation

Robert Cartwright

Professor of Computer Science, Rice University

Dirección de correo verificada de rice.edu

Citado por 3194

Programming Languages Software Engineering Program Testing Language Design Program Semantics

Fabio Zanasi

Professor of Computer Science, University College London

Dirección de correo verificada de ucl.ac.uk

Citado por 1668

Program Semantics Category Theory String Diagrams Machine Learning Probabilistic Computation

Dorel Lucanu

Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO

Dirección de correo verificada de info.uaic.ro

Citado por 1347

Formal Methods Software Engineering Program Semantics Rewriting

Federico Olmedo

University of Chile

Dirección de correo verificada de dcc.uchile.cl

Citado por 1052

Program Verification Probabilistic Programs Program Semantics

Niccolò Veltri

Researcher, Department of Software Science, Tallinn University of Technology

Dirección de correo verificada de cs.ioc.ee

Citado por 336

type theory logic constructive mathematics program semantics proof theory

Paul Brunet

Université Paris-Est Créteil - ÉPISEN

Dirección de correo verificada de u-pec.fr

Citado por 258

Automata theory Algebra Program semantics Logic

Thomas Powell

Senior Lecturer, University of Bath

Dirección de correo verificada de bath.ac.uk

Citado por 221

proof theory computability theory program semantics

1 - 10