Report
| Date
| Title
|
EDI-INF-RR-1256
| Jun 2008
| PCC 2008: Second International Workshop on Proof-Carrying Code --- Workshop Programme and Contributed Papers
|
EDI-INF-RR-1207
| 2007
| Free-Algebra Models for the Pi-Calculus
|
EDI-INF-RR-1188
| 2007
| Mobile resource guarantees
|
EDI-INF-RR-0989
| Nov 2005
| Automatic Verification of Design Patterns in Java
|
EDI-INF-RR-0859
| Oct 2006
| Explicit Accounting of Resources using Resource Managers
|
EDI-INF-RR-0760
| 2005
| Mobile Resource Guarantees for Smart Devices
|
EDI-INF-RR-0759
| Jul 2004
| Nominal Games and Full Abstraction for the Nu-Calculus
|
EDI-INF-RR-0758
| Sep 2004
| A Dependent Type Theory with Names and Binding
|
EDI-INF-RR-0757
| Apr 2005
| Free-Algebra Models for the Pi-Calculus
|
EDI-INF-RR-0756
| Apr 2005
| Reducibility and TT-lifting for Computation Types
|