Magnus Björk

Publications (14)
Projects (0)

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

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 proceeding

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 proceeding

2007

Exposed Datapath for Efficient Computing

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

2007 HiPEAC Workshop on Reconfigurable Computing

Paper in proceeding

2006

A First Order Extension of Stålmarck's Method

Magnus Björk

Doctoral thesis

2006

Exposed Datapath for Efficient Computing

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

Report

2005

Appendix to: A First Order Extension of Stålmarck's Method

Magnus Björk

Report

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 proceeding

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 proceeding

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 proceeding

2003

Appendix to Extending Stålmarck's Method to First Order Logic

Magnus Björk

Report

2003

Extending Stålmarck's Method to First Order Logic

Magnus Björk

TABLEAUX 2003 Position Papers and Tutorials

Paper in proceeding

2003

Stålmarck's Method for Automated Theorem Proving in First Order Logic

Magnus Björk

Licentiate thesis

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

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.