26 citations · 232 across the 37 of their papers we have counts for
1 paper · 1 filter
Roberto Bagnara, Andrea Pescetti, Alessandro Zaccagnini +1
Fully automatic worst-case complexity analysis has a number of applications in computer-assisted program manipulation. A classical and powerful approach to complexity analysis cons…