Magnus Björk

Exposed Datapath for Efficient Computing

Mary Sheeran, Magnus Själander, Per Larsson-Edefors, 2006 .

Automatic Abstraction in Symbolic Trajectory Evaluation

Carl-Johan H. Seger, Thomas F. Melham, Magnus Björk, 2007, Formal Methods in Computer Aided Design (FMCAD'07).

FlexCore: Utilizing Exposed Datapath Control for Efficient Computing

Magnus Själander, Per Larsson-Edefors, Per Stenström, 2007, ICSAMOS.

ENERGY INVESTIGATION, GÄRTUNA : On the facilities of Astra Zeneca, with suggestions of energy optimizations

Magnus Björk, 2015 .

Adding Equivalence Classes to Stalmarck's Method in First Order Logic

Magnus Björk, 2004, IJCAR Doctoral Programme.

A First Order Extension of Stålmarck's Method

Magnus Björk, 2005, LPAR.

Fly-The-Bee: A Game Imitating Concept Learning in Bees

Evgeny Osipov, Denis Kleyko, Magnus Björk, 2015, BICA.

First Order Stålmarck

Magnus Björk, Magnus Björk, 2008, Journal of Automated Reasoning.

FlexCore: Utilizing Exposed Datapath Control for Efficient Computing

Magnus Själander, Per Larsson-Edefors, Per Stenström, 2007, 2007 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.

Successful SAT Encoding Techniques

Magnus Björk, Magnus Björk, 2009, J. Satisf. Boolean Model. Comput..

A Flexible Datapath Interconnect for Embedded Applications

Magnus Själander, Per Larsson-Edefors, Magnus Björk, 2007, IEEE Computer Society Annual Symposium on VLSI (ISVLSI '07).