Georg Regensburger

49 papers B 10Misc 1Journal 32Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	The integro-differential closure of a commutative differential ring. CoRR Clemens G. Raab, Georg Regensburger
2024	—	`conf`	A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks. ICMS Marcus S. Aichmayr, Stefan Müller, Georg Regensburger
2024	J	`jnl`	A SageMath Package for Elementary and Sign Vectors with Applications to Chemical Reaction Networks. CoRR Marcus S. Aichmayr, Stefan Müller, Georg Regensburger
2024	J	`jnl`	Sufficient Conditions for Linear Stability of Complex-Balanced Equilibria in Generalized Mass-Action Systems. SIAM J. Appl. Dyn. Syst. Stefan Müller, Georg Regensburger
2023	B	`conf`	How to Automatise Proofs of Operator Statements: Moore-Penrose Inverse; A Case Study. CASC Klara Bernauer, Clemens Hofstadler, Georg Regensburger
2023	J	`jnl`	How to automatise proofs of operator statements: Moore-Penrose inverse - a case study. CoRR Klara Bernauer, Clemens Hofstadler, Georg Regensburger
2022	J	`jnl`	Computing Elements of Certain Form in Ideals to Prove Properties of Operators. Math. Comput. Sci. Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
2021	J	`jnl`	Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig's triple reverse order law. Appl. Math. Comput. Dragana S. Cvetkovic-Ilic, Clemens Hofstadler, Jamal Hossein Poor, Jovana Milosevic, Clemens G. Raab, Georg Regensburger
2021	J	`jnl`	Computing elements of certain form in ideals to prove properties of operators. CoRR Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
2020	B	`conf`	Compatible rewriting of noncommutative polynomials for proving operator identities. ISSAC Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
2020	J	`jnl`	Compatible rewriting of noncommutative polynomials for proving operator identities. CoRR Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
2019	J	`jnl`	Certifying operator identities via noncommutative Gröbner bases. ACM Commun. Comput. Algebra Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
2019	J	`jnl`	Flux tope analysis: studying the coordination of reaction directions in metabolic networks. Bioinform. Matthias P. Gerstl, Stefan Müller, Georg Regensburger, Jürgen Zanghellini
2019	J	`jnl`	On the Bijectivity of Families of Exponential/Generalized Polynomial Maps. SIAM J. Appl. Algebra Geom. Stefan Müller, Josef Hofbauer, Georg Regensburger
2018	J	`jnl`	Algorithmic operator algebras via normal forms in tensor rings. J. Symb. Comput. Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger
2017	J	`jnl`	From elementary flux modes to elementary flux vectors: Metabolic pathway analysis with arbitrary linear flux constraints. PLoS Comput. Biol. Steffen Klamt, Georg Regensburger, Matthias P. Gerstl, Christian Jungreuthmayer, Stefan Schuster, Radhakrishnan Mahadevan, Jürgen Zanghellini, Stefan Müller
2017	J	`jnl`	Planar linkages following a prescribed motion. Math. Comput. Matteo Gallet, Christoph Koutschan, Zijia Li, Georg Regensburger, Josef Schicho, Nelly Villamizar
2016	J	`jnl`	Additive normal forms and integration of differential fractions. J. Symb. Comput. François Boulier, François Lemaire, Joseph Lallemand, Georg Regensburger, Markus Rosenkranz
2016	B	`conf`	Algorithmic Operator Algebras via Normal Forms for Tensors. ISSAC Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger
2016	—	`conf`	Normal Forms for Operators via Gröbner Bases in Tensor Algebras. ICMS Jamal Hossein Poor, Clemens G. Raab, Georg Regensburger
2016	J	`jnl`	Sign Conditions for Injectivity of Generalized Polynomial Maps with Applications to Chemical Reaction Networks and Real Algebraic Geometry. Found. Comput. Math. Stefan Müller, Elisenda Feliu, Georg Regensburger, Carsten Conradi, Anne Shiu, Alicia Dickenstein
2016	J	`jnl`	Special issue on computational aspects of differential/difference algebra and integral operators. Adv. Appl. Math. Moulay A. Barkatou, Thomas Cluzeau, Alexey Ovchinnikov, Georg Regensburger, Markus Rosenkranz
2016	B	`conf`	Symbolic Computation with Integro-Differential Operators. ISSAC Georg Regensburger
2015	J	`jnl`	Planar Linkages Following a Prescribed Motion. CoRR Matteo Gallet, Christoph Koutschan, Zijia Li, Georg Regensburger, Josef Schicho, Nelly Villamizar
2015	Misc	`conf`	Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. SYNASC Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram
2015	J	`jnl`	Symbolic Derivation of Mean-Field PDEs from Lattice-Based Models. CoRR Christoph Koutschan, Helene Ranetbauer, Georg Regensburger, Marie-Therese Wolfram
2014	—	`ed.`	Algebraic and Algorithmic Aspects of Differential and Integral Operators - 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers AADIOS Moulay A. Barkatou, Thomas Cluzeau, Georg Regensburger, Markus Rosenkranz
2014	B	`conf`	Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents (Invited Talk). CASC Stefan Müller, Georg Regensburger
2014	J	`jnl`	Generalized Mass-Action Systems and Positive Solutions of Polynomial Equations with Real and Symbolic Exponents. CoRR Stefan Müller, Georg Regensburger
2013	J	`jnl`	Composing and Factoring Generalized Green's Operators and Ordinary Boundary Problems. CoRR Anja Korporal, Georg Regensburger
2013	J	`jnl`	Exact and Asymptotic Results for Insurance Risk Models with Surplus-dependent Premiums. SIAM J. Appl. Math. Hansjörg Albrecher, Corina Constantinescu, Zbigniew Palmowski, Georg Regensburger, Markus Rosenkranz
2013	B	`conf`	On the integration of differential fractions. ISSAC François Boulier, François Lemaire, Georg Regensburger, Markus Rosenkranz
2012	—	`conf`	Composing and Factoring Generalized Green's Operators and Ordinary Boundary Problems. AADIOS Anja Korporal, Georg Regensburger
2012	J	`jnl`	Generalized Mass Action Systems: Complex Balancing Equilibria and Sign Vectors of the Stoichiometric and Kinetic-Order Subspaces. SIAM J. Appl. Math. Stefan Müller, Georg Regensburger
2012	J	`jnl`	ISSAC 2012 software demonstrations: Symbolic computation for ordinary boundary problems in maple. ACM Commun. Comput. Algebra Anja Korporal, Georg Regensburger, Markus Rosenkranz
2012	J	`jnl`	Regular and Singular Boundary Problems in Maple CoRR Anja Korporal, Georg Regensburger, Markus Rosenkranz
2012	J	`jnl`	Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases CoRR Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger
2011	B	`conf`	Regular and Singular Boundary Problems in Maple. CASC Anja Korporal, Georg Regensburger, Markus Rosenkranz
2010	J	`jnl`	A maple package for integro-differential operators and boundary problems. ACM Commun. Comput. Algebra Anja Korporal, Georg Regensburger, Markus Rosenkranz
2010	—	`conf`	An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. ICMS Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger
2010	J	`jnl`	Foreword. Math. Comput. Sci. Georg Regensburger, Markus Rosenkranz, William Y. Sit
2009	B	`conf`	A Symbolic Framework for Operations on Linear Boundary Problems. CASC Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger
2009	B	`conf`	A skew polynomial approach to integro-differential operators. ISSAC Georg Regensburger, Markus Rosenkranz, Johannes Middeke
2008	—	`ed.`	Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings AB Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida
2008	J	`jnl`	General polynomial reduction with TH 9 OREM 8 functors: applications to integro-differential operators and polynomials. ACM Commun. Comput. Algebra Bruno Buchberger, Georg Regensburger, Markus Rosenkranz, Loredana Tec
2008	B	`conf`	Integro-differential polynomials and operators. ISSAC Markus Rosenkranz, Georg Regensburger
2008	J	`jnl`	Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. J. Symb. Comput. Markus Rosenkranz, Georg Regensburger
2007	J	`jnl`	Parametrizing compactly supported orthonormal wavelets by discrete moments. Appl. Algebra Eng. Commun. Comput. Georg Regensburger
2003	J	`jnl`	Generalization over Environments in Reinforcement Learning. Inteligencia Artif. Andreas Matt, Georg Regensburger