Follow
Magnus Björk
Magnus Björk
Jeppesen Crew & Fleet
Verified email at jeppesen.com
Title
Cited by
Cited by
Year
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
662009
Successful SAT encoding techniques
M Björk
Journal on Satisfiability, Boolean Modeling and Computation 7 (4), 189-201, 2011
412011
Security data path verification
VM Purri, CAT Campos, M Björk, L Loh, CJN Coelho
US Patent 9,449,196, 2016
112016
First Order Stålmarck: Universal Lemmas Through Branch Merges
M Björk
Journal of Automated Reasoning 42, 99-122, 2009
112009
A first order extension of Stålmarck¢s method
M Björk
Logic for Programming, Artificial Intelligence, and Reasoning: 12th …, 2005
82005
Teaching hardware description and verification
E Axelsson, M Bjrk, M Sheeran
2005 IEEE International Conference on Microelectronic Systems Education (MSE …, 2005
52005
Stålmarck's Method for Automated Theorem Proving in First Order Logic
M Björk
Chalmers University of Technology, 2003
52003
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
42007
Security data path verification
VM Purri, CAT Campos, M Björk, L Loh, CJN Coelho
US Patent 9,922,209, 2018
32018
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
32004
Extending Stålmarck's method to first order logic
M Björk
TABLEAUX 2003 Position Papers and Tutorials, 2003
32003
Compiling Embedded ML
M Björk
12000
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
The system can't perform the operation now. Try again later.
Articles 1–15