Follow
Aude Maignan
Aude Maignan
Univ. Grenoble Alpes
Verified email at univ-grenoble-alpes.fr - Homepage
Title
Cited by
Cited by
Year
From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications
P Caspi, A Curic, A Maignan, C Sofronis, S Tripakis, P Niebert
ACM Sigplan Notices 38 (7), 153-162, 2003
2692003
Translating discrete-time Simulink to Lustre
P Caspi, A Curic, A Maignan, C Sofronis, S Tripakis
International Workshop on Embedded Software, 84-99, 2003
1072003
Fleshing out the generalized Lambert W function
A Maignan, TC Scott
ACM Communications in Computer Algebra 50 (2), 45-60, 2016
362016
Hybrid computation
JD Dora, A Maignan, M Mirica-Ruse, S Yovine
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
332001
On the planar split thickness of graphs
D Eppstein, P Kindermann, S Kobourov, G Liotta, A Lubiw, A Maignan, ...
Algorithmica 80, 977-994, 2018
302018
Solving one and two-dimensional exponential polynomial systems
A Maignan
Proceedings of the 1998 international symposium on Symbolic and algebraic …, 1998
171998
Dynamic proofs of retrievability with low server storage
G Anthoine, JG Dumas, M de Jonghe, A Maignan, C Pernet, M Hanling, ...
30th USENIX Security Symposium (USENIX Security 21), 537-554, 2021
152021
On symbolic-numeric solving of sine-polynomial equations
A Maignan
journal of complexity 16 (1), 274-285, 2000
82000
Parallel graph rewriting with overlapping rules
R Echahed, A Maignan
arXiv preprint arXiv:1701.06790, 2017
52017
The electronic properties of graphene nanoribbons and the offset logarithm function
A Maignan, LP Reddy, S Jeevanandam, PC Deshmukh, K Roberts, ...
Materials Today: Proceedings 54, 7-13, 2022
42022
A class of discrete dynamical systems with properties of both cellular automata and L-systems
R Edwards, A Maignan
Natural Computing 19 (3), 609-641, 2020
42020
Poster: Proofs of retrievability with low server storage
M Hanling, G Anthoine, JG Dumas, A Maignan, C Pernet, DS Roche
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications …, 2019
42019
Simulating aggregates of bivalents in 2n= 40 mouse meiotic spermatocytes through inhomogeneous site percolation processes
S Berríos, J López Fenner, A Maignan
Journal of Mathematical Biology 77 (5), 1341-1362, 2018
42018
Modélisation des systèmes dynamiques évolutifs
A Maignan
42009
DEM-systems: a new type of adaptive system
R Edwards, A Maignan
Exploratory papers of automata, 2016
32016
Complex self-reproducing systems
R Edwards, A Maignan
ISCS 2013: Interdisciplinary Symposium on Complex Systems, 65-76, 2014
32014
A comprehensive analysis of quantum clustering: finding all the potential minima
A Maignan, T Scott
International Journal of Data Mining & Knowledge Management Process 11, 33-54, 2021
22021
GPaR: A Parallel Graph Rewriting Tool
S Despréaux, A Maignan
2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018
22018
On simultaneous transformations with overlapping graph rewrite systems
R Echahed, A Maignan
LPAR-21, 21th International Conference on Logic for Programming, Artificial …, 2017
22017
Graph algorithm for the simulation of the interaction between particles
S Despréaux, R Hildebrand, A Maignan
AIP Conference Proceedings 1479 (1), 678-681, 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20