Magnus Björk

Publication Activity (10 Years)

Years Active: 2004-2015
Publications (10 Years): 0

Top Topics

Swarm Optimization

Top Venues

Publications

Denis Kleyko, Evgeny Osipov, Magnus Björk, Henrik Toresson, Anton Öberg
Fly-The-Bee: A Game Imitating Concept Learning in Bees. BICA (2015)
Magnus Björk
Successful SAT Encoding Techniques. J. Satisf. Boolean Model. Comput. 7 (4) (2011)
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. J. Signal Process. Syst. 57 (1) (2009)
Magnus Björk
First Order Stålmarck. J. Autom. Reason. 42 (1) (2009)
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)
Magnus Själander, Per Larsson-Edefors, Magnus Björk
A Flexible Datapath Interconnect for Embedded Applications. ISVLSI (2007)
Sara Adams, Magnus Björk, Thomas F. Melham, Carl-Johan H. Seger
Automatic Abstraction in Symbolic Trajectory Evaluation. FMCAD (2007)
Magnus Björk
A First Order Extension of Stålmarck's Method. LPAR (2005)
Magnus Björk
Adding Equivalence Classes to Stalmarck's Method in First Order Logic. IJCAR Doctoral Programme (2004)