| 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 | Boris Bokowski: CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java. ESEC / SIGSOFT FSE 1999: 355-374 | |
| 4 | Jan Vitek, Boris Bokowski: Confined Types. OOPSLA 1999: 82-96 | |
| 1998 | ||
| 3 | Boris Bokowski: CoffeeStrainer - Statically Checking Structural Constraints on Java Programs. ECOOP Workshops 1998: 380-381 | |
| 2 | 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] |