Bloom Filters in Probabilistic Verification. - Peter C. Dillinger; Panagiotis Manolios (FMCAD, 2004)

Fast and Accurate Bitstate Verification for SPIN. - Peter C. Dillinger; Panagiotis Manolios (SPIN, 2004)

Enhanced Probabilistic Verification with 3Spin and 3Murphi. - Peter C. Dillinger; Panagiotis Manolios (SPIN, 2005)

ACL2s: "The ACL2 Sedan". - Peter C. Dillinger; Panagiotis Manolios; Daron Vroon 001; J Strother Moore (UITP@FLoC, 2006)

Fast, All-Purpose State Storage. - Peter C. Dillinger; Panagiotis Manolios (SPIN, 2009)

The ACL2 Sedan Theorem Proving System. - Harsh Raju Chamarthi; Peter C. Dillinger; Panagiotis Manolios; Daron Vroon 001 (TACAS, 2011)

Integrating Testing and Interactive Theorem Proving - Harsh Raju Chamarthi; Peter C. Dillinger; Matt Kaufmann; Panagiotis Manolios (ACL2, 2011)

Data Definitions in the ACL2 Sedan. - Harsh Raju Chamarthi; Peter C. Dillinger; Panagiotis Manolios (ACL2, 2014)

Ribbon filter: practically smaller than Bloom and Xor. - Peter C. Dillinger; Stefan Walzer (CoRR, 2021)

Approximate Membership Query Filters with a False Positive Free Set. - Pedro Reviriego; Alfonso Sánchez-Macián; Stefan Walzer; Peter C. Dillinger (CoRR, 2021)

Fast Succinct Retrieval and Approximate Membership Using Ribbon. - Peter C. Dillinger; Lorenz Hübschle-Schneider; Peter Sanders 001; Stefan Walzer (SEA, 2022)

Optimal Uncoordinated Unique IDs. - Peter C. Dillinger; Martin Farach-Colton; Guido Tagliavini; Stefan Walzer (PODS, 2023)

On the Privacy of Multi-Versioned Approximate Membership Check Filters. - Pedro Reviriego; Alfonso Sánchez-Macián; Peter C. Dillinger; Stefan Walzer (IEEE Trans. Dependable Secur. Comput., 2024)