Articles with public access mandates - Mathias SoekenLearn more
Not available anywhere: 8
Time-resolved detection of diffusion limited temperature gradients inside single isolated burning droplets using Rainbow Refractometry
CD Rosebrock, S Shirinzadeh, M Soeken, N Riefler, T Wriedt, R Drechsler, ...
Combustion and Flame 168, 255-269, 2016
Mandates: German Research Foundation
SyReC: A hardware description language for the specification and synthesis of reversible circuits
R Wille, E Schönborn, M Soeken, R Drechsler
Integration, the VLSI Journal 53, 39-53, 2016
Mandates: German Research Foundation, European Commission
Upper bounds for reversible circuits based on Young subgroups
N Abdessaied, M Soeken, MK Thomsen, R Drechsler
Information Processing Letters 114 (6), 282-286, 2014
Mandates: Danish Council for Strategic Research
metaSMT: focus on your application and not on solver integration
H Riener, F Haedicke, S Frehse, M Soeken, D Große, R Drechsler, G Fey
International Journal on Software Tools for Technology Transfer, 1-17, 2016
Mandates: German Research Foundation, European Commission
The complexity of error metrics
O Keszocze, M Soeken, R Drechsler
Information Processing Letters, 2018
Mandates: German Research Foundation, European Commission
Formal Specification Level
R Drechsler, M Soeken, R Wille
Models, Methods, and Tools for Complex Chip Design, 37-52, 2014
Mandates: German Research Foundation
Canonical computation without canonical representation
A Mishchenko, R Brayton, A Petkovska, M Soeken, L Amarú, A Domic
Proceedings of the 55th Annual Design Automation Conference, 52, 2018
Mandates: US National Science Foundation, Swiss National Science Foundation
Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits
R Wille, M Soeken, N Przigoda, R Drechsler
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING 21 (5-6), 627-640, 2013
Mandates: German Research Foundation
Available somewhere: 96
Assisted behavior driven development using natural language processing
M Soeken, R Wille, R Drechsler
International Conference on Modelling Techniques and Tools for Computer …, 2012
Mandates: German Research Foundation
RevKit: A Toolkit for Reversible Circuit Design.
M Soeken, S Frehse, R Wille, R Drechsler
Multiple-Valued Logic and Soft Computing 18 (1), 55-65, 2012
Mandates: German Research Foundation
Synthesis of reversible circuits with minimal lines for large functions
M Soeken, R Wille, C Hilken, N Przigoda, R Drechsler
Design Automation Conference (ASP-DAC), 2012 17th Asia and South Pacific, 85-92, 2012
Mandates: German Research Foundation
Deep Learning for Logic Optimization Algorithms
WJ Haaswijk, E Collins, BLA Seguin, M Soeken, S Süsstrunk, F Kaplan, ...
Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS), 2018
Mandates: Swiss National Science Foundation
Exact synthesis of majority-inverter graphs and its applications
M Soeken, L Amaru, PE Gaillardon, G De Micheli
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017
Mandates: Swiss National Science Foundation, European Commission
RevKit: an open source toolkit for the design of reversible circuits
M Soeken, S Frehse, R Wille, R Drechsler
International Workshop on Reversible Computation, 64-76, 2011
Mandates: German Research Foundation
Fast logic synthesis for RRAM-based in-memory computing using Majority-Inverter Graphs
S Shirinzadeh, M Soeken, PE Gaillardon, R Drechsler
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 948-953, 2016
Mandates: Swiss National Science Foundation, German Research Foundation
Reducing the number of lines in reversible circuits
R Wille, M Soeken, R Drechsler
Design Automation Conference (DAC), 2010 47th ACM/IEEE, 647-652, 2010
Mandates: German Research Foundation
SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism
W Haaswijk, M Soeken, A Mishchenko, G De Micheli
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019
Mandates: Swiss National Science Foundation, European Commission
Logic Synthesis for RRAM-based In-Memory Computing
S Shirinzadeh, M Soeken, PE Gaillardon, R Drechsler
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017
Mandates: US National Science Foundation, Swiss National Science Foundation, German …
Specification-driven model transformation testing
E Guerra, M Soeken
Software & Systems Modeling 14 (2), 623-644, 2015
Mandates: German Research Foundation, Government of Spain
Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications
E Testa, M Soeken, L Amarù, G De Micheli
Proceedings of the 56th Annual Design Automation Conference 2019, 74, 2019
Mandates: Swiss National Science Foundation, European Commission
Publication and funding information is determined automatically by a computer program