Concepedia

Mathias Soeken

MS

101

Publications

4.5K

Citations

34

H-Index

2010

Active since

Affiliations

École Polytechnique Fédérale de Lausanne(Current)

University of Bremen

German Research Centre for Artificial Intelligence

Synopsys (United States)

University of California, Berkeley

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

ORCID

Top concepts

Publications per year

2010–2023

101

Publications

101

Qiskit: An Open-source Framework for Quantum Computing

Gadi Aleksandrowicz, Thomas Alexander, Panagiotis Kl. Barkoutsos et al. · Zenodo (CERN European Organization for Nuclear Research) · 2019 · 1.4K citations · Full text

Synthesis of reversible circuits with minimal lines for large functions

Mathias Soeken, Robert Wille, Christoph Hilken et al. · 2012 · 107 citations

Verifying UML/OCL models using Boolean satisfiability

Mathias Soeken, Robert Wille, Mirco Kuhlmann et al. · Design, Automation, and Test in Europe · 2010 · 100 citations

, , +21

RevKit: A Toolkit for Reversible Circuit Design

Mathias Soeken, Stefan Frehse, Robert Wille et al. · 2012 · 98 citations

Verifying UML/OCL models using Boolean satisfiability

Mathias Soeken, Robert Wille, Mirco Kuhlmann et al. · 2010 · 82 citations

, , +22

Rows per page

1–5 of 101