Generalization over Environments in Reinforcement Learning. - Andreas Matt; Georg Regensburger (Inteligencia Artif., 2003)

Parametrizing compactly supported orthonormal wavelets by discrete moments. - Georg Regensburger (Appl. Algebra Eng. Commun. Comput., 2007)

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)

Composing and Factoring Generalized Green's Operators and Ordinary Boundary Problems. - Anja Korporal; Georg Regensburger (AADIOS, 2012)

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)

Generalized Mass Action Systems: Complex Balancing Equilibria and Sign Vectors of the Stoichiometric and Kinetic-Order Subspaces. - Stefan Müller 009; Georg Regensburger (SIAM J. Appl. Math., 2012)

On the integration of differential fractions. - François Boulier; François Lemaire; Georg Regensburger; Markus Rosenkranz (ISSAC, 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)

Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents (Invited Talk). - Stefan Müller 009; Georg Regensburger (CASC, 2014)

Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents. - Stefan Müller 009; Georg Regensburger (CoRR, 2014)

Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. - Christoph Koutschan; Helene Ranetbauer; Georg Regensburger; Marie-Therese Wolfram (SYNASC, 2015)

Normal Forms for Operators via Gröbner Bases in Tensor Algebras. - Jamal Hossein Poor; Clemens G. Raab; Georg Regensburger (ICMS, 2016)

Algorithmic Operator Algebras via Normal Forms for Tensors. - Jamal Hossein Poor; Clemens G. Raab; Georg Regensburger (ISSAC, 2016)

Symbolic Computation with Integro-Differential Operators. - Georg Regensburger (ISSAC, 2016)

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)

Sign Conditions for Injectivity of Generalized Polynomial Maps with Applications to Chemical Reaction Networks and Real Algebraic Geometry. - Stefan Müller 009; Elisenda Feliu; Georg Regensburger; Carsten Conradi; Anne Shiu; Alicia Dickenstein (Found. Comput. 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)

Planar linkages following a prescribed motion. - Matteo Gallet; Christoph Koutschan; Zijia Li; Georg Regensburger; Josef Schicho; Nelly Villamizar (Math. Comput., 2017)

From elementary flux modes to elementary flux vectors: Metabolic pathway analysis with arbitrary linear flux constraints. - Steffen Klamt; Georg Regensburger; Matthias P. Gerstl; Christian Jungreuthmayer; Stefan Schuster; Radhakrishnan Mahadevan; Jürgen Zanghellini; Stefan Müller 009 (PLoS Comput. Biol., 2017)

Algorithmic operator algebras via normal forms in tensor rings. - Jamal Hossein Poor; Clemens G. Raab; Georg Regensburger (J. Symb. Comput., 2018)

Flux tope analysis: studying the coordination of reaction directions in metabolic networks. - Matthias P. Gerstl; Stefan Müller 009; Georg Regensburger; Jürgen Zanghellini (Bioinform., 2019)

Certifying operator identities via noncommutative Gröbner bases. - Clemens Hofstadler; Clemens G. Raab; Georg Regensburger (ACM Commun. Comput. Algebra, 2019)

On the Bijectivity of Families of Exponential/Generalized Polynomial Maps. - Stefan Müller 009; Josef Hofbauer; Georg Regensburger (SIAM J. Appl. Algebra Geom., 2019)

Compatible rewriting of noncommutative polynomials for proving operator identities. - Cyrille Chenavier; Clemens Hofstadler; Clemens G. Raab; Georg Regensburger (ISSAC, 2020)

Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law. - Dragana S. Cvetkovic-Ilic; Clemens Hofstadler; Jamal Hossein Poor; Jovana Milosevic; Clemens G. Raab; Georg Regensburger (Appl. Math. Comput., 2021)

Computing Elements of Certain Form in Ideals to Prove Properties of Operators. - Clemens Hofstadler; Clemens G. Raab; Georg Regensburger (Math. Comput. Sci., 2022)

How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. - Klara Bernauer; Clemens Hofstadler; Georg Regensburger (CASC, 2023)

A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks. - Marcus S. Aichmayr; Stefan Müller 009; Georg Regensburger (ICMS, 2024)

Sufficient Conditions for Linear Stability of Complex-Balanced Equilibria in Generalized Mass-Action Systems. - Stefan Müller 009; Georg Regensburger (SIAM J. Appl. Dyn. Syst., 2024)

The integro-differential closure of a commutative differential ring. - Clemens G. Raab; Georg Regensburger (CoRR, 2025)