| 2019 | ACII | The Effects of Affective Social Bonds on the Interactions and Survival of Simulated Agents. | Imran Khan, Matthew Lewis, Lola Caamero |
| 2019 | ACII | A Robot Model of Stress-Induced Compulsive Behavior. | Matthew Lewis, Lola Caamero |
| 2017 | ACII | Robot models of mental disorders. | Matthew Lewis, Lola Caamero |
| 2014 | ALIFE | Pleasure, Persistence and Opportunism in Action Selection. | Matthew Lewis, Antoine Hiolle, Lola Caamero |
| 2014 | ALIFE | A Robot that Uses Arousal to Detect Learning Challenges and Seek Help. | Antoine Hiolle, Matthew Lewis, Lola Caamero |
| 2014 | ALIFE | Hormonal Modulation of Development and Behaviour Permits a Robot to Adapt to Novel Interactions. | John Lones, Matthew Lewis, Lola Caamero |
| 2014 | ETS | A collision resistant deterministic random bit generator with fault attack detection possibilities. | Eberhard Bhl, Matthew Lewis, Klaus Damm |
| 2014 | ETS | A true random number generator with on-line testability. | Eberhard Bhl, Matthew Lewis, S. Galkin |
| 2014 | RO-MAN | An affective autonomous robot toddler to support the development of self-efficacy in diabetic children. | Matthew Lewis, Lola Caamero |
| 2013 | ACII | Are Discrete Emotions Useful in Human-Robot Interaction? Feedback from Motion Capture Analysis. | Matthew Lewis, Lola Caamero |
| 2012 | ATVA | ALLQBF Solving by Computational Learning. | Bernd Becker, Rdiger Ehlers, Matthew Lewis, Paolo Marin |
| 2012 | DATE | Verification of partial designs using incremental QBF solving. | Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker |
| 2012 | RO-MAN | Children's adaptation in multi-session interaction with a humanoid robot. | Marco Nalin, Ilaria Baroni, Ivana Kruijff-Korbayov, Lola Caamero, Matthew Lewis, Aryel Beck, Heriberto Cuayhuitl, Alberto Sanna |
| 2011 | IOLTS | An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors. | Matthias Sauer, Victor Tomashevich, Jrg Mller, Matthew Lewis, Andreas Spilla, Ilia Polian, Bernd Becker, Wolfram Burgard |
| 2010 | SAT | Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. | Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker |
| 2009 | VLSID | TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. | Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker |
| 2009 | SAT | PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. | Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia |
| 2008 | ICCD | Propositional approximations for bounded model checking of partial circuit designs. | Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer |
| 2007 | ASPDAC | Multithreaded SAT Solving. | Matthew Lewis, Tobias Schubert, Bernd Becker |