|
|
|
CORDON FRANCO, ANDRESPerfil en ORCID: 0000-0002-5967-2536 Perfil en Scopus: 8355371500\ Perfil en Dialnet: 2549340 Grupos de Investigación - LOGICA, COMPUTACION E INGENIERIA DEL CONOCIMIENTO
Responsable de los siguientes proyectos/ayudas en la USParticipa los siguientes proyectos/ayudas en la USProyectos: - Epistemic protocol synthesis ( FFI2011-15945-E - Investigador/a).
- La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención ( AIB2010PT-00106 - Investigador/a).
- MODELOS DE LA ARITMÉTICA Y ÁLGEBRAS DE FUNCIONES COMPUTABLES ( MTM2008-06435 - Investigador/a).
- MODELOS DE LA ARITMÉTICA Y CLASIFICACIÓN DE FUNCIONES COMPUTABLES ( MTM2005-08658 - Investigador/a).
- CLASIFICACIÓN DE LAS FUNCIONES COMPUTABLES MEDIANTE ESPECIFICACIONES ARITMÉTICAS: METODOLOGÍA Y DISEÑO ( DGES PB96-1345 - Investigador/a).
- LÓGICA DE PROTOCOLOS INCONDICIONALMENTE SEGUROS ( P08-HUM-4159 - Investigador/a).
Contratos: - MYMEM: CREACIÓN DE UN SERVICIO MÓVIL DE RELACIÓN ENTRE CONTACTOS ( PROYECTO MINERVA 1C/029 - Investigador/a ).
Ayudas: - Epistemic protocol synthesis (STARTING GRANT) ( FFI2011-15945-E - Investigador/a ).
PublicacionesLibros: - Alonso-Jimenez, Jose Antonio, Riscos-Nuñez, Agustin, Valencia-Cabrera, Luis, Aranda-Corral, Gonzalo A., Chavez-Gonzalez, Antonia Mª, Cordon-Franco, Andres, Hidalgo-Doblado, Maria Jose, Martín-mateos, Francisco Jesús, Martínez-del-Amor, Miguel Ángel, Pérez-Hurtado De Mendoza, Ignacio, Quesada-Moreno, Jose Francisco:
Exámenes de Programación funcional con Haskell (2009-2015). OpenLibra. 2015. ISBN - Cordon-Franco, Andres, Fernandez-Margarit, Alejandro:
ELEMENTOS DEFINIBLES EN MODELOS DE LA ARITMÉTICA. . . ISBN
Capítulo de Libros: - Albert, Michael, Cordon-Franco, Andres, Van Ditmarsch-, Hans, Fernandez-Duque, David, Joosten-, Joost Johannes, Soler-Toscano, Fernando:
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. 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. IDEA GROUP INC.. 2005. ISBN 1-59140-333-2 - Cordon-Franco, Andres:
WEAK METRICS ON CONFIGURATIONS OF A P SYSTEM. Pag. 139 - 151. En: SECOND BRAINSTORMING WEEK ON MEMBRANE COMPUTING. RESEARCH GROUP ON NATURAL COMPUTING - UNIVERSIDAD DE SEVILLA. 2004. ISBN 84-688-6101-4 - Cordon-Franco, Andres:
LOOKING FOR P TRUTH. Pag. 134 - 138. En: SECOND BRAINSTORMING WEEK ON MEMBRANE COMPUTING. 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, Fernandez-Duque, David, Soler-Toscano, Fernando:
A colouring protocol for the generalized Russian cards problem. En: Theoretical Computer Science. 2013. Vol. 495. Núm. . Pag. 81-95 10.1016/j.tcs.2013.05.010 - 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, Joosten-, Joost Johannes, Soler-Toscano, Fernando:
A secure additive protocol for card players. En: Australasian Journal of Combinatorics. 2012. Vol. 54. Núm. . 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:
ON RULES AND PARAMETER FREE SYSTEMS IN BOUNDED ARITHMETIC. En: Lecture Notes in Computer Science. 2007. Vol. 4497. Núm. . Pag. 179-188 - 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:
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. Núm. . 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. Núm. . 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:
PROVABLY TOTAL PRIMITIVE RECURSIVE FUNCTIONS: THEORIES WITH INDUCTION. En: Lecture Notes in Computer Science. 2004. Vol. 3210. Núm. . Pag. 355-369 - 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, 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. Núm. . Pag. 140-152
Otra participación en Libros de Actas: - Fernandez-Margarit, Alejandro, Cordon-Franco, Andres, Lara-Martin,F:
JAF 26. 26ÈMES JOURNÉES SUR LES ARITHMÉTIQUES FAIBLES. (26TH WEAK ARITHMETICS DAYS). 2008. ISBN 978-84-612-1820-2. 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, Soler-Toscano, Fernando:
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 - ALBERT-,MICHAEL, Cordon-Franco, Andres, Van Ditmarsch-, Hans, Fernandez-Duque, David, Joosten-, Joost Johannes, Soler-Toscano, Fernando:
SECURE COMMUNICATION OF LOCAL STATES IN MULTI-AGENT SYSTEMS. Comunicación en congreso. LOGICS IN SECURITY () (.2010.COPENHAGUE, DINAMARCA). COPENHAGUE, DINAMARCA. 2010 - 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 (29) (29.2010.VARSOVIA (POLONIA)). 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 () (.2010.PARIS (FRANCIA)). PARIS (FRANCIA). 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 (2) (2.2010.ZARAUTZ, SPAIN). 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 (28) (28.2009.FONTAINEBLEAU, FRANCIA). 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 (28) (28.2009.FONTAINEBLEAU, FRANCIA). 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 (3) (3.2007.SIENA, ITALIA.). SIENA, ITALIA.. 2007 - 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 (WEAK ARITHMETICS DAYS) (24) (24.2005.FONTAINEBLEAU). FONTAINEBLEAU. 2005 - 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 (5) (5.2004.MILAN, ITALIA). MILAN, ITALIA. 2004 - 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 (13) (13.2004.KARPACZ (POLAND)). KARPACZ (POLAND). 2004 - 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 (16TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE) (16) (16.2004.VALENCIA, ESPAÑA). VALENCIA, ESPAÑA. 2004 - 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 - 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 - Cordon-Franco, Andres, Sancho-Caparrini, Fernando:
NON-DISCRETE P SYSTEMS. Comunicación en congreso. WORKSHOP ON MEMBRANE COMPUTING (5) (5.2004.MILAN, ITALIA). MILAN, ITALIA. 2004 - 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 (12) (12.2003.OVIEDO (ESPAÑA)). OVIEDO (ESPAÑA). 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 - 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 (4) (4.2003.TARRAGONA, ESPAÑA). TARRAGONA, ESPAÑA. 2003 - 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 (22) (22.2003.NÁPOLES, ITALIA). NÁPOLES, ITALIA. 2003
|
