Magnus Björk

Showing 14 publications

2009

FlexCore: Utilizing Exposed Datapath Control for Efficient Computing

Martin Thuresson, Magnus Själander, Magnus Björk et al
Journal of Signal Processing Systems. Vol. 57 (1), p. 5-19
Journal article
2009

First Order Stålmarck

Magnus Björk
Journal of Automated Reasoning. Vol. 42 (1), p. 99-122
Journal article
2007

FlexCore: Utilizing Exposed Datapath Control for Efficient Computing

Martin Thuresson, Magnus Själander, Magnus Björk et al
IEEE SAMOS 2007, p. 18-25
Paper in proceedings
2007

A Flexible Datapath Interconnect for Embedded Applications

Magnus Själander, Per Larsson-Edefors, Magnus Björk
IEEE Computer Society Annual Symposium on VLSI, p. 15-20
Paper in proceedings
2007

Exposed Datapath for Efficient Computing

Magnus Björk, Magnus Själander, Lars Svensson et al
2007 HiPEAC Workshop on Reconfigurable Computing
Paper in proceedings
2006

Exposed Datapath for Efficient Computing

Magnus Björk, Magnus Själander, Lars Svensson et al
Report
2006

A First Order Extension of Stålmarck's Method

Magnus Björk
Doctoral thesis
2005

A First Order Extension of Stålmarck's Method

Magnus Björk
Logic for Programming, Artificial Intelligence, and Reasoning, 2005, Montego Bay, Jamaica (LNAI 3835), p. 276-291
Paper in proceedings
2005

Teaching Hardware Description and Verification

Emil Axelsson, Magnus Björk, Mary Sheeran
2005 International Conference on Microelectronic Systems Education, p. 119-120
Paper in proceedings
2004

Adding Equivalence Classes to Stålmarck's Method in First Order Logic

Magnus Björk
Contributions to the Doctoral Programme of the Second International Joint Conference on Automated Reasoning (IJCAR 2004)
Paper in proceedings
2003

Extending Stålmarck's Method to First Order Logic

Magnus Björk
TABLEAUX 2003 Position Papers and Tutorials
Paper in proceedings

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

There are no projects.
There might be more projects where Magnus Björk participates, but you have to be logged in as a Chalmers employee to see them.