Browsing by Author

Showing results 1 to 3 of 3
PreviewAuthors / EditorsTitleTypeIssue Date
Automated complexity analysis for imperative programs.pdf.jpgSinn, Moritz Automated complexity analysis for imperative programsThesis Hochschulschrift 2016
Bounds for variables and loops better together.pdf.jpgSouczek, Fabian Bounds for variables and loops: better togetherThesis Hochschulschrift 2014
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints.pdf.jpgSinn, Moritz ; Zuleger, Florian ; Veith, Helmut Complexity and Resource Bound Analysis of Imperative Programs Using Difference ConstraintsArticle Artikel 2017