Aude Maignan

According to our database, Aude Maignan authored at least 21 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Communication Optimal Unbalanced Private Set Union.

Jean-Guillaume Dumas, Alexis Galan, Bruno Grenet, Aude Maignan, Daniel S. Roche

CoRR, 2024

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, September, 2023

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., July, 2023

2022

Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata.

Paul Cousin, Aude Maignan

Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

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

VESPo: Verified Evaluation of Secret Polynomials.

Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche

CoRR, 2021

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

Proceedings of the 30th USENIX Security Symposium, 2021

2020

A class of discrete dynamical systems with properties of both cellular automata and L-systems.

Roderick Edwards, Aude Maignan

Nat. Comput., 2020

2019

Poster: Proofs of Retrievability with Low Server Storage.

Michael Hanling, Gaspard Anthoine, Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

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

GPaR: A Parallel Graph Rewriting Tool.

Stéphane Despréaux, Aude Maignan

Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2018

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

Proceedings of the Molecular Logic and Computational Synthetic Biology, 2018

2017

Parallel Graph Rewriting with Overlapping Rules.

Rachid Echahed, Aude Maignan

Proceedings of the LPAR-21, 2017

2016

Fleshing out the generalized Lambert <i>W</i> function.

Aude Maignan, Tony C. Scott

ACM Commun. Comput. Algebra, 2016

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

Proceedings of the 2003 Conference on Languages, 2003

Translating Discrete-Time Simulink to Lustre.

Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis

Proceedings of the Embedded Software, Third International Conference, 2003

2001

Real Solving of Elementary-Algebraic Systems.

Aude Maignan

Numer. Algorithms, 2001

Hybrid computation.

Jean Della Dora, Aude Maignan, Mihaela Mirica-Ruse, Sergio Yovine

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

2000

On Symbolic-Numeric Solving of Sine-Polynomial Equations.

Aude Maignan

J. Complex., 2000

1999

Real solving of ill-conditioned sine-polynomials equations.

Aude Maignan

SIGSAM Bull., 1999

1998

Solving One and Two-Dimensional Exponential Polynomial Systems.

Aude Maignan

Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, 1998