Andrés Cordón Franco
Telefono: 954556979
Email: Solicitar correo
Perfil en ORCID: 0000-0002-5967-2536
Perfil en Scopus: 8355371500
Perfil en Dialnet: 2549340

Grupo de Investigación: Logica, Computacion e Ingenieria del Conocimiento
Departamento/Unidad: Ciencias de la Computación e Inteligencia Artificial
Situación profesional: Profesor Titular de Universidad

Participa en los siguientes proyectos/ayudas en la US:

• Proyecto de investigación:
  • La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106 - Investigador)
  • Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844 - Investigador)
  • Modelos de la aritmética y álgebras de funciones computables (MTM2008-06435 - Investigador)
  • Lógica de Protocolos Incondicionalmente Seguros (P08-HUM-04159 - Investigador)
  • Modelos de la aritmética y clasificación de funciones computables (MTM2005-08658 - Investigador)
  
  
• Contrato con empresas (Arts. 68/83 LOU):
  • Mymem. Plataforma de servicios de movilidad (OG-128/07 - Investigador)
  
  
• Ayuda a la investigación:
  • Incentivo al Grupo de Investigación TIC-137 (2017/TIC-137 - Investigador)
  • Epistemic protocol synthesis (STARTING GRANT) (FFI2011-15945-E - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2007/TIC-137 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2006/TIC-137 - Investigador)
  • Ayuda a la Consolidación del Grupo de Investigación TIC-137 (2005/TIC-137 - Investigador)
  
  

Cobertura de la base de datos de proyectos, véase aqui

Publicaciones:

Libros

Alonso Jimenez, Jose Antonio, Aranda Corral, Gonzalo A., Chavez Gonzalez, Antonia Mª, Cordon Franco, Andres, Hidalgo Doblado, Maria Jose, et. al.:
Exámenes de Programación funcional con Haskell (2009-2015). OpenLibra. 2015. 602

Cordon Franco, Andres, Fernandez Margarit, Alejandro:
Elementos Definibles en Modelos de la Aritmética

Capítulos en Libros

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure Communication of Local States in Interpreted Systems. Pag. 117-124. En: International Symposium on Distributed Computing and Artificial Intelligence. 2011. ISBN 978-3-642-22358-7

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
On Conservation Results for Parameter Free ΠN-Induction. Pag. 49-97. En: Studies in Weak Arithmetics. Standford, Estados Unidos. Csli Publications. 2009. ISBN 978-1-57586-602-4

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Cellular Solutions for Some Numerical NP-Complete Problems: a Prolog Implementation. Pag. 115-149. En: Molecular Computational Models: Unconventional Approaches. Hershey, USA. Idea Group Inc. 2005. ISBN 1-59140-333-2

Cordon Franco, Andres:
Looking for P Truth. Pag. 134-138. En: Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). Research Group on Natural Computing - Universidad de Sevilla. 2004. ISBN 84-688-6101-4

Cordon Franco, Andres:
Weak Metrics on Configurations of a P System. Pag. 139-151. En: Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). Research Group on Natural Computing - Universidad de Sevilla. 2004. ISBN 84-688-6101-4

Publicaciones en Revistas

Cordon Franco, Andres, Fernandez Duque, David, Joosten, Joost Johannes, Lara Martin, Francisco Felix:
Predicativity through transfinite recursion. En: The Journal of Symbolic Logic. 2017. Vol. 82. Núm. 3. Pag. 787-808

Adamowicz, Zofia, Cordon Franco, Andres, Lara Martin, Francisco Felix:
Existentially closed models in the framework of arithmetic. En: The Journal of Symbolic Logic. 2016. Vol. 81. Núm. 2. Pag. 744-788

Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Soler Toscano, Fernando:
A geometric protocol for cryptography with cards. En: Designs, Codes, and Cryptography. 2015. Vol. 74. Núm. 1. Pag. 113-125. 10.1007/s10623-013-9855-y

Cordon Franco, Andres, Van Ditmarsch, Hans, Nepomuceno Fernandez, Angel:
Dynamic consequence and public announcement. En: The Review of Symbolic Logic. 2013. Vol. 6. Núm. 4. Pag. 659-679. : http://0-dx.doi.org.fama.us.es/10.1017/S1755020313000294

Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Soler Toscano, Fernando:
A colouring protocol for the generalized Russian cards problem. En: Theoretical Computer Science. 2013. Vol. 495. Pag. 81-95. 10.1016/j.tcs.2013.05.010

Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, Soler Toscano, Fernando:
A secure additive protocol for card players. En: Australasian Journal of Combinatorics. 2012. Vol. 54. Pag. 163-175

Cordon Franco, Andres, Fernández Margarit, Alejandro, Lara Martin, Francisco Felix:
A Note on Parameter Free $\Pi_1$-Induction and Restricted Exponentiation. En: Mathematical Logic Quarterly. 2011. Vol. 57. Núm. 5. Pag. 444-455. 10.1002/malq.201010013

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Existentially Closed Models and Conservation Results in Bounded Arithmetic. En: Journal of Logic and Computation. 2009. Vol. 19. Núm. 1. Pag. 123-143

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
A Note on Sigma(1)-Maximal Models. En: The Journal of Symbolic Logic. 2007. Vol. 72. Núm. 3. Pag. 1072-1078

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
On Rules and Parameter Free Systems in Bounded Arithmetic. En: Lecture Notes in Computer Science. 2007. Vol. 4497. Pag. 179-188

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Envelopes, Indicators and Conservativeness. En: Mathematical Logic Quarterly. 2006. Vol. 52. Núm. 1. Pag. 51-70

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Fragments of Arithmetic and True Sentences. En: Mathematical Logic Quarterly. 2005. Vol. 51. Núm. 3. Pag. 313-328

Cordon Franco, Andres, Sancho Caparrini, Fernando:
Approximating Non-Discrete P Systems. En: Lecture Notes in Computer Science. 2005. Vol. 3365. Pag. 287-295

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Exploring Computation Trees Associated With P Systems. En: Lecture Notes in Computer Science. 2005. Vol. 3365. Pag. 278-286

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
A Prolog Simulator for Deterministic P Systems With Active Membranes. En: New Generation Computing. 2004. Vol. 22. Núm. 4. Pag. 349-363

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
On the Quantifier Complexity of Delta(N+1)(T)-Induction. En: Archive for Mathematical Logic. 2004. Vol. 43. Núm. 3. Pag. 371-398

Cordon Franco, Andres, Sancho Caparrini, Fernando:
A Note on Complexity Measures for Probabilistic P Systems. En: Journal of universal computer science. 2004. Vol. 10. Núm. 5. Pag. 559-566

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Provably Total Primitive Recursive Functions: Theories With Induction. En: Lecture Notes in Computer Science. 2004. Vol. 3210. Pag. 355-369

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin, Sancho Caparrini, Fernando:
Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem. En: Lecture Notes in Computer Science. 2004. Vol. 2933. Pag. 140-152

Otra participación en Libros de Actas

Fernandez Margarit, Alejandro (Editor/a), Cordon Franco, Andres (Editor/a):
Jaf 26. 26èmes Journées sur Les Arithmétiques Faibles. (26th Weak Arithmetics Days). 2008. ISBN 978-84-612-1820-2. 128. Fénix Editora. Santander (ESPAÑA)

Aportaciones a Congresos

Cordon Franco, Andres:
On determinacy of Lipschitz and Wadge games in second order arithmetic. Comunicación en congreso. Logic Colloquium - European Summer Meeting of the Association for Symbolic Logic. Poznan, POLONIA. 2021

Cordon Franco, Andres, Lara Martin, Francisco Felix, Loureiro, Manuel:
On determinacy of Lipschitz and Wadge games in second order arithmetic. Comunicación en congreso. Logic Colloquium - European Summer Meeting of the Association for Symbolic Logic. Poznan, -, POLONIA. 2021

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure communication of local states in interpreted systems. Comunicación en congreso. DCAI-2011: International Symposium on Distributed Computing and Artificial Intelligence. Rectorado de la Universidad de Salamanca. 2011

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Local Versions of the Kreisel-Levy Theorem. Comunicación en congreso. Jaf, Journées sur Les Arithmètiques Faibles/Weak Arithmetics Days. Varsovia (Polonia). 2010

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
On Conservation Results for Conditional Axioms Schemes in First Order Arithmetic. Comunicación en congreso. Logic Colloquium 2010. Paris (Francia). 2010

Albert, Michael, Cordon Franco, Andres, Van Ditmarsch, Hans, Fernandez Duque, David, Joosten, Joost Johannes, et. al.:
Secure Communication of Local States in Multi-Agent Systems. Comunicación en congreso. Logics in Security. Copenhague, Dinamarca. 2010

Van Ditmarsch, Hans, Gomez-Caminero Parejo, Emilio Francisco, Fernandez Duque, David, Nepomuceno Fernandez, Angel, Cordon Franco, Andres:
Two Mischievous Dynamic Consequence Relations. Comunicación en congreso. Ilcli International Workshop on Logic and Philosophy of Knowledge, Communication and Action. Zarautz, Spain. 2010

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Parameter Free $\pi_1$ Induction and Restricted Exponentiation. Comunicación en congreso. Jaf, Journées sur Les Arithmétiques Faibles/Weak Arithmetics Days. Fontainebleau, Francia. 2009

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
A Model-Theoretic Approach to Parameter Free $\pi_2$ Induction. Comunicación en congreso. Jaf, Journées sur Les Arithmétiques Faibles/Weak Arithmetics Days. Fontainebleau, Francia. 2009

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
On Rules and Parameter Free Systems in Bounded Arithmetic. Comunicación en congreso. Computability in Europe, CIE 2007. Siena, Italia. 2007. Computation and Logic in the Real World. 179. 188

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
On Axiom Schemes for ∆N+1(T)-Formulas. Comunicación en congreso. 24e Journées D¿Arithmétiques Faibles. Fontainebleau. 2005. Le Bulletin de L'association Française Pour L¿Intelligence Artificielle. 50. 52

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Towards an Efficient Strategy for Searching in P Systems. Comunicación en congreso. Ecai 2004. Valencia, España. 2004. Workshop 5: Symbolic Networks (16th European Conference on Artificial Inteligence). 15. 25

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Exploring Computation Trees Associated With P Systems. Comunicación en congreso. Workshop on Membrane Computing . Milan, Italia. 2004. Pre-Proceedings of the Fifth Workshop on Membrane Computing, Wmc5. 196. 204

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Provably Total Primitive Recursive Functions: Theories With Induction. Comunicación en congreso. Annual Conference of the Eacsl. Karpacz (Poland). 2004. Computer Science Logic. 355. 369

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Weak Metrics on Configurations of a P System. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004. Proceedings of the Second Brainstorming Week on Membrane Computing. 139. 151

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús:
Looking for P Truth. Comunicación en congreso. Second Brainstorming Week on Membrane Computing. Santander (ESPAÑA). 2004. Proceedings of the Second Brainstorming Week on Membrane Computing. 134. 138

Cordon Franco, Andres, Sancho Caparrini, Fernando:
Non-Discrete P Systems. Comunicación en congreso. Workshop on Membrane Computing . Milan, Italia. 2004. Pre-Proceedings of the Fifth Workshop on Membrane Computing, Wmc5. 205. 207

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Provably Total Primitive Recursive Functions. Comunicación en congreso. Journées sur Les Arithmetiques Faibles/Weak Arithmetics Days. Nápoles, Italia. 2003

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Sancho Caparrini, Fernando:
A Prolog Simulator for Deterministic P Systems With Active Membranes. Comunicación en congreso. Brainstorming Week on Membrane Computing. Tarragona. España. 2003. Proceedings Brainstorming Week on Membrane Computing. 141. 154

Cordon Franco, Andres, Gutierrez Naranjo, Miguel Angel, Pérez Jiménez, Mario Jesús, Riscos Nuñez, Agustin:
Implementing in Prolog an Effective Cellular Solution for the Knapsack Problem. Comunicación en congreso. Workshop on Membrane Computing, WMC 2003. Tarragona, España. 2003. Technical Report N. 28 of the Rovira I Virgili University. 185. 196

Cordon Franco, Andres, Fernandez Margarit, Alejandro, Lara Martin, Francisco Felix:
Parameter Free Induction and True Sentences. Comunicación en congreso. International Congress of Logic, Methodology and Philosophy of Science. Oviedo (España). 2003. 12th International Congress of Logic, Methodology and Philosophy of Science. 63. 64

Otras Publicaciones

Cordon Franco, Andres, Fernandez Margarit, Alejandro:
Fragmentos de la Aritmética. Otras Publicaciones. Español