| |
| 2007 | ||
|---|---|---|
| 5 | EE | Anna Börjesson, Lars Pareto, Ulrika Lundh Snis, Miroslaw Staron: Continuing professional development by practitioner integrated learning. OOPSLA Companion 2007: 897-907 |
| 2006 | ||
| 4 | EE | Lars Pareto, Urban Boquist: A quality model for design documentation in model-centric projects. SOQUA 2006: 30-37 |
| 2005 | ||
| 3 | EE | Lars Pareto: Extended abstract: requirements modeling within iterative, incremental processes. MEMOCODE 2005: 249-250 |
| 1999 | ||
| 2 | EE | John Hughes, Lars Pareto: Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. ICFP 1999: 70-81 |
| 1996 | ||
| 1 | EE | John Hughes, Lars Pareto, Amr Sabry: Proving the Correctness of Reactive Systems Using Sized Types. POPL 1996: 410-423 |
| 1 | Urban Boquist | [4] |
| 2 | Anna Börjesson | [5] |
| 3 | John Hughes | [1] [2] |
| 4 | Amr Sabry | [1] |
| 5 | Ulrika Lundh Snis (Ulrika Snis) | [5] |
| 6 | Miroslaw Staron | [5] |