2009 |
6 | EE | Magnus Björk:
First Order Stålmarck.
J. Autom. Reasoning 42(1): 99-122 (2009) |
2007 |
5 | EE | Sara Adams,
Magnus Björk,
Thomas F. Melham,
Carl-Johan H. Seger:
Automatic Abstraction in Symbolic Trajectory Evaluation.
FMCAD 2007: 127-135 |
4 | EE | 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 | EE | Magnus Själander,
Per Larsson-Edefors,
Magnus Björk:
A Flexible Datapath Interconnect for Embedded Applications.
ISVLSI 2007: 15-20 |
2005 |
2 | EE | Magnus Björk:
A First Order Extension of Stålmarck's Method.
LPAR 2005: 276-291 |
2004 |
1 | EE | Magnus Björk:
Adding Equivalence Classes to Stalmarck's Method in First Order Logic.
IJCAR Doctoral Programme 2004 |