Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs393.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2311-08854,
  author       = {David M. Russinoff},
  editor       = {Alessandro Coglio and
                  Sol Swords},
  title        = {A Formalization of Finite Group Theory: Part {III}},
  booktitle    = {Proceedings of the 18th International Workshop on the {ACL2} Theorem
                  Prover and Its Applications, Austin, TX, {USA} and online, November
                  13-14, 2023},
  series       = {{EPTCS}},
  volume       = {393},
  pages        = {33--49},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.393.5},
  doi          = {10.4204/EPTCS.393.5},
  timestamp    = {Fri, 22 Dec 2023 11:34:10 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-08854.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2311-08855,
  author       = {Max von Hippel and
                  Panagiotis Manolios and
                  Kenneth L. McMillan and
                  Cristina Nita{-}Rotaru and
                  Lenore D. Zuck},
  editor       = {Alessandro Coglio and
                  Sol Swords},
  title        = {A Case Study in Analytic Protocol Analysis in {ACL2}},
  booktitle    = {Proceedings of the 18th International Workshop on the {ACL2} Theorem
                  Prover and Its Applications, Austin, TX, {USA} and online, November
                  13-14, 2023},
  series       = {{EPTCS}},
  volume       = {393},
  pages        = {50--66},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.393.6},
  doi          = {10.4204/EPTCS.393.6},
  timestamp    = {Fri, 22 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-08855.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2311-08856,
  author       = {Matt Kaufmann and
                  J Strother Moore},
  editor       = {Alessandro Coglio and
                  Sol Swords},
  title        = {Advances in {ACL2} Proof Debugging Tools},
  booktitle    = {Proceedings of the 18th International Workshop on the {ACL2} Theorem
                  Prover and Its Applications, Austin, TX, {USA} and online, November
                  13-14, 2023},
  series       = {{EPTCS}},
  volume       = {393},
  pages        = {67--81},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.393.7},
  doi          = {10.4204/EPTCS.393.7},
  timestamp    = {Fri, 22 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-08856.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2311-08857,
  author       = {Ruben Gamboa and
                  Panagiotis Manolios and
                  Eric Whitman Smith and
                  Kyle Thompson},
  editor       = {Alessandro Coglio and
                  Sol Swords},
  title        = {Using Counterexample Generation and Theory Exploration to Suggest
                  Missing Hypotheses},
  booktitle    = {Proceedings of the 18th International Workshop on the {ACL2} Theorem
                  Prover and Its Applications, Austin, TX, {USA} and online, November
                  13-14, 2023},
  series       = {{EPTCS}},
  volume       = {393},
  pages        = {82--93},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.393.8},
  doi          = {10.4204/EPTCS.393.8},
  timestamp    = {Fri, 22 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-08857.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2311-08858,
  author       = {Alessandro Coglio and
                  Eric McCarthy and
                  Eric Whitman Smith},
  editor       = {Alessandro Coglio and
                  Sol Swords},
  title        = {Formal Verification of Zero-Knowledge Circuits},
  booktitle    = {Proceedings of the 18th International Workshop on the {ACL2} Theorem
                  Prover and Its Applications, Austin, TX, {USA} and online, November
                  13-14, 2023},
  series       = {{EPTCS}},
  volume       = {393},
  pages        = {94--112},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.393.9},
  doi          = {10.4204/EPTCS.393.9},
  timestamp    = {Tue, 30 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-08858.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2311-08859,
  author       = {Ankit Kumar and
                  Max von Hippel and
                  Panagiotis Manolios and
                  Cristina Nita{-}Rotaru},
  editor       = {Alessandro Coglio and
                  Sol Swords},
  title        = {Verification of GossipSub in ACL2s},
  booktitle    = {Proceedings of the 18th International Workshop on the {ACL2} Theorem
                  Prover and Its Applications, Austin, TX, {USA} and online, November
                  13-14, 2023},
  series       = {{EPTCS}},
  volume       = {393},
  pages        = {113--132},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.393.10},
  doi          = {10.4204/EPTCS.393.10},
  timestamp    = {Fri, 22 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-08859.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2311-08860,
  author       = {Andrew T. Walter and
                  Ankit Kumar and
                  Panagiotis Manolios},
  editor       = {Alessandro Coglio and
                  Sol Swords},
  title        = {Proving Calculational Proofs Correct},
  booktitle    = {Proceedings of the 18th International Workshop on the {ACL2} Theorem
                  Prover and Its Applications, Austin, TX, {USA} and online, November
                  13-14, 2023},
  series       = {{EPTCS}},
  volume       = {393},
  pages        = {133--150},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.393.11},
  doi          = {10.4204/EPTCS.393.11},
  timestamp    = {Fri, 22 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-08860.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2311-08861,
  author       = {Grant O. Passmore},
  editor       = {Alessandro Coglio and
                  Sol Swords},
  title        = {{ACL2} Proofs of Nonlinear Inequalities with Imandra},
  booktitle    = {Proceedings of the 18th International Workshop on the {ACL2} Theorem
                  Prover and Its Applications, Austin, TX, {USA} and online, November
                  13-14, 2023},
  series       = {{EPTCS}},
  volume       = {393},
  pages        = {151--160},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.393.12},
  doi          = {10.4204/EPTCS.393.12},
  timestamp    = {Fri, 22 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-08861.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2311-08862,
  author       = {David S. Hardin},
  editor       = {Alessandro Coglio and
                  Sol Swords},
  title        = {Verification of a Rust Implementation of Knuth's Dancing Links using
                  {ACL2}},
  booktitle    = {Proceedings of the 18th International Workshop on the {ACL2} Theorem
                  Prover and Its Applications, Austin, TX, {USA} and online, November
                  13-14, 2023},
  series       = {{EPTCS}},
  volume       = {393},
  pages        = {161--174},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.393.13},
  doi          = {10.4204/EPTCS.393.13},
  timestamp    = {Fri, 22 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-08862.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2311-08866,
  author       = {David M. Russinoff},
  editor       = {Alessandro Coglio and
                  Sol Swords},
  title        = {A Formalization of Finite Group Theory: Part {II}},
  booktitle    = {Proceedings of the 18th International Workshop on the {ACL2} Theorem
                  Prover and Its Applications, Austin, TX, {USA} and online, November
                  13-14, 2023},
  series       = {{EPTCS}},
  volume       = {393},
  pages        = {16--32},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.393.4},
  doi          = {10.4204/EPTCS.393.4},
  timestamp    = {Fri, 22 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-08866.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2311-08373,
  editor       = {Alessandro Coglio and
                  Sol Swords},
  title        = {Proceedings of the 18th International Workshop on the {ACL2} Theorem
                  Prover and Its Applications, Austin, TX, {USA} and online, November
                  13-14, 2023},
  series       = {{EPTCS}},
  volume       = {393},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.393},
  doi          = {10.4204/EPTCS.393},
  timestamp    = {Fri, 22 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-08373.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.