FlexCore: Utilizing exposed datapath control for efficient computing M Thuresson, M Själander, M Björk, L Svensson, P Larsson-Edefors, ... Journal of Signal Processing Systems 57, 5-19, 2009 | 66 | 2009 |
Successful SAT encoding techniques M Björk Journal on Satisfiability, Boolean Modeling and Computation 7 (4), 189-201, 2011 | 43 | 2011 |
Security data path verification VM Purri, CAT Campos, M Björk, L Loh, CJN Coelho US Patent 9,449,196, 2016 | 12 | 2016 |
First Order Stålmarck: Universal Lemmas Through Branch Merges M Björk Journal of Automated Reasoning 42, 99-122, 2009 | 11 | 2009 |
A first order extension of Stålmarck’s method M Björk Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005 | 8 | 2005 |
Teaching hardware description and verification E Axelsson, M Bjrk, M Sheeran 2005 IEEE International Conference on Microelectronic Systems Education (MSE …, 2005 | 5 | 2005 |
Stålmarck's Method for Automated Theorem Proving in First Order Logic M Björk Chalmers University of Technology, 2003 | 5 | 2003 |
Exposed Datapath for Efficient Computing M Björk, M Själander, L Svensson, M Thuresson, JHK Jeppson, ... Welcome to the First HiPEAC Workshop on Reconfigurable Computing, 17, 2007 | 4 | 2007 |
Security data path verification VM Purri, CAT Campos, M Björk, L Loh, CJN Coelho US Patent 9,922,209, 2018 | 3 | 2018 |
Adding equivalence classes to Stålmarck's method in first order logic M Björk Contributions to the Doctoral Programme of the Second International Joint …, 2004 | 3 | 2004 |
Extending Stålmarck's method to first order logic M Björk TABLEAUX 2003 Position Papers and Tutorials, 2003 | 3 | 2003 |
Compiling Embedded ML M Björk | 1 | 2000 |
Security data path verification VM Purri, CAT Campos, M Björk, L Loh, CJN Coelho US Patent 9,934,410, 2018 | | 2018 |
Appendix to: A First Order Extension of Stålmarck's Method M Björk Chalmers University of Technology, 2005 | | 2005 |
Appendix to Extending Stålmarck's Method to First Order Logic M Björk Chalmers University of Technology, 2003 | | 2003 |