Cécilia Pradic

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 6

Top Topics

Levenshtein Distance

Human Behaviour

Finite Automaton

Relational Queries

Top Venues

Log. Methods Comput. Sci.

Publications

Cécilia Pradic, Ian Price
Implicit automata in {\lambda}-calculi III: affine planar string-to-string functions. CoRR (2024)
Eike Neumann, Arno Pauly, Cécilia Pradic
The equational theory of the Weihrauch lattice with multiplication. CoRR (2024)
Michael Benedikt, Cécilia Pradic, Christoph Wernhard
Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory. Log. Methods Comput. Sci. 20 (3) (2024)
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)