Jesús Aransay
ORCIDPublication Activity (10 Years)
Years Active: 2004-2023
Publications (10 Years): 11
Publications (10 Years): 11
Publications
- Jesús Aransay, Laureano Lambán, Julio Rubio
- Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio
- Jesús Aransay, Alejandro del Campo, Julius Michaelis
- Jesús Aransay, Jose Divasón
- Jose Divasón, Jesús AransayEchelon Form. Arch. Formal Proofs 2015 (2015)
- Jesús Aransay, Jose Divasón
- Jose Divasón, Jesús AransayQR Decomposition. Arch. Formal Proofs 2015 (2015)
- Jose Divasón, Jesús AransayHermite Normal Form. Arch. Formal Proofs 2015 (2015)
- Jose Divasón, Jesús Aransay
- Jesús Aransay, Jose Divasón
- Jose Divasón, Jesús Aransay
- Jesús Aransay, César Domínguez
- Jesús Aransay, Clemens Ballarin, Julio Rubio
- Jesús Aransay
- Jesús Aransay, Clemens Ballarin, Julio Rubio