Aude Maignan
Aude Maignan
Univ. Grenoble Alpes
在 univ-grenoble-alpes.fr 的電子郵件地址已通過驗證 - 首頁
標題
引用次數
引用次數
年份
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
32017
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, 1-33, 2019
12019
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
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
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
2019
系統目前無法執行作業,請稍後再試。
文章 1–20