Erik Reeber

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

6EEMatt Kaufmann, J. Strother Moore, Sandip Ray, Erik Reeber: Integrating external deduction tools with ACL2. J. Applied Logic 7(1): 3-25 (2009)
5EEWarren A. Hunt Jr., Erik Reeber: A SAT-based procedure for verifying finite state machines in ACL2. ACL2 2006: 127-135
4EEErik Reeber, Jun Sawada: Combining ACL2 and an automated verification tool to verify a multiplier. ACL2 2006: 63-70
3EEJun Sawada, Erik Reeber: ACL2SIX: A Hint used to Integrate a Theorem Prover and an Automated Verification Tool. FMCAD 2006: 161-170
2EEErik Reeber, Warren A. Hunt Jr.: A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA). IJCAR 2006: 453-467
1EEWarren A. Hunt Jr., Erik Reeber: Formalization of the DE2 Language. CHARME 2005: 20-34

Coauthor Index

1Warren A. Hunt Jr. [1] [2] [5]
2Matt Kaufmann [6]
3J. Strother Moore [6]
4Sandip Ray [6]
5Jun Sawada [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)