default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGiovanni De Micheli
Person information
- affiliation: Swiss Federal Institute of Technology in Lausanne, Switzerland
- award (2016): Harry H. Goode Memorial Award
- award (2003): IEEE Emanuel R. Piore Award
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j187]Dewmini Sudara Marakkalage
, Giovanni De Micheli:
Fanout-Bounded Logic Synthesis for Emerging Technologies. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(5): 1415-1428 (2024)- [c432]Gianluca Radi, Alessandro Tempia Calvino, Giovanni De Micheli:
In Medio Stat Virtus*: Combining Boolean and Pattern Matching. ASPDAC 2024: 404-410 - [c431]Rassul Bairamkulov, Giovanni De Micheli:
Towards Multiphase Clocking in Single-Flux Quantum Systems. ASPDAC 2024: 582-587 - [c430]Alessandro Tempia Calvino, Giovanni De Micheli:
Algebraic and Boolean Methods for SFQ Superconducting Circuits. ASPDAC 2024: 588-593 - [c429]Rassul Bairamkulov, Mingfei Yu, Giovanni De Micheli:
Unleashing the Power of T1-cells in SFQ Arithmetic Circuits. DAC 2024: 240:1-240:6 - [c428]Siang-Yun Lee, Alessandro Tempia Calvino, Heinz Riener, Giovanni De Micheli:
Late Breaking Results: Majority-Inverter Graph Minimization by Design Space Exploration. DAC 2024: 353:1-353:2 - [c427]Rassul Bairamkulov, Siang-Yun Lee, Alessandro Tempia Calvino, Dewmini Sudara Marakkalage, Mingfei Yu, Giovanni De Micheli:
Technology-Aware Logic Synthesis for Superconducting Electronics. DATE 2024: 1-6 - [c426]Rassul Bairamkulov, Mingfei Yu, Giovanni De Micheli:
Unleashing the Power of T1-Cells in SFQ Arithmetic Circuits. DATE 2024: 1-2 - [c425]Alessandro Tempia Calvino, Giovanni De Micheli:
Scalable Logic Rewriting Using Don't Cares. DATE 2024: 1-6 - [c424]Dewmini Sudara Marakkalage, Eleonora Testa, Walter Lau Neto, Alan Mishchenko, Giovanni De Micheli, Luca G. Amarù:
Scalable Sequential Optimization Under Observability Don't Cares. DATE 2024: 1-6 - [c423]Chang Meng, Hanyu Wang, Yuqi Mai, Weikang Qian, Giovanni De Micheli:
VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting. DATE 2024: 1-6 - [c422]Hanyu Wang, Jason Cong, Giovanni De Micheli:
Quantum State Preparation Using an Exact CNOT Synthesis Formulation. DATE 2024: 1-6 - [c421]Andrea Costamagna, Alan Mishchenko, Satrajit Chatterjee, Giovanni De Micheli:
An Enhanced Resubstitution Algorithm for Area-Oriented Logic Optimization. ISCAS 2024: 1-5 - [c420]Mingfei Yu, Sergiu Carpov, Alessandro Tempia Calvino, Giovanni De Micheli:
On the Synthesis of High-performance Homomorphic Boolean Circuits. WAHC@CCS 2024: 51-63 - [i24]Hanyu Wang, Bochen Tan, Jason Cong, Giovanni De Micheli:
Quantum State Preparation Using an Exact CNOT Synthesis Formulation. CoRR abs/2401.01009 (2024) - [i23]Rassul Bairamkulov, Giovanni De Micheli:
Towards Multiphase Clocking in Single-Flux Quantum Systems. CoRR abs/2403.05884 (2024) - [i22]Rassul Bairamkulov, Mingfei Yu, Giovanni De Micheli:
Unleashing the Power of T1-cells in SFQ Arithmetic Circuits. CoRR abs/2403.05901 (2024) - [i21]Alessandro Tempia Calvino, Alan Mishchenko, Giovanni De Micheli, Robert K. Brayton:
Practical Boolean Decomposition for Delay-driven LUT Mapping. CoRR abs/2406.06241 (2024) - [i20]Mingfei Yu, Giovanni De Micheli:
Expediting Homomorphic Computation via Multiplicative Complexity-aware Multiplicative Depth Minimization. IACR Cryptol. ePrint Arch. 2024: 1015 (2024) - 2023
- [j186]Mingfei Yu, Dewmini Sudara Marakkalage, Giovanni De Micheli:
Garbled Circuits Reimagined: Logic Synthesis Unleashes Efficient Secure Computation. Cryptogr. 7(4): 61 (2023) - [j185]Giovanni De Micheli:
Strange Loops in Design and Technology: 59th DAC Keynote Speech. IEEE Des. Test 40(5): 96-103 (2023) - [j184]Andrea Costamagna, Giovanni De Micheli:
Accuracy recovery: A decomposition procedure for the synthesis of partially-specified Boolean functions. Integr. 89: 248-260 (2023) - [j183]Shubham Rai, Alessandro Tempia Calvino, Heinz Riener, Giovanni De Micheli, Akash Kumar:
Utilizing XMG-Based Synthesis to Preserve Self-Duality for RFET-Based Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(3): 914-927 (2023) - [j182]Siang-Yun Lee, Giovanni De Micheli:
Heuristic Logic Resynthesis Algorithms at the Core of Peephole Optimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(11): 3958-3971 (2023) - [c419]Giovanni De Micheli:
Logic Synthesis for Emerging Technologies. ASICON 2023: 1-4 - [c418]Alessandro Tempia Calvino, Giovanni De Micheli:
Depth-Optimal Buffer and Splitter Insertion and Optimization in AQFP Circuits. ASP-DAC 2023: 152-158 - [c417]Alessandro Tempia Calvino, Alan Mishchenko, Herman Schmit, Ethan Mahintorabi, Giovanni De Micheli, Xiaoqing Xu:
Improving Standard-Cell Design Flow using Factored Form Optimization. DAC 2023: 1-6 - [c416]Dewmini Sudara Marakkalage, Giovanni De Micheli:
Fanout-Bounded Logic Synthesis for Emerging Technologies - A Top-Down Approach. DATE 2023: 1-6 - [c415]Rassul Bairamkulov, Giovanni De Micheli:
Compound Logic Gates for Pipeline Depth Minimization in Single Flux Quantum Integrated Systems. ACM Great Lakes Symposium on VLSI 2023: 421-425 - [c414]Mingfei Yu, Giovanni De Micheli:
Generating Lower-Cost Garbled Circuits: Logic Synthesis Can Help. HOST 2023: 304-314 - [c413]Alessandro Tempia Calvino, Giovanni De Micheli:
Technology Mapping Using Multi-Output Library Cells. ICCAD 2023: 1-9 - [c412]Mingfei Yu, Giovanni De Micheli:
Striving for Both Quality and Speed: Logic Synthesis for Practical Garbled Circuits. ICCAD 2023: 1-9 - [c411]Giovanni De Micheli:
Cyclical Progress in Design and Technology. ICTA 2023: 202-203 - [c410]Rassul Bairamkulov, Alessandro Tempia Calvino, Giovanni De Micheli:
Synthesis of SFQ Circuits with Compound Gates. VLSI-SoC 2023: 1-6 - [i19]Dewmini Sudara Marakkalage, Eleonora Testa, Walter Lau Neto, Alan Mishchenko, Giovanni De Micheli, Luca G. Amarù:
Scalable Sequential Optimization Under Observability Don't Cares. CoRR abs/2311.09967 (2023) - [i18]Hanyu Wang, Siang-Yun Lee, Giovanni De Micheli:
AnySyn: A Cost-Generic Logic Synthesis Framework with Customizable Cost Functions. CoRR abs/2311.14721 (2023) - 2022
- [j181]Jie-Hong R. Jiang, Giovanni De Micheli, Kaitlin N. Smith, Mathias Soeken:
Design and Automation for Quantum Computation and Quantum Technologies. IEEE J. Emerg. Sel. Topics Circuits Syst. 12(3): 581-583 (2022) - [j180]Giovanni De Micheli, Jie-Hong R. Jiang, Robert Rand, Kaitlin N. Smith, Mathias Soeken:
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective. IEEE J. Emerg. Sel. Topics Circuits Syst. 12(3): 584-601 (2022) - [j179]Siang-Yun Lee, Heinz Riener, Alan Mishchenko, Robert K. Brayton, Giovanni De Micheli:
A Simulation-Guided Paradigm for Logic Synthesis and Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(8): 2573-2586 (2022) - [c409]Heinz Riener, Siang-Yun Lee, Alan Mishchenko, Giovanni De Micheli:
Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis. ASP-DAC 2022: 395-402 - [c408]Alessandro Tempia Calvino, Heinz Riener, Shubham Rai, Akash Kumar, Giovanni De Micheli:
A Versatile Mapping Approach for Technology Mapping and Graph Optimization. ASP-DAC 2022: 410-416 - [c407]Fereshte Mozafari, Yuxiang Yang, Giovanni De Micheli:
Efficient Preparation of Cyclic Quantum States. ASP-DAC 2022: 460-465 - [c406]Siang-Yun Lee, Heinz Riener, Giovanni De Micheli:
Beyond local optimality of buffer and splitter insertion for AQFP circuits. DAC 2022: 445-450 - [c405]Bruno Schmitt, Giovanni De Micheli:
tweedledum: A Compiler Companion for Quantum Computing. DATE 2022: 7-12 - [c404]Giulia Meuli, Vinicius N. Possani, Rajinder Singh, Siang-Yun Lee, Alessandro Tempia Calvino, Dewmini Sudara Marakkalage, Patrick Vuillod, Luca G. Amarù, Scott Chase, Jamil Kawa, Giovanni De Micheli:
Majority-based Design Flow for AQFP Superconducting Family. DATE 2022: 34-39 - [c403]Giovanni De Micheli:
Design and Optimization of Quantum Electronic Circuits. ISPD 2022: 139 - [c402]Andrea Costamagna, Giovanni De Micheli:
Logic Synthesis From Incomplete Specifications Using Disjoint Support Decomposition. PRIME 2022: 133-136 - [i17]Fereshte Mozafari, Giovanni De Micheli, Yuxiang Yang:
Efficient Deterministic Preparation of Quantum States Using Decision Diagrams. CoRR abs/2206.08588 (2022) - [i16]Siang-Yun Lee, Heinz Riener, Giovanni De Micheli:
An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications. CoRR abs/2207.13487 (2022) - [i15]Fanfan Meng, Florin Ciubotaru, S.-Y. Lee, Odysseas Zografos, M. Gupta, V. D. Nguyen, Sebastien Couet, Gouri Sankar Kar, Giovanni De Micheli, Christoph Adelmann, I. Asselberghs:
Challenges and targets of MRAM-enabled scaled spintronic logic circuits. CoRR abs/2209.01999 (2022) - 2021
- [j178]Ivan Ny Hanitra, Francesca Criscuolo, Sandro Carrara, Giovanni De Micheli:
Multi-Ion-Sensing Emulator and Multivariate Calibration Optimization by Machine Learning Models. IEEE Access 9: 46821-46836 (2021) - [j177]Giovanni De Micheli:
The Emerging Majority: Technology and Design for Superconducting Electronics. IEEE Des. Test 38(6): 79-87 (2021) - [j176]Mandresy Ivan Ny Hanitra, Francesca Criscuolo, Sandro Carrara, Giovanni De Micheli:
Real-Time Multi-Ion-Monitoring Front-End With Interference Compensation by Multi-Output Support Vector Regressor. IEEE Trans. Biomed. Circuits Syst. 15(5): 1093-1106 (2021) - [j175]Dewmini Sudara Marakkalage, Eleonora Testa, Heinz Riener, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli:
Three-Input Gates for Logic Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(10): 2184-2188 (2021) - [c401]Eleonora Testa, Siang-Yun Lee, Heinz Riener, Giovanni De Micheli:
Algebraic and Boolean Optimization Methods for AQFP Superconducting Circuits. ASP-DAC 2021: 779-785 - [c400]Luca Gaetano Amarù, Vinicius N. Possani, Eleonora Testa, Felipe S. Marranghello, Christopher Casares, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli:
LUT-Based Optimization For ASIC Design Flow. DAC 2021: 871-876 - [c399]Shubham Rai, Heinz Riener, Giovanni De Micheli, Akash Kumar:
Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies. DATE 2021: 354-359 - [c398]Bruno Schmitt, Ali Javadi-Abhari, Giovanni De Micheli:
Compilation flow for classically defined quantum operations. DATE 2021: 964-967 - [c397]Bruno Schmitt, Fereshte Mozafari, Giulia Meuli, Heinz Riener, Giovanni De Micheli:
From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++. DATE 2021: 1044-1049 - [c396]Siang-Yun Lee, Heinz Riener, Giovanni De Micheli:
Logic Resynthesis of Majority-Based Circuits by Top-Down Decomposition. DDECS 2021: 105-110 - [c395]Dewmini Sudara Marakkalage, Heinz Riener, Giovanni De Micheli:
Optimizing Adiabatic Quantum-Flux-Parametron (AQFP) Circuits using an Exact Database. NANOARCH 2021: 1-6 - [i14]Siang-Yun Lee, Heinz Riener, Giovanni De Micheli:
Irredundant Buffer and Splitter Insertion and Scheduling-Based Optimization for AQFP Circuits. CoRR abs/2109.00291 (2021) - 2020
- [j174]Eleonora Testa, Luca G. Amarù, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Extending Boolean Methods for Scalable Logic Synthesis. IEEE Access 8: 226828-226844 (2020) - [j173]Giovanni De Micheli, Antun Domic, Massimiliano Di Ventra, Martin Roettler, Jason Cong:
2019 DAC Roundtable. IEEE Des. Test 37(3): 100-114 (2020) - [j172]Sankar Basu, Randal E. Bryant, Giovanni De Micheli, Thomas N. Theis, Lloyd Whitman:
Nonsilicon, Non-von Neumann Computing - Part II. Proc. IEEE 108(8): 1211-1218 (2020) - [j171]Winston Haaswijk, Mathias Soeken, Alan Mishchenko, Giovanni De Micheli:
SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(4): 871-884 (2020) - [j170]Zhufei Chu, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli:
Advanced Functional Decomposition Using Majority and Its Applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(8): 1621-1634 (2020) - [c394]Luca G. Amarù, Felipe S. Marranghello, Eleonora Testa, Christopher Casares, Vinicius N. Possani, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli:
SAT-Sweeping Enhanced for Logic Synthesis. DAC 2020: 1-6 - [c393]Eleonora Testa, Samantha Lubaba Noor, Odysseas Zografos, Mathias Soeken, Francky Catthoor, Azad Naeemi, Giovanni De Micheli:
Multiplier Architectures: Challenges and Opportunities with Plasmonic-based Logic : (Special Session Paper). DATE 2020: 133-138 - [c392]Eleonora Testa, Mathias Soeken, Heinz Riener, Luca G. Amarù, Giovanni De Micheli:
A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks. DATE 2020: 568-573 - [c391]Ivan Ny Hanitra, Danilo Demarchi, Sandro Carrara, Giovanni De Micheli:
Emulator Design and Generation of Synthetic Dataset in Multi-Ion Sensing. ISCAS 2020: 1-5 - [c390]Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli:
Enumerating Optimal Quantum Circuits using Spectral Classification. ISCAS 2020: 1-5 - [c389]Bruno Schmitt, Mathias Soeken, Giovanni De Micheli:
Symbolic Algorithms for Token Swapping. ISMVL 2020: 28-33 - [c388]Fereshte Mozafari, Mathias Soeken, Heinz Riener, Giovanni De Micheli:
Automatic Uniform Quantum State Preparation Using Decision Diagrams. ISMVL 2020: 170-175 - [e6]Carolina Metzler, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Carlos Silva Cárdenas, Ricardo Reis:
VLSI-SoC: New Technology Enabler - 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6-9, 2019, Revised and Extended Selected Papers. IFIP Advances in Information and Communication Technology 586, Springer 2020, ISBN 978-3-030-53272-7 [contents] - [i13]Siang-Yun Lee, Heinz Riener, Alan Mishchenko, Robert K. Brayton, Giovanni De Micheli:
Simulation-Guided Boolean Resubstitution. CoRR abs/2007.02579 (2020) - [i12]Eleonora Testa, Mathias Soeken, Heinz Riener, Luca G. Amarù, Giovanni De Micheli:
A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks. IACR Cryptol. ePrint Arch. 2020: 706 (2020)
2010 – 2019
- 2019
- [j169]Sankar Basu, Randal E. Bryant, Giovanni De Micheli, Thomas N. Theis, Lloyd Whitman:
Nonsilicon, Non-von Neumann Computing - Part I [Scanning the Issue]. Proc. IEEE 107(1): 11-18 (2019) - [j168]Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù, Giovanni De Micheli:
Logic Synthesis for Established and Emerging Computing. Proc. IEEE 107(1): 165-184 (2019) - [j167]Francesca Criscuolo, Irene Taurino, Van Anh Dam, Francky Catthoor, Marcel Zevenbergen, Sandro Carrara, Giovanni De Micheli:
Fast Procedures for the Electrodeposition of Platinum Nanostructures on Miniaturized Electrodes for Improved Ion Sensing. Sensors 19(10): 2260 (2019) - [j166]Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù, Winston Haaswijk, Giovanni De Micheli:
Mapping Monotone Boolean Functions into Majority. IEEE Trans. Computers 68(5): 791-797 (2019) - [j165]Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli:
LUT-Based Hierarchical Reversible Logic Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(9): 1675-1688 (2019) - [j164]Xifan Tang, Edouard Giacomin, Giovanni De Micheli, Pierre-Emmanuel Gaillardon:
FPGA-SPICE: A Simulation-Based Architecture Evaluation Framework for FPGAs. IEEE Trans. Very Large Scale Integr. Syst. 27(3): 637-650 (2019) - [j163]Giovanni V. Resta, Alessandra Leonhardt, Yashwanth Balaji, Stefan De Gendt, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Devices and Circuits Using Novel 2-D Materials: A Perspective for Future VLSI Systems. IEEE Trans. Very Large Scale Integr. Syst. 27(7): 1486-1503 (2019) - [c387]Zhufei Chu, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli:
Structural rewriting in XOR-majority graphs. ASP-DAC 2019: 663-668 - [c386]Mohsen Imani, Justin Morris, Samuel Bosch, Helen Shu, Giovanni De Micheli, Tajana Rosing:
AdaptHD: Adaptive Efficient Training for Brain-Inspired Hyperdimensional Computing. BioCAS 2019: 1-4 - [c385]Heinz 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. DAC 2019: 70 - [c384]Eleonora Testa, Mathias Soeken, Luca G. Amarù, Giovanni De Micheli:
Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications. DAC 2019: 74 - [c383]Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj S. Bjørner, Giovanni De Micheli:
Reversible Pebbling Game for Quantum Memory Management. DATE 2019: 288-291 - [c382]Mathias Soeken, Fereshte Mozafari, Bruno Schmitt, Giovanni De Micheli:
Compiling Permutations for Superconducting QPUs. DATE 2019: 1349-1354 - [c381]Eleonora 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. DATE 2019: 1643-1648 - [c380]Heinz Riener, Winston Haaswijk, Alan Mishchenko, Giovanni De Micheli, Mathias Soeken:
On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis. DATE 2019: 1649-1654 - [c379]Giulia Meuli, Mathias Soeken, Earl T. Campbell, Martin Roetteler, Giovanni De Micheli:
The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits. ICCAD 2019: 1-8 - [c378]Francesca Criscuolo, Filippo Cantù, Irene Taurino, Sandro Carrara, Giovanni De Micheli:
Flexible sweat sensors for non-invasive optimization of lithium dose in psychiatric disorders. IEEE SENSORS 2019: 1-4 - [c377]Zhufei Chu, Winston Haaswijk, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli:
Exact Synthesis of Boolean Functions in Majority-of-Five Forms. ISCAS 2019: 1-5 - [c376]Ioulia Tzouvadaki, Nima Aliakbarinodehi, Diana Dávila Pineda, Giovanni De Micheli, Sandro Carrara:
Direct and Catalyst-Free Growth of Vertically-Stacked Graphene-Based Structures for Enhanced Drug Sensing. ISCAS 2019: 1-5 - [c375]Bruno Schmitt, Mathias Soeken, Giovanni De Micheli, Alan Mishchenko:
Scaling-up ESOP Synthesis for Quantum Compilation. ISMVL 2019: 13-18 - [c374]Debjyoti Bhattacharjee, Mathias Soeken, Srijit Dutta, Anupam Chattopadhyay, Giovanni De Micheli:
Reversible Pebble Games for Reducing Qubits in Hierarchical Quantum Circuit Synthesis. ISMVL 2019: 102-107 - [c373]Francesca Criscuolo, Marco Galfione, Sandro Carrara, Giovanni De Micheli:
All-solid-state Reference Electrodes for analytical applications. IWASI 2019: 66-69 - [c372]Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken:
Logic Optimization of Majority-Inverter Graphs. MBMV 2019: 1-4 - [c371]Ivan Ny Hanitra, Francesca Criscuolo, Sandro Carrara, Giovanni De Micheli:
Multi-Target Electrolyte Sensing Front-End for Wearable Physical Monitoring. PRIME 2019: 249-252 - [c370]Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli:
Evaluating ESOP Optimization Methods in Quantum Compilation Flows. RC 2019: 191-206 - [c369]Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli:
ROS: Resource-constrained Oracle Synthesis for Quantum Computers. QPL 2019: 119-130 - [p7]Davide Sacchetto, Pierre-Emmanuel Gaillardon, Yusuf Leblebici, Giovanni De Micheli:
Memory Effects in Multi-terminal Solid State Devices and Their Applications. Handbook of Memristor Networks 2019: 1021-1064 - [i11]Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj S. Bjørner, Giovanni De Micheli:
Reversible Pebbling Game for Quantum Memory Management. CoRR abs/1904.02121 (2019) - [i10]Giulia Meuli, Mathias Soeken, Earl T. Campbell, Martin Roetteler, Giovanni De Micheli:
The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits. CoRR abs/1908.01609 (2019) - [i9]Samuel Bosch, Alexander Sanchez de la Cerda, Mohsen Imani, Tajana Simunic Rosing, Giovanni De Micheli:
QubitHD: A Stochastic Acceleration Method for HD Computing-Based Machine Learning. CoRR abs/1911.12446 (2019) - 2018
- [j162]Stefanos Skalistis, Federico Angiolini, Giovanni De Micheli, Alena Simalatsar:
Safe and Efficient Deployment of Data-Parallelizable Applications on Many-Core Platforms: Theory and Practice. IEEE Des. Test 35(4): 7-15 (2018) - [j161]Xifan Tang, Edouard Giacomin, Giovanni De Micheli, Pierre-Emmanuel Gaillardon:
Post-P&R Performance and Power Analysis for RRAM-Based FPGAs. IEEE J. Emerg. Sel. Topics Circuits Syst. 8(3): 639-650 (2018) - [j160]Mathias Soeken, Eleonora Testa, Alan Mishchenko, Giovanni De Micheli:
Pairs of majority-decomposing functions. Inf. Process. Lett. 139: 35-38 (2018) - [j159]Aya Ibrahim, Shuping Zhang, Federico Angiolini, Marcel Arditi, Shinji Kimura, Satoshi Goto, Jean-Philippe Thiran, Giovanni De Micheli:
Towards Ultrasound Everywhere: A Portable 3D Digital Back-End Capable of Zone and Compound Imaging. IEEE Trans. Biomed. Circuits Syst. 12(5): 968-981 (2018) - [j158]Francesca Stradolini, Abuduwaili Tuoheti, Tugba Kilic, Sofia Lydia Ntella, Nadia Tamburrano, Zijian Huang, Giovanni De Micheli, Danilo Demarchi, Sandro Carrara:
An IoT Solution for Online Monitoring of Anesthetics in Human Serum Based on an Integrated Fluidic Bioelectronic System. IEEE Trans. Biomed. Circuits Syst. 12(5): 1056-1064 (2018) - [c368]