José-Luis Ruiz-Reina

	2009
16		Francisco-Jesús Martín-Mateos, Julio Rubio, José-Luis Ruiz-Reina: ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System. Calculemus/MKM 2009: 106-121
	2008
15		María-José Hidalgo, José-Antonio Alonso, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina: Constructing Formally Verified Reasoners for the ACC Description Logic. Electr. Notes Theor. Comput. Sci. 200(3): 87-102 (2008)
14		David A. Greve, Matt Kaufmann, Panagiotis Manolios, J. Strother Moore, Sandip Ray, José-Luis Ruiz-Reina, Rob Sumners, Daron Vroon, Matthew Wilding: Efficient execution in an automated reasoning environment. J. Funct. Program. 18(1): 15-46 (2008)
	2007
13		José-Antonio Alonso, Joaquín Borrego-Díaz, María-José Hidalgo, Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina: A Formally Verified Prover for the ALC Description Logic. TPHOLs 2007: 135-150
	2006
12		José-Luis Ruiz-Reina, Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo: Formal Correctness of a Quadratic Unification Algorithm. J. Autom. Reasoning 37(1-2): 67-92 (2006)
	2005
11		Francisco-Jesús Martín-Mateos, José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo: Proof Pearl: A Formal Proof of Higman's Lemma in ACL2. TPHOLs 2005: 358-372
	2004
10		Inmaculada Medina-Bulo, Francisco Palomo-Lozano, José A. Alonso-Jiménez, José-Luis Ruiz-Reina: Verified Computer Algebra in Acl2. Gröbner Bases Computation. AISC 2004: 171-184
9		Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina: Formal Verification of a Generic Framework to Synthetize SAT-Provers. Int. J. Approx. Reasoning 32(4): 287-313 (2004)
	2003
8		Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina: Formal Verification of Molecular Computational Models in ACL2: A Case Study. CAEPIA 2003: 344-353
7		José-Luis Ruiz-Reina, José Antonio Alonso Jimenez, María-José Hidalgo, Francisco-Jesús Martín-Mateos: Formal Reasoning about Efficient Data Structures: A Case Study in ACL2. LOPSTR 2003: 75-91
6		Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina: A Formal Proof of Dickson's Lemma in ACL2. LPAR 2003: 49-58
	2002
5		Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina: Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers. LOPSTR 2002: 182-198
4		José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos: Formal Proofs About Rewriting Using ACL2. Ann. Math. Artif. Intell. 36(3): 239-262 (2002)
	2001
3		Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina: Verifying an Applicative ATP Using Multiset Relations. EUROCAST 2001: 612-626
	2000
2		José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos: Formalizing Rewriting in the ACL2 Theorem Prover. AISC 2000: 92-106
	1999
1		José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo, Francisco-Jesús Martín-Mateos: Mechanical verification of a rule-based unification algorithm in the Boyer-Moore theorem prover. APPIA-GULP-PRODE 1999: 289-304

Coauthor Index

1	José-Antonio Alonso	[1] [2] [3] [4] [5] [6] [8] [9] [11] [12] [13] [15]
2	José A. Alonso-Jiménez	[10]
3	Joaquín Borrego-Díaz	[13]
4	David A. Greve	[14]
5	María-José Hidalgo	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [15]
6	José Antonio Alonso Jimenez	[7]
7	Matt Kaufmann	[14]
8	Panagiotis Manolios (Pete Manolios)	[14]
9	Francisco-Jesús Martín-Mateos	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [15] [16]
10	Inmaculada Medina-Bulo	[10]
11	J. Strother Moore	[14]
12	Francisco Palomo-Lozano	[10]
13	Sandip Ray	[14]
14	Julio Rubio (Julio Rubio Garcia)	[16]
15	Robert W. Sumners (Rob Sumners)	[14]
16	Daron Vroon	[14]
17	Matthew Wilding	[14]

Colors in the list of coauthors