| 2007 |
|---|
| 14 | EE | Ruben Gamboa,
John R. Cowles:
Theory Extension in ACL2(r).
J. Autom. Reasoning 38(4): 273-301 (2007) |
| 2006 |
|---|
| 13 | EE | John R. Cowles,
Ruben Gamboa:
Unique factorization in ACL2: Euclidean domains.
ACL2 2006: 21-27 |
| 12 | EE | Ruben Gamboa,
John R. Cowles:
Implementing a cost-aware evaluator for ACL2 expressions.
ACL2 2006: 71-80 |
| 11 | EE | Nadya Kuzmina,
Ruben Gamboa:
Dynamic constraint detection for polymorphic behavior.
OOPSLA Companion 2006: 657-658 |
| 10 | EE | Ruben Gamboa:
ACL2.
The Seventeen Provers of the World 2006: 55-66 |
| 2004 |
|---|
| 9 | EE | Byunggu Yu,
Seon Ho Kim,
Thomas Bailey,
Ruben Gamboa:
Curve-Based Representation of Moving Object Trajectories.
IDEAS 2004: 419-425 |
| 8 | EE | Ruben Gamboa,
John R. Cowles:
A Mechanical Proof of the Cook-Levin Theorem.
TPHOLs 2004: 99-116 |
| 2002 |
|---|
| 7 | EE | Jun Sawada,
Ruben Gamboa:
Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem.
FMCAD 2002: 274-291 |
| 6 | | Ruben Gamboa:
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2.
Formal Methods in System Design 20(1): 91-106 (2002) |
| 2001 |
|---|
| 5 | | Ruben Gamboa,
Matt Kaufmann:
Nonstandard Analysis in ACL2.
J. Autom. Reasoning 27(4): 323-351 (2001) |
| 1998 |
|---|
| 4 | | Ruben Gamboa:
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2.
IPPS/SPDP Workshops 1998: 796-806 |
| 1990 |
|---|
| 3 | EE | Danette Chimenti,
Ruben Gamboa,
Ravi Krishnamurthy:
Abstract Machine for LDL.
EDBT 1990: 153-168 |
| 2 | EE | Danette Chimenti,
Ruben Gamboa,
Ravi Krishnamurthy,
Shamim A. Naqvi,
Shalom Tsur,
Carlo Zaniolo:
The LDL System Prototype.
IEEE Trans. Knowl. Data Eng. 2(1): 76-90 (1990) |
| 1989 |
|---|
| 1 | EE | Danette Chimenti,
Ruben Gamboa,
Ravi Krishnamurthy:
Towards on Open Architecture for LDL.
VLDB 1989: 195-203 |
