Mathias Soeken

5.6k total citations
151 papers, 2.1k citations indexed

About

Mathias Soeken is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Electrical and Electronic Engineering. According to data from OpenAlex, Mathias Soeken has authored 151 papers receiving a total of 2.1k indexed citations (citations by other indexed papers that have themselves been cited), including 99 papers in Computational Theory and Mathematics, 83 papers in Artificial Intelligence and 62 papers in Electrical and Electronic Engineering. Recurrent topics in Mathias Soeken's work include Quantum Computing Algorithms and Architecture (54 papers), Quantum-Dot Cellular Automata (47 papers) and Formal Methods in Verification (47 papers). Mathias Soeken is often cited by papers focused on Quantum Computing Algorithms and Architecture (54 papers), Quantum-Dot Cellular Automata (47 papers) and Formal Methods in Verification (47 papers). Mathias Soeken collaborates with scholars based in Switzerland, Germany and United States. Mathias Soeken's co-authors include Rolf Drechsler, Giovanni De Micheli, Robert Wille, Pierre‐Emmanuel Gaillardon, Luca Amarù, Winston Haaswijk, Saeideh Shirinzadeh, Alan Mishchenko, Daniel Große and Heinz Riener and has published in prestigious journals such as Proceedings of the IEEE, Physical Review A and IEEE Access.

In The Last Decade

Mathias Soeken

145 papers receiving 2.0k citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
Mathias Soeken Switzerland 25 1.0k 1.0k 988 401 304 151 2.1k
Mitchell A. Thornton United States 17 725 0.7× 714 0.7× 735 0.7× 416 1.0× 95 0.3× 184 1.5k
Alan Mishchenko United States 27 1.8k 1.7× 872 0.9× 1.6k 1.7× 1.6k 4.1× 379 1.2× 173 3.1k
Luca Amarù Switzerland 22 1.3k 1.3× 291 0.3× 526 0.5× 417 1.0× 46 0.2× 90 1.7k
Ilia Polian Germany 25 1.7k 1.6× 667 0.7× 322 0.3× 1.5k 3.7× 111 0.4× 204 2.4k
Andreas Kuehlmann United States 22 870 0.8× 316 0.3× 976 1.0× 1.0k 2.6× 416 1.4× 71 1.7k
Satrajit Chatterjee United States 20 894 0.9× 251 0.3× 560 0.6× 1.0k 2.6× 132 0.4× 46 1.6k
Akers United States 6 470 0.4× 289 0.3× 586 0.6× 436 1.1× 301 1.0× 8 1.3k
Maciej Ciesielski United States 21 843 0.8× 206 0.2× 621 0.6× 883 2.2× 111 0.4× 126 1.5k
Swaroop Ghosh United States 27 1.9k 1.8× 730 0.7× 289 0.3× 981 2.4× 11 0.0× 204 2.6k
Sanjukta Bhanja United States 20 1.3k 1.2× 126 0.1× 867 0.9× 336 0.8× 47 0.2× 99 1.5k

Countries citing papers authored by Mathias Soeken

Since Specialization
Citations

This map shows the geographic impact of Mathias Soeken's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Mathias Soeken with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Mathias Soeken more than expected).

Fields of papers citing papers by Mathias Soeken

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Mathias Soeken. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Mathias Soeken. The network helps show where Mathias Soeken may publish in the future.

Co-authorship network of co-authors of Mathias Soeken

This figure shows the co-authorship network connecting the top 25 collaborators of Mathias Soeken. A scholar is included among the top collaborators of Mathias Soeken based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Mathias Soeken. Mathias Soeken is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Quetschlich, Nils, Mathias Soeken, Prakash Murali, & Robert Wille. (2024). Utilizing Resource Estimation for the Development of Quantum Computing Applications. 232–238. 1 indexed citations
2.
Riener, Heinz, et al.. (2020). Three-Input Gates for Logic Synthesis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 40(10). 2184–2188. 10 indexed citations
3.
Soeken, Mathias, et al.. (2019). Scaling-up ESOP Synthesis for Quantum Compilation. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 13–18. 6 indexed citations
4.
Chu, Zhufei, Mathias Soeken, Yinshui Xia, & Giovanni De Micheli. (2018). Functional decomposition using majority. Asia and South Pacific Design Automation Conference. 676–681. 4 indexed citations
5.
Soeken, Mathias, et al.. (2018). Pairs of majority-decomposing functions. Information Processing Letters. 139. 35–38. 1 indexed citations
6.
Soeken, Mathias, Odysseas Zografos, Luca Amarù, et al.. (2016). Inversion optimization in majority-inverter graphs. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 17 indexed citations
7.
Amy, Matthew, et al.. (2016). Complexity of reversible circuits and their quantum implementations. Theoretical Computer Science. 618. 85–106. 9 indexed citations
8.
Große, Daniel, et al.. (2016). Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction. 1048–1053. 43 indexed citations
9.
Soeken, Mathias, et al.. (2016). An extension of transformation-based reversible and quantum circuit synthesis. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 2290–2293. 6 indexed citations
10.
Soeken, Mathias & Anupam Chattopadhyay. (2016). Unlocking efficiency and scalability of reversible logic synthesis using conventional logic synthesis. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 1–6. 11 indexed citations
11.
Soeken, Mathias, et al.. (2015). Ancilla-free synthesis of large reversible functions using binary decision diagrams. Journal of Symbolic Computation. 73. 1–26. 24 indexed citations
12.
Drechsler, Rolf, Mathias Soeken, & Robert Wille. (2014). Automated and quality-driven requirements engineering. International Conference on Computer Aided Design. 586–590. 4 indexed citations
13.
Wille, Robert, Martin Gogolla, Mathias Soeken, Mirco Kuhlmann, & Rolf Drechsler. (2013). Towards a generic verification methodology for system models. Design, Automation, and Test in Europe. 1193–1196. 4 indexed citations
14.
Soeken, Mathias, et al.. (2013). Towards automatic scenario generation from coverage information. 82–88. 1 indexed citations
15.
Wille, Robert, et al.. (2013). Determining relevant model elements for the verification of UML/OCL specifications. Design, Automation, and Test in Europe. 1189–1192. 5 indexed citations
16.
Fischer, R. X., W. H. Baur, Mathias Soeken, & Rolf Drechsler. (2013). Verification and evaluation of site occupancies using Boolean satisfiability techniques. Acta Crystallographica Section A Foundations of Crystallography. 69(a1). s291–s291. 1 indexed citations
17.
Wille, Robert, Mathias Soeken, & Rolf Drechsler. (2012). Debugging of inconsistent UML/OCL models. Design, Automation, and Test in Europe. 1078–1083. 11 indexed citations
18.
Drechsler, Rolf, Mathias Soeken, & Robert Wille. (2012). Keynote: Formal specification level: Towards verification-driven design based on natural language processing. Forum on specification and Design Languages. 53–58. 16 indexed citations
19.
Soeken, Mathias, et al.. (2011). Towards Automatic Property Generation for the Formal Verification of Bus Bridges.. 183–192.
20.
Soeken, Mathias, Robert Wille, Mirco Kuhlmann, Martin Gogolla, & Rolf Drechsler. (2010). Verifying UML/OCL models using Boolean satisfiability. Design, Automation, and Test in Europe. 1341–1344. 57 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Mitchell A. Thornton Breakdown of academic impact, for papers by Alan Mishchenko Breakdown of academic impact, for papers by Luca Amarù Breakdown of academic impact, for papers by Ilia Polian Breakdown of academic impact, for papers by Andreas Kuehlmann Breakdown of academic impact, for papers by Satrajit Chatterjee Breakdown of academic impact, for papers by Akers Breakdown of academic impact, for papers by Maciej Ciesielski Breakdown of academic impact, for papers by Swaroop Ghosh Breakdown of academic impact, for papers by Sanjukta Bhanja
Rankless by CCL
2026