Jesús María
Aransay Azofra
PROFESOR CONTRATADO DOCTOR -TIPO 1
Laureano
Lambán Pardo
PROFESOR TITULAR DE UNIVERSIDAD
Publicaciones en las que colabora con Laureano Lambán Pardo (5)
2023
-
Evasiveness Through Binary Decision Diagrams
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
-
Informática para las Matemáticas, Matemáticas para la Informática, Informática Aplicada
Zubía, Núm. 26, pp. 19-37
-
Obtaining an ACL2 specification from an Isabelle/HOL theory
Lecture Notes in Computer Science, Vol. 8884, pp. 49-63
-
Obtaining an ACL2 sprecification from an Isabelle/HOL theory
Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 (Springer), pp. 49-63
2013
-
Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática
Uso de redes sociales en dirección de Trabajos Fin de Grado del Grado en Informática