| Report
| Date
| Title
|
| EDI-INF-RR-1410
| 2012
| Recursive checkonly QVT-R transformations with general when and where clauses via the modal mu calculus
|
| EDI-INF-RR-1366
| Mar 2010
| Fixpoint alternation and the Wadge hierarchy
|
| EDI-INF-RR-0885
| 2005
| Transfinite extension of the mu-calculus
|
| EDI-INF-RR-0557
| Dec 2004
| On independence-friendly fixpoint logics
|
| EDI-INF-RR-0556
| 2003
| Fixpoints, games and the difference hierarchy
|
| EDI-INF-RR-0555
| 2005
| The complexity of independence-friendly fixpoint logic
|
| EDI-INF-RR-0554
| 2006
| Independence: logics and concurrency
|
| EDI-INF-RR-0444
| Apr 2002
| Enriching OCL using observational mu-calculus
|
