Pedro Valero

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 14

Top Topics

Formal Language Theory

Network Protocols

Finite Automaton

Constrained Minimization

Top Venues

Fundam. Informaticae

Publications

Pierre Ganty, Elena Gutiérrez, Pedro Valero
A Congruence-Based Perspective on Finite Tree Automata. CoRR (2021)
Pierre Ganty, Francesco Ranzato, Pedro Valero
Complete Abstractions for Checking Language Inclusion. ACM Trans. Comput. Log. 22 (4) (2021)
Pierre Ganty, Elena Gutiérrez, Pedro Valero
A Congruence-Based Perspective on Finite Tree Automata. Fundam. Informaticae 184 (1) (2021)
Pedro Valero
On the Use of Quasiorders in Formal Language Theory. CoRR (2020)
Pierre Ganty, Elena Gutiérrez, Pedro Valero
A Quasiorder-based Perspective on Residual Automata. CoRR (2020)
Pierre Ganty, Elena Gutiérrez, Pedro Valero
A Quasiorder-Based Perspective on Residual Automata. MFCS (2020)
Pierre Ganty, Pedro Valero
Regular Expression Search on Compressed Text. CoRR (2019)
Pierre Ganty, Elena Gutiérrez, Pedro Valero
A Congruence-based Perspective on Automata Minimization Algorithms. MFCS (2019)
Pierre Ganty, Francesco Ranzato, Pedro Valero
Complete Abstractions for Checking Language Inclusion. CoRR (2019)
Pierre Ganty, Elena Gutiérrez, Pedro Valero
A Congruence-based Perspective on Automata Minimization Algorithms. CoRR (2019)
Pierre Ganty, Francesco Ranzato, Pedro Valero
Language Inclusion Algorithms as Complete Abstract Interpretations. SAS (2019)
Pierre Ganty, Pedro Valero
Regular Expression Search on Compressed Text. DCC (2019)
Pierre Ganty, Boris Köpf, Pedro Valero
A Language-Theoretic View on Network Protocols. ATVA (2017)
Pierre Ganty, Boris Köpf, Pedro Valero
A Language-theoretic View on Network Protocols. CoRR (2016)