The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ruben Gamboa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy
    Towards on Open Architecture for LDL. [Citation Graph (20, 9)][DBLP]
    VLDB, 1989, pp:195-203 [Conf]
  3. Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy
    Abstract Machine for LDL. [Citation Graph (5, 9)][DBLP]
    EDBT, 1990, pp:153-168 [Conf]
  4. 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]
  5. 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]
  6. 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]
  7. Nadya Kuzmina, Ruben Gamboa
    Dynamic constraint detection for polymorphic behavior. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2006, pp:657-658 [Conf]
  8. Ruben Gamboa
    ACL2. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:55-66 [Conf]
  9. Ruben Gamboa, John Cowles
    A Mechanical Proof of the Cook-Levin Theorem. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2004, pp:99-116 [Conf]
  10. John R. Cowles, Ruben Gamboa
    Unique factorization in ACL2: Euclidean domains. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:21-27 [Conf]
  11. Ruben Gamboa, John Cowles
    Implementing a cost-aware evaluator for ACL2 expressions. [Citation Graph (0, 0)][DBLP]
    ACL2, 2006, pp:71-80 [Conf]
  12. 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]
  13. 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]
  14. 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]

  15. Extending dynamic constraint detection with disjunctive constraints. [Citation Graph (, )][DBLP]


  16. Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002