Listado de publicaciones a texto completo de:
Heras Vicente, Jonathan

Título Autores Fuente Año
A survey of tools for analysing DNA fingerprintsTexto completo open access  Heras Vicente, JonathanDomínguez Pérez, CésarMata Sotés, Eloy JavierPascual Martínez-Losa, María VicoLozano Fernández, CarmenTorres Manrique, CarmenZarazaga Chamorro, Myriam Briefings in Bioinformatics 2016
El grupo de investigación en educación superior en informática de La Rioja y País Vasco: telecolaboración, PBL, valoración por pares y proyectos fin de carreraTexto completo open access  Heras Vicente, JonathanGarcía Izquierdo, Francisco JoséOlarte Larrea, Juan JoséDomínguez Pérez, CésarJaime Elizondo, Arturo; SÁNCHEZ ORTEGA, ANA;  ReVisión: Revista de AENUI 2016
XV Encuentro de Álgebra computacional y aplicacionesTexto completo open access  Heras Vicente, Jonathan (Coordinador de libro colectivo); Romero Ibáñez, Ana (Coordinador de libro colectivo);  2016
WekaBioSimilarity --- extending Weka with resemblance measures.Texto completo de acceso restringido  Heras Vicente, JonathanDomínguez Pérez, CésarPascual Martínez-Losa, María VicoMata Sotés, Eloy Javier Lecture Notes in Artificial Intelligence. Proceedings of CAEPIA 2016. 2016
Modelling algebraic structures and morphisms in ACL2Texto completo de acceso restringido  Heras Vicente, JonathanPascual Martínez-Losa, María Vico; Martin-Mateos, F.J.;  Applicable Algebra in Engineering, Communications and Computing 2015
GelJ - a tool for analyzing DNA fingerprint gel imagesTexto completo de acceso restringido  Heras Vicente, JonathanDomínguez Pérez, CésarMata Sotés, Eloy JavierPascual Martínez-Losa, María VicoLozano Fernández, CarmenTorres Manrique, CarmenZarazaga Chamorro, Myriam BMC Bioinformatics 2015
Surveying and Benchmarking Techniques to Analyse DNA Gel Fingerprint ImagesTexto completo open access  Pascual Martínez-Losa, María VicoMata Sotés, Eloy JavierDomínguez Pérez, CésarHeras Vicente, Jonathan Briefings in Bioinformatics 2015
Obtaining an ACL2 specification from an Isabelle/HOL theoryTexto completo de acceso restringido  Aransay Azofra, Jesús MaríaDivasón Mallagaray, JoséHeras Vicente, JonathanLambán Pardo, LaureanoPascual Martínez-Losa, María VicoRubio García, Angel LuisRubio García, Julio Lecture Notes in Computer Science 2014
A certified reduction strategy for homological image processingTexto completo open access  Domínguez Pérez, CésarHeras Vicente, JonathanRubio García, Julio ACM Transactions on Computational Logic 2014
Obtaining an ACL2 sprecification from an Isabelle/HOL theoryTexto completo de acceso restringido  Aransay Azofra, Jesús MaríaLambán Pardo, LaureanoRubio García, Angel LuisPascual Martínez-Losa, María VicoHeras Vicente, JonathanRubio García, JulioDivasón Mallagaray, José Lecture Notes in Artificial Intelligence. Proceedings of AISC 2014 2014
Verifying a plaftorm for digital imaging: A multi-tool strategyTexto completo open access  Heras Vicente, JonathanMata Martínez, GadeaRomero Ibáñez, AnaRubio García, Julio; Sáenz, Rubén;  Lecture Notes in Computer Science 2013
Proof-Pattern Recognition and Lemma Discovery in ACL2Texto completo de acceso restringido  Heras Vicente, Jonathan; Johansson, Moa; Komendantskaya, Ekaterina; Maclean, Ewen;  Lecture Notes in Computer Science. Proceedings LPAR-19 2013
A Certified Module to Study Digital Images with the Kenzo SystemTexto completo open access  Pascual Martínez-Losa, María VicoRubio García, JulioHeras Vicente, Jonathan Lecture Notes in Computer Science, Computer Aided Systems Theory &- EUROCAST 2011 2012
Towards a certified computation of homology groups for digital imagesTexto completo open access  Mata Martínez, GadeaHeras Vicente, Jonathan; Poza López de Echazarreta, María; Mörtberg, Anders; Dénès, Maxime; Siles, Vincent;  Lectures Notes in Computer Science: Computational Topology in Image Context, 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012, Proceedings 2012
Verifying an algorithm computing Discrete Vector Fields for digital imagingTexto completo open access  Heras Vicente, JonathanRubio García, Julio; Mata Martínez, Gadea; Poza López de Echazarreta, María;  Lecture Notes in Computer Science, Proceedings CICM 2012 2012
fKenzo: a user interface for computations in Algebraic TopologyTexto completo open access  Heras Vicente, JonathanPascual Martínez-Losa, María VicoRubio García, Julio; Sergeraert, Francis;  Journal of Symbolic Computation 2011
fKenzo: una interfaz de usuario para realizar cálculos en Topología AlgebraicaTexto completo open access  Rubio García, JulioHeras Vicente, JonathanPascual Martínez-Losa, María Vico; Sergeraert, Francis;  La Gaceta de la Real Sociedad Matemática Española (RSME) 2011
On automation and certification of a homological method to process biomedical digital imagesTexto completo open access  Heras Vicente, JonathanRubio García, Julio; Mata Martínez, Gadea; Poza López de Echazarreta, María;  ImageN-A 2011
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo SystemTexto completo open access  Heras Vicente, JonathanPascual Martínez-Losa, María VicoRubio García, Julio Lecture Notes in Computer Science 2011
Incidence Simplicial Matrices Formalized in Coq/SSReflectTexto completo open access  Heras Vicente, Jonathan; Dénès, Maxime; Poza López de Echazarreta, Eduardo; Rideau, Laurence;  Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings 2011
A System for Computing and Reasoning in Algebraic TopologyTexto completo open access  Heras Vicente, JonathanPascual Martínez-Losa, María VicoRubio García, Julio Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings 2011
Gestión Mecanizada del Conocimiento Matemático en Topología AlgebraicaTexto completo open access  Heras Vicente, JonathanPascual Martínez-Losa, María Vico (Director de tesis); Rubio García, Julio (Director de tesis);  2011
Integrating multiple sources to answer questions in Algebraic TopologyTexto completo open access  Pascual Martínez-Losa, María VicoRubio García, JulioRomero Ibáñez, AnaHeras Vicente, Jonathan Lectures Notes in Computer Science: Intelligent Computer Mathematics10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings 2010
Mediated access to Symbolic Computation Systems: An OpenMath approachTexto completo open access  Heras Vicente, JonathanPascual Martínez-Losa, María Vico Contribuciones científicas en honor de Mirian Andrés Gómez 2010
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant SystemsTexto completo open access  Rubio García, JulioHeras Vicente, JonathanPascual Martínez-Losa, María Vico Lectures Notes in Computer Science: Intelligent Computer Mathematics16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings 2009
Mediated access to Symbolic Computation SystemsTexto completo open access  Pascual Martínez-Losa, María VicoRubio García, JulioHeras Vicente, Jonathan Lecture Notes in Computer Science 2008