Aude Maignan
Aude Maignan
Univ. Grenoble Alpes
Dirección de correo verificada de univ-grenoble-alpes.fr - Página principal
Título
Citado por
Citado por
Año
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
2472003
Translating discrete-time Simulink to Lustre
P Caspi, A Curic, A Maignan, C Sofronis, S Tripakis
International Workshop on Embedded Software, 84-99, 2003
972003
Hybrid computation
JD Dora, A Maignan, M Mirica-Ruse, S Yovine
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
322001
On the planar split thickness of graphs
D Eppstein, P Kindermann, S Kobourov, G Liotta, A Lubiw, A Maignan, ...
Algorithmica 80 (3), 977-994, 2018
132018
Fleshing out the generalized Lambert W function
A Maignan, TC Scott
ACM Communications in Computer Algebra 50 (2), 45-60, 2016
122016
Solving one and two-dimensional exponential polynomial systems
A Maignan
Proceedings of the 1998 international symposium on Symbolic and algebraic …, 1998
111998
On symbolic-numeric solving of sine-polynomial equations
A Maignan
journal of complexity 16 (1), 274-285, 2000
62000
Parallel graph rewriting with overlapping rules
R Echahed, A Maignan
arXiv preprint arXiv:1701.06790, 2017
42017
Complex self-reproducing systems
R Edwards, A Maignan
ISCS 2013: Interdisciplinary Symposium on Complex Systems, 65-76, 2014
22014
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
Real solving of elementary-algebraic systems
A Maignan
Numerical Algorithms 27 (2), 153-167, 2001
22001
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
12020
Simulating aggregates of bivalents in 2n= 40 mouse meiotic spermatocytes through inhomogeneous site percolation processes
S Berríos, JL Fenner, A Maignan
Journal of Mathematical Biology 77 (5), 1341-1362, 2018
12018
On simultaneous transformations with overlapping graph rewrite systems
R Echahed, A Maignan
LPAR-21, 21th International Conference on Logic for Programming, Artificial …, 2017
12017
DEM-Systems: a new type of adaptive system
R Edwards, A Maignan
Exploratory papers of automata, 2016
12016
Tenofovir DF/emtricitabine and efavirenz combination therapy for HIV infection in patients treated for tuberculosis: the ANRS 129 BKVIR trial
O Lortholary, C Roussillon, C Boucherie, C Padoin, ML Chaix, G Breton, ...
Journal of Antimicrobial Chemotherapy 71 (3), 783-793, 2016
12016
Résolution réelle d'équations et de systèmes d'équations algébro-élémentaires
A Maignan
Limoges, 2000
12000
Real solving of ill-conditioned sine-polynomials equations
A Maignan
ACM SIGSAM Bulletin 33 (3), 17, 1999
11999
Correction to: A class of discrete dynamical systems with properties of both cellular automata and L-systems
R Edwards, A Maignan
Natural Computing, 1-1, 2020
2020
Dynamic proofs of retrievability with low server storage
G Anthoine, JG Dumas, M Hanling, M de Jonghe, A Maignan, C Pernet, ...
arXiv preprint arXiv:2007.12556, 2020
2020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20