Follow
Ruben Gamboa
Ruben Gamboa
Verified email at uwyo.edu - Homepage
Title
Cited by
Cited by
Year
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
3252016
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
2751990
System for extracting historical market information with condition and attributed windows
AD Kolton, RA Gamboa, DS Chimenti
US Patent 5,414,838, 1995
2631995
Market information machine
AD Kolton, RA Gamboa, DS Chimenti
US Patent 5,778,357, 1998
1151998
System for forming queries to a commodities trading database using analog indicators
AD Kolton, RA Gamboa, DS Chimenti
US Patent 5,590,325, 1996
931996
Towards on Open Architecture for LDL.
D Chimenti, R Gamboa, R Krishnamurthy
VLDB 1989, 195-203, 1989
871989
Methods and systems to enhance a shipping transaction
D Chimenti, R Gamboa
US Patent App. 10/768,817, 2005
562005
Nonstandard analysis in ACL2
RA Gamboa, M Kaufmann
Journal of automated reasoning 27, 323-351, 2001
562001
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
442002
Curve-based representation of moving object trajectories
B Yu, SH Kim, T Bailey, R Gamboa
Proceedings. International Database Engineering and Applications Symposium …, 2004
422004
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
402017
Mechanically verifying real-valued algorithms in ACL2
R Gamboa
PhD thesis, The University of Texas at Austin, 1999
341999
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
252011
Abstract machine for
D Chimenti, R Gamboa, R Krishnamurthy
International Conference on Extending Database Technology, 153-168, 1990
231990
Using ACL2 arrays to formalize matrix algebra
J Cowles, R Gamboa, J Van Baalen
ACL2 Workshop 23, 2003
21*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
192019
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
192008
The correctness of the Fast Fourier Transform: a structured proof in ACL2
RA Gamboa
Formal Methods in System Design 20 (1), 91-106, 2002
172002
Square roots in ACL2: A study in sonata form
R Gamboa
UTCS Tech Report TR96-34, 1996
151996
Abstract voronoi diagrams
R Klein
Concrete and Abstract Voronoi Diagrams, 31-62, 1989
15*1989
The system can't perform the operation now. Try again later.
Articles 1–20