Ruben Gamboa
According to our database^{1},
Ruben Gamboa
authored at least 35 papers
between 1989 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on cs.uwyo.edu
On csauthors.net:
Bibliography
2020
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, 2020
2019
Visual Design Problembased 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
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018
2017
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 AfterSchool Settings.
Proceedings of the Emerging Research, Practice, and Policy on Computational Thinking., 2017
2016
J. Autom. Reason., 2016
2015
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 NonStandard Definitions of Concepts from Real Analysis.
Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014
2013
Proceedings of the Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, 2013
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013
2012
Proceedings of the Proceedings First International Workshop on Trends in Functional Programming in Education, 2012
Proceedings of the Interactive Theorem Proving  Third International Conference, 2012
2011
Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011
Proceedings of the Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, 2011
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
J. Autom. Reason., 2009
2008
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
Proceedings of the Encyclopedia of Portal Technologies and Applications (2 Volumes), 2007
J. Autom. Reason., 2007
Proceedings of the Fifth International Workshop on Dynamic Analysis, 2007
2006
Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on ObjectOriented Programming, 2006
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006
2004
Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004
Proceedings of the 8th International Database Engineering and Applications Symposium (IDEAS 2004), 2004
2002
Formal Methods Syst. Des., 2002
Proceedings of the Formal Methods in ComputerAided Design, 4th International Conference, 2002
2001
J. Autom. Reason., 2001
1998
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
IEEE Trans. Knowl. Data Eng., 1990
Proceedings of the Advances in Database Technology, 1990
1989
Proceedings of the Fifteenth International Conference on Very Large Data Bases, 1989