C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Kyveli Doveri
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Formal Languages
Highly Expressive
Meta Level
Computationally Intensive
Top Venues
CoRR
CAV (2)
TACAS (1)
CONCUR
</>
Publications
</>
Kyveli Doveri
,
Pierre Ganty
,
Luka Hadzi-Dokic
Antichains Algorithms for the Inclusion Problem Between ømega-VPL.
TACAS (1)
(2023)
Kyveli Doveri
,
Pierre Ganty
,
Nicolas Mazzocchi
FORQ-based Language Inclusion Formal Testing.
CoRR
(2022)
Kyveli Doveri
,
Pierre Ganty
,
Nicolas Mazzocchi
FORQ-Based Language Inclusion Formal Testing.
CAV (2)
(2022)
Kyveli Doveri
,
Pierre Ganty
,
Francesco Parolini
,
Francesco Ranzato
Inclusion Testing of Büchi Automata Based on Well-Quasiorders.
CONCUR
(2021)