Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1304-7855,
  author       = {Matt Kaufmann and
                  J Strother Moore},
  editor       = {Ruben Gamboa and
                  Jared Davis},
  title        = {Enhancements to {ACL2} in Versions 5.0, 6.0, and 6.1},
  booktitle    = {Proceedings International Workshop on the {ACL2} Theorem Prover and
                  its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
  series       = {{EPTCS}},
  volume       = {114},
  pages        = {5--12},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.114.1},
  doi          = {10.4204/EPTCS.114.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-7855.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1304-7856,
  author       = {Caleb Eggensperger},
  editor       = {Ruben Gamboa and
                  Jared Davis},
  title        = {Proof Pad: {A} New Development Environment for {ACL2}},
  booktitle    = {Proceedings International Workshop on the {ACL2} Theorem Prover and
                  its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
  series       = {{EPTCS}},
  volume       = {114},
  pages        = {13--28},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.114.2},
  doi          = {10.4204/EPTCS.114.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-7856.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1304-7857,
  author       = {David A. Greve and
                  Konrad Slind},
  editor       = {Ruben Gamboa and
                  Jared Davis},
  title        = {A Step-Indexing Approach to Partial Functions},
  booktitle    = {Proceedings International Workshop on the {ACL2} Theorem Prover and
                  its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
  series       = {{EPTCS}},
  volume       = {114},
  pages        = {42--53},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.114.4},
  doi          = {10.4204/EPTCS.114.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-7857.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1304-7858,
  author       = {Shilpi Goel and
                  Warren A. Hunt Jr. and
                  Matt Kaufmann},
  editor       = {Ruben Gamboa and
                  Jared Davis},
  title        = {Abstract Stobjs and Their Application to {ISA} Modeling},
  booktitle    = {Proceedings International Workshop on the {ACL2} Theorem Prover and
                  its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
  series       = {{EPTCS}},
  volume       = {114},
  pages        = {54--69},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.114.5},
  doi          = {10.4204/EPTCS.114.5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-7858.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1304-7859,
  author       = {Freek Verbeek and
                  Julien Schmaltz},
  editor       = {Ruben Gamboa and
                  Jared Davis},
  title        = {Verification of Building Blocks for Asynchronous Circuits},
  booktitle    = {Proceedings International Workshop on the {ACL2} Theorem Prover and
                  its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
  series       = {{EPTCS}},
  volume       = {114},
  pages        = {70--84},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.114.6},
  doi          = {10.4204/EPTCS.114.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-7859.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1304-7860,
  author       = {Lucas Helms and
                  Ruben Gamboa},
  editor       = {Ruben Gamboa and
                  Jared Davis},
  title        = {An Interpreter for Quantum Circuits},
  booktitle    = {Proceedings International Workshop on the {ACL2} Theorem Prover and
                  its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
  series       = {{EPTCS}},
  volume       = {114},
  pages        = {85--94},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.114.7},
  doi          = {10.4204/EPTCS.114.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-7860.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1304-7861,
  author       = {Jared Davis and
                  Sol Swords},
  editor       = {Ruben Gamboa and
                  Jared Davis},
  title        = {Verified {AIG} Algorithms in {ACL2}},
  booktitle    = {Proceedings International Workshop on the {ACL2} Theorem Prover and
                  its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
  series       = {{EPTCS}},
  volume       = {114},
  pages        = {95--110},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.114.8},
  doi          = {10.4204/EPTCS.114.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-7861.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1304-7862,
  author       = {Bernard van Gastel and
                  Julien Schmaltz},
  editor       = {Ruben Gamboa and
                  Jared Davis},
  title        = {A formalisation of {XMAS}},
  booktitle    = {Proceedings International Workshop on the {ACL2} Theorem Prover and
                  its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
  series       = {{EPTCS}},
  volume       = {114},
  pages        = {111--126},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.114.9},
  doi          = {10.4204/EPTCS.114.9},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-7862.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1304-7863,
  author       = {David S. Hardin and
                  Samuel S. Hardin},
  editor       = {Ruben Gamboa and
                  Jared Davis},
  title        = {{ACL2} Meets the {GPU:} Formalizing a CUDA-based Parallelizable All-Pairs
                  Shortest Path Algorithm in {ACL2}},
  booktitle    = {Proceedings International Workshop on the {ACL2} Theorem Prover and
                  its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
  series       = {{EPTCS}},
  volume       = {114},
  pages        = {127--142},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.114.10},
  doi          = {10.4204/EPTCS.114.10},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-7863.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1304-7875,
  author       = {Sebastiaan J. C. Joosten and
                  Bernard van Gastel and
                  Julien Schmaltz},
  editor       = {Ruben Gamboa and
                  Jared Davis},
  title        = {A Macro for Reusing Abstract Functions and Theorems},
  booktitle    = {Proceedings International Workshop on the {ACL2} Theorem Prover and
                  its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
  series       = {{EPTCS}},
  volume       = {114},
  pages        = {29--41},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.114.3},
  doi          = {10.4204/EPTCS.114.3},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-7875.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1304-7123,
  editor       = {Ruben Gamboa and
                  Jared Davis},
  title        = {Proceedings International Workshop on the {ACL2} Theorem Prover and
                  its Applications, {ACL2} 2013, Laramie, Wyoming, USA, May 30-31, 2013},
  series       = {{EPTCS}},
  volume       = {114},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.114},
  doi          = {10.4204/EPTCS.114},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-7123.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.