| 2023 | SYNASC | On Systems of Linear Homogeneous Algebraic Equations over Truncated Formal Series. | Sergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko |
| 2022 | ISSAC | On Linear Dependence of Rows and Columns in Matrices over Non-commutative Domains. | Sergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko |
| 2015 | CASC | Hypergeometric Solutions of First-Order Linear Difference Systems with Rational-Function Coefficients. | Sergei A. Abramov, Marko Petkovsek, Anna A. Ryabenko |
| 2012 | CASC | On Polynomial Solutions of Linear Partial Differential and (q-)Difference Equations. | Sergei A. Abramov, Marko Petkovsek |
| 2007 | CASC | Analytic Solutions of Linear Difference Equations, Formal Series, and Bottom Summation. | Sergei A. Abramov, Marko Petkovsek |
| 2003 | ISSAC | Rational canonical forms and efficient representations of hypergeometric terms. | Sergei A. Abramov, Ha Q. Le, Marko Petkovsek |
| 2001 | ISSAC | Minimal decomposition of indefinite hypergeometric sums. | Sergei A. Abramov, Marko Petkovsek |
| 1995 | ISSAC | On Polynomial Solutions of Linear Operator Equations. | Sergei A. Abramov, Manuel Bronstein, Marko Petkovsek |
| 1994 | ISSAC | D'Alembertian Solutions of Linear Differential and Difference Equations. | Sergei A. Abramov, Marko Petkovsek |
| 1993 | ISSAC | Finding all Hypergeometric Solutions of Linear Differential Equations. | Marko Petkovsek, Bruno Salvy |
| 1989 | ARITH | Contiguous digit sets and local roundings. | Marko Petkovsek |