Matthew Lewis

Publication Activity (10 Years)

Years Active: 2007-2012
Publications (10 Years): 0

Top Topics

Mobile Learning

Evolutionary Algorithm

Signature Verification

Top Venues

Publications

Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin
ALLQBF Solving by Computational Learning. ATVA (2012)
Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker
Verification of partial designs using incremental QBF solving. DATE (2012)
Matthias Sauer, Victor Tomashevich, Jörg Müller, Matthew Lewis, Andreas Spilla, Ilia Polian, Bernd Becker, Wolfram Burgard
An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors. IOLTS (2011)
Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia
Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Informaticae 107 (2-3) (2011)
Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
Incremental preprocessing methods for use in BMC. Formal Methods Syst. Des. 39 (2) (2011)
Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis. Int. J. Parallel Program. 38 (3-4) (2010)
Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. SAT (2010)
Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl
SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. MBMV (2010)
Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. VLSI Design (2009)
Matthew Lewis, Tobias Schubert, Bernd Becker
QmiraXT - A Multithreaded QBF Solver. MBMV (2009)
Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. RCRA@AI*IA (2009)
Tobias Schubert, Matthew Lewis, Bernd Becker
PaMiraXT: Parallel SAT Solving with Threads and Message Passing. J. Satisf. Boolean Model. Comput. 6 (4) (2009)
Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker
Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS (2009)
Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT (2009)
Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
Propositional approximations for bounded model checking of partial circuit designs. ICCD (2008)
Matthew Lewis, Tobias Schubert, Bernd Becker
Multithreaded SAT Solving. ASP-DAC (2007)