| 2013 | SOFSEM | Theory of Multi Core Hypervisor Verification. | Ernie Cohen, Wolfgang J. Paul, Sabine Schmaltz |
| 2012 | SEFM | Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification. | Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin |
| 2011 | CAV | Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus. | Christian Mller, Wolfgang J. Paul |
| 2010 | FMCAD | Verifying shadow page table algorithms. | Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul |
| 2010 | ICCD | Computational models for the age of multicore processing. | Wolfgang J. Paul |
| 2005 | ICCD | Towards the Formal Verification of Lower System Layers in Automotive Systems. | Sven Beyer, Peter Bhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul |
| 2005 | ICCD | Dealing with I/O Devices in the Context of Pervasive System Verification. | Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul |
| 2005 | SEFM | Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. | Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova |
| 2002 | EuroPar | Performance of MP3D on the SB-PRAM Prototype (Research Note). | Roman Dementiev, Michael Klein, Wolfgang J. Paul |
| 2002 | EuroPar | Real PRAM Programming. | Wolfgang J. Paul, Peter Bach, Michael Bosch, Jrg Fischer, Cdric Lichtenau, Jochen Rhrig |
| 2001 | DAC | Automated Pipeline Design. | Daniel Kroening, Wolfgang J. Paul |
| 1997 | ARITH | On the Design of IEEE Compliant Floating Point Units. | Guy Even, Wolfgang J. Paul |
| 1989 | ICALP | Two Versus One Index Register and Modifiable Versus Non-modifiable Programs. | Kurt Mehlhorn, Wolfgang J. Paul |
| 1984 | STOC | On Monotone Formulae with Restricted Depth (Preliminary Version) | Maria M. Klawe, Wolfgang J. Paul, Nicholas Pippenger, Mihalis Yannakakis |
| 1983 | FOCS | On Determinism versus Non-Determinism and Related Problems (Preliminary Version) | Wolfgang J. Paul, Nicholas Pippenger, Endre Szemerdi, William T. Trotter |
| 1983 | ICALP | Parallel Dictionaries in 2-3 Trees. | Wolfgang J. Paul, Uzi Vishkin, Hubert Wagener |
| 1983 | STOC | Bounds for Width Two Branching Programs | Allan Borodin, Danny Dolev, Faith E. Fich, Wolfgang J. Paul |
| 1983 | STOC | Two Nonlinear Lower Bounds | Pavol Duris, Zvi Galil, Wolfgang J. Paul, Rdiger Reischuk |
| 1982 | FOCS | On-Line Simulation of k+1 Tapes by k Tapes Requires Nonlinear Time | Wolfgang J. Paul |
| 1981 | FOCS | On Heads Versus Tapes | Wolfgang J. Paul |
| 1981 | STOC | An Efficient General Purpose Parallel Computer | Zvi Galil, Wolfgang J. Paul |
| 1980 | GI | Effizienz Paralleler Rechner. | Zvi Galil, Wolfgang J. Paul |
| 1980 | STOC | An Information-Theoretic Approach to Time Bounds for On-Line Computation (Preliminary Version) | Wolfgang J. Paul, Joel I. Seiferas, Janos Simon |
| 1979 | FCT | Kolmogorov complexity and lower bounds. | Wolfgang J. Paul |
| 1979 | FOCS | On Time versus Space II | Wolfgang J. Paul, Rdiger Reischuk |
| 1978 | FOCS | On Alternation (Preliminary Version) | Wolfgang J. Paul, Ernst-Jrgen Prau, Rdiger Reischuk |
| 1977 | ICALP | Time-Space Trade-Offs in a Pebble Game. | Wolfgang J. Paul, Robert Endre Tarjan |
| 1977 | STOC | On Time Hierarchies | Wolfgang J. Paul |
| 1976 | STOC | Space Bounds for a Game of Graphs | Wolfgang J. Paul, Robert Endre Tarjan, James R. Celoni |
| 1975 | FOCS | On Time versus Space and Related Problems | John E. Hopcroft, Wolfgang J. Paul, Leslie G. Valiant |
| 1975 | STOC | A 2.5 n-lower Bound on the Combinatorial Complexity of Boolean Functions | Wolfgang J. Paul |
| 1973 | GI | Optimale Algorithmen zum Transponieren Quadratischer Matrizen. | Wolfgang J. Paul |
| 1972 | GI | Realisierung des Streaming-Konzepts. | Wolfgang J. Paul |