 | 2009 |
|---|
| 7 |       | Magnus Björk:
First Order Stålmarck.
J. Autom. Reasoning 42(1): 99-122 (2009) |
| 6 | | Martin Thuresson,
Magnus Själander,
Magnus Björk,
Lars J. Svensson,
Per Larsson-Edefors,
Per Stenström:
FlexCore: Utilizing Exposed Datapath Control for Efficient Computing.
Signal Processing Systems 57(1): 5-19 (2009) |
| 2007 |
|---|
| 5 | | Sara Adams,
Magnus Björk,
Thomas F. Melham,
Carl-Johan H. Seger:
Automatic Abstraction in Symbolic Trajectory Evaluation.
FMCAD 2007: 127-135 |
| 4 | | Martin Thuresson,
Magnus Själander,
Magnus Björk,
Lars J. Svensson,
Per Larsson-Edefors,
Per Stenström:
FlexCore: Utilizing Exposed Datapath Control for Efficient Computing.
ICSAMOS 2007: 18-25 |
| 3 | | Magnus Själander,
Per Larsson-Edefors,
Magnus Björk:
A Flexible Datapath Interconnect for Embedded Applications.
ISVLSI 2007: 15-20 |
| 2005 |
|---|
| 2 | | Magnus Björk:
A First Order Extension of Stålmarck's Method.
LPAR 2005: 276-291 |
| 2004 |
|---|
| 1 | | Magnus Björk:
Adding Equivalence Classes to Stalmarck's Method in First Order Logic.
IJCAR Doctoral Programme 2004 |
