Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Moritz Sinn
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Related publications
Lower-Bound Time-Complexity Analysis of Logic Programs
Relational Cost Analysis for Functional-Imperative Programs
Proceedings of the ACM on Programming Languages
Declarative View of Imperative Programs
The Implicit Computational Complexity of Imperative Programming Languages
BRICS Report Series
Calculating Quantitative Integrity and Secrecy for Imperative Programs
International Journal of Secure Software Engineering
On the Complexity of Postoptimality Analysis of 01 Programs
Discrete Applied Mathematics
Combinatorics
Applied Mathematics
Discrete Mathematics
Robustness Analysis of Stochastic Programs With Joint Probabilistic Constraints
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Bounded Expectations: Resource Analysis for Probabilistic Programs
Schedulability Analysis of Periodic and Aperiodic Tasks With Resource Constraints
Journal of Systems Architecture
Hardware
Architecture
Software
