Get started
Author

Pedro Valero

Observed names: Pedro Valero Mejía, Valero Mejía, Pedro, Valero, Pedro
ORCID: 0000-0001-7531-6374
Observed ORCID: 0000-0001-7531-6374
OpenAlex ID: A5030698544
Complete Abstractions for Checking Language Inclusion
2021 · Pierre Ganty, Francesco Ranzato, et al. · ACM Transactions on Computational Logic · 11
PDF
Language Inclusion Algorithms as Complete Abstract Interpretations
2019 · Pierre Ganty, Francesco Ranzato, et al. · Lecture notes in computer science · 9
Regular Expression Search on Compressed Text
2019 · Pierre Ganty, Pedro Valero · DCC · 5
PDF
A Language-Theoretic View on Network Protocols
2017 · Pierre Ganty, Boris Köpf, et al. · Lecture notes in computer science · 5
A Congruence-based Perspective on Automata Minimization Algorithms
2019 · Ganty, Pierre, Gutiérrez, Elena, et al. · Hispana · 3
A congruence-based perspective on automata minimization algorithms
2019 · Pierre Ganty, Elena Gutiérrez, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 3
PDF
A Quasiorder-Based Perspective on Residual Automata
2020 · Ganty, Pierre, Gutiérrez, Elena, et al. · arXiv (Cornell University) · 2
PDF
On the use of quasiorders in formal language theory
2020 · Pedro Valero Mejía · UPM Digital Archive (Technical University of Madrid) · 1
PDF
A Language-theoretic View on Network Protocols
2016 · Ganty, Pierre, Köpf, Boris, et al. · arXiv (Cornell University) · 1
PDF
A Congruence-Based Perspective on Finite Tree Automata
2021 · Pierre Ganty, Elena Gutiérrez, et al. · Fundamenta Informaticae
Works count: 11
Citation count: 40
H-index: 4
I10-index: 1
Year
Topic
Type