This page contains a list of all my publications to date (an alternative list can be obtained via my ORCiD account: ). For faster access, I have organised the list into the following groups:

Clicking on the title of a paper opens a page with additional information. Usually this includes a brief description of the content (or some other comments) and in most cases you can download a PDF version of the paper. For the older papers only Postscript files (compressed with gzip) are provided.

You can also download a postscript version of both my Ph.D. thesis and my habilitation thesis.

1. Involution - The Formal Theory of Differential Equations and its Applications in Computer Algebra
   Springer-Verlag, Berlin/Heidelberg 2010, Algorithms and Computation in Mathematics, Vol. 24 (ISBN 3-642-01286-0)

2. SUPERCALC - A REDUCE Package for Commutator Calculations
   Computer Physics Communications, 66 (1991) 363-376

3. Anisotropic Solutions in the 5D Space-Time-Mass Theory (with Waldir L. Roque)
   General Relativity and Gravitation, 23 (1991) 1151-1168

4. Pseudo Differential Operators and Integrable Systems in AXIOM
   Computer Physics Communications, 79 (1994) 329-340

5. On the Arbitrariness of the General Solution of an Involutive Partial Differential Equation
   Journal of Mathematical Physics, 35 (1994) 486-498

6. On Moving Pseudo-Spherical Surfaces: A Generalized Weingarten System and its Formal Analysis (with Mark E. Johnston, Colin Rogers and Wolfgang K. Schief)
   Lie Groups and their Applications, 1 (1995) 124-136

7. Arbitrariness of the General Solution and Symmetries
   Acta Applicandae Mathematicae, 41 (1995) 311-322

8. Involution and Constrained Dynamics I: The Dirac Approach (with Robin W. Tucker)
   Journal of Physics A - Mathematical and General, 28 (1995) 4431-4451

9. Involution and Constrained Dynamics II: The Faddeev-Jackiw Approach
   Journal of Physics A - Mathematical and General, 28 (1995) 7315-7331

10. Quantization of the Reduced Phase Space of Two-Dimensional Dilaton Gravity (with Robin W. Tucker)
    Physical Review D, 53 (1996) 4366-4373

11. Formal Analysis of the Cauchy Problem for a System Associated with the (2+1)-Dimensional Krichever-Novikov Equation (with Peter J. Vassiliou and Colin Rogers)
    Acta Applicandae Mathematicae, 42 (1996) 249-265

12. Involution and Symmetry Reductions
    Mathematical and Computer Modelling, 25 (1997) 63-73 (invited contribution)

13. Computer Algebra and Field Theories (with Jacques Calmet)
    Mathematics and Computer in Simulation, 45 (1998) 33-37

14. Numerical Analysis of Constrained Hamiltonian Systems and the Formal Theory of Differential Equations
    Mathematics and Computer in Simulation, 45 (1998) 561-576

15. Position versus Momentum Projections for Constrained Hamiltonian Systems
    Numerical Algorithms, 19 (1998) 223-234

16. Numerical Integration of Constrained Hamiltonian Systems Using Dirac Brackets
    Mathematics of Computation, 68 (1999) 661-681

17. Involution and Constrained Dynamics III: Intrinsic Degrees of Freedom Count
    Technische Mechanik, 20 (2000) 137-146

18. Completion to Involution and Semi-Discretisations
    Applied Numerical Mathematics, 42 (2002) 437-451

19. Involutive Bases in the Weyl Algebra (with Marcus Hausdorf and Rainer Steinwandt)
    Journal of Symbolic Computation, 34 (2002) 181-198

20. A Differential Equations Approach to Hamiltonian Systems (with Dirk Fesser and Dirk Saller)
    Reports on Mathematical Physics, 49 (2002) 345-359 (invited contribution)

21. Taylor and Lyubeznik Resolutions via Gröbner Bases
    Journal of Symbolic Computation, 34 (2002) 597-608

22. An Efficient Algebraic Algorithm for the Geometric Completion to Involution (with Marcus Hausdorf)
    Applicable Algebra in Engineering, Communication and Computing, 13 (2002) 163-207

23. Differential Equations, Spencer Cohomology, and Computing Resolutions (with Larry A. Lambe)
    Georgian Mathematical Journal, 9 (2002) 723-772

24. Involution Analysis of the Partial Differential Equations Characterising Hamiltonian Vector Fields
    Journal of Mathematical Physics, 44 (2003) 1173-1182

25. Overdetermined Elliptic Systems (with Katsiaryna Krupchyk and Jukka Tuomela)
    Foundations of Computational Mathematics, 6 (2006) 309-351

26. Existence and Construction of Vessiot Connections (with Dirk Fesser)
    Symmetry, Integrability, and Geometry: Methods and Applications (SIGMA), 5 (2009) 092

27. A Combinatorial Approach to Involution and Delta-Regularity I: Involutive Bases in Polynomial Algebras of Solvable Type
    Applicable Algebra in Engineering, Communication and Computing, 20 (2009) 207-259

28. A Combinatorial Approach to Involution and Delta-Regularity II: Structure Analysis of Polynomial Modules with Pommaret Bases
    Applicable Algebra in Engineering, Communication and Computing, 20 (2009) 261-338

29. On the Inverse Syzygy Problem (with Eva Zerz and Marcus Hausdorf)
    Communications in Algebra, 38 (2010) 2037-2047

30. Unter- und Überbestimmte Systeme von Differentialgleichungen
    Mathematische Semesterberichte, 57 (2010) 231-268

31. Effective Genericity, Delta-Regularity and Strong Noether Position
    Communications in Algebra, 40 (2012) 3933-3949

32. On the Free Resolution Induced by a Pommaret Basis (with Mario Albert, Matthias Fetzer and Eduardo Saenz-de-Cabezon)
    Journal of Symbolic Computation, 68/2 (2015) 4-26

33. Detection of Hopf Bifurcations in Chemical Reaction Networks Using Convex Coordinates (with Hassan Errami, Markus Eiswirth, Dima Grigoriev, Thomas Sturm and Andreas Weber)
    Journal of Computational Physics, 291 (2015) 279--302

34. Satisfiability Checking and Symbolic Computation (with E. Abraham, J. Abbott, B. Becker, A. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J.H. Davenport, M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening and T. Sturm)
    ACM Communications in Computer Algebra, 50 (2016) 145-147

35. Deterministic Genericity for Polynomial Ideals (with Amir Hashemi and Michael Schweinfurter)
    Journal of Symbolic Computation, 86 (2018) 20-50

36. Resolving Decompositions for Polynomial Modules (with Mario Albert)
    Mathematics, 6 (2018) 161 (invited contribution)

37. A Pommaret Bases Approach to the Degree of a Polynomial Ideal (with Bentolhoda Binaei and Amir Hashemi)
    Applicable Algebra in Engineering, Communication and Computing, 29 (2018) 283-301

38. The SYMBIONT Project: Symbolic Methods for Biological Networks (with F. Boulier, F. Fages, O. Radulescu, S.S. Samal, A. Schuppert, T. Sturm, S. Walcher and A. Weber)
    ACM Communications in Computer Algebra, 52 (2019) 67-70

39. Noether Bases and Their Applications (with Amir Hashemi and Hossein Parnian)
    Bulletin of the Iranian Mathematical Society, 45 (2019) 1283-1301

40. Dimension and Depth Dependent Upper Bounds in Polynomial Ideal Theory (with Amir Hashemi)
    Journal of Symbolic Computation, 98 (2020) 47-64

41. Computing Quot Schemes via Marked Bases Over Quasi-Stable Modules (with Mario Albert, Cristina Bertone and Margherita Roggero)
    Journal of Algebra, 550 (2020) 432-470

42. On the Numerical Analysis and Visualisation of Implicit Ordinary Differential Equations (with Elishan Braun and Matthias Seiß)
    Mathematics in Computer Science, 14 (2020) 281-293

43. Computing the Resolution Regularity of Bi-Homogeneous Ideals (with Nasibeh Aramideh and Amir Hashemi)
    Journal of Symbolic Computation, 103 (2021) 141-156

44. Singular Initial Value Problems for Quasi-Linear Ordinary Differential Equations (with Matthias Seiß)
    Journal of Differential Equations, 281 (2021) 258-288

45. Singularities of Algebraic Differential Equations (with Markus Lange-Hegermann and Daniel Robertz and Matthias Seiß)
    Advances in Applied Mathematics, 131 (2021) 102266

46. Degree Upper Bounds for Involutive Bases (with Amir Hashemi and Hossein Parnian)
    Mathematics in Computer Science, 15 (2021) 233-254

47. A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations (with Matthias Seiß and Thomas Sturm)
    Mathematics in Computer Science, 15 (2021) 333-352

48. An Involutive GVW Algorithm and the Computation of Pommaret Bases (with Amir Hashemi, Thomas Izgin and Daniel Robertz)
    Mathematics in Computer Science, 15 (2021) 419-452

49. Relative Gröbner and Involutive Bases For Ideals In Quotient Rings (with Amir Hashemi and Matthias Orth)
    Mathematics in Computer Science, 15 (2021) 453-482

50. Is the Diatom Sex Clock a Clock? (with Thomas Fuhrmann-Lieker, Roland Klassen, Nico Kubetschek and Jonas Ziebarth)
    Journal of the Royal Society Interface, 18 (2021) 20210146 (15+18 pages)

51. No Chaos in Dixon's system (with Matthias Seiß)
    International Journal of Bifurcation and Chaos, 31 (2021) 2150044 (20 pages)

52. Computation of Macaulay Constants and Degree Bounds for Gröbner Bases (with Amir Hashemi and Hossein Parnian)
    Journal of Symbolic Computation, 111 (2022) 44-60

53. Complementary Decompositions of Monomial Ideals and Involutive Bases (with Amir Hashemi and Matthias Orth)
    Applicable Algebra in Engineering, Communication and Computing, 33 (2022) 791--821

54. Recursive Structures in Involutive Bases Theory (with Amir Hashemi and Matthias Orth)
    Journal of Symbolic Computation, 118 (2023) 32-68

55. On the Numerical Integration of Singular Initial and Boundary Value Problems for Generalised Lane-Emden and Thomas-Fermi Equations (with Matthias Seiß)
    Applied Mathematics and Computation, 466 (2024) 128446 (16 pages)

56. Singular Initial Value Problems for some Quasi-Linear Second-Order Ordinary Differential Equations (with Matthias Seiß)
    Journal of Dynamics and Differential Equations, accepted for publication (2024)

57. A Single Exponential Time Algorithm for Regular Sequence Test (with Amir Hashemi and Benyamin M.-Alizadeh and Hossein Parnian)
    Journal of Algebra and its Applications, 23 (2024) 2450145 (20 pages)

58. Machine Learning Conservation Laws of Dynamical Systems (with Meskerem Abebaw Mebratie, Rüdiger Nather and Guido Falk von Rudorff)
    Physical Review E, 111 (2025) 025305 (18 pages)

59. Machine Learning Parameter Systems, Noether Normalisations and Quasi-stable Positions (with Amir Hashemi and Mahshid Mirhashemi)
    Journal of Symbolic Computation, 126 (2025) 102345 (23 pages)

60. Computing Finite and Infinite Free Resolutions with Pommaret-Like Bases (with Amir Hashemi and Matthias Orth)
    Journal of Symbolic Computation, 131 (2025) 102454 (32 pages)

61. On the Minimal Free Resolution of the Rees Algebra of some Monomial Ideals (with Rodrigo Iglesias and Matthias Orth and Eduardo Saenz-de-Cabezon)
    Applicable Algebra in Engineering, Communication and Computing, accepted for publication (2025)

62. Open Covers and Lex Points of Hilbert Schemes over Quotient Rings via Relative Marked Bases (with Cristina Bertone and Francesca Cioffi and Matthias Orth)
    Experimental Mathematics, 34 (2025) 38-52

63. Minimal Staggered Linear Bases and Their Applications (with Amir Hashemi, Nicolas Jagersma and Matthias Orth)
    Mathematics in Computer Science, accepted for publication (2025)

64. BRST Quantization of String Theories - Applying REDUCE to High Energy Physics
    New Computing Techniques in Physics Research, D. Perret-Gallix, W. Wojcik (eds), Editions du CNRS, Paris 1990, pp. 595-600

65. Formale Theorie partieller Differentialgleichungen
    Arbeitsgespräch Physik und Informatik - Informatik und Physik, D. Krönig, M. Lang (eds), Informatik-Fachberichte 306, Springer-Verlag, Berlin 1992, pp. 318-326

66. Algorithmic Methods for Lie Pseudogroups (with Joachim Schü and Jacques Calmet)
    Proc. Modern Group Analysis: Advanced Analytical and Computational Methods in Mathematical Physics, N. Ibragimov, M. Torrisi, A. Valenti (eds), Kluwer, Dordrecht 1993, pp. 337-344

67. Symbolische Behandlung von Differentialgleichungen (with Francois Ollivier, Fritz Schwarz, Felix Ulmer and Benno Fuchssteiner)
    Computeralgebra in Deutschland - Bestandsaufnahme, Möglichkeiten, Perspektiven. Fachgruppe Computeralgebra, Heidelberg, Passau 1993

68. Using REDUCE for Replica Calculations (with Paul Lukowicz and Klaus R. Müller)
    Proc. Int. Conf. Artificial Neural Networks (ICANN '93), S. Gielen, B. Kappen (eds), Springer-Verlag, London 1993, pp. 716-721

69. Computer Algebra and Differential Equations - An Overview
    mathPAD, 7 (1997) 34-49

70. DETools: A Library for Differential Equations
    mathPAD, 9 (1999) 18-33

71. Indices and Solvability for General Systems of Differential Equations
    Computer Algebra in Scientific Computing - CASC '99, V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 1999, pp. 365-385 (invited contribution)

72. Index Concepts for General Systems of Partial Differential Equations
    Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM), 81 (2001) 629-632 (Supplement, part 3) (Proc. Annual Meeting GAMM, Göttingen 2000)

73. A Constructive Introduction to Involution (with Jacques Calmet and Marcus Hausdorf)
    Proc. Int. Symp. Applications of Computer Algebra - ISACA 2000, R. Akerkar (ed), Allied Publishers, New Delhi 2001, pp. 33-50 (invited contribution)

74. Involution Analysis of Field Theories (with Jacques Calmet and Marcus Hausdorf)
    Proc. Encuentro de Algebra Computacional y Aplicaciones - EACA 2001, La Roja (Spain), J. Rubio (ed.), pp. 1-15 (invited contribution)

75. Completion to Involution and Symmetry Analysis (with Marcus Hausdorf)
    Proc. Computer Algebra and Applications in Physics, Dubna 2001, V.P. Gerdt (ed.), pp. 169-179

76. A MuPAD Library for Differential Equations (with Jay Belanger and Marcus Hausdorf)
    Computer Algebra in Scientific Computing - CASC 2001, V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2001, pp. 25-42

77. Perturbation versus Differentiation Indices (with Marcus Hausdorf)
    Computer Algebra in Scientific Computing - CASC 2001, V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2001, pp. 323-337

78. Perturbation versus Differentiation Indices (with Marcus Hausdorf)
    Proceedings in Applied Mathematics and Mechanics, 1 (2002) 514-515 (Proc. Annual Meeting GAMM, Zürich 2001)

79. Involutive Bases in MuPAD I: Involutive Divisions (with Marcus Hausdorf)
    mathPAD, 11 (2002) 51-56 (invited contribution)

80. On the Numerical Analysis of Overdetermined Linear Partial Differential Systems (with Marcus Hausdorf)
    Proc. Symbolic and Numerical Scientific Computation - SNSC '01, F. Winkler and U. Langer (eds), Lecture Notes in Computer Science 2630, Springer-Verlag, Berlin/Heidelberg 2003, pp. 152-167

81. Structure Analysis of Polynomial Modules with Pommaret Bases
    Proceedings in Applied Mathematics and Mechanics, 2 (2003) 446-447 (Proc. Annual Meeting GAMM, Augsburg 2002)

82. Overdetermined Elliptic Systems (with Jukka Tuomela)
    Proceedings in Applied Mathematics and Mechanics, 3 (2003) 485-486 (Proc. Annual Meeting GAMM, Abano Terme 2003)

83. Deciding Ellipticity by Quantifier Elimination (with Andreas Weber)
    Computer Algebra in Scientific Computing - CASC 2003, V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (eds.), TU München 2003, pp. 347-355

84. Stable Underlying Equations for Constrained Hamiltonian Systems
    GAMM-Mitteilungen, 27 (2004) 25-45 (invited contribution)

85. Vessiot Connections of Partial Differential Equations (with Dirk Fesser)
    Global Integrability of Field Theories - GIFT 2006, J. Calmet, W.M. Seiler, R.W. Tucker (eds.), Universitätsverlag Karlsruhe 2006, pp. 111-134

86. Delta- and Quasi-Regularity for Polynomial Ideals (with Marcus Hausdorf and Mehdi Sahbi)
    Global Integrability of Field Theories - GIFT 2006, J. Calmet, W.M. Seiler, R.W. Tucker (eds.), Universitätsverlag Karlsruhe 2006, pp. 179-200

87. Spencer Cohomology, Differential Equations, and Pommaret Bases
    Proc. Gröbner Bases and Symbolic Analysis, M. Rosenkranz, D.M. Wang (eds); de Gruyter, Berlin 2007, Radon Series on Computational and Applied Mathematics 2, pp. 169-216

88. The Inverse Syzygy Problem in Algebraic Systems Theory (with Eva Zerz)
    Proceedings in Applied Mathematics and Mechanics, 10 (2010) 633-634 (Proc. Annual Meeting GAMM, Karlsruhe 2010)

89. Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (with Andreas Weber, Thomas Sturm and Essam O. Abdel-Rahman)
    Computer Algebra in Scientific Computing - CASC 2010, V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2010, Lecture Notes in Computer Science 6244, pp. 267-279 (invited contribution)

90. On Muldowney's Criteria for Polynomial Vector Fields with Constraints (with Hassan Errami, Thomas Sturm and Andreas Weber)
    Computer Algebra in Scientific Computing - CASC 2011, V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2011, Lecture Notes in Computer Science 6885, pp. 135-143

91. Singularities in the Geometric Theory of Differential Equations (with Ulrike Kant)
    Dynamical Systems, Differential Equations and Applications (Proceedings 8th AIMS International Conference, Dresden 2010), W. Feng, Z. Feng, M. Graselli, A. Ibragimov, X. Lu, S. Siegmund, J. Voigt (eds.), AIMS 2012, Vol. 2, pp. 784-793

92. Quasi-Stability versus Genericity (with Amir Hashemi and Michael Schweinfurter)
    Computer Algebra in Scientific Computing - CASC 2012, V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2012, Lecture Notes in Computer Science 7442, pp. 172-184

93. Computing Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates (with Hassan Errami, Markus Eiswirth and Andreas Weber)
    Computer Algebra in Scientific Computing - CASC 2012, V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2012, Lecture Notes in Computer Science 7442, pp. 84-92

94. Singularities of Implicit Differential Equations and Static Bifurcations
    Computer Algebra in Scientific Computing - CASC 2013, V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2013, Lecture Notes in Computer Science 8136, pp. 355-368

95. Efficient Methods to Compute Hopf Bifurcations in Chemical Reaction Networks Using Reaction Coordinates (with Hassan Errami, Markus Eiswirth, Dima Grigoriev, Thomas Sturm and Andreas Weber)
    Computer Algebra in Scientific Computing - CASC 2013, V.P. Gerdt, W. Koepf, E.W. Mayr, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2013, Lecture Notes in Computer Science 8136, pp. 88-99

96. Deterministically Computing Reduction Numbers of Polynomial Ideals (with Amir Hashemi and Michael Schweinfurter)
    Computer Algebra in Scientific Computing - CASC 2014, V.P. Gerdt, W. Koepf, W.M. Seiler, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2014, Lecture Notes in Computer Science 8660, pp. 186-201

97. Janet Bases and Resolutions in CoCoALib (with Mario Albert, Matthias Fetzer)
    Computer Algebra in Scientific Computing - CASC 2015, V.P. Gerdt, W. Koepf, W.M. Seiler, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2015, Lecture Notes in Computer Science 9301, pp. 15-29

98. Algebraic Theory of Linear Systems: A Survey (with Eva Zerz)
    Surveys in Differential-Algebraic Equations II, A. Ilchmann, T. Reis (eds), Differential-Algebraic Equations Forum, Springer-Verlag, Berlin 2015, pp. 287-333 (invited contribution)

99. Resolving Decompositions of Polynomial Modules (with Mario Albert)
    Computer Algebra in Scientific Computing - CASC 2016, V.P. Gerdt, W. Koepf, W.M. Seiler, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2016, Lecture Notes in Computer Science 9890, pp. 15-29

100. SC-Square: Satisfiability Checking meets Symbolic Computation (with E. Abraham, J. Abbott, B. Becker, A. Bigatti, M. Brain, B. Buchberger, A. Cimatti, J.H. Davenport, M. England, P. Fontaine, S. Forrest, A. Griggio, D. Kroening und T. Sturm)
     Conference on Intelligent Computer Mathematics - CICM 2016, M. Kohlhase, M. Johansson, B. Miller, L. de Moura, F. Tompa (eds.), Lecture Notes in Artificial Intelligence 9791, pp. 28-43

101. Improved Computation of Involutive Bases (with Bentolhoda Binaei and Amir Hashemi)
     Computer Algebra in Scientific Computing - CASC 2016, V.P. Gerdt, W. Koepf, W.M. Seiler, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2016, Lecture Notes in Computer Science 9890, pp 58-72

102. Resolutions and Betti Numbers of Polynomial Modules via Involutive Bases (with Mario Albert and Matthias Fetzer)
     Proceedings in Applied Mathematics and Mechanics, 16 (2016) 3-6 (Proc. Annual Meeting GAMM, Braunschweig 2016)

103. SC^2 Challenges: When Satisfiability Checking and Symbolic Computation Join Forces (with E. Abraham, J. Abbott, B. Becker, A. Bigatti, M. Brain, A. Cimatti, J.H. Davenport, M. England, P. Fontaine, S. Forrest, V. Ganesh, A. Griggio and D. Kroening)
     Proceedings Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2017), G. Reger, D. Traytel (eds.), EPiC Series in Computing 51, pp. 6-10

104. Dimension-Dependent Upper Bounds for Gröbner Bases (with Amir Hashemi)
     Proc. International Symposium on Symbolic and Algebraic Computation - ISSAC 2017, M. Burr (ed.), ACM, New York 2017, pp. 189--196

105. Computation of Pommaret Bases Using Syzygies (with Bentolhoda Binaei and Amir Hashemi)
     Computer Algebra in Scientific Computing - CASC 2018, V.P. Gerdt, W. Koepf, W.M. Seiler, E.V. Vorozhtsov (eds.), Springer-Verlag, Berlin 2018, Lecture Notes in Computer Science 11077, pp. 51-66

106. Algebraic and Geometric Analysis of Singularities of Implicit Differential Equations (with Matthias Seiß)
     Computer Algebra in Scientific Computing - CASC 2020, F. Boulier, M. England, T. Sadykov, E.V. Vorozhtsov (eds.), Springer-Verlag, Cham 2020, Lecture Notes in Computer Science 12291, pp. 14-41 (invited contribution)

107. Size-Resolved Modeling of Diatom Populations: Old Findings and New Insights (with Jonas Ziebarth and Thomas Fuhrmann-Lieker)
     The Mathematical Biology of Diatoms, J.L. Pappas (ed.), Wiley-Scrivener, Beverly 2023, pp. 19-61

108. Generalized Tableaux and Formally Well-Posed Initial Value Problems
     Lancaster University Preprint 1995

109. Applying AXIOM to Partial Differential Equations
     Internal Report 95-17. Fakultät für Informatik, Universität Karlsruhe, 1995

110. Computer Algebra and Differential Equations - An Overview
     Internal Report 97-25. Fakultät für Informatik, Universität Karlsruhe 1997

111. Differential Equations in MuPAD I: An Object-Oriented Environment (with Marcus Hausdorf)
     Internal Report 2000-17. Fakultät für Informatik, Universität Karlsruhe 2000

112. Involutive Bases in MuPAD II: Polynomial Algebras of Solvable Type (with Marcus Hausdorf)
     Preprint Universität Heidelberg 2003

113. Cohen-Macaulay, Gorenstein and Complete Intersection Conditions by Marked Bases (with Cristina Bertone, Francesca Cioffi and Matthias Orth)
     Preprint Universities of Torino, Naples and Kassel (2024)

114. Fast Algorithms for Monomial Janet(-like) Bases (with Amir Hashemi, Rodrigo Iglesias, Matthias Orth, Eduardo Saenz de Cabezon)
     Preprint Universities of Isfahan, La Rioja, Kassel (2025)

115. Structural Identifiability and Discrete Symmetries (with Xabier Rey Barreiro, Nick Baberuxki, Meskerem Abebaw Mebratie and Alejandro F. Villaverde)
     Preprint Universities of Vigo and Kassel (2025)

116. Impetus-Striction Formalism and the Numerical Integration of Constrained Hamiltonian Systems
     In preparation

117. Computational Geometry for Differential Equations
     Applicable Algebra in Engineering, Communication and Computing, 11(5) (2001)

118. Under- and Overdetermined Systems of Algebraic or Differential Equations (with J. Calmet and M. Hausdorf)
     Fakultät für Informatik, Universität Karlsruhe 2002

119. Global Integrability of Field Theories (with J. Calmet and R.W. Tucker)
     Universitätsverlag Karlsruhe 2006, ISBN 3-86644-035-9

120. Applicable Algebra and Artificial Intelligence (with J. Rubio)
     Annals of Mathematics and Artificial Intelligence, 56(3/4) 2009

121. Computer Algebra in Scientific Computing, Warsaw 2014 (with V.P. Gerdt, W. Koepf, E.V. Vorozhtsov)
     Springer-Verlag 2014, ISBN 978-3-319-10514-7

122. Computer Algebra in Scientific Computing, Aachen 2015 (with V.P. Gerdt, W. Koepf, E.V. Vorozhtsov)
     Springer-Verlag 2015, ISBN 978-3-319-24020-6

123. Computer Algebra in Scientific Computing, Bucharest 2016 (with V.P. Gerdt, W. Koepf, E.V. Vorozhtsov)
     Springer-Verlag 2016, ISBN 978-3-319-45640-9

124. Proceedings Applications of Computer Algebra (Kassel 2016) (with N. Dana-Picard, W. Koepf, I. Kotsireas, Z. Kovacs, A. Prokopenya)
     Mathematics in Computer Science, 11(3-4) (2017)

125. Computer Algebra in Scientific Computing, Beijing 2017 (with V.P. Gerdt, W. Koepf, E.V. Vorozhtsov)
     Springer-Verlag 2017, ISBN 978-3-319-45640-9

126. Computer Algebra in Scientific Computing, Lille 2018 (with V.P. Gerdt, W. Koepf, E.V. Vorozhtsov)
     Springer-Verlag 2018, ISBN 978-3-319-99638-7

127. Computer Algebra in Scientific Computing, Moscow 2019 (with M. England, W. Koepf, T. Sadykov, E.V. Vorozhtsov)
     Springer-Verlag 2019, ISBN 978-3-030-26830-5

128. Proceedings Computer Algebra in Scientific Computing (Moscow 2019) (with M. England, W. Koepf, T. Sadykov, T. Sturm)
     Mathematics in Computer Science, 15(2) (2021)

129. Special Issue to Commemorate Vladimir Gerdt (with D. Robertz)
     Mathematics in Computer Science, 16(4) (2022)