CoffeeStrainer - Statically Checking Structural Constraints on Java Programs. - Boris Bokowski (ECOOP Workshops, 1998)

Poor Man's Genericity for Java. - Boris Bokowski; Markus Dahm (Java-Informations-Tage, 1998)

Implementing "Object Ownership to Order". - Boris Bokowski (ECOOP Workshops, 1999)

CoffeeStrainer: Statically-Checked Constraints on the Definition and Use of Types in Java. - Boris Bokowski (ESEC / SIGSOFT FSE, 1999)

Confined Types. - Jan Vitek; Boris Bokowski (OOPSLA, 1999)

A Framework for Checking Programmer-Defined Constraints on the Definition and Use of Program Elements in Java. - Boris Bokowski (Softwaretechnik-Trends, 2000)

A framework for checking programmer defined constraints on the definition and use of program elements in Java. - Boris Bokowski (2000)

Confined types in Java. - Jan Vitek; Boris Bokowski (Softw. Pract. Exp., 2001)