Concepedia
Statistics
Publications
3
Citations
83
H-Index
Active since
2015
Affiliations
TU Wien(Current)
Moritz Sinn is an author at TU Wien specializing in theory of computation, programming languages, and termination analysis.
Publications per year
2015–2018
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
Moritz Sinn, Florian Zuleger, Helmut Veith · Journal of Automated Reasoning · 2017 · 57 citations · Full text
Computing, Computer Science, Algorithms +13
Difference constraints: an adequate abstraction for complexity analysis of imperative programs
Moritz Sinn, Florian Zuleger, Helmut Veith · 2015 · 16 citations
Computing, Computer Science, Algorithms +16
LOOPUS - A Tool for Computing Loop Bounds for C Programs
Moritz Sinn, Florian Zuleger · EPiC series in computing · 2018 · 10 citations · Full text
Computing, Computer Engineering, Computer Science +10
1–3 of 3