Mathias Soeken

117 papers and 1.2k indexed citations i.

About

Mathias Soeken has authored 117 papers that have received a total of 1.2k indexed citations. This includes 78 papers in Computational Theory and Mathematics, 69 papers in Artificial Intelligence and 44 papers in Electrical and Electronic Engineering. The topics of these papers are Quantum Computing Algorithms and Architecture (45 papers), Quantum-Dot Cellular Automata (36 papers) and Formal Methods in Verification (34 papers). Mathias Soeken is often cited by papers focused on Quantum Computing Algorithms and Architecture (45 papers), Quantum-Dot Cellular Automata (36 papers) and Formal Methods in Verification (34 papers) and collaborates with scholars based in Switzerland, Germany and United States. Mathias Soeken's co-authors include Rolf Drechsler, Giovanni De Micheli, Robert Wille, Luca Amarú and Pierre‐Emmanuel Gaillardon and has published in prestigious journals such as Proceedings of the IEEE, Physical Review A and Combustion and Flame

In The Last Decade

Rankless by CCL
2025