| Debugging Logic Programs under the Answer Set Semantics. M Brain, M De Vos Answer Set Programming, 2005 | 81 | 2005 |
| 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 | 72 | 2014 |
| 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 | 72 | 2007 |
| Deciding floating-point logic with systematic abstraction L Haller, A Griggio, M Brain, D Kroening FMCAD, 2012 | 70 | 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 | 69 | 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 | 60 | 2015 |
| Automatic composition of melodic and harmonic music by answer set programming G Boenn, M Brain, MD Vos International Conference on Logic Programming, 160-174, 2008 | 48 | 2008 |
| 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 | 45 | 2011 |
| TOAST: Applying answer set programming to superoptimisation M Brain, T Crick, MD Vos, J Fitch International Conference on Logic Programming, 270-284, 2006 | 45 | 2006 |
| 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 | 41 | 2016 |
| A new-generation automated warehousing capability Q Wang, R McIntosh, M Brain International Journal of Computer Integrated Manufacturing 23 (6), 565-573, 2010 | 41 | 2010 |
| 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 | 34 | 2007 |
| Ape: An ansprolog* environment A Sureshkumar, M De Vos, M Brain, J Fitch See De Vos and Schaub (2007), 101-115, 2007 | 34 | 2007 |
| 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 | 33 | 2017 |
| ASPVIZ: Declarative visualisation and animation using answer set programming O Cliffe, MD 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 MD Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham International Workshop on Declarative Agent Languages and Technologies, 72-88, 2005 | 28 | 2005 |
| 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 | 26 | 2015 |
| 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 | 25 | 2013 |
| Building better bit-blasting for floating-point problems M Brain, F Schanda, Y Sun International Conference on Tools and Algorithms for the Construction and …, 2019 | 24 | 2019 |
| Anton: Composing logic and logic composing G Boenn, M Brain, MD Vos International Conference on Logic Programming and Nonmonotonic Reasoning …, 2009 | 20 | 2009 |
