Skip to content
cs-conference-ranking.org

Colin Riba

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

14

Venues

9

Active years

2006–2026

Best venue rank

A*

Where they publish

Papers

14 indexed papers, newest first.

YearVenueTitleAuthors
2026FSCDA Complete Finitary Refinement Type System for Scott-Open Properties.Colin Riba, Adam Donadille
2025WoLLICInfinitary Refinement Types for Temporal Properties in Scott Domains.Colin Riba, Alexandre Kejikian
2021ESOPTemporal Refinements for Guarded Recursive Types.Guilhem Jaber, Colin Riba
2019FOSSACSA Dialectica-Like Interpretation of a Linear MSO on Infinite Words.Ccilia Pradic, Colin Riba
2018LICSLMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic.Ccilia Pradic, Colin Riba
2015LICSA Complete Axiomatization of MSO on Infinite Trees.Anupam Das, Colin Riba
2013APLASOn Bar Recursion and Choice in a Classical Setting.Valentin Blot, Colin Riba
2013LICSForcing MSO on Infinite Words in Weak MSO.Colin Riba
2008CiEUnion of Reducibility Candidates for Orthogonal Constructor Rewriting.Colin Riba
2008CSLType-Based Termination with Sized Products.Gilles Barthe, Benjamin Grgoire, Colin Riba
2007FOSSACSOn the Stability by Union of Reducibility Candidates.Colin Riba
2007LICSStrong Normalization as Safe Interaction.Colin Riba
2006FOSSACSOn the Confluence ofFrdric Blanqui, Claude Kirchner, Colin Riba
2006LPARCombining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems.Frdric Blanqui, Colin Riba