Name Card

Full name Familienname, Vorname
Sinn, Moritz
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-7 of 7 (Search time: 0.008 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fiedor Tomas - 2018 - From Shapes to Amortized Complexity.pdf.jpgFiedor, Tomáš ; Holík, Lukáš ; Rogalewicz, Adam ; Sinn, Moritz ; Vojnar, Tomáš ; Zuleger, Florian From Shapes to Amortized ComplexityInproceedings Konferenzbeitrag 2018
2Cadek, Pavel ; Danninger, Clemens ; Sinn, Moritz ; Zuleger, Florian Using Loop Bound Analysis For Invariant GenerationKonferenzbeitrag Inproceedings 2018
3Sinn Moritz - 2017 - Complexity and Resource Bound Analysis of Imperative...pdf.jpgSinn, Moritz ; Zuleger, Florian ; Veith, Helmut Complexity and Resource Bound Analysis of Imperative Programs Using Difference ConstraintsArticle Artikel 2017
4Sinn Moritz - 2016 - Automated complexity analysis for imperative programs.pdf.jpgSinn, Moritz Automated complexity analysis for imperative programsThesis Hochschulschrift 2016
5Sinn, Moritz ; Veith, Helmut ; Zuleger, Florian Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative ProgramsKonferenzbeitrag Inproceedings 2015
6Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity AnalysisKonferenzbeitrag Inproceedings 2014
7Zuleger, Florian ; Sinn, Moritz ; Gulwani, Sumit ; Veith, Helmut Bound Analysis of Imperative Programs with the Size-Change AbstractionKonferenzbeitrag Inproceedings2011

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Souczek Fabian - 2014 - Bounds for variables and loops better together.pdf.jpgSouczek, Fabian Bounds for variables and loops: better togetherThesis Hochschulschrift 2014