John R. Cowles

	2011
20		John R. Cowles, Ruben Gamboa: Verifying Sierpinski and Riesel Numbers in ACL2 ACL2 2011: 20-27
19		Mark G. Arnold, John R. Cowles, Vassilis Paliouras, Ioannis Kouretas: Towards a Quaternion Complex Logarithmic Number System. IEEE Symposium on Computer Arithmetic 2011: 33-42
	2010
18		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
	2007
17		Ruben Gamboa, John R. Cowles: Theory Extension in ACL2(r). J. Autom. Reasoning 38(4): 273-301 (2007)
	2006
16		John R. Cowles, Ruben Gamboa: Unique factorization in ACL2: Euclidean domains. ACL2 2006: 21-27
15		Ruben Gamboa, John R. Cowles: Implementing a cost-aware evaluator for ACL2 expressions. ACL2 2006: 71-80
	2004
14		Ruben Gamboa, John R. Cowles: A Mechanical Proof of the Cook-Levin Theorem. TPHOLs 2004: 99-116
	2003
13		Mark G. Arnold, Thomas A. Bailey, John R. Cowles: Error Analysis of the Kmetz/Maenner Algorithm. VLSI Signal Processing 33(1-2): 37-53 (2003)
12		Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Colin D. Walter: Fast Fourier Transforms Using the Complex Logarithmic Number System. VLSI Signal Processing 33(3): 325-335 (2003)
	1998
11		Rex E. Gantenbein, Thomas L. James, John R. Cowles, William H. Paloski: TELELAB: A virtual laboratory for scientific data distribution on the internet. Computers and Their Applications 1998: 89-92
10		Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel: Arithmetic Co-Transformations in the Real and Complex Logarithmic Number Systems. IEEE Trans. Computers 47(7): 777-786 (1998)
	1997
9		Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel: Arithmetic Co-transformations in the Real and Complex Logarithmic Number Systems. IEEE Symposium on Computer Arithmetic 1997: 190-199
	1992
8		Mark G. Arnold, Thomas A. Bailey, John R. Cowles: Comments on "An Architecture for Addition and Subtraction of Long Word Length Numbers in the Logarithmic Number System''. IEEE Trans. Computers 41(6): 786-788 (1992)
7		Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Mark D. Winkel: Applying Features of IEEE 754 to Sign/Logarithm Arithmetic. IEEE Trans. Computers 41(8): 1040-1050 (1992)
6		Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal: Initializing RAM-based logarithmic processors. VLSI Signal Processing 4(2-3): 243-252 (1992)
	1990
5		Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal: Redundant Logarithmic Arithmetic. IEEE Trans. Computers 39(8): 1077-1086 (1990)
	1989
4		Mark G. Arnold, Thomas A. Bailey, John R. Cowles, Jerry J. Cupal: Redundant logarithmic number systems. IEEE Symposium on Computer Arithmetic 1989: 144-151
	1987
3		Thomas A. Bailey, John R. Cowles: A Convex Hull Inclusion Test. IEEE Trans. Pattern Anal. Mach. Intell. 9(2): 312-316 (1987)
	1986
2		John H. Rowland, John R. Cowles: Small Sample Algorithms for the Identification of Polynomials. J. ACM 33(4): 822-829 (1986)
	1984
1		Thomas A. Bailey, John R. Cowles: Cluster Definition by the Optimization of Simple Measures. IEEE Trans. Pattern Anal. Mach. Intell. 6(5): 645-652 (1984)

Coauthor Index

1	Mark G. Arnold	[4] [5] [6] [7] [8] [9] [10] [12] [13] [19]
2	Thomas A. Bailey	[1] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13]
3	Jerry J. Cupal	[4] [5] [6]
4	Ruben Gamboa	[14] [15] [16] [17] [18] [20]
5	Rex E. Gantenbein	[11]
6	Thomas L. James	[11]
7	Ioannis Kouretas	[19]
8	Vassilis Paliouras	[19]
9	William H. Paloski	[11]
10	John H. Rowland	[2]
11	Colin D. Walter	[12]
12	Mark D. Winkel	[7] [9] [10]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page