ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
![Foto de ADRIÁN](/img/nophoto.png)
![Foto de Universidad Politécnica de Valencia](/img/noimage_org.png)
Universidad Politécnica de Valencia
Valencia, EspañaPublicacións en colaboración con investigadores/as de Universidad Politécnica de Valencia (7)
2022
-
Parallel Maude-NPA for Cryptographic Protocol Analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2021
-
A unified framework for declarative debugging and testing
Information and Software Technology, Vol. 129
2019
-
A core Erlang semantics for declarative debugging
Journal of Logical and Algebraic Methods in Programming, Vol. 107, pp. 1-37
2018
-
Declarative debugging of concurrent Erlang programs
Journal of Logical and Algebraic Methods in Programming, Vol. 101, pp. 22-41
2017
-
A survey of algorithmic debugging
ACM Computing Surveys, Vol. 50, Núm. 4
2013
-
A declarative debugger for sequential Erlang programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Speeding up algorithmic debugging using balanced execution trees
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)