( en | de | ru )

 

Disambiguierung von "Sinn, Moritz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)

, , , und . CoRR, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ulrich Sinn

Mathieu Sinn

Günther Sinn

Jürgen Sinn

Christian Sinn

 

Weitere Publikationen von Autoren mit dem selben Namen

A simple and scalable static analysis for bound analysis and amortized complexity analysis., , und . Software Engineering, Volume P-252 von LNI, Seite 101-102. GI, (2016)Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints., , und . J. Autom. Reason., 59 (1): 3-45 (2017)Bound Analysis of Imperative Programs with the Size-Change Abstraction., , , und . SAS, Volume 6887 von Lecture Notes in Computer Science, Seite 280-297. Springer, (2011)Using Loop Bound Analysis For Invariant Generation., , , und . FMCAD, Seite 1-9. IEEE, (2018)From Shapes to Amortized Complexity., , , , , und . VMCAI, Volume 10747 von Lecture Notes in Computer Science, Seite 205-225. Springer, (2018)A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis., , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 745-761. Springer, (2014)LOOPUS - A Tool for Computing Loop Bounds for C Programs., und . WING@ETAPS/IJCAR, Volume 1 von EPiC Series in Computing, Seite 185-186. EasyChair, (2010)Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version), , , und . CoRR, (2012)Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs., , und . FMCAD, Seite 144-151. IEEE, (2015)