Andreas Humenberger

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 13

Top Topics

Algebraic Expressions

Program Synthesis

Top Venues

Formal Aspects Comput.

Publications

Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
Algebra-Based Reasoning for Loop Synthesis. CoRR (2022)
Andreas Humenberger, Daneshvar Amrollahi, Nikolaj S. Bjørner, Laura Kovács
Algebra-Based Reasoning for Loop Synthesis. Formal Aspects Comput. 34 (1) (2022)
Andreas Humenberger, Laura Kovács
Algebra-based Synthesis of Loops and their Invariants (Invited Paper). CoRR (2021)
Andreas Humenberger, Laura Kovács
Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper). VMCAI (2021)
Andreas Humenberger, Nikolaj Bjørner, Laura Kovács
Algebra-Based Loop Synthesis. IFM (2020)
Andreas Humenberger, Laura Kovács
Algebra-based Loop Synthesis. CoRR (2020)
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Aligator.jl - A Julia Package for Loop Invariant Generation. CICM (2018)
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Invariant Generation for Multi-Path Loops with Polynomial Assignments. CoRR (2018)
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Aligator.jl - A Julia Package for Loop Invariant Generation. CoRR (2018)
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Invariant Generation for Multi-Path Loops with Polynomial Assignments. VMCAI (2018)
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. CoRR (2017)
Andreas Humenberger, Maximilian Jaroschek, Laura Kovács
Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric Sequences. ISSAC (2017)
Francesco Calimeri, Michael Fink, Stefano Germano, Andreas Humenberger, Giovambattista Ianni, Christoph Redl, Daria Stepanova, Andrea Tucci, Anton Wimmer
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases. IEEE Trans. Comput. Intell. AI Games 8 (2) (2016)