Magnus Björk

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

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

Coauthor Index

Last update Fri May 24 13:44:34 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page