Investigación

Publicaciones

• Modelling Algebraic Structures and Morphisms in ACL2, J. Heras, F.J. Martín Mateos, V. Pascual. Applicable Algebra in Engineering, Communication and Computing (ISSN 0938-1279) 26(3), 277-303, Springer, 2015.

• Formally Verified Tableau-Based Reasoners for a Description Logic, M.J. Hidalgo, J.A. Alonso, J. Borrego, F.J. Martín Mateos, J.L. Ruiz, Journal of Automated Reasoning (ISSN 0168-7433), 52(3), 331-360, Springer, 2014.

• Verifying the Bridge between Simplicial Topology and Algebra: the Eilenberg–Zilber Algorithm, L. Lambán, J. Rubio, F.J. Martín Mateos, J.L. Ruiz, Logic Journal of the IGPL (ISSN 1367-0751), 22(1), 39-65, Oxford University Press, 2014.

• Formalization of a Normalization Theorem in Simplicial Topology, L. Lambán, F.J. Martín, J. Rubio, J.L. Ruiz, Annals of Mathematics and Artificial Intelligence (ISSN 1012-2443), 64(1), 1-37, Kluwer Academic Publishers, 2012.

• Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials, L. Lambán, F.J. Martín, J. Rubio, J.L. Ruiz, Lecture Notes in Computer Science (ISSN 0302-9743), 6898, 200-215, Springer-Verlag, 2011.

• Proof Pearl: A Formal Proof of Higman's Lemma in ACL2, F.J. Martín, J.L. Ruiz, J.A. Alonso, M.J. Hidalgo, Journal of Automated Reasoning (ISSN 0168-7433), 47(3), 229-250, Kluwer Academic Publishers, 2011.

• Topología Simplicial en ACL2, L. Lambán, F.J. Martín, J.L. Ruiz, Contribuciones científicas en honor de Mirian Andrés Gómez (ISBN 978-84-96487-50-5), 1-20, Logroño, España, 2010.

• Expert System to Real Time Control of Machining Processes, F.J. Martín, L.C. González, R. Serrano, Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (ISSN 0302-9743), 5988, 281-290, Springer-Verlag, 2010.

• Sistema experto para el control en tiempo real de procesos de mecanizado, F.J. Martín, L.C. González, R. Serrano, Actas de la XIII Conferencia de la Asociación Española para la Inteligencia Artificial (ISBN 978-84-692-6424-9), 1, 477-496, Sevilla, España, 2009.

• Verificación y eficiencia en programas para el cálculo simbólico: estudio de un caso, F.J. Martín, J.L. Ruiz, J. Rubio, L. Lambán, IX Jornadas sobre Programación y Lenguajes (ISBN 978-84-692-4600-9), 1, 7-14, San Sebastián, España, 2009.

• ACL2 verification of simplicial degeneracy programs in the Kenzo system, F.J. Martín, J. Rubio, J.L. Ruiz, Lecture Notes in Artificial Intelligence (ISSN 0302-9743), 5625, 106-121, Springer-Verlag, 2009.

• Architecture for the Optimization of a Machining Process in Real Time through Rule-Based Expert System, R. Serrano, L.C. Gonzalez, F.J. Martín, Third Manufacturing Engineering Society International Conference: MESIC-09, AIP Conference Proceedings (ISSN 0094-243X), 1181, 652-661, American Institute of Physics, 2009.