this is Daniel’s homepage

## 2016 |

Lagrangian Constraints and Differential Thomas Decomposition Journal Article Advances in Applied Mathematics, 72 , pp. 113–138, 2016. |

## 2015 |

Recent Progress in an Algebraic Analysis Approach to Linear Systems Journal Article Multidimensional Systems and Signal Processing, 26 (2), pp. 349–388, 2015. |

## 2014 |

A constructive study of the module structure of rings of partial differential operators Journal Article Acta Applicandae Mathematicae, 133 (1), pp. 187–234, 2014. |

Formal Algorithmic Elimination for PDEs Book Springer, Cham, 2014. |

## 2013 |

Thomas decompositions of parametric nonlinear control systems Inproceedings Proceedings of the 5th Symposium on System Structure and Control, Grenoble (France), pp. 291–296, 2013. |

Stafford's reduction of linear partial differential systems Inproceedings Proceedings of the 5th Symposium on System Structure and Control, Grenoble (France), pp. 309–314, 2013. |

Applying Thomas decomposition and algebraic analysis to certain nonlinear PDE systems Inproceedings Mathematisches Forschungsinstitut Oberwolfach Report No. ??/2013, pp. ???, 2013. |

## 2012 |

Algorithmic Thomas Decomposition of Algebraic and Differential Systems Journal Article Journal of Symbolic Computation, 47 (10), pp. 1233–1266, 2012. |

Computation of Difference Gr"obner Bases Journal Article Computer Science Journal of Moldova, 20 (2 (59)), pp. 203–226, 2012. |

## 2010 |

Linear differential elimination for analytic functions Journal Article Mathematics in Computer Science, 4 (2--3), pp. 231–242, 2010. |

Controllability and differential flatness of linear analytic ordinary differential systems Inproceedings Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2010), Budapest, Hungary, 2010. |

Consistency of Finite Difference Approximations for Linear PDE Systems and its Algorithmic Verification Inproceedings Watt, S ~M (Ed.): Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, 25-28 July 2010, TU M"unchen, Germany, pp. 53–59, 2010. |

Thomas Decomposition of Algebraic and Differential Systems Inproceedings Gerdt, V P; Koepf, W; Mayr, E W; Vorozhtsov, E H (Ed.): Computer Algebra in Scientific Computing, 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, pp. 31–54, Springer, 2010. |

## 2009 |

The average number of cycles Journal Article Archiv der Mathematik, 93 (5), pp. 445–449, 2009. |

conley: Computing connection matrices in Maple Journal Article Journal of Symbolic Computation, 44 (5), pp. 540–557, 2009. |

Noether normalization guided by monomial cone decompositions Journal Article Journal of Symbolic Computation, 44 (10), pp. 1359–1373, 2009. |

The Auslander-Buchsbaum-Serre theorem Inproceedings Mathematisches Forschungsinstitut Oberwolfach Report No. 50/2009, pp. 2750–2751, 2009. |

Parametrizing linear systems Inproceedings Mathematisches Forschungsinstitut Oberwolfach Report No. 50/2009, pp. 2755–2758, 2009. |

## 2008 |

homalg: A meta-package for homological algebra Journal Article Journal of Algebra and Its Applications, 7 (3), pp. 299–317, 2008. |

Elimination for coefficients of special characteristic polynomials Journal Article Experimental Mathematics, 17 (4), pp. 499–510, 2008. |

Baer's extension problem for multidimensional linear systems Inproceedings Proceedings of the 18th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2008), Virginia Tech, Blacksburg, Virginia (USA), 2008. |

## 2007 |

OreModules: A Symbolic Package for the Study of Multidimensional Linear Systems Inproceedings Chiasson, J; Loiseau, J -J (Ed.): Applications of Time-Delay Systems, pp. 233–264, Springer, 2007. |

Janet Bases and Applications Inproceedings Rosenkranz, M; Wang, D (Ed.): Groebner Bases in Symbolic Analysis, pp. 139–168, de Gruyter, 2007. |

Computation of bases of free modules over the Weyl algebras Journal Article Journal of Symbolic Computation, 42 (11--12), pp. 1113–1141, 2007. |

Some Elimination Problems for Matrices Inproceedings Ganzha, V G; Mayr, E W; Vorozhtsov, E V (Ed.): Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, pp. 350–359, Springer, 2007. |

## 2006 |

A Maple Package for Computing Gr"obner Bases for Linear Recurrence Relations Journal Article Nuclear Instruments and Methods in Physics Research, A: Accelerators, Spectrometers, Detectors and Associated Equipment, 559 (1), pp. 215–219, 2006. |

Representations, commutative algebra, and Hurwitz groups Journal Article Journal of Algebra, 300 (1), pp. 223–247, 2006. |

homalg: First steps to an abstract package for homological algebra Inproceedings Proceedings of the X meeting on computational algebra and its applications (EACA 2006), Seville (Spain), pp. 29–32, 2006. |

Constructive computation of flat outputs of a class of multidimensional linear systems with variable coefficients Inproceedings Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2006), Kyoto (Japan), pp. 583–595, 2006. |

Computing invariants of multidimensional linear systems on an abstract homological level Inproceedings Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2006), Kyoto (Japan), pp. 542–559, 2006. |

On the Monge problem and multidimensional optimal control Inproceedings Proceedings of the 17th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2006), Kyoto (Japan), pp. 596–605, 2006. |

Representations, commutative algebra, and Hurwitz groups (joint work with Wilhelm Plesken) Inproceedings Mathematisches Forschungsinstitut Oberwolfach Report No. 30/2006, pp. 1842–1843, 2006. |

Formal Computational Methods for Control Theory PhD Thesis RWTH Aachen, Germany, 2006, (This thesis is available at tt http://darwin.bth.rwth-aachen.de/opus/volltexte/ 2006/1586). |

Methoden und Werkzeuge zum Entwurf mechatronischer Bewegungssysteme mit ungleichm"aß ig "ubersetzenden Getrieben Inproceedings VDI Berichte 1963, pp. 557–573, VDI-Verlag, 2006. |

## 2005 |

Effective algorithms for parametrizing linear control systems over Ore algebras Journal Article Applicable Algebra in Engineering, Communication and Computing, 16 (5), pp. 319–376, 2005. |

Constructing Invariants for Finite Groups Journal Article Experimental Mathematics, 14 (2), pp. 175–188, 2005. |

Janet's approach to presentations and resolutions for polynomials and linear pdes Journal Article Archiv der Mathematik, 84 (1), pp. 22–37, 2005. |

Parametrizing all solutions of uncontrollable multidimensional linear systems Inproceedings Proceedings of the 16th IFAC World Congress, Prague (Czech Republic), July 4-8, 2005, 2005. |

On the blowing-up of stably free behaviours Inproceedings Proceedings of the 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, Seville (Spain), December 12-15, 2005, pp. 1541–1546, 2005. |

Computation of Gr"obner Bases for Systems of Linear Difference Equations Journal Article Computeralgebra-Rundbrief, 37 , pp. 8–16, 2005. |

## 2004 |

OreModules: A symbolic package for the study of multidimensional linear systems Inproceedings Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems (MTNS 2004), Katholieke Universiteit Leuven (Belgium), 2004. |

## 2003 |

Linear Control Systems over Ore Algebras: Effective Algorithms for the Computation of Parametrizations Inproceedings IFAC Workshop on Time-Delay Systems, Sep. 8-10, 2003, INRIA, Rocquencourt (France), 2003. |

The MAPLE Package ``Janet'': I. Polynomial Systems Inproceedings Ganzha, V ~G; Mayr, E ~W; Vorozhtsov, E ~V (Ed.): Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, Sep. 20-26, 2003, Passau (Germany), pp. 31–40, 2003. |

The MAPLE Package ``Janet'': II. Linear Partial Differential Equations Inproceedings Ganzha, V ~G; Mayr, E ~W; Vorozhtsov, E ~V (Ed.): Proceedings of the 6th International Workshop on Computer Algebra in Scientific Computing, Sep. 20-26, 2003, Passau (Germany), pp. 41–54, 2003. |