Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/series/eptcs/eptcs280.bht:"
download as .bib file
@inproceedings{DBLP:journals/corr/abs-1810-04308,
author = {Alessandro Coglio},
editor = {Shilpi Goel and
Matt Kaufmann},
title = {A Simple Java Code Generator for {ACL2} Based on a Deep Embedding
of {ACL2} in Java},
booktitle = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
pages = {1--17},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280.1},
doi = {10.4204/EPTCS.280.1},
timestamp = {Mon, 03 Dec 2018 16:41:49 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-04309,
author = {Mihir Parang Mehta},
editor = {Shilpi Goel and
Matt Kaufmann},
title = {Formalising Filesystems in the {ACL2} Theorem Prover: an Application
to {FAT32}},
booktitle = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
pages = {18--29},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280.2},
doi = {10.4204/EPTCS.280.2},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-04310,
author = {David A. Greve and
Andrew Gacek},
editor = {Shilpi Goel and
Matt Kaufmann},
title = {Trapezoidal Generalization over Linear Constraints},
booktitle = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
pages = {30--46},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280.3},
doi = {10.4204/EPTCS.280.3},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04310.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-04311,
author = {Sol Swords},
editor = {Shilpi Goel and
Matt Kaufmann},
title = {Incremental {SAT} Library Integration Using Abstract Stobjs},
booktitle = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
pages = {47--60},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280.4},
doi = {10.4204/EPTCS.280.4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04311.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-04312,
author = {David S. Hardin and
Konrad Slind},
editor = {Shilpi Goel and
Matt Kaufmann},
title = {Using {ACL2} in the Design of Efficient, Verifiable Data Structures
for High-Assurance Systems},
booktitle = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
pages = {61--76},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280.5},
doi = {10.4204/EPTCS.280.5},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04312.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-04313,
author = {Alessandro Coglio and
Shilpi Goel},
editor = {Shilpi Goel and
Matt Kaufmann},
title = {Adding 32-bit Mode to the {ACL2} Model of the x86 {ISA}},
booktitle = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
pages = {77--94},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280.6},
doi = {10.4204/EPTCS.280.6},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04313.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-04314,
author = {Ruben Gamboa and
John R. Cowles},
editor = {Shilpi Goel and
Matt Kaufmann},
title = {The Fundamental Theorem of Algebra in {ACL2}},
booktitle = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
pages = {98--110},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280.8},
doi = {10.4204/EPTCS.280.8},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-04315,
author = {Carl Kwan and
Mark R. Greenstreet},
editor = {Shilpi Goel and
Matt Kaufmann},
title = {Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)},
booktitle = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
pages = {111--127},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280.9},
doi = {10.4204/EPTCS.280.9},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-04316,
author = {Carl Kwan and
Mark R. Greenstreet},
editor = {Shilpi Goel and
Matt Kaufmann},
title = {Convex Functions in ACL2(r)},
booktitle = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
pages = {128--142},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280.10},
doi = {10.4204/EPTCS.280.10},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04316.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-04317,
author = {Yan Peng and
Mark R. Greenstreet},
editor = {Shilpi Goel and
Matt Kaufmann},
title = {Smtlink 2.0},
booktitle = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
pages = {143--160},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280.11},
doi = {10.4204/EPTCS.280.11},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04317.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-04318,
author = {Sol Swords},
editor = {Shilpi Goel and
Matt Kaufmann},
title = {Hint Orchestration Using ACL2's Simplifier},
booktitle = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
pages = {164--171},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280.13},
doi = {10.4204/EPTCS.280.13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04318.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1810-05666,
author = {Matt Kaufmann},
editor = {Shilpi Goel and
Matt Kaufmann},
title = {DefunT: {A} Tool for Automating Termination Proofs by Using the Community
Books (Extended Abstract)},
booktitle = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
pages = {161--163},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280.12},
doi = {10.4204/EPTCS.280.12},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-05666.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1810-03762,
editor = {Shilpi Goel and
Matt Kaufmann},
title = {Proceedings of the 15th International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018},
series = {{EPTCS}},
volume = {280},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.280},
doi = {10.4204/EPTCS.280},
timestamp = {Mon, 03 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-03762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-08-24 02:14 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
