Aude Maignan

27 papers A* 2B 5Misc 3Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Algorithms for the local and the global postage stamp problem.
CoRR
Léo Colisson Palais, Jean-Guillaume Dumas, Alexis Galan, Bruno Grenet, Aude Maignan
2026 J jnl
Fuzzy Private Set Union via Oblivious Key Homomorphic Encryption Retrieval.
CoRR
Jean-Guillaume Dumas, Aude Maignan, Luiza Soezima
2025 — conf
Optimal Communication Unbalanced Private Set Union.
ACNS (2)
Jean-Guillaume Dumas, Alexis Galan, Bruno Grenet, Aude Maignan, Daniel S. Roche
2024 J jnl
Communication Optimal Unbalanced Private Set Union.
CoRR
Jean-Guillaume Dumas, Alexis Galan, Bruno Grenet, Aude Maignan, Daniel S. Roche
2023 J jnl
The Keiper-Li Criterion for the Riemann Hypothesis and Generalized Lambert Functions.
ACM Commun. Comput. Algebra
Ross C. McPhedran, Tony C. Scott, Aude Maignan
2023 J jnl
VESPo: Verified Evaluation of Secret Polynomials (with application to dynamic proofs of retrievability).
Proc. Priv. Enhancing Technol.
Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche
2022 Misc conf
Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata.
SYNASC
Paul Cousin, Aude Maignan
2021 J jnl
Correction to: A class of discrete dynamical systems with properties of both cellular automata and L-systems.
Nat. Comput.
Roderick Edwards, Aude Maignan
2021 A* conf
Dynamic proofs of retrievability with low server storage.
USENIX Security Symposium
Gaspard Anthoine, Jean-Guillaume Dumas, Mélanie de Jonghe, Aude Maignan, Clément Pernet, Michael Hanling, Daniel S. Roche
2021 J jnl
VESPo: Verified Evaluation of Secret Polynomials.
CoRR
Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche
2020 J jnl
A class of discrete dynamical systems with properties of both cellular automata and L-systems.
Nat. Comput.
Roderick Edwards, Aude Maignan
2020 J jnl
Dynamic proofs of retrievability with low server storage.
CoRR
Gaspard Anthoine, Jean-Guillaume Dumas, Michael Hanling, Mélanie de Jonghe, Aude Maignan, Clément Pernet, Daniel S. Roche
2019 A* conf
Poster: Proofs of Retrievability with Low Server Storage.
CCS
Michael Hanling, Gaspard Anthoine, Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche
2018 Misc conf
GPaR: A Parallel Graph Rewriting Tool.
SYNASC
Stéphane Despréaux, Aude Maignan
2018 J jnl
On the Planar Split Thickness of Graphs.
Algorithmica
David Eppstein, Philipp Kindermann, Stephen G. Kobourov, Giuseppe Liotta, Anna Lubiw, Aude Maignan, Debajyoti Mondal, Hamideh Vosoughpour, Sue Whitesides, Stephen K. Wismath
2018 — conf
Random Chromatin Neighborhoods in 2n=40 Mus m. domesticus Meiotic Cells: P-Percolation and Image Segmentation.
MLCSB
Soledad Berríos, Julio López Fenner, Aude Maignan
2017 B conf
Parallel Graph Rewriting with Overlapping Rules.
LPAR
Rachid Echahed, Aude Maignan
2017 J jnl
Parallel Graph Rewriting with Overlapping Rules.
CoRR
Rachid Echahed, Aude Maignan
2016 J jnl
Fleshing out the generalized Lambert
ACM Commun. Comput. Algebra
Aude Maignan, Tony C. Scott
2016 B conf
On the Planar Split Thickness of Graphs.
LATIN
David Eppstein, Philipp Kindermann, Stephen G. Kobourov, Giuseppe Liotta, Anna Lubiw, Aude Maignan, Debajyoti Mondal, Hamideh Vosoughpour, Sue Whitesides, Stephen K. Wismath
2003 B conf
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.
LCTES
Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert
2003 Misc conf
Translating Discrete-Time Simulink to Lustre.
EMSOFT
Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
2001 B conf
Hybrid computation.
ISSAC
Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine
2001 J jnl
Real Solving of Elementary-Algebraic Systems.
Numer. Algorithms
Aude Maignan
2000 J jnl
On Symbolic-Numeric Solving of Sine-Polynomial Equations.
J. Complex.
Aude Maignan
1999 J jnl
Real solving of ill-conditioned sine-polynomials equations.
SIGSAM Bull.
Aude Maignan
1998 B conf
Solving One and Two-Dimensional Exponential Polynomial Systems.
ISSAC
Aude Maignan