Volgen
Aude Maignan
Aude Maignan
Univ. Grenoble Alpes
Geverifieerd e-mailadres voor univ-grenoble-alpes.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
2632003
Translating discrete-time Simulink to Lustre
P Caspi, A Curic, A Maignan, C Sofronis, S Tripakis
International Workshop on Embedded Software, 84-99, 2003
1042003
Hybrid computation
JD Dora, A Maignan, M Mirica-Ruse, S Yovine
Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001
322001
Fleshing out the generalized Lambert W function
A Maignan, TC Scott
ACM Communications in Computer Algebra 50 (2), 45-60, 2016
252016
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
202018
Solving one and two-dimensional exponential polynomial systems
A Maignan
Proceedings of the 1998 international symposium on Symbolic and algebraic …, 1998
121998
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
42017
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
42016
Modélisation des systèmes dynamiques évolutifs
A Maignan
42009
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
32020
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
22021
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
22019
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
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
DEM-Systems: a new type of adaptive system
R Edwards, A Maignan
Exploratory papers of automata, 2016
22016
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
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
12022
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20