Ruben Gamboa

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 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 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

Coauthor Index

1	Thomas Bailey	[9]
2	Danette Chimenti	[1] [2] [3]
3	John Cowles	[8] [12]
4	John R. Cowles	[13] [14]
5	Matt Kaufmann	[5]
6	Seon Ho Kim	[9]
7	Ravi Krishnamurthy	[1] [2] [3]
8	Nadya Kuzmina	[11]
9	Shamim A. Naqvi	[2]
10	Jun Sawada	[7]
11	Shalom Tsur	[2]
12	Byunggu Yu	[9]
13	Carlo Zaniolo	[2]

Colors in the list of coauthors