The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mathias Soeken" ( http://dblp.L3S.de/Authors/Mathias_Soeken )

URL (Homepage):  http://msoeken.github.io/  Author page on DBLP  Author page in RDF  Community of Mathias Soeken in ASPL-2

Publication years (Num. hits)
2008-2012 (28) 2013 (16) 2014 (15) 2015-2016 (43) 2017 (17) 2018 (22) 2019 (18)
Publication types (Num. hits)
article(33) book(1) inproceedings(123) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
DATE(20) ISMVL(15) RC(14) CoRR(13) DAC(9) ASP-DAC(8) MBMV(7) ICCAD(6) DDECS(5) ISCAS(4) FDL(3) IEEE Trans. on CAD of Integrat...(3) Inf. Process. Lett.(3) ISVLSI(3) TAP(3) FMCAD(2) More (+10 of total 50)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 160 publication records. Showing 159 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù, Winston Haaswijk, Giovanni De Micheli Mapping Monotone Boolean Functions into Majority. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli LUT-Based Hierarchical Reversible Logic Synthesis. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giulia Meuli, Mathias Soeken, Earl Campbell, Martin Roetteler, Giovanni De Micheli The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Mathias Soeken Using ZDDs in the mapping of quantum circuits. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli Reversible Pebbling Game for Quantum Memory Management. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù, Giovanni De Micheli Logic Synthesis for Established and Emerging Computing. Search on Bibsonomy Proceedings of the IEEE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Kirkedal Thomsen, Mathias Soeken (eds.) Reversible Computation - 11th International Conference, RC 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings Search on Bibsonomy RC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli Reversible Pebbling Game for Quantum Memory Management. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Heinz Riener, Winston Haaswijk, Alan Mishchenko, Giovanni De Micheli, Mathias Soeken On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eleonora Testa, Luca G. Amarù, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Jiong Luo, Christopher Casares, Pierre-Emmanuel Gaillardon, Giovanni De Micheli Scalable Boolean Methods in a Modern Synthesis Flow. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Fereshte Mozafari, Bruno Schmitt, Giovanni De Micheli Compiling Permutations for Superconducting QPUs. Search on Bibsonomy DATE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhufei Chu, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli Structural rewriting in XOR-majority graphs. Search on Bibsonomy ASP-DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken Logic Optimization of Majority-Inverter Graphs. Search on Bibsonomy MBMV The full citation details ... 2019 DBLP  BibTeX  RDF
1Bruno Schmitt, Mathias Soeken, Giovanni De Micheli, Alan Mishchenko Scaling-up ESOP Synthesis for Quantum Compilation. Search on Bibsonomy ISMVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Debjyoti Bhattacharjee, Mathias Soeken, Srijit Dutta, Anupam Chattopadhyay, Giovanni De Micheli Reversible Pebble Games for Reducing Qubits in Hierarchical Quantum Circuit Synthesis. Search on Bibsonomy ISMVL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhufei Chu, Winston Haaswijk, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli Exact Synthesis of Boolean Functions in Majority-of-Five Forms. Search on Bibsonomy ISCAS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eleonora Testa, Mathias Soeken, Luca G. Amarù, Giovanni De Micheli Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications. Search on Bibsonomy DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken Scalable Generic Logic Synthesis: One Approach to Rule Them All. Search on Bibsonomy DAC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Melanie Diepenbeck, Ulrich Kühne, Mathias Soeken, Daniel Große, Rolf Drechsler Behaviour Driven Development for Hardware Design. Search on Bibsonomy IPSJ Trans. System LSI Design Methodology The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Oliver Keszöcze, Mathias Soeken, Rolf Drechsler The complexity of error metrics. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Eleonora Testa, Alan Mishchenko, Giovanni De Micheli Pairs of majority-decomposing functions. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler Logic Synthesis for RRAM-Based In-Memory Computing. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Thomas Häner, Martin Roetteler Programming Quantum Computers Using Design Automation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Mathias Soeken, Heinz Riener, Winston Haaswijk, Giovanni De Micheli The EPFL Logic Synthesis Libraries. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore Quantum circuits for floating-point arithmetic. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Thomas Häner, Mathias Soeken, Martin Roetteler, Krysta M. Svore Quantum Circuits for Floating-Point Arithmetic. Search on Bibsonomy RC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giulia Meuli, Mathias Soeken, Giovanni De Micheli SAT-based {CNOT, T} Quantum Circuit Synthesis. Search on Bibsonomy RC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Thomas Häner, Martin Roetteler Programming quantum computers using design automation. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Winston Haaswijk, Eleonora Testa, Alan Mishchenko, Luca Gaetano Amarù, Robert K. Brayton, Giovanni De Micheli Practical exact synthesis. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca Gaetano Amarù, Mathias Soeken, Patrick Vuillod, Jiong Luo, Alan Mishchenko, Janet Olson, Robert K. Brayton, Giovanni De Micheli Improvements to boolean resynthesis. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zhufei Chu, Mathias Soeken, Yinshui Xia, Giovanni De Micheli Functional decomposition using majority. Search on Bibsonomy ASP-DAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giulia Meuli, Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis. Search on Bibsonomy ASP-DAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Winston Haaswijk, Luca Gaetano Amarù, Patrick Vuillod, Jiong Luo, Mathias Soeken, Giovanni De Micheli Integrated ESOP Refactoring for Industrial Designs. Search on Bibsonomy ICECS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Luca G. Amarù, Eleonora Testa, Miguel Couceiro, Odysseas Zografos, Giovanni De Micheli, Mathias Soeken Majority logic synthesis. Search on Bibsonomy ICCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Heinz Riener, Eleonora Testa, Luca G. Amarù, Mathias Soeken, Giovanni De Micheli Size Optimization of MIGs with an Application to QCA and STMG Technologies. Search on Bibsonomy NANOARCH The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wouter Castryck, Jeroen Demeyer, Alexis De Vos, Oliver Keszöcze, Mathias Soeken Translating Between the Roots of the Identity in Quantum Computers. Search on Bibsonomy ISMVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1D. Michael Miller, Mathias Soeken A Spectral Algorithm for Ternary Function Classification. Search on Bibsonomy ISMVL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Winston Haaswijk, Edo Collins, Benoit Seguin, Mathias Soeken, Frédéric Kaplan, Sabine Süsstrunk, Giovanni De Micheli Deep Learning for Logic Optimization Algorithms. Search on Bibsonomy ISCAS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Winston Haaswijk, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli SAT based exact synthesis using DAG topology families. Search on Bibsonomy DAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alan Mishchenko, Robert K. Brayton, Ana Petkovska, Mathias Soeken, Luca G. Amarù, Antun Domic Canonical computation without canonical representation. Search on Bibsonomy DAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Pierre-Emmanuel Gaillardon, Saeideh Shirinzadeh, Rolf Drechsler, Giovanni De Micheli A PLiM Computer for the Internet of Things. Search on Bibsonomy IEEE Computer The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli Exact Synthesis of Majority-Inverter Graphs and Its Applications. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Heinz Riener, Finn Haedicke, Stefan Frehse, Mathias Soeken, Daniel Große, Rolf Drechsler, Görschwin Fey metaSMT: focus on your application and not on solver integration. Search on Bibsonomy STTT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli Logic Synthesis for Quantum Computing. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Eleonora Testa, Odysseas Zografos, Mathias Soeken, Adrien Vaysset, Mauricio Manfrini, Rudy Lauwereins, Giovanni De Micheli Inverter Propagation and Fan-Out Constraints for Beyond-CMOS Majority-Based Technologies. Search on Bibsonomy ISVLSI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli Design automation and design space exploration for quantum computers. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Rolf Drechsler Endurance management for resistive Logic-In-Memory computing architectures. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Giovanni De Micheli, Alan Mishchenko Busy man's synthesis: Combinational delay optimization with SAT. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Odysseas Zografos, A. De Meester, Eleonora Testa, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Luca Gaetano Amarù, Praveen Raghavan, Francky Catthoor, Rudy Lauwereins Wave pipelining for majority-based beyond-CMOS technologies. Search on Bibsonomy DATE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Winston Haaswijk, Mathias Soeken, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli A novel basis for logic rewriting. Search on Bibsonomy ASP-DAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Gaetano Amarù, Mathias Soeken, Winston Haaswijk, Eleonora Testa, Patrick Vuillod, Jiong Luo, Pierre-Emmanuel Gaillardon, Giovanni De Micheli Multi-level logic benchmarks: An exactness study. Search on Bibsonomy ASP-DAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Gaetano Amarù, Mathias Soeken, Patrick Vuillod, Jiong Luo, Alan Mishchenko, Pierre-Emmanuel Gaillardon, Janet Olson, Robert K. Brayton, Giovanni De Micheli Enabling exact delay synthesis. Search on Bibsonomy ICCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler An adaptive prioritized ε-preferred evolutionary algorithm for approximate BDD optimization. Search on Bibsonomy GECCO The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Winston Haaswijk, Eleonora Testa, Mathias Soeken, Giovanni De Micheli Classifying Functions with Exact Synthesis. Search on Bibsonomy ISMVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli RM3 based logic synthesis (Special session paper). Search on Bibsonomy ISCAS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhufei Chu, Xifan Tang, Mathias Soeken, Ana Petkovska, Grace Zgheib, Luca Gaetano Amarù, Yinshui Xia, Paolo Ienne, Giovanni De Micheli, Pierre-Emmanuel Gaillardon Improving Circuit Mapping Performance Through MIG-based Synthesis for Carry Chains. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli Hierarchical Reversible Logic Synthesis Using LUTs. Search on Bibsonomy DAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Robert Wille, Eleonora Schönborn, Mathias Soeken, Rolf Drechsler SyReC: A hardware description language for the specification and synthesis of reversible circuits. Search on Bibsonomy Integration The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nabila Abdessaied, Matthew Amy, Rolf Drechsler, Mathias Soeken Complexity of reversible circuits and their quantum implementations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Robert Wille, Oliver Keszöcze, D. Michael Miller, Rolf Drechsler Embedding of Large Boolean Functions for Reversible Logic. Search on Bibsonomy JETC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Martin Rötteler, Nathan Wiebe, Giovanni De Micheli Design Automation and Design Space Exploration for Quantum Computers. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Nils Przigoda, Mathias Soeken, Robert Wille, Rolf Drechsler Verifying the structure and behavior in UML/OCL models using satisfiability solvers. Search on Bibsonomy IET Cyper-Phys. Syst.: Theory & Appl. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Laura Tague, Gerhard W. Dueck, Rolf Drechsler Ancilla-free synthesis of large reversible functions using binary decision diagrams. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Gerhard W. Dueck, D. Michael Miller A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis. Search on Bibsonomy RC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli Enumeration of Reversible Functions and Its Application to Circuit Complexity. Search on Bibsonomy RC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saeideh Shirinzadeh, Mathias Soeken, Rolf Drechsler Multi-objective BDD optimization for RRAM based circuit design. Search on Bibsonomy DDECS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amr A. R. Sayed-Ahmed, Daniel Große, Ulrich Kühne, Mathias Soeken, Rolf Drechsler Formal verification of integer multipliers by combining Gröbner basis with logic reduction. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler Fast logic synthesis for RRAM-based in-memory computing using Majority-Inverter Graphs. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Mathias Soeken, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli Optimizing Majority-Inverter Graphs with functional hashing. Search on Bibsonomy DATE The full citation details ... 2016 DBLP  BibTeX  RDF
1Mathias Soeken, Daniel Große, Arun Chandrasekharan, Rolf Drechsler BDD minimization for approximate computing. Search on Bibsonomy ASP-DAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arun Chandrasekharan, Daniel Große, Mathias Soeken, Rolf Drechsler Symbolic Error Metric Determination for Approximate Computing. Search on Bibsonomy MBMV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ana Petkovska, Mathias Soeken, Giovanni De Micheli, Paolo Ienne, Alan Mishchenko Fast hierarchical NPN classification. Search on Bibsonomy FPL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Johanna Sepúlveda, Daniel Florez, Mathias Soeken, Jean-Philippe Diguet, Guy Gogniat Dynamic NoC buffer allocation for MPSoC timing side channel attack protection. Search on Bibsonomy LASCAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Alan Mishchenko, Ana Petkovska, Baruch Sterin, Paolo Ienne, Robert K. Brayton, Giovanni De Micheli Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arun Chandrasekharan, Mathias Soeken, Daniel Große, Rolf Drechsler Approximation-aware rewriting of AIGs for error tolerant applications. Search on Bibsonomy ICCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ana Petkovska, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli, Robert K. Brayton, Paolo Ienne Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications. Search on Bibsonomy ICCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Sandip Ray, Ian G. Harris, Görschwin Fey, Mathias Soeken Multilevel design understanding: from specification to logic (invited paper). Search on Bibsonomy ICCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saeideh Shirinzadeh, Mathias Soeken, Daniel Große, Rolf Drechsler Approximate BDD Optimization with Prioritized ε-Preferred Evolutionary Algorithm. Search on Bibsonomy GECCO (Companion) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eleonora Testa, Mathias Soeken, Odysseas Zografos, Luca Gaetano Amarù, Praveen Raghavan, Rudy Lauwereins, Pierre-Emmanuel Gaillardon, Giovanni De Micheli Inversion optimization in Majority-Inverter Graphs. Search on Bibsonomy NANOARCH The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nabila Abdessaied, Matthew Amy, Mathias Soeken, Rolf Drechsler Technology Mapping of Reversible Circuits to Clifford+T Quantum Circuits. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anupam Chattopadhyay, Luca Gaetano Amarù, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli Notes on Majority Boolean Algebra. Search on Bibsonomy ISMVL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker 0001, Giovanni De Micheli, Matthias Sauer 0002 SAT-Based Combinational and Sequential Dependency Computation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Gerhard W. Dueck, Md. Mazder Rahman, D. Michael Miller An extension of transformation-based reversible and quantum circuit synthesis. Search on Bibsonomy ISCAS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Amr A. R. Sayed-Ahmed, Daniel Große, Mathias Soeken, Rolf Drechsler Equivalence checking using Gröbner bases. Search on Bibsonomy FMCAD The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arun Chandrasekharan, Mathias Soeken, Daniel Große, Rolf Drechsler Precise error determination of approximated components in sequential circuits with model checking. Search on Bibsonomy DAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Saeideh Shirinzadeh, Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Rolf Drechsler, Giovanni De Micheli An MIG-based compiler for programmable logic-in-memory architectures. Search on Bibsonomy DAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Anupam Chattopadhyay Unlocking efficiency and scalability of reversible logic synthesis using conventional logic synthesis. Search on Bibsonomy DAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Esther Guerra, Mathias Soeken Specification-driven model transformation testing. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Michael Kirkedal Thomsen, Gerhard W. Dueck, D. Michael Miller Self-Inverse Functions and Palindromic Circuits. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Mathias Soeken, Rolf Drechsler Formal Specification Level - Concepts, Methods, and Algorithms. Search on Bibsonomy 2015   DOI  RDF
1Nabila Abdessaied, Mathias Soeken, Rolf Drechsler Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition. Search on Bibsonomy RC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics. Search on Bibsonomy RC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Arman Allahyari-Abhari, Mathias Soeken, Rolf Drechsler Requirement Phrasing Assistance Using Automatic Quality Assessment. Search on Bibsonomy DDECS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nabila Abdessaied, Mathias Soeken, Gerhard W. Dueck, Rolf Drechsler Reversible circuit rewriting with simulated annealing. Search on Bibsonomy VLSI-SoC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saeideh Shirinzadeh, Mathias Soeken, Rolf Drechsler Multi-Objective BDD Optimization with Evolutionary Algorithms. Search on Bibsonomy GECCO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Julia Seiter, Rolf Drechsler Coverage of OCL Operation Specifications and Invariants. Search on Bibsonomy TAP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Md. Mazder Rahman, Mathias Soeken, Gerhard W. Dueck Dynamic Template Matching with Mixed-Polarity Toffoli Gates. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mathias Soeken, Anupam Chattopadhyay Fredkin-Enabled Transformation-Based Reversible Logic Synthesis. Search on Bibsonomy ISMVL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nils Przigoda, Judith Peters, Mathias Soeken, Robert Wille, Rolf Drechsler Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses. Search on Bibsonomy MoDeVVa@MoDELS The full citation details ... 2015 DBLP  BibTeX  RDF
1Mathias Soeken, Baruch Sterin, Rolf Drechsler, Robert K. Brayton Reverse Engineering with Simulation Graphs. Search on Bibsonomy FMCAD The full citation details ... 2015 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 159 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license