| 2013 | ||
|---|---|---|
| j7 | Hansjörg Albrecher, Corina Constantinescu, Zbigniew Palmowski, Georg Regensburger, Markus Rosenkranz: Exact and Asymptotic Results for Insurance Risk Models with Surplus-dependent Premiums. SIAM Journal of Applied Mathematics 73(1): 47-66 (2013) | |
| i3 | Markus Rosenkranz, Nalina Phisanbut: A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations: Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients. CoRR abs/1304.7380 (2013) | |
| 2012 | ||
| j6 | Bruno Buchberger, Markus Rosenkranz: Transforming problems from analysis to algebra: A case study in linear boundary problems. J. Symb. Comput. 47(6): 589-609 (2012) | |
| i2 | Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger: Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases. CoRR abs/1210.2950 (2012) | |
| i1 | Anja Korporal, Georg Regensburger, Markus Rosenkranz: Regular and Singular Boundary Problems in Maple. CoRR abs/1210.2951 (2012) | |
| 2011 | ||
| j5 | Elizabeth Arnold, Ilias S. Kotsireas, Markus Rosenkranz: Bruno Buchberger and the world of Gröbner bases. J. Symb. Comput. 46(5): 495-497 (2011) | |
| c7 | Anja Korporal, Georg Regensburger, Markus Rosenkranz: Regular and Singular Boundary Problems in Maple. CASC 2011: 280-293 | |
| 2010 | ||
| j4 | Georg Regensburger, Markus Rosenkranz, William Y. Sit: Foreword. Mathematics in Computer Science 4(2-3): 139-141 (2010) | |
| c6 | Loredana Tec, Georg Regensburger, Markus Rosenkranz, Bruno Buchberger: An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra. ICMS 2010: 245-248 | |
| 2009 | ||
| c5 | Markus Rosenkranz, Georg Regensburger, Loredana Tec, Bruno Buchberger: A Symbolic Framework for Operations on Linear Boundary Problems. CASC 2009: 269-283 | |
| c4 | Georg Regensburger, Markus Rosenkranz, Johannes Middeke: A skew polynomial approach to integro-differential operators. ISSAC 2009: 287-294 | |
| 2008 | ||
| j3 | Markus Rosenkranz, Georg Regensburger: Solving and factoring boundary problems for linear ordinary differential equations in differential algebras. J. Symb. Comput. 43(8): 515-544 (2008) | |
| c3 | Markus Rosenkranz, Georg Regensburger: Integro-differential polynomials and operators. ISSAC 2008: 261-268 | |
| e1 | Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida (Eds.): Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings. Lecture Notes in Computer Science 5147, Springer 2008, isbn 978-3-540-85100-4 | |
| 2006 | ||
| j2 | Bruno Buchberger, Adrian Craciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz: Theorema: Towards computer-aided mathematical theory exploration. J. Applied Logic 4(4): 470-504 (2006) | |
| c2 | Wolfgang Windsteiger, Bruno Buchberger, Markus Rosenkranz: Theorema. The Seventeen Provers of the World 2006: 96-107 | |
| 2005 | ||
| j1 | Markus Rosenkranz: A new symbolic method for solving linear two-point boundary value problems on the level of operators. J. Symb. Comput. 39(2): 171-199 (2005) | |
| 2004 | ||
| c1 | Markus Rosenkranz: The Algorithmization of Physics: Math Between Science and Engineering. AISC 2004: 1-7 | |
Colors in the list of coauthors
Last update Wed May 22 05:46:26 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page