Peter C. Dillinger

IEEE Trans. Dependable Secur. Comput., 2024

2023

Optimal Uncoordinated Unique IDs.

[BibT_eX]

[DOI]

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

2022

Fast Succinct Retrieval and Approximate Membership Using Ribbon.

[BibT_eX]

[DOI]

Lorenz Hübschle-Schneider

Peter Sanders

Proceedings of the 20th International Symposium on Experimental Algorithms, 2022

2021

Approximate Membership Query Filters with a False Positive Free Set.

[BibT_eX]

[DOI]

Pedro Reviriego

Alfonso Sánchez-Macián

CoRR, 2021

Ribbon filter: practically smaller than Bloom and Xor.

[BibT_eX]

[DOI]

CoRR, 2021

2014

Data Definitions in the ACL2 Sedan.

[BibT_eX]

[DOI]

Harsh Raju Chamarthi

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

2011

Integrating Testing and Interactive Theorem Proving

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011

The ACL2 Sedan Theorem Proving System.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

2009

Fast, All-Purpose State Storage.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2009

2006

ACL2s: "The ACL2 Sedan".

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on User Interfaces for Theorem Provers, 2006

2005

Enhanced Probabilistic Verification with 3Spin and 3Murphi.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2005

2004

Fast and Accurate Bitstate Verification for SPIN.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2004

Bloom Filters in Probabilistic Verification.

[BibT_eX]

[DOI]