Jónathan Heras
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 76
Publications (10 Years): 76
Publications
- Coen de Vente, Koenraad A. Vermeer, Nicolas Jaccard, He Wang, Hongyi Sun, Firas Khader, Daniel Truhn, Temirgali Aimyshev, Yerkebulan Zhanibekuly, Tien-Dung Le, Adrian Galdran, Miguel Ángel González Ballester, Gustavo Carneiro, Devika R. G, Hrishikesh Panikkasseril Sethumadhavan, Densen Puthussery, Hong Liu, Zekang Yang, Satoshi Kondo, Satoshi Kasai, Edward Wang, Ashritha Durvasula, Jónathan Heras, Miguel Ángel Zapata, Teresa Araújo, Guilherme Aresta, Hrvoje Bogunovic, Mustafa Arikan, Yeong Chan Lee, Hyun Bin Cho, Yoon Ho Choi, Abdul Qayyum, Imran Razzak, Bram van Ginneken, Hans G. Lemij, Clara I. Sánchez
- Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio
- Jónathan Heras
- Rubén Escobedo, Jónathan Heras
- Coen de Vente, Koenraad A. Vermeer, Nicolas Jaccard, He Wang, Hongyi Sun, Firas Khader, Daniel Truhn, Temirgali Aimyshev, Yerkebulan Zhanibekuly, Tien-Dung Le, Adrian Galdran, Miguel Ángel González Ballester, Gustavo Carneiro, Devika R. G, Hrishikesh P. S, Densen Puthussery, Hong Liu, Zekang Yang, Satoshi Kondo, Satoshi Kasai, Edward Wang, Ashritha Durvasula, Jónathan Heras, Miguel Ángel Zapata, Teresa Araújo, Guilherme Aresta, Hrvoje Bogunovic, Mustafa Arikan, Yeong Chan Lee, Hyun Bin Cho, Yoon Ho Choi, Abdul Qayyum, Imran Razzak, Bram van Ginneken, Hans G. Lemij, Clara I. Sánchez
- María Villota, César Domínguez, Jónathan Heras, Eloy J. Mata, Vico Pascual
- Adrián Inés, César Domínguez, Jónathan Heras, Gadea Mata, Julio Rubio
- María Villota, César Domínguez, Jónathan Heras, Eloy Mata, Vico Pascual
- Jónathan Heras
- Eduardo Paluzo-Hidalgo, Rocío González-Díaz, Miguel A. Gutiérrez-Naranjo, Jónathan Heras
- Ángela Casado-García, Jónathan Heras
- Ángela Casado-García, Jónathan Heras, Alvaro Sanz-Sáez
- Adrián Inés, César Domínguez, Jónathan Heras, Eloy Mata, Vico Pascual
- Ángela Casado, Jónathan Heras
- Ekaterina Komendantskaya, Jónathan Heras
- Ekaterina Komendantskaya, Jónathan Heras
- César Domínguez, Jónathan Heras, Eloy Mata, Vico Pascual, Maria Soledad Vázquez-Garcidueñas, Gerardo Vázquez-Marrufo
- Jónathan Heras, César Domínguez, Eloy Mata, Vico Pascual
- César Domínguez, Jónathan Heras, Eloy Mata, Vico Pascual
- Jónathan Heras, César Domínguez, Eloy Mata, Vico Pascual, Carmen Lozano, Carmen Torres, Myriam Zarazaga
- Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
- Jónathan Heras, César Domínguez, Eloy Mata, Vico Pascual, Carmen Lozano, Carmen Torres, Myriam Zarazaga
- Gadea Mata, Jónathan Heras, Miguel Morales, Ana Romero, Julio Rubio
- Jónathan Heras, Francisco-Jesús Martín-Mateos, Vico Pascual
- Jónathan Heras, Ekaterina Komendantskaya
- Jónathan Heras, Ekaterina Komendantskaya
- María Poza, César Domínguez, Jónathan Heras, Julio Rubio
- Jónathan Heras, Ekaterina Komendantskaya
- Jónathan Heras, Ekaterina Komendantskaya
- Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt
- Ana Romero, Jónathan Heras, Julio Rubio, Francis Sergeraert
- Ana Romero, Jónathan Heras, Gadea Mata, Miguel Morales, Julio Rubio
- Jónathan Heras, Gadea Mata, Ana Romero, Julio Rubio, Rubén Sáenz
- Jónathan Heras, Ekaterina Komendantskaya
- Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
- Jónathan Heras, Ekaterina Komendantskaya
- Jónathan Heras, Thierry Coquand, Anders Mörtberg, Vincent Siles
- María Poza, César Domínguez, Jónathan Heras, Julio Rubio
- Jónathan Heras, Ekaterina KomendantskayaML4PG: proof-mining in Coq CoRR (2013)
- Jónathan Heras, Ekaterina Komendantskaya
- Jónathan Heras, Ekaterina Komendantskaya, Moa Johansson, Ewen Maclean
- Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras