Giovanni De Micheli

Available identifiers

Publication	Date of Publication	Type
Exact Synthesis of ESOP Forms	2024-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q5020632	2022-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q5020633	2022-01-06	Paper
Boolean satisfiability in quantum compilation	2021-06-15	Paper
Evaluating ESOP Optimization Methods in Quantum Compilation Flows	2019-10-17	Paper
Mapping Monotone Boolean Functions into Majority	2019-08-13	Paper
Pairs of majority-decomposing functions	2018-10-19	Paper
SAT-based {CNOT, \(T\)} quantum circuit synthesis	2018-10-17	Paper
Dynamic power management for nonstationary service requests	2018-07-09	Paper
Computing Accurate Performance Bounds for Best Effort Networks-on-Chip	2017-07-12	Paper
A Sound and Complete Axiomatization of Majority- Logic	2017-05-16	Paper
Heuristic NPN classification for large functions using AIGs and LEXSAT	2016-09-05	Paper
Enumeration of reversible functions and its application to circuit complexity	2016-08-10	Paper
Joint co-clustering: Co-clustering of genomic and clinical bioimaging data	2008-06-12	Paper
Hardware/software co-design of run-time schedulers for real-time systems	2003-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4375171	1998-01-27	Paper
Optimizing the control-unit through the resynchronization of operations	1993-01-13	Paper
Characterization of integration algorithms for the timing analysis of mos vlsi circuits	1982-01-01	Paper
Computer-Oriented Formulation of Transition-Rate Matrices via Kronecker Algebra	1981-01-01	Paper

This page was built for person: Giovanni De Micheli