Magnus Björk
Visar 14 publikationer
FlexCore: Utilizing Exposed Datapath Control for Efficient Computing
A Flexible Datapath Interconnect for Embedded Applications
FlexCore: Utilizing Exposed Datapath Control for Efficient Computing
Exposed Datapath for Efficient Computing
Exposed Datapath for Efficient Computing
A First Order Extension of Stålmarck's Method
Teaching Hardware Description and Verification
Adding Equivalence Classes to Stålmarck's Method in First Order Logic
Extending Stålmarck's Method to First Order Logic
Stålmarck's Method for Automated Theorem Proving in First Order Logic
Ladda ner publikationslistor
Du kan ladda ner denna lista till din dator.
Filtrera och ladda ner publikationslista
Som inloggad användare hittar du ytterligare funktioner i MyResearch.
Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:
Zotero Connector
Mendeley Web Importer
Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.