Logo Relation algebra

Papers

expand/reduce
Journal paper
Petri automata. (2017)
With Damien Pous. In LMCS.
Thesis
Algebras of relations: from algorithms to formal proofs. (2016)
PhD thesis, Université de Lyon.
Conference paper
Cardinalities of finite relations in Coq. (2016)
With Damien Pous and Insa Stucke. In ITP.
Journal paper
Algorithms for Kleene algebra with converse. (2016)
With Damien Pous. In JLAMP.
Conference paper
Petri automata for Kleene allegories. (2015)
With Damien Pous. In LICS.
Conference paper
Decidability of identity-free relational Kleene lattices. (2015)
With Damien Pous. In JFLA.
Conference paper
Kleene algebra with converse. (2014)
With Damien Pous. In RAMICS.

Talks

expand/reduce
c The Equational Theory of Positive Relation Algebra [slides]
MOVE, March 2017
c The Equational Theory of Positive Relation Algebra [slides]
PACE, November 2016
c A Kleene Theorem for Petri automata [slides]
Highlights, September 2016
c Une introduction aux algèbres de Kleene [slides]
Inter'Actions, May 2016 (in French)
c Petri automata for Kleene Allegories [slides]
LiCS, July 2015
c Petri automata for Kleene allegories [slides]
Rapido, June 2015
c Petri automata for Kleene allegories [slides]
Midlands Graduate School, April 2015
c Décidabilité des Treillis de Kleene sans identité [slides]
JFLA, January 2015 (in French)
c Decidability of Identity-free Kleene Lattices [slides]
LAC, November 2014
c Kleene Algebra with Converse [slides]
RAMiCS, April 2014
c Deciding Kleene Algebra with converse is PSpace-complete [slides]
GeoCal, March 2014
c Deciding Kleene Algebra with converse is PSpace-complete [slides]
PACE, February 2014
c Algèbres de Relations, Étude des algèbres de Kleene avec converse [slides]
, September 2013 (Internship defence, in French)
c Equivalence of regular expressions with converse on relations [slides]
PiCoq, June 2013

Documents

expand/reduce