Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ruben Gamboa
@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 11:34:10 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-08857.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BapanapallyG22,
author = {Jagadish Bapanapally and
Ruben Gamboa},
title = {A Formal Proof of the Banach-Tarski Theorem in ACL2(r)},
booktitle = {Proceedings of the International Symposium on Artificial Intelligence
and Mathematics 2022 {(ISAIM} 2022), Fort Lauderdale, Florida, USA,
January 3-5, 2022},
year = {2022},
url = {https://isaim2022.cs.ou.edu/papers/ISAIM2022\_Formalization\_Bapanapally\_Gamboa.pdf},
timestamp = {Wed, 20 Mar 2024 17:48:41 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BapanapallyG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/BapanapallyG22,
author = {Jagadish Bapanapally and
Ruben Gamboa},
editor = {June Andronick and
Leonardo de Moura},
title = {A Complete, Mechanically-Verified Proof of the Banach-Tarski Theorem
in {ACL2(R)}},
booktitle = {13th International Conference on Interactive Theorem Proving, {ITP}
2022, August 7-10, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {237},
pages = {5:1--5:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.ITP.2022.5},
doi = {10.4230/LIPICS.ITP.2022.5},
timestamp = {Thu, 29 Sep 2022 08:36:57 +0200},
biburl = {https://dblp.org/rec/conf/itp/BapanapallyG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2205-11694,
author = {Ruben Gamboa and
Woodrow Gamboa},
editor = {Rob Sumners and
Cuong Chau},
title = {All Prime Numbers Have Primitive Roots},
booktitle = {Proceedings Seventeenth International Workshop on the {ACL2} Theorem
Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022},
series = {{EPTCS}},
volume = {359},
pages = {9--18},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.359.3},
doi = {10.4204/EPTCS.359.3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-11694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2205-11695,
author = {Ruben Gamboa and
Alicia Thoney},
editor = {Rob Sumners and
Cuong Chau},
title = {Using {ACL2} To Teach Students About Software Testing},
booktitle = {Proceedings Seventeenth International Workshop on the {ACL2} Theorem
Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022},
series = {{EPTCS}},
volume = {359},
pages = {19--32},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.359.4},
doi = {10.4204/EPTCS.359.4},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-11695.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2205-11699,
author = {Jagadish Bapanapally and
Ruben Gamboa},
editor = {Rob Sumners and
Cuong Chau},
title = {A Free Group of Rotations of Rank 2},
booktitle = {Proceedings Seventeenth International Workshop on the {ACL2} Theorem
Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022},
series = {{EPTCS}},
volume = {359},
pages = {76--82},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.359.8},
doi = {10.4204/EPTCS.359.8},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-11699.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-13766,
author = {Ruben Gamboa and
John R. Cowles and
Woodrow Gamboa},
editor = {Grant O. Passmore and
Ruben Gamboa},
title = {Quadratic Extensions in {ACL2}},
booktitle = {Proceedings of the Sixteenth International Workshop on the {ACL2}
Theorem Prover and its Applications, Worldwide, Planet Earth, May
28-29, 2020},
series = {{EPTCS}},
volume = {327},
pages = {75--86},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.327.6},
doi = {10.4204/EPTCS.327.6},
timestamp = {Thu, 10 Dec 2020 15:19:59 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-13766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2009-12521,
editor = {Grant O. Passmore and
Ruben Gamboa},
title = {Proceedings of the Sixteenth International Workshop on the {ACL2}
Theorem Prover and its Applications, Worldwide, Planet Earth, May
28-29, 2020},
series = {{EPTCS}},
volume = {327},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.327},
doi = {10.4204/EPTCS.327},
timestamp = {Thu, 10 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-12521.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vr/BanicG19,
author = {Amy Banic and
Ruben Gamboa},
title = {Visual Design Problem-based Learning in a Virtual Environment Improves
Computational Thinking and Programming Knowledge},
booktitle = {{IEEE} Conference on Virtual Reality and 3D User Interfaces, {VR}
2019, Osaka, Japan, March 23-27, 2019},
pages = {1588--1593},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/VR.2019.8798013},
doi = {10.1109/VR.2019.8798013},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/vr/BanicG19.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 16:41:49 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CowlesG17,
author = {John R. Cowles and
Ruben Gamboa},
editor = {Anna Slobodov{\'{a}} and
Warren A. Hunt Jr.},
title = {The Cayley-Dickson Construction in {ACL2}},
booktitle = {Proceedings 14th International Workshop on the {ACL2} Theorem Prover
and its Applications, Austin, Texas, USA, May 22-23, 2017},
series = {{EPTCS}},
volume = {249},
pages = {18--29},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.249.2},
doi = {10.4204/EPTCS.249.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CowlesG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/BussG17,
author = {Alan Buss and
Ruben Gamboa},
editor = {Peter J. Rich and
Charles B. Hodges},
title = {Teacher Transformations in Developing Computational Thinking: Gaming
and Robotics Use in After-School Settings},
booktitle = {Emerging Research, Practice, and Policy on Computational Thinking},
pages = {189--203},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52691-1\_12},
doi = {10.1007/978-3-319-52691-1\_12},
timestamp = {Sat, 04 May 2019 16:20:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/BussG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/KleinG16,
author = {Gerwin Klein and
Ruben Gamboa},
title = {Interactive Theorem Proving - Preface of the Special Issue},
journal = {J. Autom. Reason.},
volume = {56},
number = {3},
pages = {201--203},
year = {2016},
url = {https://doi.org/10.1007/s10817-016-9363-7},
doi = {10.1007/S10817-016-9363-7},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/KleinG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CowlesG15,
author = {John R. Cowles and
Ruben Gamboa},
editor = {Matt Kaufmann and
David L. Rager},
title = {Perfect Numbers in {ACL2}},
booktitle = {Proceedings Thirteenth International Workshop on the {ACL2} Theorem
Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015},
series = {{EPTCS}},
volume = {192},
pages = {53--59},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.192.5},
doi = {10.4204/EPTCS.192.5},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/CowlesG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CowlesG14,
author = {John R. Cowles and
Ruben Gamboa},
editor = {Freek Verbeek and
Julien Schmaltz},
title = {Equivalence of the Traditional and Non-Standard Definitions of Concepts
from Real Analysis},
booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover
and its Applications, Vienna, Austria, 12-13th July 2014},
series = {{EPTCS}},
volume = {152},
pages = {89--100},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.152.8},
doi = {10.4204/EPTCS.152.8},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/CowlesG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GamboaC14,
author = {Ruben Gamboa and
John R. Cowles},
editor = {Freek Verbeek and
Julien Schmaltz},
title = {Formal Verification of Medina's Sequence of Polynomials for Approximating
Arctangent},
booktitle = {Proceedings Twelfth International Workshop on the {ACL2} Theorem Prover
and its Applications, Vienna, Austria, 12-13th July 2014},
series = {{EPTCS}},
volume = {152},
pages = {101--110},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.152.9},
doi = {10.4204/EPTCS.152.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GamboaC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itp/2014,
editor = {Gerwin Klein and
Ruben Gamboa},
title = {Interactive Theorem Proving - 5th International Conference, {ITP}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 14-17, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8558},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08970-6},
doi = {10.1007/978-3-319-08970-6},
isbn = {978-3-319-08969-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/PageG13,
author = {Rex L. Page and
Ruben Gamboa},
editor = {Tracy Camp and
Paul T. Tymann and
J. D. Dougherty and
Kris Nagel},
title = {A more formal approach to "computer science: principles"},
booktitle = {The 44th {ACM} Technical Symposium on Computer Science Education,
{SIGCSE} 2013, Denver, CO, USA, March 6-9, 2013},
pages = {257--262},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2445196.2445274},
doi = {10.1145/2445196.2445274},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/PageG13.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:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-7860.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}
}
@inproceedings{DBLP:conf/itp/GamboaC12,
author = {Ruben Gamboa and
John R. Cowles},
editor = {Lennart Beringer and
Amy P. Felty},
title = {A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers},
booktitle = {Interactive Theorem Proving - Third International Conference, {ITP}
2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7406},
pages = {51--66},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32347-8\_5},
doi = {10.1007/978-3-642-32347-8\_5},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/GamboaC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1301-5074,
author = {Rex L. Page and
Ruben Gamboa},
editor = {Marco T. Moraz{\'{a}}n and
Peter Achten},
title = {How Computers Work: Computational Thinking for Everyone},
booktitle = {Proceedings First International Workshop on Trends in Functional Programming
in Education, {TFPIE} 2012, University of St. Andrews, Scotland, UK,
11th June 2012},
series = {{EPTCS}},
volume = {106},
pages = {1--19},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.106.1},
doi = {10.4204/EPTCS.106.1},
timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/ReidG11,
author = {Peter Reid and
Ruben Gamboa},
editor = {Marko C. J. D. van Eekelen and
Herman Geuvers and
Julien Schmaltz and
Freek Wiedijk},
title = {Automatic Differentiation in {ACL2}},
booktitle = {Interactive Theorem Proving - Second International Conference, {ITP}
2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6898},
pages = {312--324},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22863-6\_23},
doi = {10.1007/978-3-642-22863-6\_23},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/ReidG11.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 = {Tue, 16 Nov 2021 18:11:09 +0100},
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-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:conf/itp/CowlesG10,
author = {John R. Cowles and
Ruben Gamboa},
editor = {Matt Kaufmann and
Lawrence C. Paulson},
title = {Using a First Order Logic to Verify That Some Set of Reals Has No
Lesbegue Measure},
booktitle = {Interactive Theorem Proving, First International Conference, {ITP}
2010, Edinburgh, UK, July 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6172},
pages = {25--34},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14052-5\_4},
doi = {10.1007/978-3-642-14052-5\_4},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/CowlesG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/Gamboa09,
author = {Ruben A. Gamboa},
title = {A Formalization of Powerlist Algebra in {ACL2}},
journal = {J. Autom. Reason.},
volume = {43},
number = {2},
pages = {139--172},
year = {2009},
url = {https://doi.org/10.1007/s10817-009-9140-y},
doi = {10.1007/S10817-009-9140-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/Gamboa09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/KuzminaPGC08,
author = {Nadya Kuzmina and
John Paul and
Ruben Gamboa and
James L. Caldwell},
editor = {Ben Liblit and
Atanas Rountev},
title = {Extending dynamic constraint detection with disjunctive constraints},
booktitle = {Proceedings of the 2008 International Workshop on Dynamic Analysis:
held in conjunction with the {ACM} {SIGSOFT} International Symposium
on Software Testing and Analysis {(ISSTA} 2008), {WODA} 2008, Seattle,
Washington, USA, July 21, 2008},
pages = {57--63},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1401827.1401839},
doi = {10.1145/1401827.1401839},
timestamp = {Thu, 25 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/KuzminaPGC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GamboaC07,
author = {Ruben Gamboa and
John R. Cowles},
title = {Theory Extension in ACL2(r)},
journal = {J. Autom. Reason.},
volume = {38},
number = {4},
pages = {273--301},
year = {2007},
url = {https://doi.org/10.1007/s10817-006-9043-0},
doi = {10.1007/S10817-006-9043-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GamboaC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/woda/KuzminaG07,
author = {Nadya Kuzmina and
Ruben Gamboa},
title = {Extending Dynamic Constraint Detection with Polymorphic Analysis},
booktitle = {Fifth International Workshop on Dynamic Analysis, WODA@ICSE 2007,
Minneapolis, MN, USA, 20-26 May, 2007},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WODA.2007.3},
doi = {10.1109/WODA.2007.3},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/woda/KuzminaG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/portal/YuG07,
author = {Byunggu Yu and
Ruben Gamboa},
editor = {Arthur Tatnall},
title = {Spatio-Temporal Portals for Continuously Changing Network Nodes},
booktitle = {Encyclopedia of Portal Technologies and Applications {(2} Volumes)},
pages = {947--952},
publisher = {{IGI} Global},
year = {2007},
url = {http://www.igi-global.com/Bookstore/Chapter.aspx?TitleId=17991},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/portal/YuG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl2/CowlesG06,
author = {John R. Cowles and
Ruben Gamboa},
editor = {Panagiotis Manolios and
Matthew Wilding},
title = {Unique factorization in {ACL2:} Euclidean domains},
booktitle = {Proceedings of the Sixth International Workshop on the {ACL2} Theorem
Prover and its Applications, {ACL2} 2006, Seattle, Washington, USA,
August 15-16, 2006},
pages = {21--27},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1217975.1217980},
doi = {10.1145/1217975.1217980},
timestamp = {Tue, 23 Jun 2020 17:42:40 +0200},
biburl = {https://dblp.org/rec/conf/acl2/CowlesG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl2/GamboaC06,
author = {Ruben Gamboa and
John R. Cowles},
editor = {Panagiotis Manolios and
Matthew Wilding},
title = {Implementing a cost-aware evaluator for {ACL2} expressions},
booktitle = {Proceedings of the Sixth International Workshop on the {ACL2} Theorem
Prover and its Applications, {ACL2} 2006, Seattle, Washington, USA,
August 15-16, 2006},
pages = {71--80},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1217975.1217991},
doi = {10.1145/1217975.1217991},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acl2/GamboaC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KuzminaG06,
author = {Nadya Kuzmina and
Ruben Gamboa},
editor = {Peri L. Tarr and
William R. Cook},
title = {Dynamic constraint detection for polymorphic behavior},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {657--658},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176659},
doi = {10.1145/1176617.1176659},
timestamp = {Sat, 31 Jul 2021 17:22:24 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/KuzminaG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/tphol/Gamboa06,
author = {Ruben Gamboa},
editor = {Freek Wiedijk},
title = {{ACL2}},
booktitle = {The Seventeen Provers of the World, Foreword by Dana S. Scott},
series = {Lecture Notes in Computer Science},
volume = {3600},
pages = {55--66},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11542384\_10},
doi = {10.1007/11542384\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Gamboa06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/YuKBG04,
author = {Byunggu Yu and
Seon Ho Kim and
Thomas Bailey and
Ruben Gamboa},
editor = {Bipin C. Desai and
Jorge Bernardino},
title = {Curve-Based Representation of Moving Object Trajectories},
booktitle = {8th International Database Engineering and Applications Symposium
{(IDEAS} 2004), 7-9 July 2004, Coimbra, Portugal},
pages = {419--425},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/IDEAS.2004.18},
doi = {10.1109/IDEAS.2004.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ideas/YuKBG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/GamboaC04,
author = {Ruben Gamboa and
John R. Cowles},
editor = {Konrad Slind and
Annette Bunker and
Ganesh Gopalakrishnan},
title = {A Mechanical Proof of the Cook-Levin Theorem},
booktitle = {Theorem Proving in Higher Order Logics, 17th International Conference,
TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3223},
pages = {99--116},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30142-4\_8},
doi = {10.1007/978-3-540-30142-4\_8},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/GamboaC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Gamboa02,
author = {Ruben Gamboa},
title = {The Correctness of the Fast Fourier Transform: {A} Structured Proof
in {ACL2}},
journal = {Formal Methods Syst. Des.},
volume = {20},
number = {1},
pages = {91--106},
year = {2002},
url = {https://doi.org/10.1023/A:1012912614285},
doi = {10.1023/A:1012912614285},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Gamboa02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SawadaG02,
author = {Jun Sawada and
Ruben Gamboa},
editor = {Mark D. Aagaard and
John W. O'Leary},
title = {Mechanical Verification of a Square Root Algorithm Using Taylor's
Theorem},
booktitle = {Formal Methods in Computer-Aided Design, 4th International Conference,
{FMCAD} 2002, Portland, OR, USA, November 6-8, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2517},
pages = {274--291},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36126-X\_17},
doi = {10.1007/3-540-36126-X\_17},
timestamp = {Fri, 10 Jan 2020 14:50:18 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/SawadaG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/GamboaK01,
author = {Ruben Gamboa and
Matt Kaufmann},
title = {Nonstandard Analysis in {ACL2}},
journal = {J. Autom. Reason.},
volume = {27},
number = {4},
pages = {323--351},
year = {2001},
url = {https://doi.org/10.1023/A:1011908113514},
doi = {10.1023/A:1011908113514},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/GamboaK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/Gamboa98,
author = {Ruben Gamboa},
editor = {Jos{\'{e}} D. P. Rolim},
title = {Mechanically Verifying the Correctness of the Fast Fourier Transform
in {ACL2}},
booktitle = {Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held
in Conjunction with the 12th International Parallel Processing Symposium
and 9th Symposium on Parallel and Distributed Processing, Orlando,
Florida, USA, March 30 - April 3, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1388},
pages = {796--806},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-64359-1\_743},
doi = {10.1007/3-540-64359-1\_743},
timestamp = {Sat, 03 Aug 2019 19:28:45 +0200},
biburl = {https://dblp.org/rec/conf/ipps/Gamboa98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/ChimentiGKNTZ90,
author = {Danette Chimenti and
Ruben Gamboa and
Ravi Krishnamurthy and
Shamim A. Naqvi and
Shalom Tsur and
Carlo Zaniolo},
title = {The {LDL} System Prototype},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {2},
number = {1},
pages = {76--90},
year = {1990},
url = {https://doi.org/10.1109/69.50907},
doi = {10.1109/69.50907},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/ChimentiGKNTZ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/ChimentiGK90,
author = {Danette Chimenti and
Ruben Gamboa and
Ravi Krishnamurthy},
editor = {Fran{\c{c}}ois Bancilhon and
Costantino Thanos and
Dennis Tsichritzis},
title = {Abstract Machine for {LDL}},
booktitle = {Advances in Database Technology - EDBT'90. International Conference
on Extending Database Technology, Venice, Italy, March 26-30, 1990,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {416},
pages = {153--168},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0022169},
doi = {10.1007/BFB0022169},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/edbt/ChimentiGK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/ChimentiGK89,
author = {Danette Chimenti and
Ruben Gamboa and
Ravi Krishnamurthy},
editor = {Peter M. G. Apers and
Gio Wiederhold},
title = {Towards on Open Architecture for {LDL}},
booktitle = {Proceedings of the Fifteenth International Conference on Very Large
Data Bases, August 22-25, 1989, Amsterdam, The Netherlands},
pages = {195--203},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://www.vldb.org/conf/1989/P195.PDF},
timestamp = {Wed, 29 Mar 2017 16:45:23 +0200},
biburl = {https://dblp.org/rec/conf/vldb/ChimentiGK89.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.
last updated on 2024-04-21 17:43 CEST 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:
