| |
| 2001 | ||
|---|---|---|
| 8 | Jan Vitek, Boris Bokowski: Confined types in Java. Softw., Pract. Exper. 31(6): 507-532 (2001) | |
| 2000 | ||
| 7 | Boris Bokowski: A Framework for Checking Programmer-Defined Constraints on the Definition and Use of Program Elements in Java. Softwaretechnik-Trends 20(4): (2000) | |
| 1999 | ||
| 6 | Boris Bokowski: Implementing "Object Ownership to Order". ECOOP Workshops 1999: 151-152 | |
| 5 | EE | Boris Bokowski: CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java. ESEC / SIGSOFT FSE 1999: 355-374 |
| 4 | EE | Jan Vitek, Boris Bokowski: Confined Types. OOPSLA 1999: 82-96 |
| 1998 | ||
| 3 | EE | Boris Bokowski: CoffeeStrainer - Statically Checking Structural Constraints on Java Programs. ECOOP Workshops 1998: 380-381 |
| 2 | EE | Boris Bokowski, Markus Dahm: Poor Man's Genericity for Java. ECOOP Workshops 1998: 552 |
| 1 | Boris Bokowski, Markus Dahm: Poor Man's Genericity for Java. Java-Informations-Tage 1998: 60-76 | |
| 1 | Markus Dahm | [1] [2] |
| 2 | Jan Vitek | [4] [8] |