Paul Roessler

According to our database, Paul Roessler authored at least 3 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Companion of the 2023 International Conference on Management of Data, 2023

2006

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

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2005

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