Aude Maignan

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 17

Top Topics

Bipartite Graph

Dynamical Systems

Top Venues

ACM Commun. Comput. Algebra

Publications

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