Andrés Cordón-Franco

	2011
15		Michael H. Albert, Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Joost J. Joosten, Fernando Soler-Toscano: Secure Communication of Local States in Interpreted Systems. DCAI 2011: 117-124
14		Andrés Cordón-Franco, Hans P. van Ditmarsch, David Fernández Duque, Joost J. Joosten, Fernando Soler-Toscano: A secure additive protocol for card players CoRR abs/1111.0156: (2011)
13		Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara-Martín: A note on parameter free Π1-induction and restricted exponentiation. Math. Log. Q. 57(5): 444-455 (2011)
	2009
12		Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín: Existentially Closed Models and Conservation Results in Bounded Arithmetic. J. Log. Comput. 19(1): 123-143 (2009)
	2007
11		Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín: On Rules and Parameter Free Systems in Bounded Arithmetic. CiE 2007: 179-188
10		Andrés Cordón-Franco, Francisco Félix Lara Martín: A note on Sigma1-maximal models. J. Symb. Log. 72(3): 1072-1078 (2007)
	2006
9		Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín: Envelopes, indicators and conservativeness. Math. Log. Q. 52(1): 51-70 (2006)
	2005
8		Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín: Fragments of Arithmetic and true sentences. Math. Log. Q. 51(3): 313-328 (2005)
	2004
7		Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín: Provably Total Primitive Recursive Functions: Theories with Induction. CSL 2004: 355-369
6		Andrés Cordón-Franco, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez: Exploring Computation Trees Associated with P Systems. Workshop on Membrane Computing 2004: 278-286
5		Andrés Cordón-Franco, Fernando Sancho-Caparrini: Approximating Non-discrete P Systems. Workshop on Membrane Computing 2004: 287-295
4		Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín: On the quantifier complexity of bigtriangleupn+1 (T)? induction. Arch. Math. Log. 43(3): 371-398 (2004)
3		Andrés Cordón-Franco, Fernando Sancho-Caparrini: A Note on Complexity Measures for Probabilistic P Systems. J. UCS 10(5): 559-566 (2004)
2		Andrés Cordón-Franco, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Fernando Sancho-Caparrini: A Prolog Simulator for Deterministic P Systems with Active Membranes. New Generation Comput. 22(4): 349-363 (2004)
	2003
1		Andrés Cordón-Franco, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Fernando Sancho-Caparrini: Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem. Workshop on Membrane Computing 2003: 140-152

Coauthor Index

1	Michael H. Albert (Michael Henry Albert)	[15]
2	Hans P. van Ditmarsch	[14] [15]
3	David Fernández Duque	[14] [15]
4	Alejandro Fernández-Margarit	[4] [7] [8] [9] [11] [12] [13]
5	Miguel A. Gutiérrez-Naranjo	[1] [2] [6]
6	Joost J. Joosten	[14] [15]
7	Francisco Félix Lara-Martín	[13]
8	Francisco Félix Lara Martín	[4] [7] [8] [9] [10] [11] [12]
9	Mario J. Pérez-Jiménez (Mario de J. Pérez-Jiménez)	[1] [2] [6]
10	Agustin Riscos-Núñez	[1] [6]
11	Fernando Sancho-Caparrini	[1] [2] [3] [5]
12	Fernando Soler-Toscano	[14] [15]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page