Magnus Björk

According to our database, Magnus Björk authored at least 8 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Fly-The-Bee: A Game Imitating Concept Learning in Bees.

Denis Kleyko, Evgeny Osipov, Magnus Björk, Henrik Toresson, Anton Öberg

Proceedings of the 6th Annual International Conference on Biologically Inspired Cognitive Architectures, 2015

2011

Successful SAT Encoding Techniques.

Magnus Björk

J. Satisf. Boolean Model. Comput., 2011

2009

FlexCore: Utilizing Exposed Datapath Control for Efficient Computing.

Martin Thuresson, Magnus Själander, Magnus Björk, Lars J. Svensson, Per Larsson-Edefors, Per Stenström

J. Signal Process. Syst., 2009

First Order Stålmarck.

Magnus Björk

J. Autom. Reason., 2009

2007

A Flexible Datapath Interconnect for Embedded Applications.

Magnus Själander, Per Larsson-Edefors, Magnus Björk

Proceedings of the 2007 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2007), 2007

Automatic Abstraction in Symbolic Trajectory Evaluation.

Sara Adams, Magnus Björk, Thomas F. Melham, Carl-Johan H. Seger

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2005

A First Order Extension of Stålmarck's Method.

Magnus Björk

Proceedings of the Logic for Programming, 2005

2004

Adding Equivalence Classes to Stalmarck's Method in First Order Logic.

Magnus Björk

Proceedings of the Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, 2004