LJK - Aude Maignan - Publications


    Publications orcid : https:https://orcid.org/0000-0002-0905-2515
    Publications reseachgate : https://www.researchgate.net/profile/Aude_Maignan/contributions
    Publications HAL : Publications HAL

Articles de journaux

  1. Ross McPhedran, Tony Scott, Aude Maignan. The Keiper-Li Criterion for the Riemann Hypothesis and Generalized Lambert Functions , Association for Computing Machinery, New York, USA, vol. 57, nbr. 3, sept 2023, url: https://doi.org/10.1145/3637529.3637530}, DOI: 10.1145/3637529.3637530.
  2. Aude Maignan, L. Prabhat Reddy, Sibibalan Jeevanandam, P.C. Deshmukh, Ken Roberts, et Ram Valluri. The electronic properties of graphene nanoribbons and the offset logarithm function , Materials Today: Proceedings, Elsevier, 2021, DOI: 10.1016/j.matpr.2021.05.338.
  3. Aude Maignan, Tony Scott, A comprehensive analysis of Quantum clustering: Finding All the potential minima , International Journal of Data Mining & Knowledge Management Process ( IJDKP ) AIRCC Publishing Corporation, 2021, 11, pp.33 - 54. DOI: 10.5121/ijdkp.2021.11103.
  4. Roderick Edwards, Aude Maignan, A class of discrete dynamical systems with properties of both cellular automata and L-systems, Journal of Natural Computing, Springer, 2019, DOI:10.1007/s11047-019-09739-5.
  5. Soledad Berríos, Julio López Fenner and Aude Maignan, Simulating aggregates of bivalents in 2n=40 mouse meiotic spermatocytes through inhomogeneous site percolation processes, Journal of Mathematical Biology, Springer Nature (2018), DOI: 10.1007/s00285-018-1254-6.
  6. D. Eppstein, D. Kindermann, P. Kobourov, G. Liotta, A. Lubiw, A. Maignan, D. Mondal, H. Vosoughpour, S. Whitesides, S. Wismath, On the Planar Split Thickness of Graphs. Algorithmica 80(3): 977-994 (2018), Special Issue on Theoretical Informatics, doi:10.1007/s00453-017-0328-y.   arxiv
  7. A. Maignan, T. Scott, Fleshing out the Generalized Lambert W Function, ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 55 (2).
  8. A. Maignan,  Real Solving of Systems of Elementary Algebraic Equations, Numerical Algorithms (2001), Kluwer Academic Publishers, vol 27, No.  2,  pp 153-167.
  9. 2000  A. Maignan, On Symbolic-Numeric Solving of Sine-Polynomial Equations,   Journal of Complexity , vol 16, Issue 1, (2000), pp 274-285.

Conférences internationales avec actes et comité de lecture

  1. Jean-Guillaume Dumas, Aude Maignan, Clément Pernet, Daniel S. Roche, VESPo: Verified Evaluation of Secret Polynomials, Privacy Enhancing Technologies Symposium, Jul 2023, Lausanne (CH), Switzerland.
  2. Paul Cousin, Aude Maignan, Organic Structures Emerging From Bio-Inspired Graph-Rewriting Automata , 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2022), Sep 2022, Linz, Austria. pp.293-296.
  3. Gaspard Anthoine, Jean-Guillaume Dumas, Michael Hanling, Mélanie de Jonghe, Aude Maignan, Clément Pernet, Daniel Roche, Dynamic proofs of retrievability with low server storage , 30th USENIX Security Symposium, Aug 2021, virtual event, United States. pp.18.
  4. Aude Maignan, Tony Scott, Quantum clustering analysis: Minima of the potential energy function , SSN : 2231 - 5403 [Online] Computer Science & Information Technology, Volume: 10 - volume NO: 19 - Issue: 19/12/2020.
  5. Aude Maignan, Prabhat Reddy, Sibibalan Jeevanandam, P. C. Deshmukh, Ken Roberts, Najeh Jisrawi, S. R. Valluri, The electronic properties of Graphene Nanoribbons and the Offset Logarithm function , Proceedings of the 17th International Conference on Nanosciences & Nanotechnologies 7-10 July 2020, Thessaloniki, Greece.(proceedings under revision)
  6. Soledad Berríos, Julio López-Fenner, Aude Maignan. Random chromatin neighborhoods in 2n=40 Mus m. domesticus meiotic cells: P-percolation and image segmentation MLCSB2018 - International Symposium on Molecular Logic and Computational Synthetic Biology, Dec 2018, Santiago de Chile, Chile. pp.142-156, DOI:10.1007/978-3_030-19432-1.
  7. S. Despréaux, A. Maignan, GPaR: A Parallel Graph Rewriting Tool, SYNASC 2018: 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing,2018, Sept 20-23,Timisoara, Roumanie.
  8. Julio López-Fenner, Aude Maignan, Rachid Echahed, Soledad Berríos, Discrete Stochastic Graph Dynamics for the Nuclear Architecture of Mouse Meiotic Prophase Spermatocytes, Lecture Notes in Bioinformatics 10545, J. Feret, H. Koeppl (Eds), 15th conference on Computational Methods for Systems Biology (CMSB), pp. 321-323, Springer (2017), DOI:10.1007/978-3-319-67471-1.
  9. R. Echahed, A. Maignan, On Simultaneous Transformations with Overlapping Graph Rewrite Systems, LPAR-21: 21st International Conference On Logic For Programming, Artificial Intelligence And Reasoning, 2017, May 8-12, Maun, Botzwana.
  10. R. Edwards, A. Maignan, DEM-Systems: A new type of adaptive systemb, AUTOMATA 2016, Jun 2016, Zurich, Switzerland.
  11. D. Eppstein, P. Kindermann, S. Kobourov, G. Liotta, A. Lubiw, A. Maignan, D. Mondal, H. Vosoughpour, S. Whitesides, S. Wismath, On the planar Split Thickness of Graphs, LATIN 2016, 12th Latin American Symposium, Ensenada, Mexico.
  12. R. Edwards, A. Maignan,  Complex Self-reproducing Systems (2014), Editor : A. Sanayei, I. Zelinka, O. Rossler, ISCS 2013 : Interdisciplinary Symposium on Complex Systems. Emergence, Complexity and Computation, Springer, pp. 65-76.
  13. Stéphane Despréaux, Roland Hildebrand, Aude Maignan, Graph Algorithm for the Simulation of the Interaction between Particles, ICCNAM 2012- International Conference of Numerical Analysis and Applied Mathematics, Kos, Greece. (Slides)
  14. Stéphane Despréaux, Aude Maignan, Dynamical Systems based on Dynamic Graphs, ICCSA 2009- International Conference on Complex Systems and Applications, Le Havre, France.
  15. Stéphane Despréaux, Aude Maignan, A short tutorial for Dynsys: A program for dynamical systems based on dynamic graphs, ISSAC 2009.
  16. Stéphane Despréaux, Aude Maignan, Dynamical systems based on dynamic graphs, ICCSA 2009.
  17. J. Della Dora, A. Maignan, L. Tounier, Dynamic systems: an algorithmic point of view, Transgressive Computing,  pp 3-14, Grenade, Espagne, Avril 2006.
  18.  Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert, Translating Discret-Time Simulink to Lustre. In : International Workshop on Embedded Software (EMSOFT). Springer, Berlin, Heidelberg, 2003. p. 84-99.
  19. Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, from Simulink to Scade/Lustre to TTA: a layered approach for distributed embedded applications, Volume 38 ,  Issue 7  (July 2003)
    Special Issue: Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool support for embedded systems (San Diego, CA).
  20.  J. Della-Dora, A. Maignan, M. Ruse, S. Yovine,  Hybrid Computation,  ISSAC 2001,acm press, pp 101-108.
  21.  A. Maignan,  Real Solving  of Ill-Conditioned Sinus-Polynomials Equations  (abstract), SIGSAM Bulletin, Vol. 33, N 3, 1999, Issue 129, acm press.
  22.  A. Maignan,  Real Solving  of Ill-Conditioned Sinus-Polynomials Equations,  Actes du congrès, EACA-99, Tenerife, Editeur : I. Bermejo pp 205-213.
  23.  A. Maignan, Solving One and Two-dimensional Exponential   Polynomial   Systems,  ISSAC98, acm press, pp 215-221.

Poster

  1. M. Hanling, G. Anthoine, J-G. Dumas, A. Maignan, C. Pernet, D. S. Roche Proofs of Retrievability with Low Server Storage ACM SIGSAC Conference on Computer and Communications CCS'19, Nov. 2019, doi:10.1145/3319535.3363266.
  2. Julio López-Fenner, Aude Maignan, Rachid Echahed, Soledad Berríos, Discrete Stochastic Graph Dynamics for the Nuclear Architecture of Mouse Meiotic Prophase Spermatocytes, 15th conference on Computational Methods for Systems Biology (CMSB), Darmstadt (2017).
  3. R. Edwards, A. Maignan,  Complex Self-reproducing Systems, MMCS 2013 (Mathematical Modelling of Complex Systems), Ecole centrale Paris.

Thèse

  1.  Aude Maignan, Thèse de mathématique et applications de l'Université de Limoges, Résolution réelle  d'équations et de systèmes d'équations algébro-élémentaires,
     Jury : A. Bellido (Co-directrice de thèse),
    J.-P. Dedieu (Examinateur), D. Duval (Directrice de thèse), D.Michelucci (Examinateur), D. Richardson (Rapporteur),J.-J. Risler (Président) J.-C. Yakoubsohn (Rapporteur).

Rapports

  1. Soledad Berríos, Julio López Fenner, Aude Maignan. Simulating aggregates of bivalents in 2n=40 mouse meiotic spermatocytes through inhomogeneous percolation processes, 2018, hal-01814944v1 .
  2. Rachid Echahed, Aude Maignan. Parallel Graph Rewriting with Overlapping Rules, 2017, hal-01408834v1 . CoRR abs/1701.06790.
  3. Stéphane Despréaux, Aude Maignan, A short tutorial for DynSys: A program for dynamical systems based on dynamic graphs (2009).
  4. Aude Maignan, Modélisation des systèmes dynamiques évolutifs (2006).
  5.  Paul Caspi, Aude Maignan, Stavros Tripakis, A Branch-and-Bound Technique for Scheduling Tasks with Relative Deadlines and Bus Constraints on a Multiprocessor system, 2003.