| Debugging Logic Programs under the Answer Set Semantics. M Brain, M De Vos Answer Set Programming, 2005 | 79 | 2005 |
| Debugging ASP programs by means of ASP M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran International Conference on Logic Programming and Nonmonotonic Reasoning, 31-43, 2007 | 68 | 2007 |
| Deciding floating-point logic with abstract conflict driven clause learning M Brain, V D’silva, A Griggio, L Haller, D Kroening Formal Methods in System Design 45 (2), 213-245, 2014 | 65 | 2014 |
| Deciding floating-point logic with systematic abstraction L Haller, A Griggio, M Brain, D Kroening FMCAD, 2012 | 63 | 2012 |
| An automatable formal semantics for IEEE-754 floating-point arithmetic M Brain, C Tinelli, P Rümmer, T Wahl 2015 IEEE 22nd Symposium on Computer Arithmetic, 160-167, 2015 | 57 | 2015 |
| Safety Verification and Refutation by k-Invariants and k-Induction M Brain, S Joshi, D Kroening, P Schrammel International Static Analysis Symposium, 145-161, 2015 | 46 | 2015 |
| Automatic music composition using answer set programming G Boenn, M Brain, M De Vos, J Ffitch Theory and practice of logic programming 11 (2-3), 397-427, 2011 | 44 | 2011 |
| Automatic composition of melodic and harmonic music by answer set programming G Boenn, M Brain, M De Vos International Conference on Logic Programming, 160-174, 2008 | 43 | 2008 |
| TOAST: Applying answer set programming to superoptimisation M Brain, T Crick, M De Vos, J Fitch International Conference on Logic Programming, 270-284, 2006 | 43 | 2006 |
| A new-generation automated warehousing capability Q Wang, R Mcintosh, M Brain International Journal of Computer Integrated Manufacturing 23 (6), 565-573, 2010 | 38 | 2010 |
| SC2: Satisfiability checking meets symbolic computation E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ... Intelligent Computer Mathematics: Proceedings CICM 9791, 28-43, 2016 | 37 | 2016 |
| Ape: An ansprolog* environment A Sureshkumar, M De Vos, M Brain, J Fitch See De Vos and Schaub (2007), 101-115, 2007 | 34 | 2007 |
| That is illogical captain! The debugging support tool spock for answer-set programs: system description M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran Proceedings of the Workshop on Software Engineering for Answer Set …, 2007 | 32 | 2007 |
| ASPVIZ: Declarative visualisation and animation using answer set programming O Cliffe, M De Vos, M Brain, J Padget International Conference on Logic Programming, 724-728, 2008 | 31 | 2008 |
| LAIMA: A multi-agent platform using ordered choice logic programming M De Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham International Workshop on Declarative Agent Languages and Technologies, 72-88, 2005 | 28 | 2005 |
| Interpolation-based verification of floating-point programs with abstract CDCL M Brain, V D’Silva, A Griggio, L Haller, D Kroening International Static Analysis Symposium, 412-432, 2013 | 24 | 2013 |
| Incremental bounded model checking for embedded software P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller Formal Aspects of Computing 29 (5), 911-931, 2017 | 23 | 2017 |
| Successful use of incremental BMC in the automotive industry P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller International Workshop on Formal Methods for Industrial Critical Systems, 62-77, 2015 | 21 | 2015 |
| Anton: Composing logic and logic composing G Boenn, M Brain, M De Vos International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 19 | 2009 |
| Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. M Brain, M De Vos Answer Set Programming 24, 2003 | 16 | 2003 |
