Full name Familienname, Vorname
Zuleger, Florian
 
Main Affiliation Organisations­zuordnung
 

Filter:
Author:  Sinn, Moritz

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

PreviewAuthor(s)TitleTypeIssue Date
1Cadek, Pavel ; Danninger, Clemens ; Sinn, Moritz ; Zuleger, Florian Using Loop Bound Analysis For Invariant GenerationKonferenzbeitrag Inproceedings 2018
2Fiedor 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
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 ; Veith, Helmut ; Zuleger, Florian Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative ProgramsKonferenzbeitrag Inproceedings 2015
5Sinn, Moritz ; Zuleger, Florian ; Veith, Helmut A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity AnalysisKonferenzbeitrag Inproceedings 2014
6Zuleger, Florian ; Sinn, Moritz ; Gulwani, Sumit ; Veith, Helmut Bound Analysis of Imperative Programs with the Size-Change AbstractionKonferenzbeitrag Inproceedings2011

Filter:
Author:  Sinn, Moritz

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

PreviewAuthor(s)TitleTypeIssue Date
1Sinn Moritz - 2016 - Automated complexity analysis for imperative programs.pdf.jpgSinn, Moritz Automated complexity analysis for imperative programsThesis Hochschulschrift 2016