# Ruben Gamboa

According to our database

Collaborative distances:

^{1}, Ruben Gamboa authored at least 34 papers between 1989 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2019

Visual Design Problem-based Learning in a Virtual Environment Improves Computational Thinking and Programming Knowledge.

Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces, 2019

2018

The Fundamental Theorem of Algebra in ACL2.

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

2017

The Cayley-Dickson Construction in ACL2.

Proceedings of the Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, 2017

Teacher Transformations in Developing Computational Thinking: Gaming and Robotics Use in After-School Settings.

Proceedings of the Emerging Research, Practice, and Policy on Computational Thinking., 2017

2016

Interactive Theorem Proving - Preface of the Special Issue.

J. Autom. Reasoning, 2016

2015

Perfect Numbers in ACL2.

Proceedings of the Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, 2015

2014

Formal Verification of Medina's Sequence of Polynomials for Approximating Arctangent.

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

Equivalence of the Traditional and Non-Standard Definitions of Concepts from Real Analysis.

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

2013

An Interpreter for Quantum Circuits

Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 2013

A more formal approach to "computer science: principles".

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2012

How Computers Work: Computational Thinking for Everyone

Proceedings of the Proceedings First International Workshop on Trends in Functional Programming in Education, 2012

A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers.

Proceedings of the Interactive Theorem Proving - Third International Conference, 2012

2011

Implementing an Automatic Differentiator in ACL2

Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011

Verifying Sierpinski and Riesel Numbers in ACL2

Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011

Automatic Differentiation in ACL2.

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2010

Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure.

Proceedings of the Interactive Theorem Proving, First International Conference, 2010

2009

A Formalization of Powerlist Algebra in ACL2.

J. Autom. Reasoning, 2009

2008

Extending dynamic constraint detection with disjunctive constraints.

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), 2008

2007

Spatio-Temporal Portals for Continuously Changing Network Nodes.

Proceedings of the Encyclopedia of Portal Technologies and Applications (2 Volumes), 2007

Theory Extension in ACL2(r).

J. Autom. Reasoning, 2007

Extending Dynamic Constraint Detection with Polymorphic Analysis.

Proceedings of the Fifth International Workshop on Dynamic Analysis, 2007

2006

ACL2.

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

Dynamic constraint detection for polymorphic behavior.

Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Implementing a cost-aware evaluator for ACL2 expressions.

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

Unique factorization in ACL2: Euclidean domains.

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2004

A Mechanical Proof of the Cook-Levin Theorem.

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

Curve-Based Representation of Moving Object Trajectories.

Proceedings of the 8th International Database Engineering and Applications Symposium (IDEAS 2004), 2004

2002

The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2.

Formal Methods in System Design, 2002

Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem.

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

Nonstandard Analysis in ACL2.

J. Autom. Reasoning, 2001

1998

Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2.

Proceedings of the 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, 1998

1990

The LDL System Prototype.

IEEE Trans. Knowl. Data Eng., 1990

Abstract Machine for LDL.

Proceedings of the Advances in Database Technology, 1990

1989

Towards on Open Architecture for LDL.

Proceedings of the Fifteenth International Conference on Very Large Data Bases, 1989