The Algorithmization of Physics: Math Between Science and Engineering. - Markus Rosenkranz (AISC, 2004)

A new symbolic method for solving linear two-point boundary value problems on the level of operators. - Markus Rosenkranz (J. Symb. Comput., 2005)

Theorema. - Wolfgang Windsteiger; Bruno Buchberger; Markus Rosenkranz (The Seventeen Provers of the World, 2006)

Theorema: Towards computer-aided mathematical theory exploration. - Bruno Buchberger; Adrian Craciun; Tudor Jebelean; Laura Kovács; Temur Kutsia; Koji Nakagawa; Florina Piroi; Nikolaj Popov; Judit Robu; Markus Rosenkranz; Wolfgang Windsteiger (J. Appl. Log., 2006)

Integro-differential polynomials and operators. - Markus Rosenkranz; Georg Regensburger (ISSAC, 2008)

General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. - Bruno Buchberger; Georg Regensburger; Markus Rosenkranz; Loredana Tec (ACM Commun. Comput. Algebra, 2008)

Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. - Markus Rosenkranz; Georg Regensburger (J. Symb. Comput., 2008)

A Symbolic Framework for Operations on Linear Boundary Problems. - Markus Rosenkranz; Georg Regensburger; Loredana Tec; Bruno Buchberger (CASC, 2009)

A skew polynomial approach to integro-differential operators. - Georg Regensburger; Markus Rosenkranz; Johannes Middeke (ISSAC, 2009)

An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. - Loredana Tec; Georg Regensburger; Markus Rosenkranz; Bruno Buchberger (ICMS, 2010)

A maple package for integro-differential operators and boundary problems. - Anja Korporal; Georg Regensburger; Markus Rosenkranz (ACM Commun. Comput. Algebra, 2010)

Foreword. - Georg Regensburger; Markus Rosenkranz; William Y. Sit (Math. Comput. Sci., 2010)

Regular and Singular Boundary Problems in Maple. - Anja Korporal; Georg Regensburger; Markus Rosenkranz (CASC, 2011)

Bruno Buchberger and the world of Gröbner bases. - Elizabeth Arnold; Ilias S. Kotsireas; Markus Rosenkranz (J. Symb. Comput., 2011)

ISSAC 2012 software demonstrations: Symbolic computation for ordinary boundary problems in maple. - Anja Korporal; Georg Regensburger; Markus Rosenkranz (ACM Commun. Comput. Algebra, 2012)

Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases - Markus Rosenkranz; Georg Regensburger; Loredana Tec; Bruno Buchberger (CoRR, 2012)

Transforming problems from analysis to algebra: A case study in linear boundary problems. - Bruno Buchberger; Markus Rosenkranz (J. Symb. Comput., 2012)

A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations - Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients. - Markus Rosenkranz; Nalina Phisanbut (CASC, 2013)

On the integration of differential fractions. - François Boulier; François Lemaire; Georg Regensburger; Markus Rosenkranz (ISSAC, 2013)

A Noncommutative Algebraic Operational Calculus for Boundary Problems. - Markus Rosenkranz; Anja Korporal (Math. Comput. Sci., 2013)

Exact and Asymptotic Results for Insurance Risk Models with Surplus-dependent Premiums. - Hansjörg Albrecher; Corina Constantinescu; Zbigniew Palmowski; Georg Regensburger; Markus Rosenkranz (SIAM J. Appl. Math., 2013)

Two-Point Boundary Problems with One Mild Singularity and an Application to Graded Kirchhoff Plates. - Markus Rosenkranz; Jane Liu; Alexander Maletzky; Bruno Buchberger (CASC, 2015)

Green's Functions for Stieltjes Boundary Problems. - Markus Rosenkranz; Nitin Serwa (ISSAC, 2015)

Special issue on computational aspects of differential/difference algebra and integral operators. - Moulay A. Barkatou; Thomas Cluzeau; Alexey Ovchinnikov; Georg Regensburger; Markus Rosenkranz (Adv. Appl. Math., 2016)

Additive normal forms and integration of differential fractions. - François Boulier; François Lemaire; Joseph Lallemand; Georg Regensburger; Markus Rosenkranz (J. Symb. Comput., 2016)

On rings of differential Rota-Baxter operators. - Xing Gao 006; Li Guo 003; Markus Rosenkranz (Int. J. Algebra Comput., 2018)

An integro-differential structure for Dirac distributions. - Markus Rosenkranz; Nitin Serwa (J. Symb. Comput., 2019)