| 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 | 319 | 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 |
