The SCEAS System
| |||||||

## Search the dblp DataBase
Ruben Gamboa:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy, Shamim A. Naqvi, Shalom Tsur, Carlo Zaniolo
**The LDL System Prototype.**[Citation Graph (28, 42)][DBLP] IEEE Trans. Knowl. Data Eng., 1990, v:2, n:1, pp:76-90 [Journal] - Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy
**Towards on Open Architecture for LDL.**[Citation Graph (20, 9)][DBLP] VLDB, 1989, pp:195-203 [Conf] - Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy
**Abstract Machine for LDL.**[Citation Graph (5, 9)][DBLP] EDBT, 1990, pp:153-168 [Conf] - Jun Sawada, Ruben Gamboa
**Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem.**[Citation Graph (0, 0)][DBLP] FMCAD, 2002, pp:274-291 [Conf] - Byunggu Yu, Seon Ho Kim, Thomas Bailey, Ruben Gamboa
**Curve-Based Representation of Moving Object Trajectories.**[Citation Graph (0, 0)][DBLP] IDEAS, 2004, pp:419-425 [Conf] - Ruben Gamboa
**Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2.**[Citation Graph (0, 0)][DBLP] IPPS/SPDP Workshops, 1998, pp:796-806 [Conf] - Nadya Kuzmina, Ruben Gamboa
**Dynamic constraint detection for polymorphic behavior.**[Citation Graph (0, 0)][DBLP] OOPSLA Companion, 2006, pp:657-658 [Conf] - Ruben Gamboa
**ACL2.**[Citation Graph (0, 0)][DBLP] The Seventeen Provers of the World, 2006, pp:55-66 [Conf] - Ruben Gamboa, John Cowles
**A Mechanical Proof of the Cook-Levin Theorem.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2004, pp:99-116 [Conf] - John R. Cowles, Ruben Gamboa
**Unique factorization in ACL2: Euclidean domains.**[Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:21-27 [Conf] - Ruben Gamboa, John Cowles
**Implementing a cost-aware evaluator for ACL2 expressions.**[Citation Graph (0, 0)][DBLP] ACL2, 2006, pp:71-80 [Conf] - Ruben Gamboa
**The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2.**[Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2002, v:20, n:1, pp:91-106 [Journal] - Ruben Gamboa, Matt Kaufmann
**Nonstandard Analysis in ACL2.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2001, v:27, n:4, pp:323-351 [Journal] - Ruben Gamboa, John R. Cowles
**Theory Extension in ACL2(r).**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2007, v:38, n:4, pp:273-301 [Journal] **Extending dynamic constraint detection with disjunctive constraints.**[Citation Graph (, )][DBLP]**Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure.**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |