| 2013 | INDIN | Formal specification and automated verification of railway software with Frama-C. | Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Vllinger |
| 2005 | PPAM | A Grid Workflow Language Using High-Level Petri Nets. | Martin Helmut Alt, Andreas Hoheisel, Hans Werner Pohl, Sergei Gorlatch |
| 2003 | EuroPLop | Using the Bridge Design Pattern for OSGi Service Update. | Hans Werner Pohl, Jens Gerlach |
| 1999 | PACT | A High-Level Programming Environment for Distributed Memory Architectures. | Wolfgang K. Giloi, Hans Werner Pohl, A. Schramm |
| 1998 | SAC | A group theoretic approach to data and code partitioning. | Matthias Besch, Hans Werner Pohl |
| 1997 | EuroPar | Dependence-Free Clustering of Shift-Invariant Data Structures. | Matthias Besch, Hans Werner Pohl |
| 1997 | ICS | Performance considerations in software multicasts. | Jrg Cordsen, Hans Werner Pohl, Wolfgang Schrder-Preikschat |
| 1996 | EuroPar | Topographic Data Mapping by Balanced Hypershere Tessellation. | Matthias Besch, Hans Werner Pohl |
| 1995 | PDP | Flexible data parallel training of neural networks using MIMD-Computers. | Matthias Besch, Hans Werner Pohl |