| |
| 2000 | ||
|---|---|---|
| 7 | EE | Martin Büchi, Wolfgang Weck: Generic Wrappers. ECOOP 2000: 201-225 |
| 6 | Martin Büchi, Emil Sekerinski: A Foundation for Refining Concurrent Objects. Fundam. Inform. 44(1-2): 25-61 (2000) | |
| 1999 | ||
| 5 | EE | Martin Büchi, Ralph-Johan Back: Compositional Symmetric Sharing in B. World Congress on Formal Methods 1999: 431-451 |
| 1998 | ||
| 4 | EE | Martin Büchi: The B Bank: A Complete Case Study. ICFEM 1998: 190-199 |
| 3 | EE | Martin Büchi, Wolfgang Weck: Compound Types for Java. OOPSLA 1998: 362-373 |
| 1997 | ||
| 2 | Ralph-Johan Back, Martin Büchi, Emil Sekerinski: Action-Based Concurrency and Synchronization for Objects. ARTS 1997: 248-262 | |
| 1 | EE | Martin Büchi, Emil Sekerinski: Formal Methods for Component Software: The Refinement Calculus Perspective. ECOOP Workshops 1997: 332-337 |
| 1 | Ralph-Johan Back | [2] [5] |
| 2 | Emil Sekerinski | [1] [2] [6] |
| 3 | Wolfgang Weck | [3] [7] |