Pedro Valero
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2017–2020
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | MFCS | A Quasiorder-Based Perspective on Residual Automata. | Pierre Ganty, Elena Gutirrez, Pedro Valero |
| 2019 | DCC | Regular Expression Search on Compressed Text. | Pierre Ganty, Pedro Valero |
| 2019 | MFCS | A Congruence-based Perspective on Automata Minimization Algorithms. | Pierre Ganty, Elena Gutirrez, Pedro Valero |
| 2019 | SAS | Language Inclusion Algorithms as Complete Abstract Interpretations. | Pierre Ganty, Francesco Ranzato, Pedro Valero |
| 2017 | ATVA | A Language-Theoretic View on Network Protocols. | Pierre Ganty, Boris Kpf, Pedro Valero |