Follow
Francesco Parolini
Francesco Parolini
Sorbonne Université
Verified email at lip6.fr - Homepage
Title
Cited by
Cited by
Year
Inclusion Testing of Büchi Automata Based on Well-Quasiorders
K Doveri, P Ganty, F Parolini, F Ranzato
32nd International Conference on Concurrency Theory (CONCUR 2021), 2021
12021
Sound Static Analysis of Regular Expressions for Vulnerabilities to Denial of Service Attacks
F Parolini, A Miné
2022
Simulation-based Inclusion Checking Algorithms for ω-Languages
F Ranzato, P Ganty, F Parolini
2020
The system can't perform the operation now. Try again later.
Articles 1–3