Emmanuel Beffara

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 4

Top Venues

CoRR

Math. Struct. Comput. Sci.

CL&C

FSCD

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Emmanuel Beffara
L'algorithme: pourquoi et comment le définir pour l'enseigner. CoRR (2024)
Emmanuel Beffara, Félix Castro, Mauricio Guillermo, Étienne Miquey
Concurrent Realizability on Conjunctive Structures. FSCD (2023)
Emmanuel Beffara, Félix Castro, Mauricio Guillermo
Concurrent Realizability on Conjunctive Structures. CoRR (2021)
Emmanuel Beffara
Order algebras: a quantitative model of interaction. Math. Struct. Comput. Sci. 28 (7) (2018)
Emmanuel Beffara
Unifying type systems for mobile processes. CoRR (2015)
Emmanuel Beffara
A logical view on scheduling in concurrency. CL&C (2014)
Emmanuel Beffara, Virgile Mogbil
Proofs as Executions. IFIP TCS (2012)
Emmanuel Beffara
Functions as proofs as processes CoRR (2011)
Emmanuel Beffara
Quantitative testing semantics for non-interleaving CoRR (2009)
Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner
Verification of Timed Automata Using Rewrite Rules and Strategies CoRR (2009)
Emmanuel Beffara
Linear combinations of orders CoRR (2009)
Emmanuel Beffara
An Algebraic Process Calculus. LICS (2008)
Emmanuel Beffara, François Maurel
Concurrent nets: A study of prefixing in process calculi. Theor. Comput. Sci. 356 (3) (2006)
Emmanuel Beffara
A Concurrent Model for Linear Logic. MFPS (2005)
Emmanuel Beffara, François Maurel
Concurrent Nets: A Study of Prefixing in Process Calculi. EXPRESS (2004)
Emmanuel Beffara, Vincent Danos
Disjunctive normal forms and local exceptions. SIGPLAN Notices (2003)
Emmanuel Beffara, Vincent Danos
Disjunctive normal forms and local exceptions. ICFP (2003)
Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner
Verification of Timed Automata Using Rewrite Rules and Strategies CoRR (2001)

Emmanuel Beffara.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Emmanuel Beffara