Publications HAL de la collection CRISTAL-CFHP

2024

Journal articles

ref_biblio
Eve Le Guillou, Michael Will, Pierre Guillou, Jonas Lukasczyk, Pierre Fortin, et al.. TTK is Getting MPI-Ready. IEEE Transactions on Visualization and Computer Graphics, In press, pp.1-18. ⟨10.1109/TVCG.2024.3390219⟩. ⟨hal-04552256⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04552256/file/2310.08339.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
François Boulier, François Lemaire. On Formal Power Series Solutions of Regular Differential Chains. 2024. ⟨hal-04547418v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04547418/file/paper-casc-2024.pdf BibTex

2023

Journal articles

ref_biblio
Florent Bréhard, Nicolas Brisebarre, Mioara Joldeş, Warwick Tucker. Efficient and Validated Numerical Evaluation of Abelian Integrals. ACM Transactions on Mathematical Software, In press, ⟨10.1145/3637550⟩. ⟨hal-03561096v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03561096/file/hal-abintvalidV2.pdf BibTex
ref_biblio
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic. Some fast algorithms multiplying a matrix by its adjoint. Journal of Symbolic Computation, 2023, 115 (March–April), pp.285-315. ⟨10.1016/j.jsc.2022.08.009⟩. ⟨hal-03095393⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03095393/file/aat_adjoint.pdf BibTex
ref_biblio
Sebastian Falkensteiner, Cristhian Emmanuel Garay-Lopez, Mercedes Haiech, Marc Paul Noordman, François Boulier, et al.. On Initials and the Fundamental Theorem of Tropical Partial Differential Geometry. Journal of Symbolic Computation, 2023, 115C, pp.53-73. ⟨10.1016/j.jsc.2022.08.005⟩. ⟨hal-03122437v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03122437/file/JSC_extended%20version.pdf BibTex
ref_biblio
Igor Chollet, Xavier Claeys, Pierre Fortin, Laura Grigori. A Directional Equispaced interpolation-based Fast Multipole Method for oscillatory kernels. SIAM Journal on Scientific Computing, 2023, 45 (1), pp.C20-C48. ⟨10.1137/22M1472930⟩. ⟨hal-03563005v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03563005/file/defmm_article_final_public-1.pdf BibTex
ref_biblio
Maria Alberich-Carramiñana, Jordi Guàrdia, Enric Nart, Joaquim Roé, Martin Weimann, et al.. Polynomial factorization over henselian fields. Foundations of Computational Mathematics, In press. ⟨hal-03962819⟩
Accès au bibtex
https://arxiv.org/pdf/2207.02139 BibTex

Conference papers

ref_biblio
François Lemaire, Louis Roussel. Parameter Estimation Using Integral Equations. Maple Conference 2023, Oct 2023, Online Conference, Canada. ⟨hal-04522033⟩
Accès au bibtex
BibTex
ref_biblio
Florent Bréhard, Adrien Poteaux, Léo Soudant. Validated Root Enclosures for Interval Polynomials with Multiplicities. ISSAC'23 : International Symposium on Symbolic and Algebraic Computation 2023, Jul 2023, Tromso, Norway. ⟨10.1145/3597066.3597122⟩. ⟨hal-04138791⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04138791/file/multrootval.pdf BibTex
ref_biblio
Nazrul Islam, Adrien Poteaux, Rémi Prébet. Algorithm for connectivity queries on real algebraic curves. ISSAC 2023 - 48th International Symposium on Symbolic and Algebraic Computation, Jul 2023, Tromsø, Norway. ⟨10.1145/3597066.3597081⟩. ⟨hal-04000614v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04000614/file/algcurves-merged.pdf BibTex

Poster communications

ref_biblio
François Lemaire, Louis Roussel. Integration of Integro-differential Equations and Deep Learning. Differential Algebra and Related Topics XI, Jun 2023, London, United Kingdom. ⟨hal-04254563⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04254563/file/poster_dart_May-24.pdf BibTex

Proceedings

ref_biblio
François Boulier, Matthew England, Ilias Kotsireas, Timur Sadykov, Evgenii Vorozhtsov. Proceedings of Computer Algebra in Scientific Computing (CASC) 2023. 14139, Springer Nature Switzerland; Springer Nature Switzerland, 2023, proceedings computer algebra in scientific computing, 978-3-031-41723-8. ⟨10.1007/978-3-031-41724-5⟩. ⟨hal-04200036⟩
Accès au bibtex
BibTex

Software

ref_biblio
François Boulier. DifferentialAlgebra. 2023, ⟨swh:1:dir:ea3c6a03eeeb845337f5533e1def229d602ceb48;origin=https://hal.archives-ouvertes.fr/hal-04391259;visit=swh:1:snp:6c59f29ff96dc65a1e97ed40f56422bd9d9b0a34;anchor=swh:1:rel:9ee668d51c061cdb54e2729ea2bfc09466fbef44;path=/⟩. ⟨hal-04391259v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04391259/file/DifferentialAlgebra-v4.1.zip BibTex

2022

Journal articles

ref_biblio
Adrien Poteaux, Martin Weimann. A quasi-linear irreducibility test in K[[x]][y]. Computational Complexity, 2022, ⟨10.1007/s00037-022-00221-w⟩. ⟨hal-02354929⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02354929/file/Irreducibility_Courte.pdf BibTex

Conference papers

ref_biblio
David Redon, Pierre Fortin, Bilel Derbel. Scaling the SOO Global Blackbox Optimizer on a 128-core Architecture. HiPC 2022 - IEEE 29th International Conference on High Performance Computing, Data, and Analytics, Dec 2022, Bangalore, India. pp.203-213, ⟨10.1109/HiPC56025.2022.00037⟩. ⟨hal-03927251⟩
Accès au bibtex
BibTex
ref_biblio
Quentin R Petit, Chong Li, Serge Petiton, Kelun Chai, Nahid Emad. Enhancing Graph Convolutional Networks by Topology Sampling. 2022 IEEE International Conference on Big Data, Dec 2022, Osaka, Japan. pp.1316-1323, ⟨10.1109/BigData55660.2022.10021014⟩. ⟨hal-03931285⟩
Accès au bibtex
BibTex
ref_biblio
Matthieu Masson, Denis Arzelier, Florent Bréhard, Mioara Joldes. Fast and reliable computation of the instantaneous orbital collision probability. 2nd International Stardust Conference STARCON2, ESA European Space Research and Technology Centre (ESTEC), Nov 2022, Noordwijk, Netherlands. ⟨hal-04240944⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04240944/file/starcon2.pdf BibTex
ref_biblio
Adrien Poteaux, Martin Weimann. Local polynomial factorisation: improving the Montes algorithm. International Symposium on Symbolic and Algebraic Computation, Jul 2022, Lille, France. ⟨hal-03598324⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03598324/file/issac.pdf BibTex
ref_biblio
Pierrick Pochelu, Serge Petiton, Bruno Conche. A Deep Neural Networks ensemble workflow from hyperparameter search to inference leveraging GPU clusters. HPC Asia2022: International Conference on High Performance Computing in Asia-Pacific Region, Jan 2022, Virtual Event, Japan. pp.61-71, ⟨10.1145/3492805.3492819⟩. ⟨hal-03517991⟩
Accès au bibtex
BibTex

Books

ref_biblio
François Boulier, Matthew England, Timur Sadykov, Evgenii Vorozhtsov. Computer Algebra in Scientific Computing. Springer International Publishing, 13366, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-14788-3⟩. ⟨hal-03766942⟩
Accès au bibtex
BibTex

Poster communications

ref_biblio
François Lemaire, Louis Roussel. Integral equation modelling and deep learning. International Symposium on Symbolic and Algebraic Computation 2022, Jul 2022, Lille, France. , ACM Communications in Computer Algebra, 56 (2), pp.51-55, 2022, ⟨10.1145/3572867.3572874⟩. ⟨hal-03952454⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03952454/file/poster_issac_2022_.pdf BibTex

Theses

ref_biblio
Pierrick Pochelu. Ensembles of Deep Neural Networks distributed and parallel for the energy industry. Computer Vision and Pattern Recognition [cs.CV]. Université de Lille, 2022. English. ⟨NNT : 2022ULILB009⟩. ⟨tel-03936792⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03936792/file/These_POCHELU_Pierrick.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Charles Bouillaguet. Nice Attacks — but What is the Cost? Computational Models for Cryptanalysis. 2022. ⟨hal-02306912v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02306912/file/main.pdf BibTex

2021

Journal articles

ref_biblio
Pierre Fortin, Ambroise Fleury, François Lemaire, Michael Monagan. High performance SIMD modular arithmetic for polynomial evaluation. Concurrency and Computation: Practice and Experience, 2021, 33 (16), pp.e6270. ⟨10.1002/cpe.6270⟩. ⟨hal-02552673⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02552673/file/article-HAL-sc.pdf BibTex
ref_biblio
Charles Bouillaguet, Paul Zimmermann. Parallel Structured Gaussian Elimination for the Number Field Sieve. Mathematical Cryptology, 2021, 1, pp.22-39. ⟨hal-02098114v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02098114/file/merge.pdf BibTex
ref_biblio
Adrien Poteaux, Martin Weimann. Computing Puiseux series: a fast divide and conquer algorithm. Annales Henri Lebesgue, 2021, 4, pp.1061--1102. ⟨10.5802/ahl.97⟩. ⟨hal-01578214v3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01578214/file/puiseuxd3.pdf BibTex
ref_biblio
Mellila Bouam, Charles Bouillaguet, Claire Delaplace, Camille Noûs. Computational Records with Aging Hardware: Controlling Half the Output of SHA-256. Parallel Computing, In press, pp.102804. ⟨10.1016/j.parco.2021.102804⟩. ⟨hal-02306904v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02306904/file/main.pdf BibTex
ref_biblio
Florent Bréhard. A Symbolic-Numeric Validation Algorithm for Linear ODEs with Newton-Picard Method. Mathematics in Computer Science, In press. ⟨hal-03161118⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03161118/file/picvalid.pdf BibTex
ref_biblio
François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux. A Short Contribution to the Theory of Regular Chains. Mathematics in Computer Science, 2021, 15 (2), pp.177-188. ⟨10.1007/s11786-020-00477-x⟩. ⟨hal-02464434⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02464434/file/paper-1.pdf BibTex

Conference papers

ref_biblio
Pierrick Pochelu, Serge Petiton, Bruno Conche. An efficient and flexible inference system for serving heterogeneous ensembles of deep neural networks. IEEE BigData 2021, Dec 2021, Virtual, United States. ⟨hal-03494431⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03494431/file/BigD246.pdf BibTex
ref_biblio
Denis Arzelier, Florent Bréhard, Mioara Joldeş, Jean-Bernard Lasserre, Sohie Laurens, et al.. Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters. 60th IEEE Conference on Decision and Control (CDC 2021), IEEE, Dec 2021, Austin, Texas, United States. ⟨10.1109/CDC45484.2021.9683445⟩. ⟨hal-03158347⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03158347/file/ProbaCollision_soumission.pdf BibTex
ref_biblio
François Lemaire, Adrien Poteaux. Decoupling multivariate fractions. Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.209--231. ⟨hal-03285870⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03285870/file/cameraReadyCopy.pdf BibTex
ref_biblio
Jérôme Gurhem, Maxence Vandromme, Miwako Tsuji, Serge G Petiton, Mitsuhisa Sato. Sequences of Sparse Matrix-Vector Multiplication on Fugaku’s A64FX processors. CLUSTER 2021 - IEEE International Conference on Cluster Computing, Sep 2021, Portland, United States. pp.751-758, ⟨10.1109/Cluster48925.2021.00111⟩. ⟨hal-03450283⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03450283/file/paper.pdf BibTex
ref_biblio
François Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar Leon Sanchez. On The Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry. Computer Algebra in Scientific Computing, Sep 2021, Sochi, Russia. pp.62-77. ⟨hal-03225922v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03225922/file/paper-10.pdf BibTex
ref_biblio
Jerome Gurhem, Henri Calandra, Serge G Petiton. Parallel and distributed task-based Kirchhoff seismic pre-stack depth migration application. ISPDC 2021 - 20th International Symposium on Parallel and Distributed Computing, Jul 2021, Cluj-Napoca, Romania. pp.65-72, ⟨10.1109/ISPDC52870.2021.9521599⟩. ⟨hal-03450299⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03450299/file/paper.pdf BibTex
ref_biblio
Alexandre Sedoglavic, Alexey Smirnov. The Tensor Rank of 5x5 Matrices Multiplication is Bounded by 98 andIts Border Rank by 89. ISSAC '21: International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint Petersburg, Russia. pp.345-351, ⟨10.1145/3452143.3465537⟩. ⟨hal-04285141⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04285141/file/2101.12568.pdf BibTex

Book sections

ref_biblio
Miwako Tsuji, Hitoshi Murai, Taisuke Boku, Mitsuhisa Sato, Serge Petiton, et al.. Multi-SPMD Programming Model with YML and XcalableMP. XcalableMP PGAS Programming Language, Springer Singapore, pp.219-243, 2021, ⟨10.1007/978-981-15-7683-6_9⟩. ⟨hal-03429306⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03429306/file/Tsuji2021_Chapter_Multi-SPMDProgrammingModelWith.pdf BibTex

Books

ref_biblio
François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov. Computer Algebra in Scientific Computing 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings. 2021, ⟨10.1007/978-3-030-85165-1⟩. ⟨hal-03329748⟩
Accès au bibtex
BibTex

Theses

ref_biblio
Jérôme Gurhem. Distributed and parallel programming paradigms using graphs of tasks for post-petascale supercomputers. Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lille, 2021. English. ⟨NNT : 2021LILUI005⟩. ⟨tel-03354122v2⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03354122/file/These_GURHEM_Jerome.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Charles Bouillaguet, Claire Delaplace, Antoine Joux. Algorithms for Sparse Random 3XOR: The Low-Density Case. 2021. ⟨hal-02306917v4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02306917/file/main1.pdf BibTex

2020

Journal articles

ref_biblio
Charles Bouillaguet, Florette Martinez, Julia Sauvage. Practical seed-recovery for the PCG Pseudo-Random Number Generator. IACR Transactions on Symmetric Cryptology, 2020, ⟨10.13154/tosc.v2020.i3.175-196⟩. ⟨hal-02700791⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02700791/file/main.pdf BibTex
ref_biblio
Adrien Poteaux, Martin Weimann. Computing the equisingularity type of a pseudo-irreducible polynomial. Applicable Algebra in Engineering, Communication and Computing, 2020, 31, pp.435-460. ⟨10.1007/s00200-020-00451-x⟩. ⟨hal-02354930v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02354930/file/equi-singularity.pdf BibTex
ref_biblio
Xinzhe Wu, Serge Petiton, Yutong Lu. A parallel generator of non-Hermitian matrices computed from given spectra. Concurrency and Computation: Practice and Experience, In press, ⟨10.1002/cpe.5710⟩. ⟨hal-02469027⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02469027/file/Vecpar_Special_Issue.pdf BibTex

Conference papers

ref_biblio
François Boulier, Jose Cano, Sebastian Falkensteiner, Rafael Sendra. Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs -- A MAPLE Package. Proceedings of the Maple Conference 2020, Nov 2020, Waterloo, Canada. ⟨hal-03167642⟩
Accès au bibtex
https://arxiv.org/pdf/2103.03646 BibTex
ref_biblio
Jean-Guillaume Dumas, Clément Pernet, Alexandre Sedoglavic. On fast multiplication of a matrix by its transpose. Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation, ACM SIGSAM, Jul 2020, Kalamata, Greece. pp.162-169, ⟨10.1145/3373207.3404021⟩. ⟨hal-02432390v4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02432390/file/wishart.pdf BibTex
ref_biblio
Sebastian Falkensteiner, Cristhian Emmanuel Garay-Lopez, Mercedes Haiech, Marc Paul Noordman, Zeinab Toghani, et al.. The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry. ISSAC'20 : International Symposium on Symbolic and Algebraic Computation 2020, Jul 2020, Kalamata, Greece. pp.178-185, ⟨10.1145/3373207.3404040⟩. ⟨hal-02472809⟩
Accès au bibtex
https://arxiv.org/pdf/2002.03041 BibTex

Book sections

ref_biblio
Joachim Protze, Miwako Tsuji, Christian Terboven, Thomas Dufaud, Hitoshi Murai, et al.. MYX: Runtime correctness analysis for multi-level parallel programming paradigms. Hans-Joachim Bungartz; Severin Reiz; Benjamin Uekermann; Philipp Neumann; Wolfgang E. Nagel. Software for Exascale Computing - SPPEXA 2016-2019, 136, Springer International Publishing, pp.545-567, 2020, Lecture Notes in Computational Science and Engineering, 978-3-030-47956-5 (e-book). ⟨10.1007/978-3-030-47956-5_18⟩. ⟨hal-03429330⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03429330/file/MYX.pdf BibTex
ref_biblio
Jérôme Gurhem, Serge Petiton. A Current Task-Based Programming Paradigms Analysis. Krzhizhanovskaya V. et al. (eds) Computational Science – ICCS 2020. ICCS 2020. Lecture Notes in Computer Science, vol 12141. Springer, Cham, pp.203-216, 2020, ⟨10.1007/978-3-030-50426-7_16⟩. ⟨hal-02888665⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02888665/file/document.pdf BibTex
ref_biblio
François Boulier, François Lemaire, Markus Rosenkranz, Rosane Ushirobira, Nathalie Verdière. On Symbolic Approaches to Integro-Differential Equations. Alban Quadrat; Eva Zerz. Algebraic and Symbolic Computation Methods in Dynamical Systems, 9, Springer, pp.161-182, 2020, Advances in Delays and Dynamics, ⟨10.1007/978-3-030-38356-5_6⟩. ⟨hal-01367138v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01367138/file/BLRUV.pdf BibTex

Books

ref_biblio
François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov. Computer Algebra in Scientific Computing. 22nd International Workshop, CASC 2020 Proceedings. 2020, ⟨10.1007/978-3-030-60026-6⟩. ⟨hal-02987197⟩
Accès au bibtex
BibTex

2019

Journal articles

ref_biblio
Pierre Fortin, Maxime Touche. Dual tree traversal on integrated GPUs for astrophysical N-body simulations. International Journal of High Performance Computing Applications, 2019, 33 (5), pp.960-972. ⟨10.1177/1094342019840806⟩. ⟨hal-02073710⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-02073710/file/article-HAL.pdf BibTex
ref_biblio
François Boulier, François Lemaire, Adrien Poteaux, Marc Moreno Maza. An Equivalence Theorem For Regular Differential Chains. Journal of Symbolic Computation, In press, 93, pp.34-55. ⟨10.1016/j.jsc.2018.04.011⟩. ⟨hal-01391768v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01391768/file/Yetan-Equivalence-Theorem.pdf BibTex
ref_biblio
Xinzhe Wu, Serge Petiton. A distributed and parallel unite and conquer method to solve sequences of non-Hermitian linear systems. Japan Journal of Industrial and Applied Mathematics, In press, ⟨10.1007/s13160-019-00359-1⟩. ⟨hal-01918738⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01918738/file/xinzhewu.pdf BibTex
ref_biblio
Xinzhe Wu, Serge Petiton. A Distributed and Parallel Asynchronous Unite and Conquer Method to Solve Large Scale Non-Hermitian Linear Systems with Multiple Right-hand Sides. Parallel Computing, 2019, pp.102551. ⟨10.1016/j.parco.2019.102551⟩. ⟨hal-01918741⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01918741/file/parallel_computing_Xinzhe_Wu.pdf BibTex
ref_biblio
Charles Gueunet, Pierre Fortin, Julien Jomier, Julien Tierny. Task-based Augmented Contour Trees with Fibonacci Heaps. IEEE Transactions on Parallel and Distributed Systems, 2019, 30 (8), pp.1889-1905. ⟨10.1109/TPDS.2019.2898436⟩. ⟨hal-02010580⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02010580/file/hal.pdf BibTex

Conference papers

ref_biblio
Yacine Bouzidi, Adrien Poteaux. Real curve analysis and stability of time-delay systems. 7th IFAC Symposium on System Structure and Control SSSC 2019, Daniela Danciu, Sep 2019, Sinaia (Romania), Romania. pp.94-98, ⟨10.1016/j.ifacol.2019.11.033⟩. ⟨hal-04262761⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-04262761/file/main.pdf BibTex
ref_biblio
Jérôme Gurhem, Miwako Tsuji, Serge Petiton, Mitsuhisa Sato. Distributed and Parallel Programming Paradigms on the K computer and a Cluster. HPCAsia 2019 International Conference on High Performance Computing in Asia-Pacific Region, Jan 2019, Guangzhou, China. pp.9-17, ⟨10.1145/3293320.3293330⟩. ⟨hal-02050930⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02050930/file/24-Gurhem.pdf BibTex

Book sections

ref_biblio
Yacine Bouzidi, Adrien Poteaux, Alban Quadrat. A symbolic computation approach to the asymptotic stability analysis of differential systems with commensurate delays. Giorgio Valmorbida; Alexandre Seuret; Islam Boussaada; Rifat Sipahi. Delays and Interconnections: Methodology, Algorithms and Applications, Advances in Delays and Dynamics, 10, Springer, pp.16, 2019, ⟨10.1007/978-3-030-11554-8_11⟩. ⟨hal-01485536⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01485536/file/RR-9044.pdf BibTex

Lectures

ref_biblio
François Boulier. A Differential Algebra Introduction For Tropical Differential Geometry. Doctoral. United Kingdom. 2019. ⟨hal-02378197v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02378197/file/notes.pdf BibTex

Theses

ref_biblio
Xinzhe Wu. Contribution to the emergence of new intelligent parallel and distributed methods using a multi-level programming paradigm for extreme computing. Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Lille 1, Sciences et Technologies; CRIStAL UMR 9189, 2019. English. ⟨NNT : ⟩. ⟨tel-02446813⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-02446813/file/50376-2019-Xinzhe_Wu.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
François Boulier, Mercedes Haiech. The Ritt-Raudenbush Theorem and Tropical Differential Geometry. 2019. ⟨hal-02403365v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02403365/file/RittRaudenbush.pdf BibTex
ref_biblio
Adrien Poteaux, Martin Weimann. Using approximate roots for irreducibility and equi-singularity issues in K[[x]][y]. 2019. ⟨hal-02137331v2⟩
Accès au texte intégral et bibtex
https://normandie-univ.hal.science/hal-02137331/file/irreducible_approx_roots.pdf BibTex
ref_biblio
François Boulier, François Lemaire, Marc Moreno Maza, Adrien Poteaux. A Short Contribution to the Theory of Regular Chains. 2019. ⟨hal-02189597⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02189597/file/paper.pdf BibTex

2018

Journal articles

ref_biblio
François Boulier, François Fages, Ovidiu Radulescu, Satya Swarup Samal, Andreas Schuppert, et al.. The SYMBIONT project: symbolic methods for biological networks. ACM Communications in Computer Algebra, 2018, 52 (3), pp.67-70. ⟨10.1145/3313880.3313885⟩. ⟨hal-02061018⟩
Accès au bibtex
BibTex
ref_biblio
Charles Bouillaguet, Claire Delaplace, Pierre-Alain Fouque. Revisiting and Improving Algorithms for the 3XOR Problem. IACR Transactions on Symmetric Cryptology, 2018, ⟨10.13154/tosc.v2018.i1.254-276⟩. ⟨hal-01655907⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01655907/file/main.pdf BibTex
ref_biblio
Xinzhe Wu, Serge Petiton, Yutong Lu. A parallel generator of non-hermitian matrices computed from given spectra. Lecture Notes in Computer Science, 2018, High Performance Computing for Computational Science – VECPAR 2018, 11333, pp.215-229. ⟨10.1007/978-3-030-15996-2_16⟩. ⟨hal-01867967⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01867967/file/vecpar18_Xinzhe%20Wu.pdf BibTex

Conference papers

ref_biblio
François Boulier, Hélène Castel, Nathalie Corson, Valentina Lanza, François Lemaire, et al.. Symbolic-Numeric Methods for Nonlinear Integro-Differential Modeling. CASC 2018 - The 20th International Workshop on Computer Algebra in Scientific Computing, Sep 2018, Lille, France. ⟨10.1007/978-3-319-99639-4_6⟩. ⟨hal-01765409v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01765409/file/main.pdf BibTex
ref_biblio
Bonan Cuan, Aliénor Damien, Claire Delaplace, Mathieu Valois. Malware Detection in PDF Files Using Machine Learning. SECRYPT 2018 - 15th International Conference on Security and Cryptography, Jul 2018, Porto, Portugal. 8p. ⟨hal-01704766v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01704766/file/Malware%20Detection%20in%20PDF%20Files%20Using%20Machine%20Learning%20SECRYPT%2718.pdf BibTex
ref_biblio
François Boulier. On the Parameter Estimation Problem for Integro-Differential Models. AADIOS @ ACA 2018, Jun 2018, Santiago de Compostela, Spain. ⟨hal-01780909⟩
Accès au bibtex
BibTex
ref_biblio
Xinzhe Wu, Serge Petiton. A Distributed and Parallel Asynchronous Unite and Conquer Method to Solve Large Scale Non-Hermitian Linear Systems. HPC Asia 2018 - International Conference on High Performance Computing in Asia-Pacific Region, Jan 2018, Tokyo, Japan. ⟨10.1145/3149457.3154481⟩. ⟨hal-01677110⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01677110/file/HPCAsia2018_pap114_camera_ready_version.pdf BibTex

Other publications

ref_biblio
François Boulier, François Fages, Ovidiu Radulescu, Satya S Samal, Andreas Schuppert, et al.. The SYMBIONT Project: Symbolic Methods for Biological Networks. 2018. ⟨hal-01889825⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01889825/file/f1000research-216010.pdf BibTex

Reports

ref_biblio
Xinzhe Wu. SMG2S Manual v1.0. [Technical Report] Maison de la Simulation. 2018. ⟨hal-01874810⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01874810/file/smg2s_manual.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
François Boulier. The Management of Parameters in the MAPLE DifferentialAlgebra Package. 2018. ⟨hal-01825191⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01825191/file/ParameterManagement.pdf BibTex

2017

Conference papers

ref_biblio
Charles Bouillaguet, Claire Delaplace, Marie-Emilie Voge. Parallel Sparse PLUQ Factorization modulo p. PASCO'17, Jul 2017, Kaiserslautern, Germany. pp.1 - 10, ⟨10.1145/3115936.3115944⟩. ⟨hal-01646133⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01646133/file/main.pdf BibTex
ref_biblio
Charles Bouillaguet, Claire Delaplace, Pierre-Alain Fouque, Paul Kirchner. Fast Lattice-Based Encryption: Stretching Spring. International Workshop on Post-Quantum Cryptography, Jun 2017, Utrecht, Netherlands. ⟨hal-01654408⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01654408/file/PQCrypto17.pdf BibTex
ref_biblio
Nahid Emad, Alexandre Fender, Serge Petiton, Maxim Naumov. Parallel Modularity Clustering. International Conference on Computational Science, ICCS 2017, Jun 2017, Zurich, Switzerland. pp.1793 - 1802, ⟨10.1016/j.procs.2017.05.198⟩. ⟨hal-01609459⟩
Accès au bibtex
BibTex
ref_biblio
François Boulier, François Lemaire, Adrien Poteaux, Alban Quadrat, Nathalie Verdière, et al.. Identifiability, Integro-Differential Equations and Neurobiology. Talk Afternotes. Journées Annuelles du GT BIOSS, Mar 2017, Montpellier, France. ⟨hal-01490268⟩
Accès au bibtex
BibTex

Preprints, Working Papers, ...

ref_biblio
Alexandre Sedoglavic. Laderman matrix multiplication algorithm can be constructed using Strassen algorithm and related tensor's isotropies. 2017. ⟨hal-01494718v4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01494718/file/RFC1703.pdf BibTex

2016

Journal articles

ref_biblio
Elena Andreeva, Charles Bouillaguet, Orr Dunkelman, Pierre-Alain Fouque, Jonathan Hoch, et al.. New Second-Preimage Attacks on Hash Functions. Journal of Cryptology, 2016, 29 (4), pp.657 - 696. ⟨10.1007/s00145-015-9206-4⟩. ⟨hal-01654410⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01654410/file/article.pdf BibTex
ref_biblio
David Coudert, Stéphane Pérennes, Hervé Rivano, Marie-Emilie Voge. Combinatorial optimization in networks with Shared Risk Link Groups. Discrete Mathematics and Theoretical Computer Science, 2016, Vol. 18 no. 3 (3), pp.25. ⟨10.46298/dmtcs.1297⟩. ⟨hal-01053859v4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01053859/file/dmtcs-1420.pdf BibTex
ref_biblio
Nahid Emad, Serge Petiton. Unite and conquer approach for high scale numerical computing. International Journal of Computational Science and Engineering, 2016, 14, pp.5 - 14. ⟨10.1016/j.jocs.2016.01.007⟩. ⟨hal-01609342⟩
Accès au bibtex
BibTex
ref_biblio
Nahid Emad, Alexandre Fender, Joe Eaton, Serge Petiton. Accelerated Hybrid Approach for Spectral Problems Arising in Graph Analytics. Procedia Computer Science, 2016, 80, pp.2338 - 2347. ⟨10.1016/j.procs.2016.05.435⟩. ⟨hal-01609378⟩
Accès au bibtex
BibTex
ref_biblio
François Boulier, Joseph Lallemand, François Lemaire, Georg Regensburger, Markus Rosenkranz. Additive Normal Forms and Integration of Differential Fractions. Journal of Symbolic Computation, 2016. ⟨hal-01245378⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01245378/file/bllrr.pdf BibTex

Conference papers

ref_biblio
François Lemaire, Alexandre Temperville. Computing Sparse Representations of Systems of Rational Fractions. Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. pp.349 - 366, ⟨10.1007/978-3-319-45641-6_23⟩. ⟨hal-01407919⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01407919/file/LT15.pdf BibTex
ref_biblio
Charles Bouillaguet, Claire Delaplace. Sparse Gaussian Elimination modulo p: an Update. Computer Algebra in Scientific Computing, Sep 2016, Bucharest, Romania. ⟨hal-01333670⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01333670/file/main.pdf BibTex
ref_biblio
Yacine Bouzidi, Adrien Poteaux, Alban Quadrat. Computer algebra methods for the stability analysis of differential systems with commensurate time-delays. 13th IFAC Workshop on Time Delay Systems , Jun 2016, Istanbul, Turkey. pp.6. ⟨hal-01415282⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01415282/file/stability_delays2.pdf BibTex
ref_biblio
Serge Petiton, Chen Langshi. Energy Consumption Evaluation for Krylov Methods on Clusters of gPU Accelerators. GPU Technology Conference, Apr 2016, San Jose, CA, United States. ⟨hal-01703489⟩
Accès au bibtex
BibTex

2015

Journal articles

ref_biblio
François Boulier, François Lemaire, Valery G. Romanovski, M. Han. Qualitative Investigation of a Gene Model Using Computer Algebra Algorithms. Programming and Computer Software, 2015, 41 (2), pp.105-111. ⟨hal-01234977⟩
Accès au bibtex
BibTex

Conference papers

ref_biblio
Serge Petiton, Miwako Tsuji, Mitsuhisa Sato. Fault tolerance features of a new multi-SPMD programming/execution environment. International Workshop on Extreme Scale Programming Models and Middleware, IEEE and ACM Supercomputing 2015, Nov 2015, Austin, TX, United States. ⟨10.1145/2832241.2832243⟩. ⟨hal-01703467⟩
Accès au bibtex
BibTex
ref_biblio
Fan Ye, Christophe Calvin, Serge Petiton. An Efficient Task-Based Execution Model for Stochastic Linear Solver on Multi-core and Many-Core Systems. 2015 IEEE 18th International Conference on Computational Science and Engineering (CSE), Oct 2015, Porto, Portugal. ⟨10.1109/CSE.2015.52⟩. ⟨hal-01703472⟩
Accès au bibtex
BibTex
ref_biblio
François Boulier, François Lemaire. Finding First Integrals Using Normal Forms Modulo Differential Regular Chains. Computer Algebra in Scientific Computing 2015, Sep 2015, Aachen, Germany. pp.101-118. ⟨hal-01234982⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01234982/file/paper.pdf BibTex
ref_biblio
Chen Langshi, Serge Petiton. A TSQR Based Krylov Basis Computation Method on Hybrid GPU Clusters. IEEE Clusters 2015, Sep 2015, Chicago, United States. ⟨hal-01701610⟩
Accès au bibtex
BibTex
ref_biblio
Adrien Poteaux, Marc Rybowicz. Improving Complexity Bounds for the Computation of Puiseux Series over Finite Fields. ISSAC '15, Jul 2015, Bath, United Kingdom. pp.299--306, ⟨10.1145/2755996.2756650⟩. ⟨hal-01253216⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01253216/file/puiseuxd4.pdf BibTex
ref_biblio
Fan Ye, Calvin Christophe, Petiton Serge. Intel Xeon/Xeon Phi Platform Oriented Scalable Monte Carlo Linear Solver. Joint International Conference on Mathematics and Computation, Supercomputing in Nuclear Applications and the Monte Carlo Methods, Apr 2015, Nasville, TN, United States. ⟨hal-01703463⟩
Accès au bibtex
BibTex

Book sections

ref_biblio
Chen Langshi, Petiton Serge, Drummond Leroy, Hugues Maxime. A communication Optimisation Scheme for Basic Computation of Krylov Subspace Methods on multi-GPUs. High Performance Computing for Computational Science, Lecture Notes in Computer Sciences, vol 8969, Springer, 2015. ⟨hal-01703456⟩
Accès au bibtex
BibTex

2014

Journal articles

ref_biblio
Nicolas Auffray, Boris Kolev, Michel Petitot. On anisotropic polynomial relations for the elasticity tensor. Journal of Elasticity, 2014, 115 (1), pp.77-103. ⟨10.1007/s10659-013-9448-z⟩. ⟨hal-00827948⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00827948/file/AKP_JoE.pdf BibTex

Conference papers

ref_biblio
François Lemaire, Alexandre Temperville. On Defining and Computing ``Good'' Conservation Laws. Computational Methods in Systems Biology, Nov 2014, Manchester, United Kingdom. pp.1 - 19, ⟨10.1007/978-3-319-12982-2_1⟩. ⟨hal-01407915⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01407915/file/LT14.pdf BibTex
ref_biblio
François Boulier, Anja Korporal, François Lemaire, Wilfrid Perruquetti, Adrien Poteaux, et al.. An Algorithm for Converting Nonlinear Differential Equations to Integral Equations with an Application to Parameter Estimation from Noisy Data. Computer Algebra in Scientific Computing, Sep 2014, Warsaw, Poland. pp.28 - 43. ⟨hal-01114187⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01114187/file/BKLPPU-14_CASC.pdf BibTex

2013

Journal articles

ref_biblio
Adrien Poteaux, Éric Schost. Modular Composition Modulo Triangular Sets and Applications. Computational Complexity, 2013, pp.1-54. ⟨10.1007/s00037-013-0063-y⟩. ⟨hal-00825843⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00825843/file/poteaux-schost.pdf BibTex
ref_biblio
Adrien Poteaux, Éric Schost. On the complexity of computing with zero-dimensional triangular sets. Journal of Symbolic Computation, 2013, 50, pp.110 - 138. ⟨10.1016/j.jsc.2012.05.008⟩. ⟨hal-00825847⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00825847/file/trigset.pdf BibTex

Conference papers

ref_biblio
Charles Bouillaguet, Pierre-Alain Fouque, Amandine Véber. Graph-Theoretic Algorithms for the “Isomorphism of Polynomials” Problem. Advances in Cryptology - {EUROCRYPT} 2013, May 2013, Athenes, Greece. pp.17, ⟨10.1007/978-3-642-38348-9_13⟩. ⟨hal-00825503v2⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00825503/file/BFV13.pdf BibTex
ref_biblio
François Boulier, François Lemaire. On the Integration of Differential Fractions. Differential Algebra and Related Topics V, 2013, Villeneuve d'Ascq, France. ⟨hal-00825862⟩
Accès au bibtex
BibTex
ref_biblio
François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz. On the integration of differential fractions. ISSAC'13, 2013, Boston, United States. pp.1-8. ⟨hal-00825855⟩
Accès au bibtex
BibTex

Reports

ref_biblio
Kirill Batmanov, Cristian Versari, Michel Petitot. Réseaux de Pétri stochastiques comportant une seule place 1ere partie: régime stationnaire. 2013. ⟨hal-00804972⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00804972/file/RA_seaux_de_PA_tri_stochastiques_comportant_une_seule_place.pdf BibTex
ref_biblio
François Boulier, Anne J. Shiu, Andreas Weber, Thomas Sturm. Symbolic Methods for Chemical Reaction Networks (Dagstuhl Seminar 12462). [Research Report] Dagstuhl. 2013, pp.66--86. ⟨hal-00824955⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00824955/file/dagrep_v002_i011_p066_s12462.pdf BibTex

2012

Journal articles

ref_biblio
Adrien Poteaux, Marc Rybowicz. Good reduction of Puiseux series and applications. Journal of Symbolic Computation, 2012, 47 (1), pp.32 - 63. ⟨10.1016/j.jsc.2011.08.008⟩. ⟨hal-00825850⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00825850/file/JSC_ISSAC08.pdf BibTex

Conference papers

ref_biblio
Kirill Batmanov, Celine Kuttler, François Lemaire, Cédric Lhoussaine, Cristian Versari. Symmetry-based model reduction for approximate stochastic analysis. Computational Methods in Systems Biology 2012 (CMSB 2012), Oct 2012, London, United Kingdom. pp.49-68. ⟨hal-00713386⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00713386/file/0.pdf BibTex
ref_biblio
Michel Petitot. Groupes de symétrie et groupes de Galois intervenant dans l'étude des orbites d'un groupe réel compact. FELIM, 2012, Limoges, France. ⟨hal-00825872⟩
Accès au bibtex
BibTex
ref_biblio
François Lemaire. Solving a Chemical Reaction System by a PDE. Functional Equations in LIMoges, 2012, Limoges, France. ⟨hal-00825869⟩
Accès au bibtex
BibTex
ref_biblio
François Boulier, Nicolas M. Thiéry. A Differential Algebra Package in Sage. AADIOS session in the Applications of Computer Algebra Conference, 2012, Sofia, Bulgaria. ⟨hal-00825118⟩
Accès au bibtex
BibTex

Book sections

ref_biblio
M. Aigner, B. Jüttler, Adrien Poteaux. Approximate Implicitization of Space Curves. U. Langer and R. Corless and H. Hong and T. Ida and M. Kreuzer and B. Salvy and D. Wang and P. Paule. Numerical and Symbolic Scientific Computing, Springer Vienna, pp.1-19, 2012, ⟨10.1007/978-3-7091-0794-2_1⟩. ⟨hal-00825853⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00825853/file/AI.pdf BibTex

2011

Journal articles

ref_biblio
Lisi d'Alfonso, Gabriella Jeronimo, François Ollivier, Alexandre Sedoglavic, Pablo Solernó. A Geometric Index Reduction Method for Implicit Systems of Differential Algebraic Equations. Journal of Symbolic Computation, 2011, 46 (10), pp.1114-1138. ⟨10.1016/j.jsc.2011.05.012⟩. ⟨hal-00512704⟩
Accès au bibtex
https://arxiv.org/pdf/1008.5080 BibTex
ref_biblio
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination. Mathematics in Computer Science, 2011, 5, pp.289-301. ⟨hal-00824993⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00824993/file/art.pdf BibTex
ref_biblio
François Boulier, François Lemaire, Alexandre Sedoglavic, Katsuhisa Horimoto, Masahiko Nakatsui, et al.. Brute force meets Bruno force in parameter optimisation: introduction of novel constraints for parameter accuracy improvement by symbolic computation.. IET Systems Biology, 2011, 5 (5), pp.287-292. ⟨hal-00825379⟩
Accès au bibtex
BibTex

Conference papers

ref_biblio
François Boulier, François Lemaire, Michel Petitot, Alexandre Sedoglavic. Chemical Reaction Systems, Computer Algebra and Systems Biology. Computer Algebra and Scientific Computing, Sep 2011, Kassel, Germany. ⟨hal-00603290⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00603290/file/art.pdf BibTex
ref_biblio
François Boulier, François Lemaire, Alexandre Sedoglavic. On the Regularity Property of Differential Polynomials Modulo Regular Differential Chains. Computer Algebra in Scientific Computings, Sep 2011, Kassel, Germany. pp.1-12. ⟨hal-00599440⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00599440/file/BoulierLemaireSedoglavic.pdf BibTex
ref_biblio
François Boulier. The FreeMABSys project and the BLAD libraries. MAGIX@LIX, 2011, Palaiseau, France. ⟨hal-00825861⟩
Accès au bibtex
BibTex
ref_biblio
François Lemaire. The FreeMABSys Project and the MABSys Library. MAGIX@LIX, 2011, Palaiseau, France. ⟨hal-00825863⟩
Accès au bibtex
BibTex
ref_biblio
François Lemaire, Changbo Chen, James H. Davenport, Marc Moreno Maza, Nalina Phisanbut, et al.. Solving semi-algebraic systems with the RegularChains library in Maple. Mathematical Aspects of Computer Science and Information Sciences, 2011, Beijing, China. pp.38--51. ⟨hal-00825013⟩
Accès au bibtex
BibTex

Preprints, Working Papers, ...

ref_biblio
Nicolas Auffray, Boris Kolev, Michel Petitot. Invariant-based approach to symmetry class detection. 2011. ⟨hal-00638020⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00638020/file/akp2011.pdf BibTex

2010

Journal articles

ref_biblio
François Lemaire, Marc Moreno Maza, Yuzhen Xie, Wei Pan. When does (T) equal sat(T)?. Journal of Symbolic Computation, 2010, 46 (12), pp.1291-1305. ⟨hal-00825030⟩
Accès au bibtex
BibTex
ref_biblio
François Boulier, François Lemaire, Marc Moreno Maza. Computing Differential Characteristic Sets by Change of Ordering. Journal of Symbolic Computation, 2010, 45, pp.124-149. ⟨10.1016/j.jsc.2009.09.004⟩. ⟨hal-00824984⟩
Accès au bibtex
BibTex
ref_biblio
François Boulier, François Lemaire. A Normal Form Algorithm for Regular Differential Chains. Mathematics in Computer Science, 2010, 4 (2), pp.185-201. ⟨hal-00824964⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00824964/file/bl10.pdf BibTex

Conference papers

ref_biblio
Samuel Alexandre Vidal, Michel Petitot, François Boulier, François Lemaire, Celine Kuttler. Models of stochastic gene expression and Weyl algebra. Algebraic and Numeric Biology (ANB 2010), Jul 2010, Hagenberg, Austria. pp.76-97. ⟨hal-00492438v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00492438/file/vidaleEtAl2010.pdf BibTex
ref_biblio
Masahiko Nakatsui, Alexandre Sedoglavic, François Lemaire, François Boulier, Aslı Grimaud, et al.. A General Procedure for Accurate Parameter Estimation in Dynamic Systems Using New Estimation Errors. 4th International Conference, ANB 2010, 2010, Hagenberg, Austria. pp.149-166. ⟨hal-00824995⟩
Accès au bibtex
BibTex
ref_biblio
François Lemaire. Application of Differential Algebra to the Quasi-Steady State Approximation in Biology and Physics. DART IV, 2010, Beijing, China. ⟨hal-00825125⟩
Accès au bibtex
BibTex
ref_biblio
François Lemaire, Aslı Grimaud. A Method for semi-rectifying Algebraic and Differential Systems using Scaling type Lie Point Symmetries with Linear Algebra. International Symposium on Symbolic and algebraic computation, 2010, Munich, Germany. pp.85--92. ⟨hal-00825033⟩
Accès au bibtex
BibTex
ref_biblio
François Lemaire, Aslı Grimaud. MABSys: Modeling and Analysis of Biological Systems. Algebraic and Numerical Biology, 2010, Hagenberg, Austria. pp.57-72. ⟨hal-00825029⟩
Accès au bibtex
BibTex

2009

Journal articles

ref_biblio
François Boulier, Daniel Lazard, François Ollivier, Michel Petitot. Computing representations for radicals of finitely generated differential ideals. Applicable Algebra in Engineering, Communication and Computing, 2009, 20 (1), pp.73-121. ⟨10.1007/s00200-009-0091-7⟩. ⟨hal-00820902⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00820902/file/blopV2.pdf BibTex
ref_biblio
François Boulier, François Lemaire, Alexandre Sedoglavic, Aslı Grimaud. Towards an automated reduction method for polynomial ODE models in cellular biology. Mathematics in Computer Science, 2009, 2 (3), pp.443-464. ⟨10.1007/s11786-008-0062-6⟩. ⟨hal-00307915v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00307915/file/blsu08.pdf BibTex
ref_biblio
Pierre-Emmanuel Morant, Quentin Thommen, François Lemaire, Constant Vandermoëre, Benjamin Parent, et al.. Oscillations in the expression of a self-repressed gene induced by a slow transcriptional dynamics. Physical Review Letters, 2009, 102 (6), pp.068104. ⟨10.1103/PhysRevLett.102.068104⟩. ⟨hal-00268097v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00268097/file/degradatorV3.pdf BibTex
ref_biblio
Michel Petitot, Raouf Dridi, Sylvain Neut,. Elie Cartan's geometrical vision or how to avoid expression swell. Journal of Symbolic Computation, 2009, 44 (3), pp.261-270. ⟨hal-00824988⟩
Accès au bibtex
BibTex
ref_biblio
Raouf Dridi, Michel Petitot. New classification techniques for ordinary differential equations. Journal of Symbolic Computation, 2009, 44 (7), pp.836 - 851. ⟨10.1016/j.jsc.2008.04.010⟩. ⟨inria-00450410⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00450410/file/0712.0002v2.pdf BibTex
ref_biblio
Michel Petitot, Samuel Vidal,. Counting Rooted and Unrooted Triangular Maps. Journal of Nonlinear Systems and Applications, 2009, 1 (1-2), pp.151-154. ⟨hal-00824982⟩
Accès au bibtex
BibTex

Conference papers

ref_biblio
François Boulier, François Lemaire. Differential Algebra and QSSA methods in biochemistry. International Federation of Automatic Control (IFAC), Jun 2009, Saint-Malo, France. pp.1-6. ⟨hal-00842562⟩
Accès au bibtex
BibTex
ref_biblio
François Boulier. On applications of differential elimination to modeling problems in biology. International Conference in the Honor of Wu Wen-Tsun 90th birthday, 2009, China. ⟨hal-00825859⟩
Accès au bibtex
BibTex
ref_biblio
François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza. Real Root Isolation of Regular Chains. Asian Symposium on Computer Mathematics, 2009, France. pp.15-29. ⟨hal-00825036⟩
Accès au bibtex
BibTex

2008

Conference papers

ref_biblio
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits. AB 2008 - Third International Conference Algebraic Biology, Jul 2008, Hagenberg, Austria. pp.56-64, ⟨10.1007/978-3-540-85101-1_5⟩. ⟨hal-00213327v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00213327/file/bllm08.pdf BibTex
ref_biblio
François Boulier. On the role of differential algebra in biological modeling. Differential Algebra and Related Computer Algebra. An international conference in memory of Giuseppa Carrà Ferro, Mar 2008, Catania, Italy. pp.39-44. ⟨hal-00274685⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00274685/file/Boulier08.pdf BibTex
ref_biblio
François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie. When does (T) equal sat(T)?. International Symposium on Symbolic and algebraic computation, 2008, Hagenberg, Austria. pp.207-214. ⟨hal-00825039⟩
Accès au bibtex
BibTex
ref_biblio
François Boulier, François Lemaire. Differential algebra and system modeling in cellular biology. AB 2008, 2008, Hagenberg, Austria. pp.22-39. ⟨hal-00274689⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00274689/file/BL-AB08.pdf BibTex
ref_biblio
François Boulier, François Lemaire, Marc Lefranc, Pierre-Emmanuel Morant. Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits. Journées Ouvertes Biologie Informatique Mathématiques, 2008, Lille, France. pp.77-82. ⟨hal-00825126⟩
Accès au bibtex
BibTex

Other publications

ref_biblio
François Lemaire, Alexandre Sedoglavic, Asli Urguplu. Moving Frame Based Strategies for Reduction of Ordinary Differential/Recurrence Systems using their Expanded Lie Point Symmetries.. 2008. ⟨hal-00212331⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00212331/file/LemaireSedoglavicUrguplu2008.pdf BibTex

2007

Conference papers

ref_biblio
Alexandre Sedoglavic. Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries. Algebraic Biology 2007, Jul 2007, RISC, Castle of Hagenberg, Austria, Austria. pp.277-291, ⟨10.1007/978-3-540-73433-8_20⟩. ⟨inria-00120991⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00120991/file/Sedoglavic2006.pdf BibTex
ref_biblio
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Aslı Grimaud. On proving the absence of oscillations in models of genetic circuits. Second International Conference, AB 2007, Jul 2007, Hagenberg, Austria. pp.66-80, ⟨10.1007/978-3-540-73433-8⟩. ⟨hal-00139667⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00139667/file/BLLMU07.pdf BibTex
ref_biblio
Alin Bostan, Frédéric Chyzak, François Ollivier, Bruno Salvy, Éric Schost, et al.. Fast computation of power series solutions of systems of differential equations. 2007 ACM-SIAM Symposium on Discrete Algorithms, ACM-SIAM, Jan 2007, New Orleans, Louisiana, United States. pp.1012-1021. ⟨inria-00001264⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00001264/file/focs.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant. Model Reduction of Chemical Reaction Systems using Elimination. 2007. ⟨hal-00184558⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00184558/file/bllm-macis-2007.pdf BibTex
ref_biblio
François Boulier, François Lemaire, Marc Moreno Maza. Computing differential characteristic sets by change of ordering. 2007. ⟨hal-00141095v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00141095/file/blm07.pdf BibTex
ref_biblio
François Boulier, François Lemaire. A computer scientist point of view on Hilbert's differential theorem of zeros. 2007. ⟨hal-00170091v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00170091/file/bl08.pdf BibTex

2006

Conference papers

ref_biblio
François Boulier, François Lemaire, Marc Moreno Maza. Well known theorems on triangular systems and the D5 principle. Transgressive Computing 2006, Apr 2006, France. pp.79-91. ⟨hal-00137158⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00137158/file/blm06.pdf BibTex

Other publications

ref_biblio
Évelyne Hubert, Alexandre Sedoglavic. Polynomial Time Nondimensionalisation of Ordinary Differential Equations via their Lie Point Symmetries. 2006. ⟨inria-00001251⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00001251/file/HubertSedoglavic2006.pdf BibTex

2005

Conference papers

ref_biblio
Michel Fliess, Cédric Join, Mamadou Mboup, Alexandre Sedoglavic. Estimation des dérivées d'un signal multidimensionnel avec applications aux images et aux vidéos. XXème Colloque francophone de traitement du signal et des images, GRETSI, Sep 2005, Louvain-la-Neuve, Belgique. pp.136-139. ⟨inria-00001116⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00001116/file/Gretsi05_Image.pdf BibTex

2003

Journal articles

ref_biblio
Guillermo Matera, Alexandre Sedoglavic. Fast computation of discrete invariants associated to a differential rational mapping. Journal of Symbolic Computation, 2003, 36 (3--4), pp.473--499. ⟨10.1016/S0747-7171(03)00091-9⟩. ⟨hal-00129198⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00129198/file/MateraSedoglavic2003a.pdf BibTex
ref_biblio
François Lemaire. {An orderly linear PDE system with analytic initial conditions with a non analytic solution}. Journal of Symbolic Computation, 2003, 35 (5), pp.487-498. ⟨hal-00545215⟩
Accès au bibtex
BibTex

2002

Conference papers

ref_biblio
Guillermo Matera, Alexandre Sedoglavic. The differential Hilbert function of a differential rational mapping can be computed in polynomial time. International Symposium on Symbolic and Algebraic Computation, Jul 2002, lille, France. pp.184-191. ⟨hal-00129689⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00129689/file/Matera2002.pdf BibTex
ref_biblio
Francois Ollivier, Alexandre Sedoglavic. Algorithmes efficaces pour tester l'identifiabilité locale. Conférence Internationale Francophone d'Automatique, Jul 2002, Nantes, France. pp.811-816. ⟨hal-00218318⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00218318/file/OllivierSedoglavic2002.pdf BibTex

Theses

ref_biblio
François Lemaire. Contribution à l'algorithmique en algèbre différentielle. Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2002. Français. ⟨NNT : ⟩. ⟨tel-00001363⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00001363/file/tel-00001363.pdf BibTex

2001

Conference papers

ref_biblio
Alexandre Sedoglavic. A probabilistic algorithm to test local algebraic observability in polynomial time. International Symposium on Symbolic and Algebraic Computation, Jul 2001, London, Ontorio, Canada. ⟨inria-00126995⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00126995/file/Sedoglavic2001a.pdf BibTex
ref_biblio
Francois Ollivier, Alexandre Sedoglavic. A generalization of flatness to nonlinear systems of partial differential equations. Application to the command of a flexible rod. Nonlinear Control Systems 2001, Jul 2001, St Petersbourg Russie. ⟨inria-00126994⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00126994/file/OllivierSedoglavic2001.pdf BibTex
ref_biblio
François Boulier, François Lemaire, Marc Moreno Maza. PARDI !. international symposium on Symbolic and algebraic computation 2001, 2001, France. pp.38-47, ⟨10.1145/384101.384108⟩. ⟨hal-00139354⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00139354/file/BLM01.pdf BibTex

Theses

ref_biblio
Alexandre Sedoglavic. Méthodes seminumériques en algèbre différentielle~; applications à l'étude des propriétés structurelles de systèmes différentiels algébriques en automatique. Sciences de l'ingénieur [physics]. Ecole Polytechnique X, 2001. Français. ⟨NNT : ⟩. ⟨tel-00401888⟩
Accès au texte intégral et bibtex
https://pastel.hal.science/tel-00401888/file/2001a.pdf BibTex

2000

Conference papers

ref_biblio
François Boulier, François Lemaire. Computing Canonical Representatives of Regular Differential Ideals. International Symposium on Symbolic and Algebraic Computation, 2000, France. pp.37-46, ⟨10.1145/345542.345571⟩. ⟨hal-00139177⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00139177/file/BL00.pdf BibTex

1999

Preprints, Working Papers, ...

ref_biblio
François Boulier, Daniel Lazard, François Ollivier, Michel Petitot. Computing representations for radicals of finitely generated differential ideals. 1999. ⟨hal-00139061⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00139061/file/blop97.pdf BibTex

1995

Conference papers

ref_biblio
François Boulier, Daniel Lazard, François Ollivier, Michel Petitot. Representation for the radical of a finitely generated differential ideal. international symposium on Symbolic and algebraic computation 1995, Jul 1995, France. pp.158-166, ⟨10.1145/220346.220367⟩. ⟨hal-00138020v2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00138020/file/blop95.pdf BibTex