| cvc5: A versatile and industrial-strength SMT solver H Barbosa, C Barrett, M Brain, G Kremer, H Lachnitt, M Mann, ... Tools and Algorithms for the Construction and Analysis of Systems: 28th …, 2022 | 124 | 2022 |
| Debugging Logic Programs under the Answer Set Semantics. M Brain, M De Vos Answer Set Programming, 2005 | 85 | 2005 |
| 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 | 74 | 2015 |
| 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 | 73 | 2014 |
| Debugging ASP programs by means of ASP M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran Logic Programming and Nonmonotonic Reasoning: 9th International Conference …, 2007 | 73 | 2007 |
| Safety Verification and Refutation by k-Invariants and k-Induction M Brain, S Joshi, D Kroening, P Schrammel Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015 | 69 | 2015 |
| Deciding floating-point logic with systematic abstraction L Haller, A Griggio, M Brain, D Kroening FMCAD, 2012 | 69 | 2012 |
| : Satisfiability Checking Meets Symbolic Computation: (Project Paper) E Ábrahám, J Abbott, B Becker, AM Bigatti, M Brain, B Buchberger, ... Intelligent Computer Mathematics: 9th International Conference, CICM 2016 …, 2016 | 52 | 2016 |
| 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 | 48 | 2011 |
| Automatic composition of melodic and harmonic music by answer set programming G Boenn, M Brain, M De Vos, J Ffitch Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 48 | 2008 |
| A new-generation automated warehousing capability Q Wang, R McIntosh, M Brain International Journal of Computer Integrated Manufacturing 23 (6), 565-573, 2010 | 47 | 2010 |
| TOAST: Applying answer set programming to superoptimisation M Brain, T Crick, M De Vos, J Fitch Logic Programming: 22nd International Conference, ICLP 2006, Seattle, WA …, 2006 | 45 | 2006 |
| 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, 911-931, 2017 | 36 | 2017 |
| Ape: An ansprolog* environment A Sureshkumar, M De Vos, M Brain, J Fitch See De Vos and Schaub (2007), 101-115, 2007 | 35 | 2007 |
| ASPVIZ: Declarative visualisation and animation using answer set programming O Cliffe, M De Vos, M Brain, J Padget Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 34 | 2008 |
| 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 |
| Building better bit-blasting for floating-point problems M Brain, F Schanda, Y Sun Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 29 | 2019 |
| LAIMA: A multi-agent platform using ordered choice logic programming M De Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham Declarative Agent Languages and Technologies III: Third International …, 2006 | 28 | 2006 |
| Successful use of incremental BMC in the automotive industry P Schrammel, D Kroening, M Brain, R Martins, T Teige, T Bienmüller Formal Methods for Industrial Critical Systems: 20th International Workshop …, 2015 | 27 | 2015 |
| Interpolation-based verification of floating-point programs with abstract CDCL M Brain, V D’Silva, A Griggio, L Haller, D Kroening Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013 | 25 | 2013 |
