Ruben Gamboa

According to our database1, 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


  Loading...