Edit Profile (opens in new tab) Riba, Colin Co-Author Distance Author ID: riba.colin Published as: Riba, Colin; Riba, C. External Links: MGP Documents Indexed: 21 Publications since 2004 Co-Authors: 10 Co-Authors with 14 Joint Publications 275 Co-Co-Authors all top 5 Co-Authors 7 single-authored 4 Pradic, Pierre 3 Blanqui, Frédéric 2 Barthe, Gilles 2 Das, Anupam 2 Grégoire, Benjamin 2 Kirchner, Claude 1 Blot, Valentin 1 Ciurana, J. 1 G.-Romeu, M. L. 1 Jaber, Guilhem Serials 2 Logical Methods in Computer Science 1 Theoretical Computer Science 1 MSCS. Mathematical Structures in Computer Science 1 Engineering Computations Fields 17 Mathematical logic and foundations (03-XX) 15 Computer science (68-XX) 2 Category theory; homological algebra (18-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mechanics of deformable solids (74-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 17 Publications have been cited 47 times in 25 Documents Cited by ▼ Year ▼ Type-based termination with sized products. Zbl 1156.68341 Barthe, Gilles; Grégoire, Benjamin; Riba, Colin 9 2008 Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems. Zbl 1165.68389 Blanqui, Frédéric; Riba, Colin 7 2006 On the stability by union of reducibility candidates. Zbl 1142.03335 Riba, Colin 5 2007 A model theoretic proof of completeness of an axiomatization of monadic second-order logic on infinite words. Zbl 1283.03030 Riba, Colin 5 2012 Union of reducibility candidates for orthogonal constructor rewriting. Zbl 1142.03336 Riba, Colin 3 2008 A tutorial on type-based termination. Zbl 1250.68084 Barthe, Gilles; Grégoire, Benjamin; Riba, Colin 3 2009 Monoidal-closed categories of tree automata. Zbl 1435.68183 Riba, Colin 3 2020 A Curry-Howard approach to Church’s synthesis. Zbl 1509.03121 Pradic, Pierre; Riba, Colin 2 2019 LMSO: a Curry-Howard approach to Church’s synthesis via linear logic. Zbl 1453.03070 Pradic, Pierre; Riba, Colin 2 2018 On the confluence of \(\lambda\)-calculus with conditional rewriting. Zbl 1180.03016 Blanqui, Frédéric; Kirchner, Claude; Riba, Colin 1 2006 A complete axiomatization of MSO on infinite trees. Zbl 1394.03008 Das, Anupam; Riba, Colin 1 2015 On the values of reducibility candidates. Zbl 1246.03031 Riba, Colin 1 2009 Fibrations of tree automata. Zbl 1367.68206 Riba, Colin 1 2015 A Dialectica-like interpretation of a linear MSO on infinite words. Zbl 1429.03214 Pradic, Pierre; Riba, Colin 1 2019 A functional (monadic) second-order theory of infinite trees. Zbl 07269253 Das, Anupam; Riba, Colin 1 2020 A Curry-Howard approach to Church’s synthesis. Zbl 1434.03104 Pradic, Pierre; Riba, Colin 1 2017 Temporal refinements for guarded recursive types. Zbl 1473.68047 Jaber, Guilhem; Riba, Colin 1 2021 Temporal refinements for guarded recursive types. Zbl 1473.68047 Jaber, Guilhem; Riba, Colin 1 2021 Monoidal-closed categories of tree automata. Zbl 1435.68183 Riba, Colin 3 2020 A functional (monadic) second-order theory of infinite trees. Zbl 07269253 Das, Anupam; Riba, Colin 1 2020 A Curry-Howard approach to Church’s synthesis. Zbl 1509.03121 Pradic, Pierre; Riba, Colin 2 2019 A Dialectica-like interpretation of a linear MSO on infinite words. Zbl 1429.03214 Pradic, Pierre; Riba, Colin 1 2019 LMSO: a Curry-Howard approach to Church’s synthesis via linear logic. Zbl 1453.03070 Pradic, Pierre; Riba, Colin 2 2018 A Curry-Howard approach to Church’s synthesis. Zbl 1434.03104 Pradic, Pierre; Riba, Colin 1 2017 A complete axiomatization of MSO on infinite trees. Zbl 1394.03008 Das, Anupam; Riba, Colin 1 2015 Fibrations of tree automata. Zbl 1367.68206 Riba, Colin 1 2015 A model theoretic proof of completeness of an axiomatization of monadic second-order logic on infinite words. Zbl 1283.03030 Riba, Colin 5 2012 A tutorial on type-based termination. Zbl 1250.68084 Barthe, Gilles; Grégoire, Benjamin; Riba, Colin 3 2009 On the values of reducibility candidates. Zbl 1246.03031 Riba, Colin 1 2009 Type-based termination with sized products. Zbl 1156.68341 Barthe, Gilles; Grégoire, Benjamin; Riba, Colin 9 2008 Union of reducibility candidates for orthogonal constructor rewriting. Zbl 1142.03336 Riba, Colin 3 2008 On the stability by union of reducibility candidates. Zbl 1142.03335 Riba, Colin 5 2007 Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems. Zbl 1165.68389 Blanqui, Frédéric; Riba, Colin 7 2006 On the confluence of \(\lambda\)-calculus with conditional rewriting. Zbl 1180.03016 Blanqui, Frédéric; Kirchner, Claude; Riba, Colin 1 2006 all cited Publications top 5 cited Publications all top 5 Cited by 35 Authors 8 Riba, Colin 4 Blanqui, Frédéric 3 Abel, Andreas M. 2 Dal Lago, Ugo 2 Petit, Barbara 2 Pradic, Pierre 1 Adelsberger, Stephan 1 Affeldt, Reynald 1 Amaro, Maycon J. J. 1 Barthe, Gilles 1 Bove, Ana 1 Bowman, William J. 1 Chan, Jonathan Cheung-Wai 1 Das, Anupam 1 Feitosa, Samuel S. 1 Fujita, Ken-etsu 1 Ghilardi, Silvio 1 Grégoire, Benjamin 1 Grellois, Charles 1 Jaber, Guilhem 1 Kashima, Ryo 1 Kirchner, Claude 1 Krauss, Alexander 1 Li, Yufeng 1 Pientka, Brigitte 1 Ribeiro, Rodrigo G. 1 Roux, Cody 1 Saito, Ayumu 1 Schubert, Aleksy 1 Setzer, Anton 1 Sozeau, Matthieu 1 Takagi, Kento 1 Takahashi, Yuta 1 Takemura, Ryo 1 van Gool, Samuel Jacob all top 5 Cited in 9 Serials 4 Journal of Functional Programming 2 Theoretical Computer Science 2 MSCS. Mathematical Structures in Computer Science 2 Logical Methods in Computer Science 1 Information Processing Letters 1 Journal of Philosophical Logic 1 The Journal of Symbolic Logic 1 Science of Computer Programming 1 Mathematical Logic Quarterly (MLQ) Cited in 3 Fields 21 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 1 Category theory; homological algebra (18-XX) Citations by Year