Andreas Humenberger

13 papers B 4C 1Journal 8

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