Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Ruben Gamboa

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2013
[c19]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sigcse/PageG13
- ask others
Rex Page, Ruben Gamboa: A more formal approach to "computer science: principles". SIGCSE 2013: 257-262
[c18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7860
- ask others
Lucas Helms, Ruben Gamboa: An Interpreter for Quantum Circuits. ACL2 2013: 85-94
[e1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1304-7123
- ask others
Ruben Gamboa, Jared Davis (Eds.): Proceedings International Workshop on the ACL2 Theorem Prover and its Applications. EPTCS 114, 2013
2012
[c17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/itp/GamboaC12
- ask others
Ruben Gamboa, John R. Cowles: A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers. ITP 2012: 51-66
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1301-5074
- ask others
Rex Page, Ruben Gamboa: How Computers Work: Computational Thinking for Everyone. TFPIE 2012: 1-19
2011
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/itp/ReidG11
- ask others
Peter Reid, Ruben Gamboa: Automatic Differentiation in ACL2. ITP 2011: 312-324
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-4671
- ask others
John R. Cowles, Ruben Gamboa: Verifying Sierpinski and Riesel Numbers in ACL2. ACL2 2011: 20-27
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1110-4674
- ask others
Peter Reid, Ruben Gamboa: Implementing an Automatic Differentiator in ACL2. ACL2 2011: 61-69
2010
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/itp/CowlesG10
- ask others
John R. Cowles, Ruben Gamboa: Using a First Order Logic to Verify That Some Set of Reals Has No Lesbegue Measure. ITP 2010: 25-34

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2008
[c11]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/issta/KuzminaPGC08
- ask others
Nadya Kuzmina, John Paul, Ruben Gamboa, James Caldwell: Extending dynamic constraint detection with disjunctive constraints. WODA 2008: 57-63
2007
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jar/GamboaC07
- ask others
Ruben Gamboa, John R. Cowles: Theory Extension in ACL2(r). J. Autom. Reasoning 38(4): 273-301 (2007)
[r1]
- view
  - electronic edition @ igi-global.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - reference/portal/YuG07
- ask others
Byunggu Yu, Ruben Gamboa: Spatio-Temporal Portals for Continuously Changing Network Nodes. Encyclopedia of Portal Technologies and Applications 2007: 947-952
2006
[c10]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acl2/CowlesG06
- ask others
John R. Cowles, Ruben Gamboa: Unique factorization in ACL2: Euclidean domains. ACL2 2006: 21-27
[c9]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/acl2/GamboaC06
- ask others
Ruben Gamboa, John R. Cowles: Implementing a cost-aware evaluator for ACL2 expressions. ACL2 2006: 71-80
[c8]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/oopsla/KuzminaG06
- ask others
Nadya Kuzmina, Ruben Gamboa: Dynamic constraint detection for polymorphic behavior. OOPSLA Companion 2006: 657-658
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/Gamboa06
- ask others
Ruben Gamboa: ACL2. The Seventeen Provers of the World 2006: 55-66
2004
[c6]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ideas/YuKBG04
- ask others
Byunggu Yu, Seon Ho Kim, Thomas Bailey, Ruben Gamboa: Curve-Based Representation of Moving Object Trajectories. IDEAS 2004: 419-425
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tphol/GamboaC04
- ask others
Ruben Gamboa, John R. Cowles: A Mechanical Proof of the Cook-Levin Theorem. TPHOLs 2004: 99-116
2002
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fmsd/Gamboa02
- ask others
Ruben Gamboa: The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2. Formal Methods in System Design 20(1): 91-106 (2002)
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fmcad/SawadaG02
- ask others
Jun Sawada, Ruben Gamboa: Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem. FMCAD 2002: 274-291
2001
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jar/GamboaK01
- ask others
Ruben Gamboa, Matt Kaufmann: Nonstandard Analysis in ACL2. J. Autom. Reasoning 27(4): 323-351 (2001)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1998
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ipps/Gamboa98
- ask others
Ruben Gamboa: Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2. IPPS/SPDP Workshops 1998: 796-806
1990
[j1]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tkde/ChimentiGKNTZ90
- ask others
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)
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/edbt/ChimentiGK90
- ask others
Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Abstract Machine for LDL. EDBT 1990: 153-168

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[c1]
- view
  - electronic edition @ vldb.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vldb/ChimentiGK89
- ask others
Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Towards on Open Architecture for LDL. VLDB 1989: 195-203

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?