Mathias Soeken - Concepedia

Author

Mathias Soeken

École Polytechnique Fédérale de Lausanne ORCID

Also Known As

Luccio, Fabrizio, M Soeken, M. Soeken, Mathias Soeken, Sinha, Sarat, Soeken, Soeken, Mathias, Thomsen, Michael Kirkedal

242

Publications

5.6K

Citations

H-Index

136

Concepts

All Affiliations

École Polytechnique Fédérale de Lausanne University of Bremen German Research Centre for Artificial Intelligence Synopsys (United States)University of California, Berkeley

About

Mathias Soeken is an author at École Polytechnique Fédérale de Lausanne specializing in engineering, computer engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	32	87	2.8K
2	Natural Sciences	7	7	247
3	Education	2	2	114
4	Language Studies	2	2	36
5	Applied Physics	1	1	37

Mathias Soeken

101

Publications

4.5K

Citations

H-Index

Page 1

	Year	Citations
Qiskit: An Open-source Framework for Quantum Computing Gadi Aleksandrowicz, Thomas Alexander, Panagiotis Kl. Barkoutsos, Zenodo (CERN European Organization for Nuclear Research)	2019	1.4K
Synthesis of reversible circuits with minimal lines for large functions Mathias Soeken, Robert Wille, Christoph Hilken,	2012	107
Verifying UML/OCL models using Boolean satisfiability Mathias Soeken, Robert Wille, Mirco Kuhlmann, Design, Automation, and Test in Europe EngineeringUml/ocl ModelsUml ModelVerificationComputer-aided Verification	2010	100
RevKit: A Toolkit for Reversible Circuit Design Mathias Soeken, Stefan Frehse, Robert Wille,	2012	98
Verifying UML/OCL models using Boolean satisfiability Mathias Soeken, Robert Wille, Mirco Kuhlmann, EngineeringUml/ocl ModelsUml ModelVerificationComputer-aided Verification	2010	82
Exact Synthesis of Majority-Inverter Graphs and Its Applications Mathias Soeken, Luca Amarù, Pierre‐Emmanuel Gaillardon, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems EngineeringHomogeneous Logic RepresentationNetwork AnalysisEducationComputational Complexity	2017	82
Deep Learning for Logic Optimization Algorithms Winston Haaswijk, Edo Collins, Benoît Séguin, Artificial IntelligenceModel OptimizationNew TechnologiesEngineeringMachine Learning	2018	78
Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction Amr Sayed-Ahmed, Daniel Große, Ulrich Kühne, EngineeringSymbolic ComputationApplied AlgebraFormal VerificationInteger Multipliers	2016	77
Fast Logic Synthesis for RRAM-based In-Memory Computing using Majority-Inverter Graphs Saeideh Shirinzadeh, Mathias Soeken, Pierre‐Emmanuel Gaillardon, Non-volatile MemoryEngineeringComputer ArchitectureMulti-channel Memory ArchitectureResistive Random-access Memory	2016	72
A novel basis for logic rewriting Winston Haaswijk, Mathias Soeken, Luca Amarù, Logic SynthesisEngineeringLogic PrimitivesAutomated ReasoningRegulated Rewriting	2017	71

Page 1