Sign in
Cécilia Pradic
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Regular Languages
Human Behaviour
Finite State Automata
Planar Surfaces
Top Venues
CoRR
PODS
</>
Publications
</>
Lê Thành Dung Nguyên
,
Camille Noûs
,
Cécilia Pradic
Two-way automata and transducers with planar behaviours are aperiodic.
CoRR
(2023)
Michael Benedikt
,
Cécilia Pradic
,
Christoph Wernhard
Synthesizing Nested Relational Queries from Implicit Specifications.
PODS
(2023)
Sandra Kiefer
,
Lê Thành Dung Nguyên
,
Cécilia Pradic
Revisiting the growth of polyregular functions: output languages, weighted automata and unary inputs.
CoRR
(2023)