| 2024 | ISSAC | Grbner Bases Over Polytopal Affinoid Algebras. | Moulay A. Barkatou, Lucas Legrand, Tristan Vaccon |
| 2021 | CASC | On Rational Solutions of Pseudo-linear Systems. | Moulay A. Barkatou, Thomas Cluzeau, Ali El-Hajj |
| 2019 | ISSAC | Simple Forms and Rational Solutions of Pseudo-Linear Systems. | Moulay A. Barkatou, Thomas Cluzeau, Ali El-Hajj |
| 2018 | ISSAC | Desingularization of First Order Linear Difference Systems with Rational Function Coefficients. | Moulay A. Barkatou, Maximilian Jaroschek |
| 2018 | ISSAC | A New Approach for Formal Reduction of Singular Linear Differential Systems Using Eigenrings. | Moulay A. Barkatou, Joelle Saad, Jacques-Arthur Weil |
| 2016 | ISSAC | Computing the Lie Algebra of the Differential Galois Group of a Linear Differential System. | Moulay A. Barkatou, Thomas Cluzeau, Jacques-Arthur Weil, Lucia Di Vizio |
| 2015 | CASC | A New Approach for Computing Regular Solutions of Linear Difference Systems. | Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha |
| 2015 | ISSAC | Formal Solutions of Linear Differential Systems with Essential Singularities in their Coefficients. | Moulay A. Barkatou, Thomas Cluzeau, Achref Jalouli |
| 2015 | ISSAC | Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients. | Moulay A. Barkatou, Suzy S. Maddah |
| 2014 | CASC | Computable Infinite Power Series in the Role of Coefficients of Linear Differential Systems. | Sergei A. Abramov, Moulay A. Barkatou |
| 2014 | ISSAC | Formal solutions of a class of Pfaffian systems in two variables. | Suzy S. Maddah, Moulay A. Barkatou, Hassan Abbas |
| 2014 | ISSAC | On the reduction of singularly-perturbed linear differential systems. | Suzy S. Maddah, Moulay A. Barkatou, Hassan Abbas |
| 2013 | CASC | On the Dimension of Solution Spaces of Full Rank Linear Differential Systems. | Sergei A. Abramov, Moulay A. Barkatou |
| 2012 | ISSAC | Computing closed form solutions of integrable connections. | Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha, Jacques-Arthur Weil |
| 2012 | ISSAC | Solving linear ordinary differential systems in hyperexponential extensions. | Moulay A. Barkatou, Clemens G. Raab |
| 2011 | CASC | Higher-Order Linear Differential Systems with Truncated Coefficients. | Sergei A. Abramov, Moulay A. Barkatou, Eckhard Pflgel |
| 2011 | ISSAC | Formal first integrals along solutions of differential systems I. | Ainhoa Aparicio-Monforte, Moulay A. Barkatou, Sergi Simon, Jacques-Arthur Weil |
| 2010 | ISSAC | Symbolic methods for solving systems of linear ordinary differential equations. | Moulay A. Barkatou |
| 2010 | ISSAC | Simultaneously row- and column-reduced higher-order linear differential systems. | Moulay A. Barkatou, Carole El Bacha, Eckhard Pflgel |
| 2009 | CASC | On | Sergei A. Abramov, Moulay A. Barkatou, Denis E. Khmelnov |
| 2009 | ISSAC | Algorithms for regular solutions of higher-order linear differential systems. | Moulay A. Barkatou, Thomas Cluzeau, Carole El Bacha |
| 2008 | ISSAC | Regular systems of linear functional equations and applications. | Moulay A. Barkatou, Gary Broughton, Eckhard Pflgel |
| 2007 | ISSAC | Computing super-irreducible forms of systems of linear differential equations via moser-reduction: a new approach. | Moulay A. Barkatou, Eckhard Pflgel |
| 2006 | ISSAC | Rank reduction of a class of pfaffian systems in two variables. | Nicolas Le Roux, Moulay A. Barkatou |
| 1999 | ISSAC | Rational Solutions of Matrix Difference Equations: The Problem of Equivalence and Factorization. | Moulay A. Barkatou |
| 1998 | ISSAC | Rational Solutions of First Order Linear Difference Systems. | Sergei A. Abramov, Moulay A. Barkatou |
| 1998 | ISSAC | On the Equivalence Problem of Linear Differential Systems and Its Application for Factoring Completely Reducible Systems. | Moulay A. Barkatou, Eckhard Pflgel |
| 1995 | ISSAC | A Rational Version of Moser's Algorithm. | Moulay A. Barkatou |
| 1989 | ISSAC | On the Reduction of Linear Systems of Difference Equations. | Moulay A. Barkatou |
| 1988 | ISSAC | Rational Newton Algorithm for Computing Formal Solutions of Linear Differential Equations. | Moulay A. Barkatou |