Matthew D. T. Lewis
发表
B. Becker,
Tobias Schubert,
Matthew D. T. Lewis,
2007
.
B. Becker,
Rüdiger Ehlers,
Paolo Marin,
2012
.
Bernd Becker,
Matthew D. T. Lewis,
Tobias Schubert,
2007
.
Bernd Becker,
Matthew D. T. Lewis,
Tobias Schubert,
2004,
MBMV.
Bernd Becker,
Enrico Giunchiglia,
Matthew D. T. Lewis,
2011,
Fundam. Informaticae.
Bernd Becker,
Enrico Giunchiglia,
Matthew D. T. Lewis,
2009,
SAT.
Bernd Becker,
Enrico Giunchiglia,
Matthew D. T. Lewis,
2009,
2009 International Conference on High Performance Computing & Simulation.
Bernd Becker,
Matthew D. T. Lewis,
Tobias Schubert,
2009,
J. Satisf. Boolean Model. Comput..
Bernd Becker,
Enrico Giunchiglia,
Matthew D. T. Lewis,
2009,
RCRA@AI*IA.
Bernd Becker,
Matthew D. T. Lewis,
Tobias Schubert,
2007,
2007 Asia and South Pacific Design Automation Conference.
Bernd Becker,
Matthew D. T. Lewis,
Tobias Schubert,
2005,
2005 Sixth International Workshop on Microprocessor Test and Verification.
Bernd Becker,
Matthew D. T. Lewis,
Christoph Scholl,
2010,
MBMV.
Sudhakar M. Reddy,
Bernd Becker,
Piet Engelke,
2009,
2009 22nd International Conference on VLSI Design.
Bernd Becker,
Matthew D. T. Lewis,
Ralf Wimmer,
2008,
2008 IEEE International Conference on Computer Design.
Bernd Becker,
Matthew D. T. Lewis,
Tobias Schubert,
2005
.
Bernd Becker,
Matthew D. T. Lewis,
Tobias Schubert,
2004,
SAT.
Bernd Becker,
Matthew D. T. Lewis,
Christian Miller,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).