Aude Maignan
Aude Maignan
Univ. Grenoble Alpes
Geverifieerd e-mailadres voor univ-grenoble-alpes.fr - Homepage
Geciteerd door
Geciteerd door
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
Translating discrete-time Simulink to Lustre
P Caspi, A Curic, A Maignan, C Sofronis, S Tripakis
International Workshop on Embedded Software, 84-99, 2003
Hybrid computation
JD Dora, A Maignan, M Mirica-Ruse, S Yovine
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
Fleshing out the generalized Lambert W function
A Maignan, TC Scott
ACM Communications in Computer Algebra 50 (2), 45-60, 2016
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
Solving one and two-dimensional exponential polynomial systems
A Maignan
Proceedings of the 1998 international symposium on Symbolic and algebraic …, 1998
On symbolic-numeric solving of sine-polynomial equations
A Maignan
journal of complexity 16 (1), 274-285, 2000
Parallel graph rewriting with overlapping rules
R Echahed, A Maignan
arXiv preprint arXiv:1701.06790, 2017
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
Modélisation des systèmes dynamiques évolutifs
A Maignan
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
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
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
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
On simultaneous transformations with overlapping graph rewrite systems
R Echahed, A Maignan
LPAR-21, 21th International Conference on Logic for Programming, Artificial …, 2017
DEM-Systems: a new type of adaptive system
R Edwards, A Maignan
Exploratory papers of automata, 2016
Complex self-reproducing systems
R Edwards, A Maignan
ISCS 2013: Interdisciplinary Symposium on Complex Systems, 65-76, 2014
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
Real solving of elementary-algebraic systems
A Maignan
Numerical Algorithms 27 (2), 153-167, 2001
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20