Name Card

Full name Familienname, Vorname
Humenberger, Andreas
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-11 of 11 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Humenberger, Andreas ; Amrollahi, Daneshvar ; Bjørner, Nikolaj ; Kovács, Laura Algebra-Based Reasoning for Loop SynthesisArticle Artikel 1-Apr-2022
2Humenberger, Andreas ; Kovács, Laura Algebra-Based Synthesis of Loops and Their Invariants (Invited Paper)Konferenzbeitrag Inproceedings 2021
3Humenberger Andreas - 2021 - Algebra-based loop reasoning - invariant generation...pdf.jpgHumenberger, Andreas Algebra-based loop reasoning - invariant generation and synthesis for numeric loopsThesis Hochschulschrift 2021
4Humenberger, Andreas ; Bjørner, Nikolaj ; Kovacs, Laura Algebra-Based Loop SynthesisKonferenzbeitrag Inproceedings 2020
5Humenberger, Andreas ; Jaroschek, Maximilian ; Kovács, Laura Aligator.jl – A Julia Package for Loop Invariant GenerationKonferenzbeitrag Inproceedings 2018
6Humenberger, Andreas ; Jaroschek, Maximilian ; Kovacs, Laura Invariant Generation for Multi-Path Loops with Polynomial AssignmentsKonferenzbeitrag Inproceedings2018
7Humenberger, Andreas ; Jaroschek, Maximilian ; Kovacs, Laura Polynomial Invariant Generation for Multi-Path LoopsPräsentation Presentation2017
8Humenberger, Andreas ; Jaroschek, Maximilian ; Kovács, Laura Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric SequencesKonferenzbeitrag Inproceedings2017
9Ianni, Giovambattista ; Calimeri, Francesco ; Germano, Stefano ; Humenberger, Andreas ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea ; Wimmer, Anton Angry-HEX: an Artificial Player for Angry Birds Based on Declarative Knowledge BasesArtikel Article2016
10Humenberger Andreas - 2016 - Abstrakte Beweisstrukturen ein einheitliches...pdf.jpgHumenberger, Andreas Abstrakte Beweisstrukturen : ein einheitliches FrameworkThesis Hochschulschrift 2016
11Calimeri, Francesco ; Fink, Michael ; Germano, Stefano ; Humenberger, Andreas ; Ianni, Giovambattista ; Redl, Christoph ; Stepanova, Daria ; Tucci, Andrea AngryHEX: An Angry Birds-playing Agent based on HEX-ProgramsPräsentation Presentation2014