Giovanni De Micheli

MaRDI QIDQ929158zbMATH OpenDBLPORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Faster homomorphic operations and beyond: expediting homomorphic computation via Boolean circuit optimization Journal of Cryptology	2025-12-16	Paper
Exact Synthesis of ESOP Forms Advanced Boolean Techniques	2024-01-23	Paper
scientific article; zbMATH DE number 7453177 (Why is no real title available?)	2022-01-06	Paper
scientific article; zbMATH DE number 7453177 (Why is no real title available?) (available as arXiv preprint)	2022-01-06	Paper
scientific article; zbMATH DE number 7453178 (Why is no real title available?)	2022-01-06	Paper
scientific article; zbMATH DE number 7453178 (Why is no real title available?) (available as arXiv preprint)	2022-01-06	Paper
Boolean satisfiability in quantum compilation Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences	2021-06-15	Paper
Evaluating ESOP Optimization Methods in Quantum Compilation Flows Reversible Computation	2019-10-17	Paper
Mapping Monotone Boolean Functions into Majority IEEE Transactions on Computers	2019-08-13	Paper
Pairs of majority-decomposing functions Information Processing Letters	2018-10-19	Paper
SAT-based {CNOT, \(T\)} quantum circuit synthesis	2018-10-17	Paper
Dynamic power management for nonstationary service requests IEEE Transactions on Computers	2018-07-09	Paper
Computing Accurate Performance Bounds for Best Effort Networks-on-Chip IEEE Transactions on Computers	2017-07-12	Paper
A Sound and Complete Axiomatization of Majority- Logic IEEE Transactions on Computers	2017-05-16	Paper
Heuristic NPN classification for large functions using AIGs and LEXSAT Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper
Enumeration of reversible functions and its application to circuit complexity Reversible Computation	2016-08-10	Paper
Joint co-clustering: Co-clustering of genomic and clinical bioimaging data Computers & Mathematics with Applications	2008-06-12	Paper
Hardware/software co-design of run-time schedulers for real-time systems Design Automation for Embedded Systems	2003-02-17	Paper
scientific article; zbMATH DE number 1110629 (Why is no real title available?)	1998-01-27	Paper
Optimizing the control-unit through the resynchronization of operations Integration	1993-01-13	Paper
Characterization of integration algorithms for the timing analysis of mos vlsi circuits International Journal of Circuit Theory and Applications	1982-01-01	Paper
Computer-Oriented Formulation of Transition-Rate Matrices via Kronecker Algebra IEEE Transactions on Reliability	1981-01-01	Paper

Research outcomes over time

This page was built for person: Giovanni De Micheli