Talks and Poster Presentations (with Proceedings-Entry):

L. Leutgeb, G. Moser, F. Zuleger:
"ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures";
Talk: International Conference on Computer Aided Verification (CAV), virtuell; 2022-07-20 - 2022-07-23; in: "CAV 2021: Computer Aided Verification", (2022), 99 - 122.

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.