Improved polynomial remainder sequences for ore polynomials. - Maximilian Jaroschek (ACM Commun. Comput. Algebra, 2012)

Desingularization explains order-degree curves for ore operators. - Shaoshi Chen; Maximilian Jaroschek; Manuel Kauers; Michael F. Singer (ISSAC, 2013)

Ore Polynomials in Sage. - Manuel Kauers; Maximilian Jaroschek; Fredrik Johansson 001 (CoRR, 2013)

Adapting Real Quantifier Elimination Methods for Conflict Set Computation. - Maximilian Jaroschek; Pablo Federico Dobal; Pascal Fontaine (FroCos, 2015)

Radicals of ore polynomials. - Maximilian Jaroschek (ACM Commun. Comput. Algebra, 2015)

Ore Polynomials in Sage. - Manuel Kauers; Maximilian Jaroschek; Fredrik Johansson 001 (Computer Algebra and Polynomials, 2015)

Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. - Andreas Humenberger; Maximilian Jaroschek; Laura Kovács (ISSAC, 2017)

Formal solutions of completely integrable Pfaffian systems with normal crossings. - Moulay A. Barkatou; Maximilian Jaroschek; Suzy S. Maddah (J. Symb. Comput., 2017)

Desingularization of First Order Linear Difference Systems with Rational Function Coefficients. - Moulay A. Barkatou; Maximilian Jaroschek (ISSAC, 2018)

Aligator.jl - A Julia Package for Loop Invariant Generation. - Andreas Humenberger; Maximilian Jaroschek; Laura Kovács (CICM, 2018)

Invariant Generation for Multi-Path Loops with Polynomial Assignments. - Andreas Humenberger; Maximilian Jaroschek; Laura Kovács (VMCAI, 2018)

Removing apparent singularities of linear difference systems. - Moulay A. Barkatou; Maximilian Jaroschek (J. Symb. Comput., 2021)

Lonely Points in Simplices. - Maximilian Jaroschek; Manuel Kauers; Laura Kovács (Discret. Comput. Geom., 2023)