Papers archive

Algorithms, Theory & Logic

Timed Temporal Logics.

Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell.
Models, Algorithms, Logics and Tools 2017.

Recent Developments in FDR.

Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell.
CAV 2012.

Preface.

Michael W. Mislove, Joël Ouaknine.
Electr. Notes Theor. Comput. Sci. 2011.