Solving One and Two-Dimensional Exponential Polynomial Systems. - Aude Maignan (ISSAC, 1998)

Real solving of ill-conditioned sine-polynomials equations. - Aude Maignan (SIGSAM Bull., 1999)

On Symbolic-Numeric Solving of Sine-Polynomial Equations. - Aude Maignan (J. Complex., 2000)

Hybrid computation. - Jean Della Dora; Aude Maignan; Mihaela Mirica-Ruse; Sergio Yovine (ISSAC, 2001)

Real Solving of Elementary-Algebraic Systems. - Aude Maignan (Numer. Algorithms, 2001)

Translating Discrete-Time Simulink to Lustre. - Paul Caspi; Adrian Curic; Aude Maignan; Christos Sofronis; Stavros Tripakis (EMSOFT, 2003)

From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. - Paul Caspi; Adrian Curic; Aude Maignan; Christos Sofronis; Stavros Tripakis; Peter Niebert (LCTES, 2003)

Fleshing out the generalized Lambert W function. - Aude Maignan; Tony C. Scott (ACM Commun. Comput. Algebra, 2016)

Parallel Graph Rewriting with Overlapping Rules. - Rachid Echahed; Aude Maignan (LPAR, 2017)

Random Chromatin Neighborhoods in 2n=40 Mus m. domesticus Meiotic Cells: P-Percolation and Image Segmentation. - Soledad Berríos; Julio López Fenner; Aude Maignan (MLCSB, 2018)

GPaR: A Parallel Graph Rewriting Tool. - Stéphane Despréaux; Aude Maignan (SYNASC, 2018)

On the Planar Split Thickness of Graphs. - David Eppstein; Philipp Kindermann; Stephen G. Kobourov; Giuseppe Liotta; Anna Lubiw; Aude Maignan; Debajyoti Mondal; Hamideh Vosoughpour; Sue Whitesides; Stephen K. Wismath (Algorithmica, 2018)

Poster: Proofs of Retrievability with Low Server Storage. - Michael Hanling; Gaspard Anthoine; Jean-Guillaume Dumas; Aude Maignan; Clément Pernet; Daniel S. Roche (CCS, 2019)

A class of discrete dynamical systems with properties of both cellular automata and L-systems. - Roderick Edwards; Aude Maignan (Nat. Comput., 2020)

Dynamic proofs of retrievability with low server storage. - Gaspard Anthoine; Jean-Guillaume Dumas; Mélanie de Jonghe; Aude Maignan; Clément Pernet; Michael Hanling; Daniel S. Roche (USENIX Security Symposium, 2021)

VESPo: Verified Evaluation of Secret Polynomials. - Jean-Guillaume Dumas; Aude Maignan; Clément Pernet; Daniel S. Roche (CoRR, 2021)

Correction to: A class of discrete dynamical systems with properties of both cellular automata and L-systems. - Roderick Edwards; Aude Maignan (Nat. Comput., 2021)

Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata. - Paul Cousin; Aude Maignan (SYNASC, 2022)

VESPo: Verified Evaluation of Secret Polynomials (with application to dynamic proofs of retrievability). - Jean-Guillaume Dumas; Aude Maignan; Clément Pernet; Daniel S. Roche (Proc. Priv. Enhancing Technol., 2023)

The Keiper-Li Criterion for the Riemann Hypothesis and Generalized Lambert Functions. - Ross C. McPhedran; Tony C. Scott; Aude Maignan (ACM Commun. Comput. Algebra, 2023)

Communication Optimal Unbalanced Private Set Union. - Jean-Guillaume Dumas; Alexis Galan; Bruno Grenet; Aude Maignan; Daniel S. Roche (CoRR, 2024)

Optimal Communication Unbalanced Private Set Union. - Jean-Guillaume Dumas; Alexis Galan; Bruno Grenet; Aude Maignan; Daniel S. Roche (ACNS (2), 2025)