Items where Author is "Varonka, A"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article | Conference or Workshop Item
Number of items: 2.
Article
Ait El Manssour, R, Kenison, G, Shirmohammadi, M and Varonka, A Simple Linear Loops: Algebraic Invariants and Applications. Proceedings of the ACM on Programming Languages. (Accepted)
Conference or Workshop Item
Hitarth, S, Kenison, G, Kovács, L and Varonka, A (2024) Linear Loop Synthesis for Quadratic Invariants. In: Leibniz International Proceedings in Informatics (LIPIcs) , 289. (41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 12th Mar - 14 Mar 2024, Clermont-Ferrand, France).