Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-1105-4394,
  author       = {Harsh Raju Chamarthi and
                  Peter C. Dillinger and
                  Matt Kaufmann and
                  Panagiotis Manolios},
  editor       = {David S. Hardin and
                  Julien Schmaltz},
  title        = {Integrating Testing and Interactive Theorem Proving},
  booktitle    = {Proceedings 10th International Workshop on the {ACL2} Theorem Prover
                  and its Applications, {ACL2} 2011, Austin, Texas, USA, November 3-4,
                  2011},
  series       = {{EPTCS}},
  volume       = {70},
  pages        = {4--19},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.70.1},
  doi          = {10.4204/EPTCS.70.1},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1105-4394.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4671,
  author       = {John R. Cowles and
                  Ruben Gamboa},
  editor       = {David S. Hardin and
                  Julien Schmaltz},
  title        = {Verifying Sierpinski and Riesel Numbers in {ACL2}},
  booktitle    = {Proceedings 10th International Workshop on the {ACL2} Theorem Prover
                  and its Applications, {ACL2} 2011, Austin, Texas, USA, November 3-4,
                  2011},
  series       = {{EPTCS}},
  volume       = {70},
  pages        = {20--27},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.70.2},
  doi          = {10.4204/EPTCS.70.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4671.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4672,
  author       = {Mike Dahlin and
                  Ryan Johnson and
                  Robert Bellarmine Krug and
                  Michael McCoyd and
                  William D. Young},
  editor       = {David S. Hardin and
                  Julien Schmaltz},
  title        = {Toward the Verification of a Simple Hypervisor},
  booktitle    = {Proceedings 10th International Workshop on the {ACL2} Theorem Prover
                  and its Applications, {ACL2} 2011, Austin, Texas, USA, November 3-4,
                  2011},
  series       = {{EPTCS}},
  volume       = {70},
  pages        = {28--45},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.70.3},
  doi          = {10.4204/EPTCS.70.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4672.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4673,
  author       = {Matt Kaufmann and
                  J Strother Moore},
  editor       = {David S. Hardin and
                  Julien Schmaltz},
  title        = {How Can {I} Do That with ACL2? Recent Enhancements to {ACL2}},
  booktitle    = {Proceedings 10th International Workshop on the {ACL2} Theorem Prover
                  and its Applications, {ACL2} 2011, Austin, Texas, USA, November 3-4,
                  2011},
  series       = {{EPTCS}},
  volume       = {70},
  pages        = {46--60},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.70.4},
  doi          = {10.4204/EPTCS.70.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4673.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4674,
  author       = {Peter Reid and
                  Ruben Gamboa},
  editor       = {David S. Hardin and
                  Julien Schmaltz},
  title        = {Implementing an Automatic Differentiator in {ACL2}},
  booktitle    = {Proceedings 10th International Workshop on the {ACL2} Theorem Prover
                  and its Applications, {ACL2} 2011, Austin, Texas, USA, November 3-4,
                  2011},
  series       = {{EPTCS}},
  volume       = {70},
  pages        = {61--69},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.70.5},
  doi          = {10.4204/EPTCS.70.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4674.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4675,
  author       = {Peter{-}Michael Seidel},
  editor       = {David S. Hardin and
                  Julien Schmaltz},
  title        = {Formal Verification of an Iterative Low-Power x86 Floating-Point Multiplier
                  with Redundant Feedback},
  booktitle    = {Proceedings 10th International Workshop on the {ACL2} Theorem Prover
                  and its Applications, {ACL2} 2011, Austin, Texas, USA, November 3-4,
                  2011},
  series       = {{EPTCS}},
  volume       = {70},
  pages        = {70--83},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.70.6},
  doi          = {10.4204/EPTCS.70.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4675.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4676,
  author       = {Sol Swords and
                  Jared Davis},
  editor       = {David S. Hardin and
                  Julien Schmaltz},
  title        = {Bit-Blasting {ACL2} Theorems},
  booktitle    = {Proceedings 10th International Workshop on the {ACL2} Theorem Prover
                  and its Applications, {ACL2} 2011, Austin, Texas, USA, November 3-4,
                  2011},
  series       = {{EPTCS}},
  volume       = {70},
  pages        = {84--102},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.70.7},
  doi          = {10.4204/EPTCS.70.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4676.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1110-4677,
  author       = {Freek Verbeek and
                  Julien Schmaltz},
  editor       = {David S. Hardin and
                  Julien Schmaltz},
  title        = {Formal verification of a deadlock detection algorithm},
  booktitle    = {Proceedings 10th International Workshop on the {ACL2} Theorem Prover
                  and its Applications, {ACL2} 2011, Austin, Texas, USA, November 3-4,
                  2011},
  series       = {{EPTCS}},
  volume       = {70},
  pages        = {103--112},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.70.8},
  doi          = {10.4204/EPTCS.70.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4677.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-1110-4473,
  editor       = {David S. Hardin and
                  Julien Schmaltz},
  title        = {Proceedings 10th International Workshop on the {ACL2} Theorem Prover
                  and its Applications, {ACL2} 2011, Austin, Texas, USA, November 3-4,
                  2011},
  series       = {{EPTCS}},
  volume       = {70},
  year         = {2011},
  url          = {https://doi.org/10.4204/EPTCS.70},
  doi          = {10.4204/EPTCS.70},
  timestamp    = {Tue, 16 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-4473.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.