E-LIB Suche - Ergebnisse für: Aransay, Jesús

1

Evasiveness Through Binary Decision Diagrams:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Aransay, Jesús ; Lambán, Laureano ; Rubio, Julio - p. 37-52 , 2023

Link: https://doi.org/10.1007/..

2

A Formal Proof of the Computation of Hermite Normal Form in..:

, In: Artificial Intelligence and Symbolic Computation; Lecture Notes in Computer Science,

Divasón, Jose ; Aransay, Jesús - p. 37-53 , 2018

Link: https://doi.org/10.1007/..

3

Formalisation of the computation of the echelon form of a m..:

Aransay, Jesús ; Divasón, Jose
Formal Aspects of Computing. 28 (2016) 6 - p. 1005-1026 , 2016

Link: https://doi.org/10.1007/..

4

A Formalisation in HOL of the Fundamental Theorem of Linear..:

Aransay, Jesús ; Divasón, Jose
Journal of Automated Reasoning. 58 (2016) 4 - p. 509-535 , 2016

Link: https://doi.org/10.1007/..

5

Formalisation in higher-order logic and code generation to ..:

ARANSAY, JESÚS ; DIVASÓN, JOSE
Journal of Functional Programming. 25 (2015) - p. , 2015

Link: https://doi.org/10.1017/..

6

Generating certified code from formal proofs: a case study ..:

Aransay, Jesús ; Ballarin, Clemens ; Rubio, Julio
Formal Aspects of Computing. 22 (2010) 2 - p. 193-213 , 2010

Link: https://doi.org/10.1007/..

7

A Mechanized Proof of the Basic Perturbation Lemma:

Aransay, Jesús ; Ballarin, Clemens ; Rubio, Julio
Journal of Automated Reasoning. 40 (2008) 4 - p. 271-292 , 2008

Link: https://doi.org/10.1007/..

8

GitHub y Google Colaboratory para el desarrollo, comunicaci..:

Aransay, Jesús ; Casado-García, Ángela ; Domínguez, César...
https://aenui.org/actas/indice_e.html#anio2022. , 2022

Link: http://hdl.handle.net/10..

9

Fin de un viaje infinito: integración continua para práctic..:

Aransay, Jesús ; Heras, Jónathan
Aransay, Jesús; Heras, Jónathan. "Fin de un viaje infinito: integración continua para prácticas de programación". En: Badía Contelles, José Manuel; Grimaldo Moreno, Francisco (eds.). Actas de las XXVI Jornadas sobre la Enseñanza Universitaria de la Informática, València, 8-9 de julio de 2020. València: Asociación de Enseñantes Universitarios de la Informática, 2020, pp. 21-28. , 2020

Link: http://hdl.handle.net/10..

10

Uso de herramientas y técnicas DevOps para la gestión y cor..:

Aransay, Jesús ; Heras, Jónathan
https://aenui.org/actas/indice_e.html#anio2019. , 2019

Link: http://hdl.handle.net/10..

11

Creación de un servidor de integración continua para gestió..:

Aransay, Jesús ; García, Francisco ; Heras, Jónathan..
https://aenui.org/actas/indice_e.html#anio2018. , 2018

Link: http://hdl.handle.net/10..

12

Análisis del uso de datos geográficos y Sistemas de Informa..:

Andrades, María Soledad ; Aransay, Jesús ; Llorente, José Ángel...
https://aenui.org/actas/indice_e.html#anio2018. , 2018

Link: http://hdl.handle.net/10..

13

Applications of the Gauss-Jordan algorithm, done right:

Aransay, Jesús ; Divasón, Jose
http://arxiv.org/abs/1401.5910. , 2014

Link: http://arxiv.org/abs/140..

14

Generating certified code from formal proofs: a case study ..:

Aransay, Jesús ; Ballarin, Clemens ; Rubio, Julio
info:eu-repo/semantics/altIdentifier/doi/10.1007/s00165-009-0120-0. , 2009

Link: https://hal.science/hal-..

15

GitHub y Google Colaboratory para el desarrollo, la comunic..:

Jesús Aransay ; Ángela Casado-García ; César Domínguez...
doi:10.5281/zenodo.6531687. , 2022

Link: https://zenodo.org/recor..