Publications HAL de la collection CRISTAL-CFHP

2021

Journal articles

ref_biblio
Charles Bouillaguet, Paul Zimmermann. Parallel Structured Gaussian Elimination for the Number Field Sieve. Mathematical Cryptology, Florida Online Journals, In press. ⟨hal-02098114v2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02098114/file/merge.pdf BibTex

Preprints, Working Papers, ...

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. 2021. ⟨hal-03122437⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-03122437/file/TPDAG_Ext.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, Ruhr Universität Bochum, 2020, ⟨10.13154/tosc.v2020.i3.175-196⟩. ⟨hal-02700791⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02700791/file/main.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, Springer, In press, ⟨10.1007/s11786-020-00477-x⟩. ⟨hal-02464434⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02464434/file/paper-1.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
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 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
ref_biblio
Jean-Guillaume Dumas, Clement Pernet, Alexandre Sedoglavic. On fast multiplication of a matrix by its transpose. ISSAC 2020, Jul 2020, Kalamata, Greece. pp.162-169, ⟨10.1145/3373207.3404021⟩. ⟨hal-02432390v4⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02432390/file/wishart.pdf BibTex

Book sections

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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01367138/file/BLRUV.pdf BibTex

Books

ref_biblio
François Boulier, Matthew England, Timur Sadykov, Evgenii 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

Preprints, Working Papers, ...

ref_biblio
Pierre Fortin, Ambroise Fleury, François Lemaire, Michael Monagan. High performance SIMD modular arithmetic for polynomial evaluation. 2020. ⟨hal-02552673⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02552673/file/article-HAL-sc.pdf 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, SAGE Publications, 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, Elsevier, 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.archives-ouvertes.fr/hal-01391768/file/Yetan-Equivalence-Theorem.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, Elsevier, 2019, pp.102551. ⟨10.1016/j.parco.2019.102551⟩. ⟨hal-01918741⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01918741/file/parallel_computing_Xinzhe_Wu.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, Kinokuniya Company, In press, ⟨10.1007/s13160-019-00359-1⟩. ⟨hal-01918738⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01918738/file/xinzhewu.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, Institute of Electrical and Electronics Engineers, 2019, 30 (8), pp.1889-1905. ⟨10.1109/TPDS.2019.2898436⟩. ⟨hal-02010580⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02010580/file/hal.pdf BibTex

Conference papers

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.archives-ouvertes.fr/hal-02050930/file/24-Gurhem.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.archives-ouvertes.fr/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. ⟨tel-02446813⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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.archives-ouvertes.fr/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://hal-normandie-univ.archives-ouvertes.fr/hal-02137331/file/irreducible_approx_roots.pdf BibTex
ref_biblio
Adrien Poteaux, Martin Weimann. Computing the equisingularity type of a pseudo-irreducible polynomial. 2019. ⟨hal-02354930⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02354930/file/equi-singularity.pdf BibTex
ref_biblio
Adrien Poteaux, Martin Weimann. A quasi-linear irreducibility test in K[[x]][y]. 2019. ⟨hal-02354929⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02354929/file/Irreducibility_Courte.pdf BibTex
ref_biblio
Charles Bouillaguet. Another Look at the Cost of Cryptographic Attacks. 2019. ⟨hal-02306912⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02306912/file/cost.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.archives-ouvertes.fr/hal-02189597/file/paper.pdf BibTex

2018

Journal articles

ref_biblio
Charles Bouillaguet, Claire Delaplace, Pierre-Alain Fouque. Revisiting and Improving Algorithms for the 3XOR Problem. IACR Transactions on Symmetric Cryptology, Ruhr Universität Bochum, 2018, ⟨10.13154/tosc.v2018.i1.254-276⟩. ⟨hal-01655907⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01655907/file/main.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.archives-ouvertes.fr/hal-01765409/file/main.pdf BibTex
ref_biblio
Xinzhe Wu, Serge Petiton, Yutong Lu. A Parallel Generator of Non-Hermitian Matrices computed from Given Spectra. VECPAR 2018: 13th International Meeting on High Performance Computing for Computational Science, Sep 2018, São Paulo, Brazil. ⟨hal-01867967⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01867967/file/vecpar18_Xinzhe%20Wu.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.archives-ouvertes.fr/hal-01677110/file/HPCAsia2018_pap114_camera_ready_version.pdf BibTex

Other publications

ref_biblio
François Boulier, François Fages, Ovidiu Radulescu, Satya 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://hal.inria.fr/hal-01889825/file/f1000research-216010.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.archives-ouvertes.fr/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://hal.inria.fr/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://hal.inria.fr/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
Adrien Poteaux, Martin Weimann. Computing Puiseux series: a fast divide and conquer algorithm. 2017. ⟨hal-01578214v3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01578214/file/puiseuxd3.pdf BibTex
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.archives-ouvertes.fr/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, Springer Verlag, 2016, 29 (4), pp.657 - 696. ⟨10.1007/s00145-015-9206-4⟩. ⟨hal-01654410⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, DMTCS, 2016, 18 (3), pp.25. ⟨hal-01053859v4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/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, Inderscience, 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, Elsevier, 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, Elsevier, 2016. ⟨hal-01245378⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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 Romanovski, M. Han. Qualitative Investigation of a Gene Model Using Computer Algebra Algorithms. Programming and Computer Software, MAIK Nauka/Interperiodica, 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.archives-ouvertes.fr/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.archives-ouvertes.fr/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, Springer Verlag, 2014, 115 (1), pp.77-103. ⟨10.1007/s10659-013-9448-z⟩. ⟨hal-00827948⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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://hal.inria.fr/hal-01114187/file/BKLPPU-14_CASC.pdf BibTex

2013

Journal articles

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

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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, Elsevier, 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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00713386/file/0.pdf 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
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 Boulier, Nicolas 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.archives-ouvertes.fr/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, Elsevier, 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, François Lemaire, Asli Ürgüplü, Alexandre Sedoglavic, Katsuhisa Horimoto, et al.. Brute force meets Bruno force in parameter optimisation: introduction of novel constraints for parameter accuracy improvement by symbolic computation.. IET Systems Biology, Institution of Engineering and Technology, 2011, 5 (5), pp.287-292. ⟨hal-00825379⟩
Accès au bibtex
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, Springer, 2011, 5, pp.289-301. ⟨hal-00824993⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00824993/file/art.pdf BibTex

Conference papers

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.archives-ouvertes.fr/hal-00599440/file/BoulierLemaireSedoglavic.pdf BibTex
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.archives-ouvertes.fr/hal-00603290/file/art.pdf 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
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 Boulier. The FreeMABSys project and the BLAD libraries. MAGIX@LIX, 2011, Palaiseau, France. ⟨hal-00825861⟩
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.archives-ouvertes.fr/hal-00638020/file/akp2011.pdf BibTex

2010

Journal articles

ref_biblio
François Boulier, François Lemaire, Marc Moreno Maza. Computing Differential Characteristic Sets by Change of Ordering. Journal of Symbolic Computation, Elsevier, 2010, 45, pp.124-149. ⟨hal-00824984⟩
Accès au bibtex
BibTex
ref_biblio
François Lemaire, Marc Moreno Maza, Yuzhen Xie, Wei Pan. When does (T) equal sat(T)?. Journal of Symbolic Computation, Elsevier, 2010, 46 (12), pp.1291-1305. ⟨hal-00825030⟩
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, Springer, 2010, 4 (2), pp.185-201. ⟨hal-00824964⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00824964/file/bl10.pdf BibTex

Conference papers

ref_biblio
Samuel 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.archives-ouvertes.fr/hal-00492438/file/vidaleEtAl2010.pdf BibTex
ref_biblio
Masahiko Nakatsui, Alexandre Sedoglavic, François Lemaire, François Boulier, Asli Ürgüplü, 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, Asli Ürgüplü. MABSys: Modeling and Analysis of Biological Systems. Algebraic and Numerical Biology, 2010, Hagenberg, Austria. pp.57-72. ⟨hal-00825029⟩
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, Asli Ürgüplü. 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

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, Springer Verlag, 2009, 20 (1), pp.73-121. ⟨10.1007/s00200-009-0091-7⟩. ⟨hal-00820902⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00820902/file/blopV2.pdf BibTex
ref_biblio
François Boulier, François Lemaire, Alexandre Sedoglavic, Asli Ürgüplü. Towards an automated reduction method for polynomial ODE models in cellular biology. Mathematics in Computer Science, Springer, 2009, 2 (3), pp.443-464. ⟨10.1007/s11786-008-0062-6⟩. ⟨hal-00307915v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, American Physical Society, 2009, 102 (6), pp.068104. ⟨10.1103/PhysRevLett.102.068104⟩. ⟨hal-00268097v2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00268097/file/degradatorV3.pdf BibTex
ref_biblio
Michel Petitot, Samuel Vidal,. Counting Rooted and Unrooted Triangular Maps. Journal of Nonlinear Systems and Applications, JNSA, 2009, 1 (1-2), pp.151-154. ⟨hal-00824982⟩
Accès au bibtex
BibTex
ref_biblio
Raouf Dridi, Michel Petitot. New classification techniques for ordinary differential equations. Journal of Symbolic Computation, Elsevier, 2009, 44 (7), pp.836 - 851. ⟨10.1016/j.jsc.2008.04.010⟩. ⟨inria-00450410⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00450410/file/0712.0002v2.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, Elsevier, 2009, 44 (3), pp.261-270. ⟨hal-00824988⟩
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, 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
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

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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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://hal.inria.fr/inria-00120991/file/Sedoglavic2006.pdf BibTex
ref_biblio
François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Asli Ürgüplü. 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.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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. GRETSI, 2005, Louvain-la-Neuve, Belgique. pp.136-139. ⟨inria-00001116⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00001116/file/Gretsi05_Image.pdf BibTex

2003

Journal articles

ref_biblio
François Lemaire. {An orderly linear PDE system with analytic initial conditions with a non analytic solution}. Journal of Symbolic Computation, Elsevier, 2003, 35 (5), pp.487-498. ⟨hal-00545215⟩
Accès au bibtex
BibTex
ref_biblio
Guillermo Matera, Alexandre Sedoglavic. Fast computation of discrete invariants associated to a differential rational mapping. Journal of Symbolic Computation, Elsevier, 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.archives-ouvertes.fr/hal-00129198/file/MateraSedoglavic2003a.pdf 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.archives-ouvertes.fr/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.archives-ouvertes.fr/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. ⟨tel-00001363⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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://hal.inria.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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. ⟨tel-00401888⟩
Accès au texte intégral et bibtex
https://pastel.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00138020/file/blop95.pdf BibTex