Colin Riba

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 13

Top Venues

CoRR

LICS

Log. Methods Comput. Sci.

FoSSaCS

National Polytechnic Institute of Lorraine, Nancy, France (PHD)

Education History

National Polytechnic Institute of Lorraine, Nancy, France

PHD

Publications

Luca Reggio, Colin Riba
Finitely accessible arboreal adjunctions and Hintikka formulae. CoRR (2023)
Colin Riba, Solal Stern
Liveness Properties in Geometric Logic for Domain-Theoretic Streams. CoRR (2023)
Guilhem Jaber, Colin Riba
Temporal Refinements for Guarded Recursive Types. ESOP (2021)
Anupam Das, Colin Riba
A Functional (Monadic) Second-Order Theory of Infinite Trees. Log. Methods Comput. Sci. 16 (4) (2020)
Colin Riba
Monoidal-closed categories of tree automata. Math. Struct. Comput. Sci. 30 (1) (2020)
Anupam Das, Colin Riba
A Functional (Monadic) Second-Order Theory of Infinite Trees. CoRR (2019)
Pierre Pradic, Colin Riba
A Curry-Howard Approach to Church's Synthesis. Log. Methods Comput. Sci. 15 (4) (2019)
Pierre Pradic, Colin Riba
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words. FoSSaCS (2019)
Pierre Pradic, Colin Riba
A Curry-Howard Approach to Church's Synthesis. CoRR (2018)
Pierre Pradic, Colin Riba
LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic. LICS (2018)
Pierre Pradic, Colin Riba
A Curry-Howard Approach to Church's Synthesis. FSCD (2017)
Colin Riba
Fibrations of Tree Automata. TLCA (2015)
Anupam Das, Colin Riba
A Complete Axiomatization of MSO on Infinite Trees. LICS (2015)
Valentin Blot, Colin Riba
On Bar Recursion and Choice in a Classical Setting. APLAS (2013)
Colin Riba
Forcing MSO on Infinite Words in Weak MSO. LICS (2013)
Colin Riba
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words. IFIP TCS (2012)
Frédéric Blanqui, Claude Kirchner, Colin Riba
On the confluence of lambda-calculus with conditional rewriting CoRR (2011)
Frédéric Blanqui, Claude Kirchner, Colin Riba
On the confluence of lambda-calculus with conditional rewriting. Theor. Comput. Sci. 411 (37) (2010)
Colin Riba
On the Values of Reducibility Candidates. TLCA (2009)
Gilles Barthe, Benjamin Grégoire, Colin Riba
Type-Based Termination with Sized Products. CSL (2008)
Gilles Barthe, Benjamin Grégoire, Colin Riba
A Tutorial on Type-Based Termination. LerNet ALFA Summer School (2008)
Colin Riba
Union of Reducibility Candidates for Orthogonal Constructor Rewriting. CiE (2008)
Colin Riba
On the Stability by Union of Reducibility Candidates. FoSSaCS (2007)
Colin Riba
Strong Normalization as Safe Interaction. LICS (2007)
Frédéric Blanqui, Claude Kirchner, Colin Riba
-Calculus with Conditional Rewriting. FoSSaCS (2006)
Frédéric Blanqui, Colin Riba
Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems. LPAR (2006)
Frédéric Blanqui, Claude Kirchner, Colin Riba
On the confluence of lambda-calculus with conditional rewriting CoRR (2006)
Frédéric Blanqui, Colin Riba
Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems CoRR (2006)

Colin Riba.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Colin Riba