Andreas Humenberger

Available identifiers

zbMath Open humenberger.andreasMaRDI QIDQ1798955

List of research outcomes

Publication	Date of Publication	Type
Algebra-Based Reasoning for Loop Synthesis	2023-08-31	Paper
Algebra-Based Loop Synthesis	2023-03-21	Paper
Algebra-based synthesis of loops and their invariants (invited paper)	2021-10-18	Paper
Automated generation of non-linear loop invariants utilizing hypergeometric sequences	2020-09-09	Paper
Invariant generation for multi-path loops with polynomial assignments	2020-07-07	Paper
Aligator.jl -- a Julia package for loop invariant generation	2018-10-18	Paper

Research outcomes over time

This page was built for person: Andreas Humenberger