Pedro Valero

15 papers B 5Journal 9
YearRankTypeTitle / Venue / Authors
2021 J jnl
A Congruence-Based Perspective on Finite Tree Automata.
CoRR
Pierre Ganty, Elena Gutiérrez, Pedro Valero
2021 J jnl
A Congruence-Based Perspective on Finite Tree Automata.
Fundam. Informaticae
Pierre Ganty, Elena Gutiérrez, Pedro Valero
2021 J jnl
Complete Abstractions for Checking Language Inclusion.
ACM Trans. Comput. Log.
Pierre Ganty, Francesco Ranzato, Pedro Valero
2020 B conf
A Quasiorder-Based Perspective on Residual Automata.
MFCS
Pierre Ganty, Elena Gutiérrez, Pedro Valero
2020 J jnl
A Quasiorder-based Perspective on Residual Automata.
CoRR
Pierre Ganty, Elena Gutiérrez, Pedro Valero
2020 J jnl
On the Use of Quasiorders in Formal Language Theory.
CoRR
Pedro Valero
2020 — —
On the use of quasiorders in formal language theory.
Pedro Valero
2019 B conf
A Congruence-based Perspective on Automata Minimization Algorithms.
MFCS
Pierre Ganty, Elena Gutiérrez, Pedro Valero
2019 J jnl
A Congruence-based Perspective on Automata Minimization Algorithms.
CoRR
Pierre Ganty, Elena Gutiérrez, Pedro Valero
2019 J jnl
Complete Abstractions for Checking Language Inclusion.
CoRR
Pierre Ganty, Francesco Ranzato, Pedro Valero
2019 B conf
Language Inclusion Algorithms as Complete Abstract Interpretations.
SAS
Pierre Ganty, Francesco Ranzato, Pedro Valero
2019 B conf
Regular Expression Search on Compressed Text.
DCC
Pierre Ganty, Pedro Valero
2019 J jnl
Regular Expression Search on Compressed Text.
CoRR
Pierre Ganty, Pedro Valero
2017 B conf
A Language-Theoretic View on Network Protocols.
ATVA
Pierre Ganty, Boris Köpf, Pedro Valero
2016 J jnl
A Language-theoretic View on Network Protocols.
CoRR
Pierre Ganty, Boris Köpf, Pedro Valero