MARCO PALENA

Scarica il contatto come vcard Foto

Collaboratore Esterno - Borsa di studio per attività di ricerca non tassata
Docente a contratto e/o collaboratore didattico

Pubblicazioni più recenti

Cabodi, Gianpiero; Camurati, Paolo; Palena, Marco; Pasini, Paolo (2021)
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. In: Design Automation and Test in Europe (DATE), 01/02/2021, pp. 1122-1125
Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D. (2019)
Reducing interpolant circuit size through SAT-based weakening. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. ISSN 0278-0070
Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D. (2019)
Logic Synthesis for Interpolant Circuit Compaction. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 38, pp. 380-384. ISSN 0278-0070
Cantoro, Riccardo; Ghani Zadegan, Farrokh; Palena, Marco; Pasini, Paolo; Larsson, Erik; ... (2018)
Test of Reconfigurable Modules in Scan Networks. In: IEEE TRANSACTIONS ON COMPUTERS, pp. 1-1. ISSN 0018-9340
Palena, Marco (2017)
Exploiting Boolean Satisfiability Solvers for High Performance Bit-Level Model Checking. relatore: Cabodi G., 28. XXVIII Ciclo, P.: 159
Vedi tutte le pubblicazioni su Porto@Iris