Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem. - Andrés Cordón-Franco; Miguel Angel Gutiérrez-Naranjo; Mario J. Pérez-Jiménez; Agustin Riscos-Núñez; Fernando Sancho-Caparrini (Workshop on Membrane Computing, 2003)

Provably Total Primitive Recursive Functions: Theories with Induction. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (CSL, 2004)

Exploring Computation Trees Associated with P Systems. - Andrés Cordón-Franco; Miguel Angel Gutiérrez-Naranjo; Mario J. Pérez-Jiménez; Agustin Riscos-Núñez (Workshop on Membrane Computing, 2004)

Approximating Non-discrete P Systems. - Andrés Cordón-Franco; Fernando Sancho-Caparrini (Workshop on Membrane Computing, 2004)

On the quantifier complexity of bigtriangleupn+1 (T)? induction. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Arch. Math. Log., 2004)

A Note on Complexity Measures for Probabilistic P Systems. - Andrés Cordón-Franco; Fernando Sancho-Caparrini (J. Univers. Comput. Sci., 2004)

A Prolog Simulator for Deterministic P Systems with Active Membranes. - Andrés Cordón-Franco; Miguel Angel Gutiérrez-Naranjo; Mario J. Pérez-Jiménez; Fernando Sancho-Caparrini (New Gener. Comput., 2004)

Fragments of Arithmetic and true sentences. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Math. Log. Q., 2005)

Envelopes, indicators and conservativeness. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Math. Log. Q., 2006)

On Rules and Parameter Free Systems in Bounded Arithmetic. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (CiE, 2007)

A note on Σ1-maximal models. - Andrés Cordón-Franco; Francisco Félix Lara Martín (J. Symb. Log., 2007)

Existentially Closed Models and Conservation Results in Bounded Arithmetic. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (J. Log. Comput., 2009)

Secure Communication of Local States in Interpreted Systems. - Michael H. Albert; Andrés Cordón-Franco; Hans van Ditmarsch; David Fernández-Duque; Joost J. Joosten; Fernando Soler-Toscano (DCAI, 2011)

A note on parameter free Π1-induction and restricted exponentiation. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Math. Log. Q., 2011)

Local Induction and Provably Total Computable Functions: A Case Study. - Andrés Cordón-Franco; Francisco Félix Lara Martín (CiE, 2012)

A secure additive protocol for card players. - Andrés Cordón-Franco; Hans van Ditmarsch; David Fernández-Duque; Joost J. Joosten; Fernando Soler-Toscano (Australas. J Comb., 2012)

On the optimality of conservation results for local reflection in arithmetic. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (J. Symb. Log., 2013)

Dynamic Consequence and Public announcement. - Andrés Cordón-Franco; Hans van Ditmarsch; Ángel Nepomuceno-Fernández (Rev. Symb. Log., 2013)

A colouring protocol for the generalized Russian cards problem. - Andrés Cordón-Franco; Hans van Ditmarsch; David Fernández-Duque; Fernando Soler-Toscano (Theor. Comput. Sci., 2013)

On axiom schemes for T-provably Δ1 formulas. - Andrés Cordón-Franco; Alejandro Fernández-Margarit; Francisco Félix Lara Martín (Arch. Math. Log., 2014)

Local induction and provably total computable functions. - Andrés Cordón-Franco; Francisco Félix Lara Martín (Ann. Pure Appl. Log., 2014)

A geometric protocol for cryptography with cards. - Andrés Cordón-Franco; Hans van Ditmarsch; David Fernández-Duque; Fernando Soler-Toscano (Des. Codes Cryptogr., 2015)

Existentially Closed Models in the Framework of Arithmetic. - Zofia Adamowicz; Andrés Cordón-Franco; Francisco Félix Lara Martín (J. Symb. Log., 2016)

Predicativity through Transfinite Reflection. - Andrés Cordón-Franco; David Fernández-Duque; Joost J. Joosten; Francisco Félix Lara Martín (J. Symb. Log., 2017)

Lipschitz and Wadge binary games in second order arithmetic. - Andrés Cordón-Franco; Francisco Félix Lara Martín; Manuel J. S. Loureiro (Ann. Pure Appl. Log., 2023)

Lipschitz Determinacy and Arithmetic Transfinite Recursion. - Andrés Cordón-Franco; Francisco Félix Lara Martín; Manuel J. S. Loureiro (CiE, 2024)

Semi-honest subrecursive degrees and the collection rule in arithmetic. - Andrés Cordón-Franco; Francisco Félix Lara Martín (Arch. Math. Log., 2024)

On Conditional Axioms and Associated Inference Rules. - Joaquín Borrego-Díaz; Andrés Cordón-Franco; Francisco Félix Lara Martín (Axioms, 2024)