Department of Computer Science

Available Reports

2012-01

Fachgruppe Informatik
Annual Report 2012

2012-02

Thomas Heer
Controlling Development Processes

• Abstract, BibTeX, Paper:    

2012-03

Arne Haber, Jan Oliver Ringert, Bernhard Rumpe
MontiArc - Architectural Modeling of Interactive Distributed and Cyber-Physical Systems

• Abstract, BibTeX, Paper:    

2012-04

Marcus Gelderie
Strategy Machines and their Complexity

• Abstract, BibTeX, Paper:    

2012-05

Thomas Ströder, Fabian Emmes, Jürgen Giesl, Peter Schneider-Kamp, and Carsten Fuhs
Automated Complexity Analysis for Prolog by Term Rewriting

• Abstract, BibTeX, Paper:    

2012-06

Marc Brockschmidt, Richard Musiol, Carsten Otto, Jürgen Giesl
Automated Termination Proofs for Java Programs with Cyclic Data

• Abstract, BibTeX, Paper:    

Last modified: Thursday, 19-Apr-2012 13:55:06 MEST  /  TR-Admin

Disclaimer