| 2025 |
J |
jnl |
J. Syst. Softw.
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
|
| 2024 |
A |
conf |
ISSTA
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
|
| 2023 |
J |
jnl |
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
|
| 2023 |
— |
conf |
TACAS (1)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
|
| 2021 |
J |
jnl |
IEEE Access
Jesús Correas, Pablo Gordillo, Guillermo Román-Díez
|
| 2020 |
J |
jnl |
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
|
| 2020 |
— |
conf |
TACAS (2)
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
|
| 2020 |
A |
conf |
ICST
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
|
| 2019 |
J |
jnl |
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
|
| 2019 |
J |
jnl |
J. Syst. Softw.
Elvira Albert, Jesús Correas, Guillermo Román-Díez
|
| 2019 |
J |
jnl |
CoRR
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
|
| 2019 |
A |
conf |
ISSTA
Elvira Albert, Jesús Correas, Pablo Gordillo, Guillermo Román-Díez, Albert Rubio
|
| 2018 |
J |
jnl |
ACM Trans. Comput. Log.
Elvira Albert, Jesús Correas, Einar Broch Johnsen, Violet Ka I Pun, Guillermo Román-Díez
|
| 2016 |
— |
conf |
Theory and Practice of Formal Methods
Elvira Albert, Jesús Correas, Guillermo Román-Díez
|
| 2015 |
B |
conf |
SAS
Elvira Albert, Jesús Correas, Einar Broch Johnsen, Guillermo Román-Díez
|
| 2015 |
B |
conf |
FM
Elvira Albert, Puri Arenas, Jesús Correas, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, Germán Puebla, Guillermo Román-Díez
|
| 2013 |
B |
conf |
IFM
Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
|
| 2012 |
— |
conf |
FMCO
Elvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini
|
| 2012 |
C |
conf |
PEPM
Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez
|
| 2010 |
— |
conf |
FACS
Diana V. Ramírez-Deantes, Jesús Correas, Germán Puebla
|
| 2008 |
C |
conf |
PEPM
Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
|
| 2006 |
B |
conf |
LPAR
Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
|
| 2005 |
C |
conf |
LOPSTR
Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
|
| 2004 |
— |
ch. |
Program Development in Computational Logic
Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
|
| 2004 |
C |
conf |
PADL
Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo
|
| 2003 |
B |
conf |
ICLP
Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo
|