Ruben Gamboa

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	2013
c19		Rex Page, Ruben Gamboa: A more formal approach to "computer science: principles". SIGCSE 2013: 257-262
c18		Lucas Helms, Ruben Gamboa: An Interpreter for Quantum Circuits. ACL2 2013: 85-94
e1		Ruben Gamboa, Jared Davis (Eds.): Proceedings International Workshop on the ACL2 Theorem Prover and its Applications. EPTCS 114, 2013
	2012
c17		Ruben Gamboa, John R. Cowles: A Cantor Trio: Denumerability, the Reals, and the Real Algebraic Numbers. ITP 2012: 51-66
c16		Rex Page, Ruben Gamboa: How Computers Work: Computational Thinking for Everyone. TFPIE 2012: 1-19
	2011
c15		Peter Reid, Ruben Gamboa: Automatic Differentiation in ACL2. ITP 2011: 312-324
c14		John R. Cowles, Ruben Gamboa: Verifying Sierpinski and Riesel Numbers in ACL2. ACL2 2011: 20-27
c13		Peter Reid, Ruben Gamboa: Implementing an Automatic Differentiator in ACL2. ACL2 2011: 61-69
	2010
c12		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
	2008
c11		Nadya Kuzmina, John Paul, Ruben Gamboa, James Caldwell: Extending dynamic constraint detection with disjunctive constraints. WODA 2008: 57-63
	2007
j4		Ruben Gamboa, John R. Cowles: Theory Extension in ACL2(r). J. Autom. Reasoning 38(4): 273-301 (2007)
r1		Byunggu Yu, Ruben Gamboa: Spatio-Temporal Portals for Continuously Changing Network Nodes. Encyclopedia of Portal Technologies and Applications 2007: 947-952
	2006
c10		John R. Cowles, Ruben Gamboa: Unique factorization in ACL2: Euclidean domains. ACL2 2006: 21-27
c9		Ruben Gamboa, John R. Cowles: Implementing a cost-aware evaluator for ACL2 expressions. ACL2 2006: 71-80
c8		Nadya Kuzmina, Ruben Gamboa: Dynamic constraint detection for polymorphic behavior. OOPSLA Companion 2006: 657-658
c7		Ruben Gamboa: ACL2. The Seventeen Provers of the World 2006: 55-66
	2004
c6		Byunggu Yu, Seon Ho Kim, Thomas Bailey, Ruben Gamboa: Curve-Based Representation of Moving Object Trajectories. IDEAS 2004: 419-425
c5		Ruben Gamboa, John R. Cowles: A Mechanical Proof of the Cook-Levin Theorem. TPHOLs 2004: 99-116
	2002
j3		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		Jun Sawada, Ruben Gamboa: Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem. FMCAD 2002: 274-291
	2001
j2		Ruben Gamboa, Matt Kaufmann: Nonstandard Analysis in ACL2. J. Autom. Reasoning 27(4): 323-351 (2001)
	1998
c3		Ruben Gamboa: Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2. IPPS/SPDP Workshops 1998: 796-806
	1990
j1		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		Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Abstract Machine for LDL. EDBT 1990: 153-168
	1989
c1		Danette Chimenti, Ruben Gamboa, Ravi Krishnamurthy: Towards on Open Architecture for LDL. VLDB 1989: 195-203

Coauthor Index

1	Thomas Bailey	[c6]
2	James Caldwell	[c11]
3	Danette Chimenti	[j1] [c2] [c1]
4	John R. Cowles	[c17] [c14] [c12] [j4] [c10] [c9] [c5]
5	Jared Davis	[e1]
6	Lucas Helms	[c18]
7	Matt Kaufmann	[j2]
8	Seon Ho Kim	[c6]
9	Ravi Krishnamurthy	[j1] [c2] [c1]
10	Nadya Kuzmina	[c11] [c8]
11	Shamim A. Naqvi	[j1]
12	Rex Page	[c19] [c16]
13	John Paul	[c11]
14	Peter Reid	[c15] [c13]
15	Jun Sawada	[c4]
16	Shalom Tsur	[j1]
17	Byunggu Yu	[r1] [c6]
18	Carlo Zaniolo	[j1]

Colors in the list of coauthors

Last update Sun May 19 19:14:58 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page