Concepedia

Alexis Saurin

AS

6

Publications

132

Citations

6

H-Index

2006

Active since

Affiliations

Université Paris Cité(Current)

Institut national de recherche en sciences et technologies du numérique

Laboratory Preuves, Programmes et Systèmes

École Polytechnique

Laboratoire d'Informatique de l'École Polytechnique

Alexis Saurin is an author at Université Paris Cité specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningVerificationComputer ScienceFormal VerificationGamesProgramming LanguagesBusinessLanguage

Publications per year

2006–2022

6

Publications

6

Infinitary Proof Theory: the Multiplicative Additive Case

David Baelde, Amina Doumane, Alexis Saurin · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 39 citations · Full text

Separation with Streams in the ?&#181;-calculus

Alexis Saurin · 2006 · 31 citations

/Spl Lambda/-calculus, Algebraic Logic, Engineering +13

Proof and refutation in MALL as a game

Olivier Delande, Dale Miller, Alexis Saurin · Annals of Pure and Applied Logic · 2009 · 16 citations

Engineering, Repeated Game, Automated Reasoning +10

Bouncing Threads for Circular and Non-Wellfounded Proofs

David Baelde, Amina Doumane, Denis Kuperberg et al. · 2022 · 16 citations

Inductive Types, Engineering, Fixed Points +14

A Game Semantics for Proof Search: Preliminary Results

Dale Miller, Alexis Saurin · Electronic Notes in Theoretical Computer Science · 2006 · 15 citations · Full text

Neutral Approach, Engineering, Ongoing Project +13

Rows per page

1–5 of 6