×
Edit Profile (opens in new tab)

Valero, Pedro

Co-Author Distance
Author ID: valero.pedro Recent zbMATH articles by "Valero, Pedro"
Published as: Valero, Pedro
Documents Indexed: 6 Publications since 2017
Co-Authors: 4 Co-Authors with 6 Joint Publications
64 Co-Co-Authors

Co-Authors

0 single-authored
6 Ganty, Pierre
3 Gutiérrez, Elena
2 Ranzato, Francesco
1 Köpf, Boris

Serials

1 Fundamenta Informaticae
1 ACM Transactions on Computational Logic

Fields

6 Computer science (68-XX)

Publications by Year

Citations contained in zbMATH Open

4 Publications have been cited 7 times in 4 Documents Cited by ▼ Year ▼
A congruence-based perspective on automata minimization algorithms. Zbl 1541.68195
Ganty, Pierre; Gutiérrez, Elena; Valero, Pedro
3
2019
Complete abstractions for checking language inclusion. Zbl 1508.68190
Ganty, Pierre; Ranzato, Francesco; Valero, Pedro
2
2021
A quasiorder-based perspective on residual automata. Zbl 07559411
Ganty, Pierre; Gutiérrez, Elena; Valero, Pedro
1
2020
Language inclusion algorithms as complete abstract interpretations. Zbl 1539.68134
Ganty, Pierre; Ranzato, Francesco; Valero, Pedro
1
2019
Complete abstractions for checking language inclusion. Zbl 1508.68190
Ganty, Pierre; Ranzato, Francesco; Valero, Pedro
2
2021
A quasiorder-based perspective on residual automata. Zbl 07559411
Ganty, Pierre; Gutiérrez, Elena; Valero, Pedro
1
2020
A congruence-based perspective on automata minimization algorithms. Zbl 1541.68195
Ganty, Pierre; Gutiérrez, Elena; Valero, Pedro
3
2019
Language inclusion algorithms as complete abstract interpretations. Zbl 1539.68134
Ganty, Pierre; Ranzato, Francesco; Valero, Pedro
1
2019
all top 5

Cited by 12 Authors

3 Ganty, Pierre
2 Gutiérrez, Elena
2 Valero, Pedro
1 Bezhanishvili, Nick
1 Bonsangue, Marcello Maria
1 Doveri, Kyveli
1 Hadži-Đokić, Luka
1 Hansen, Helle Hvid
1 Kozen, Dexter C.
1 Kupke, Clemens
1 Panangaden, Prakash
1 Silva, Alexandra

Cited in 1 Serial

1 Fundamenta Informaticae

Cited in 4 Fields

4 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Quantum theory (81-XX)

Citations by Year