Functional formal verification on designs of pSeries microprocessors and communication subsystems. - Rebecca M. Gott; Jason Baumgartner; Paul Roessler; S. I. Joe (IBM J. Res. Dev., 2005)

Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. - Tilman Glökler; Jason Baumgartner; Devi Shanmugam; A. E. (Rick) Seigler; Gary A. Van Huben; Barinjato Ramanandray; Hari Mony; Paul Roessler (FMCAD, 2006)

BCNF* - From Normalized- to Star-Schemas and Back Again. - Marie Fischer; Paul Roessler; Paul Sieben; Janina Adamcic; Christoph Kirchherr; Tobias Straeubig; Youri Kaminsky; Felix Naumann (SIGMOD Conference Companion, 2023)