MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "John Cowles" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

ATOM

Flat Domains and Recursive Equations in ACL2
by John Cowles — 2002
…Flat Domains and Recursive Equations in ACL2 John Cowles Department of Computer Science…
Add To MetaCart

Unique factorization in ACL2: Euclidean domains
by John R. Cowles — in Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2006
…ABSTRACT Unique Factorization in ACL2: Euclidean Domains John R. Cowles Department of Computer…
Cited by 1 (0 self) – Add To MetaCart

Representing Nuprl Proof Objects in ACL2: toward a proof checker for Nuprl
by James L. Caldwell, John Cowles — 2002
… # and John Cowles # Department of Computer Science, University of Wyoming, Laramie Wyoming {jlc…
Add To MetaCart

Single-Threaded Formal Processor Models: Enabling Proof and High-Speed Execution
by David Hardin, David Greve, Matthew Wilding, John Cowles, Rockwell Collins — 1999
… , David Greve 1 , Matthew Wilding 1 , and John Cowles 2 ? 1 Advanced Technology Center Rockwell…
Cited by 4 (2 self) – Add To MetaCart

To The Graduate School:
by The Members Of, John R. Cowles, Sylvia Hobart, Jeffrey Van Baalen Head, Tjark Weber
… on July 26, 2002. APPROVED: James L. Caldwell, Chairman John R. Cowles Sylvia Hobart Jeffrey Van Baalen…
Add To MetaCart

A 16-Element Reflection Gridamplifier With Improved Heat Sinking
by Andrew Guyette Robert, Robert Swisher, Frederic Lecuyer, Ayman Al-zayed, Adam Kom, Su-tak Lei, Mauricio Oliviera, Ping Li, Michael Delisio, Kenneth Sato, Aaron Oki, Augusto Gutierrez-aitken, Reynold Kagiwada, John Cowles — 2001
… Kagiwada 2 , and John Cowles 3 1 University of Hawaii, Department of Electrical Engineering, Honolulu HI 2…
Add To MetaCart

A 16-Element Reflection Gridamplifier
by Frederic Lecuyer Robert, Robert Swisher, Iok-fai Frank Chio, Andrew Guyette, Ayman Al-zayed, Wenyan Ding, Michael Delisio, Kenneth Sato, Aaron Oki, Augusto Gutierrez, Reynold Kagiwada, John Cowles — 2000 — in IEEE Int. Microwave Symp. Dig
… Oki 2 , Augusto Gutierrez 2 , Reynold Kagiwada 2 , and John Cowles 3 1 University of Hawaii…
Add To MetaCart

Showing 1 through 7.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB