activity
20142020
most citedRanking Templates for Linear Loops

39 citations · 66 across the 9 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.LO2020

Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis

Laurent Fribourg, Matthias Heizmann

The proceedings consist of a keynote paper by Alberto followed by 6 invited papers written by Lorenzo Clemente (U. Warsaw), Alain Finkel (U. Paris-Saclay), John Gallagher (Roskilde…