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 | 320 | 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 | 275 | 1990 |
System for extracting historical market information with condition and attributed windows AD Kolton, RA Gamboa, DS Chimenti US Patent 5,414,838, 1995 | 263 | 1995 |
Market information machine AD Kolton, RA Gamboa, DS Chimenti US Patent 5,778,357, 1998 | 115 | 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 | 93 | 1996 |
Towards on Open Architecture for LDL. D Chimenti, R Gamboa, R Krishnamurthy VLDB 1989, 195-203, 1989 | 87 | 1989 |
Methods and systems to enhance a shipping transaction D Chimenti, R Gamboa US Patent App. 10/768,817, 2005 | 56 | 2005 |
Nonstandard analysis in ACL2 RA Gamboa, M Kaufmann Journal of automated reasoning 27, 323-351, 2001 | 56 | 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 | 44 | 2002 |
Curve-based representation of moving object trajectories B Yu, SH Kim, T Bailey, R Gamboa Proceedings. International Database Engineering and Applications Symposium …, 2004 | 41 | 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 | 39 | 2017 |
Mechanically verifying real-valued algorithms in ACL2 R Gamboa PhD thesis, The University of Texas at Austin, 1999 | 34 | 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 | 24 | 2011 |
Abstract machine for D Chimenti, R Gamboa, R Krishnamurthy International Conference on Extending Database Technology, 153-168, 1990 | 23 | 1990 |
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 | 19 | 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 | 19 | 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 | 17 | 2002 |
Square roots in ACL2: A study in sonata form R Gamboa UTCS Tech Report TR96-34, 1996 | 15 | 1996 |
Abstract voronoi diagrams R Klein Concrete and Abstract Voronoi Diagrams, 31-62, 1989 | 15* | 1989 |