Paul Roessler

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 1

Publications

Marie Fischer, Paul Roessler, Paul Sieben, Janina Adamcic, Christoph Kirchherr, Tobias Straeubig, Youri Kaminsky, Felix Naumann
BCNF* - From Normalized- to Star-Schemas and Back Again. SIGMOD Conference Companion (2023)
Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. FMCAD (2006)
Rebecca M. Gott, Jason Baumgartner, Paul Roessler, S. I. Joe
Functional formal verification on designs of pSeries microprocessors and communication subsystems. IBM J. Res. Dev. 49 (4-5) (2005)