| Verifying UML/OCL models using Boolean satisfiability M Soeken, R Wille, M Kuhlmann, M Gogolla, R Drechsler Proceedings of the Conference on Design, Automation and Test in Europe, 1341 …, 2010 | 185 | 2010 |
| Assessing requirements to scale to practical quantum advantage ME Beverland, P Murali, M Troyer, KM Svore, T Hoeffler, V Kliuchnikov, ... arXiv preprint arXiv:2211.07629, 2022 | 182 | 2022 |
| Assisted behavior driven development using natural language processing M Soeken, R Wille, R Drechsler International Conference on Modelling Techniques and Tools for Computer …, 2012 | 141 | 2012 |
| The EPFL logic synthesis libraries M Soeken, H Riener, W Haaswijk, E Testa, B Schmitt, G Meuli, F Mozafari, ... arXiv preprint arXiv:1805.05121, 2018 | 138 | 2018 |
| 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 | 138 | 2012 |
| 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 | 137 | 2012 |
| Quantum programming languages B Heim, M Soeken, S Marshall, C Granade, M Roetteler, A Geller, ... Nature Reviews Physics 2 (12), 709-722, 2020 | 123 | 2020 |
| 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 | 116 | 2018 |
| 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 | 116 | 2017 |
| Improved quantum circuits for elliptic curve discrete logarithms T Häner, S Jaques, M Naehrig, M Roetteler, M Soeken International Conference on Post-Quantum Cryptography, 425-444, 2020 | 104 | 2020 |
| Formal Verification of Integer Multipliers by Combining Grobner Basis with Logic Reduction A Sayed-Ahmed, D Große, U Kühne, M Soeken, R Drechsler | 104* | |
| 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 | 98 | 2011 |
| 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 | 94 | 2016 |
| A Novel Basis for Logic Rewriting W Haaswijk, M Soeken, L Amaru, PE Gaillardon, G De Micheli Proceedings of the 22nd Asia and South Pacific Design Automation Conference …, 2017 | 83 | 2017 |
| Approximation-aware Rewriting of AIGs for Error Tolerant Applications A Chandrasekharan, M Soeken, D Große, R Drechsler | 82* | |
| Verifying dynamic aspects of UML models. M Soeken, R Wille, R Drechsler DATE, 1077-1082, 2011 | 81 | 2011 |
| 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 | 80 | 2010 |
| On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis H Riener, W Haaswijk, A Mishchenko, G De Micheli, M Soeken | 78* | |
| BDD Minimization for Approximate Computing M Soeken, D Große, A Chandrasekharan, R Drechsler | 73* | |
| 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 | 71 | 2019 |
Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyVerified email at uni-bremen.de
Giovanni De MicheliEPFL, StanfordVerified email at epfl.ch
Robert WilleTechnical University of Munich and SCCH GmbHVerified email at tum.de
Luca AmarùExecutive Director, R&D at Synopsys Inc.Verified email at synopsys.com
Eleonora TestaSynopsys IncVerified email at synopsys.com
Martin RoettelerIonQVerified email at ionq.co
Pierre - Emmanuel GAILLARDONProfessor, University of UtahVerified email at utah.edu
Winston HaaswijkEPFLVerified email at epfl.ch
Daniel GrosseFull Professor at Johannes Kepler University LinzVerified email at jku.at
David Michael MillerProfessor Emeritus of Computer Science, University of VictoriaVerified email at uvic.ca
Thomas HänerAmazon Web Services (AWS)Verified email at amazon.com
Giulia MeuliSenior R&D Engineer, Synopsys IncVerified email at synopsys.com
Saeideh ShirinzadehUniversity of BremenVerified email at uni-bremen.deNabila AbdessaiedUniversity of BremenVerified email at informatik.uni-bremen.de
Krysta M. SvorePrincipal Research Manager, Microsoft ResearchVerified email at microsoft.com
Ulrich KühneTélécom ParisTechVerified email at telecom-paristech.fr
Melanie DiepenbeckResearcher, Bremen UniversityVerified email at informatik.uni-bremen.de
