Pedro Valero

According to our database, Pedro Valero authored at least 9 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Complete Abstractions for Checking Language Inclusion.

Pierre Ganty, Francesco Ranzato, Pedro Valero

ACM Trans. Comput. Log., 2021

A Congruence-Based Perspective on Finite Tree Automata.

Pierre Ganty, Elena Gutiérrez, Pedro Valero

Fundam. Informaticae, 2021

2020

On the use of quasiorders in formal language theory.

Pedro Valero

PhD thesis, 2020

On the Use of Quasiorders in Formal Language Theory.

Pedro Valero

CoRR, 2020

A Quasiorder-Based Perspective on Residual Automata.

Pierre Ganty, Elena Gutiérrez, Pedro Valero

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

2019

Language Inclusion Algorithms as Complete Abstract Interpretations.

Pierre Ganty, Francesco Ranzato, Pedro Valero

Proceedings of the Static Analysis - 26th International Symposium, 2019

A Congruence-based Perspective on Automata Minimization Algorithms.

Pierre Ganty, Elena Gutiérrez, Pedro Valero

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

Regular Expression Search on Compressed Text.

Pierre Ganty, Pedro Valero

Proceedings of the Data Compression Conference, 2019

2017

A Language-Theoretic View on Network Protocols.

Pierre Ganty, Boris Köpf, Pedro Valero

Proceedings of the Automated Technology for Verification and Analysis, 2017