Ruben Gamboa
Ruben Gamboa
Verified email at - Homepage
Cited by
Cited by
Using robotics and game design to enhance children’s self-efficacy, STEM attitudes, and computational thinking skills
J Leonard, A Buss, R Gamboa, M Mitchell, OS Fashola, T Hubert, ...
Journal of Science Education and Technology 25, 860-876, 2016
The LDL system prototype
D Chimenti, R Gamboa, R Krishnamurthy, S Naqvi, S Tsur, C Zaniolo
Knowledge and Data Engineering, IEEE Transactions on 2 (1), 76-90, 1990
System for extracting historical market information with condition and attributed windows
AD Kolton, RA Gamboa, DS Chimenti
US Patent 5,414,838, 1995
Market information machine
AD Kolton, RA Gamboa, DS Chimenti
US Patent 5,778,357, 1998
System for forming queries to a commodities trading database using analog indicators
AD Kolton, RA Gamboa, DS Chimenti
US Patent 5,590,325, 1996
Towards on Open Architecture for LDL.
D Chimenti, R Gamboa, R Krishnamurthy
VLDB 1989, 195-203, 1989
Methods and systems to enhance a shipping transaction
D Chimenti, R Gamboa
US Patent App. 10/768,817, 2005
Nonstandard analysis in ACL2
RA Gamboa, M Kaufmann
Journal of automated reasoning 27, 323-351, 2001
Mechanical verification of a square root algorithm using Taylor’s theorem
J Sawada, R Gamboa
International Conference on Formal Methods in Computer-Aided Design, 274-291, 2002
Curve-based representation of moving object trajectories
B Yu, SH Kim, T Bailey, R Gamboa
Proceedings. International Database Engineering and Applications Symposium …, 2004
Teacher transformations in developing computational thinking: Gaming and robotics use in after-school settings
A Buss, R Gamboa
Emerging research, practice, and policy on computational thinking, 189-203, 2017
Mechanically verifying real-valued algorithms in ACL2
R Gamboa
PhD thesis, The University of Texas at Austin, 1999
Computer-implemented system and method for electronic medication administration records
M Gamboa, TW Renz, J Van Baalen, R Gamboa
US Patent 8,086,471, 2011
Abstract machine for
D Chimenti, R Gamboa, R Krishnamurthy
International Conference on Extending Database Technology, 153-168, 1990
Using ACL2 arrays to formalize matrix algebra
J Cowles, R Gamboa, J Van Baalen
ACL2 Workshop 23, 2003
Visual design problem-based learning in a virtual environment improves computational thinking and programming knowledge
A Banic, R Gamboa
2019 IEEE Conference on Virtual Reality and 3D User Interfaces (VR), 1588-1593, 2019
Extending dynamic constraint detection with disjunctive constraints
N Kuzmina, J Paul, R Gamboa, J Caldwell
Proceedings of the 2008 international workshop on dynamic analysis: held in …, 2008
The correctness of the Fast Fourier Transform: a structured proof in ACL2
RA Gamboa
Formal Methods in System Design 20 (1), 91-106, 2002
Square roots in ACL2: A study in sonata form
R Gamboa
UTCS Tech Report TR96-34, 1996
Abstract voronoi diagrams
R Klein
Concrete and Abstract Voronoi Diagrams, 31-62, 1989
The system can't perform the operation now. Try again later.
Articles 1–20