Andreas Humenberger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2017–2021
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | VMCAI | Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper). | Andreas Humenberger, Laura Kovcs |
| 2020 | IFM | Algebra-Based Loop Synthesis. | Andreas Humenberger, Nikolaj S. Bjrner, Laura Kovcs |
| 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 |