Maximilian Jaroschek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2013–2018
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISSAC | Desingularization of First Order Linear Difference Systems with Rational Function Coefficients. | Moulay A. Barkatou, Maximilian Jaroschek |
| 2018 | VMCAI | Invariant Generation for Multi-Path Loops with Polynomial Assignments. | Andreas Humenberger, Maximilian Jaroschek, Laura Kovcs |
| 2017 | ISSAC | Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. | Andreas Humenberger, Maximilian Jaroschek, Laura Kovcs |
| 2013 | ISSAC | Desingularization explains order-degree curves for ore operators. | Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer |