Andrés Cordón Franco

Profesor Titular de Universidad
acordon@us.es
Área de conocimiento: Ciencia de la Computación e Inteligencia Artificial
Departamento: Ciencias de la Computación e Inteligencia Artificial
Grupo: LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO (TIC-137)
Prog. doctorado: Programa de Doctorado en Matemáticas (RD. 99/2011)
Tipo Año Título Fuente
Artículo2017 PREDICATIVITY THROUGH TRANSFINITE REFLECTION JOURNAL OF SYMBOLIC LOGIC
Artículo2016 EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC JOURNAL OF SYMBOLIC LOGIC
Artículo2015 A geometric protocol for cryptography with cards DESIGNS CODES AND CRYPTOGRAPHY
Artículo2014 Local induction and provably total computable functions ANNALS OF PURE AND APPLIED LOGIC
Artículo2014 On axiom schemes for T-provably formulas ARCHIVE FOR MATHEMATICAL LOGIC
Artículo2013 A colouring protocol for the generalized Russian cards problem THEORETICAL COMPUTER SCIENCE
Artículo2013 DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT REVIEW OF SYMBOLIC LOGIC
Artículo2013 ON THE OPTIMALITY OF CONSERVATION RESULTS FOR LOCAL REFLECTION IN ARITHMETIC JOURNAL OF SYMBOLIC LOGIC
Artículo2012 A secure additive protocol for card players Australasian Journal of Combinatorics
Ponencia2012 Local induction and provably total computable functions: A case study Lecture Notes in Computer Science
Artículo2011 A note on parameter free Pi(1)-induction and restricted exponentiation MATHEMATICAL LOGIC QUARTERLY
Ponencia2011 Secure communication of local states in interpreted systems INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE
Artículo2009 Existentially Closed Models and Conservation Results in Bounded Arithmetic JOURNAL OF LOGIC AND COMPUTATION
Artículo2007 A note on Sigma(1)-maximal models JOURNAL OF SYMBOLIC LOGIC
Ponencia2007 On rules and parameter free systems in bounded arithmetic COMPUTATION AND LOGIC IN THE REAL WORLD, PROCEEDINGS
Artículo2006 Envelopes, indicators and conservativeness MATHEMATICAL LOGIC QUARTERLY
Ponencia2005 Aproximating Non-discrete P Systems Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Capítulo2005 Cellular solutions to some numerical NP-complete problems: A prolog implementation Molecular Computational Models: Unconventional Approaches
Ponencia2005 Exploring computation trees associated with P systems Membrane computing: 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, revised selected and invited papers
Artículo2005 Fragments of Arithmetic and true sentences MATHEMATICAL LOGIC QUARTERLY
Artículo2004 A note on complexity measures for probabilistic P systems JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Artículo2004 A prolog simulator for deterministic P systems with active membranes NEW GENERATION COMPUTING
Ponencia2004 Implementing in Prolog an effective cellular solution to the Knapsack problem Membrane computing: 4th International Workshop, WMC 2003, Tarragona, Spain, July 17-22, 2003, revised papers
Ponencia2004 Looking for P Truth Second Brainstorming Week On Membrane Computing
Artículo2004 On the quantifier complexity of Delta(n+1)(T)-induction ARCHIVE FOR MATHEMATICAL LOGIC
Artículo2004 Provably total primitive recursive functions: Theories with induction COMPUTER SCIENCE LOGIC, PROCEEDINGS
Ponencia2004 Weak Metrics on Configurations of a P System Second Brainstorming Week On Membrane Computing
EXTENSIONES DE FRANGMENTOS DE LA ARITMÉTICA (2003)
Dirigida por: Fernandez Magarit, Alejandro

Tesis dirigidas/tutorizadas:1
Fecha lectura Título Rol
22/01/2016 SEMILINEAR ORDER PROPERTY AND INFINITE GAMES Director/a

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
15/03/2011 30/04/2016 Investigador/a Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2011 31/12/2012 Investigador/a La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106) Ministerio de Ciencia e Innovación (Nacional)
13/01/2009 13/01/2014 Investigador/a Lógica de Protocolos Incondicionalmente Seguros (P08-HUM-04159) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2009 31/12/2011 Investigador/a Modelos de la aritmética y álgebras de funciones computables (MTM2008-06435) Ministerio de Educación y Ciencia (Nacional)
31/12/2005 31/12/2008 Investigador/a Modelos de la aritmética y clasificación de funciones computables (MTM2005-08658) Ministerio de Educación y Ciencia (Nacional)

Contratos

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/10/2007 01/04/2009 Investigador/a Mymem. Plataforma de servicios de movilidad (OG-128/07) Asociación de Investigación y Cooperación Industrial de Andalucía (Desconocido)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
14/12/2012 13/12/2014 Investigador/a Epistemic protocol synthesis (STARTING GRANT) (FFI2011-15945-E) Ministerio de Ciencia e Innovación (Nacional)
El investigador no tiene ningún resultado de investigación asociado