A method to design MMICs for high production yields. - Massimo Comparini; Andrea Di Pasquale; Marziale Feudale; Agostino Giorgio; Anna Gina Perri (ICECS, 2002)

Kriging interpolation on GB-SAR data to quickly update topographic maps in areas prone to slope instability. - Pietro Guccione; Mariantonietta Zonno; Giovanni Nico; Marco Nicoletti; Andrea Di Pasquale (IGARSS, 2013)

Impact of focusing of Ground Based SAR data on the quality of interferometric SAR applications. - Mariantonietta Zonno; Luigi Mascolo; Pietro Guccione; Giovanni Nico; Andrea Di Pasquale (SAR, 2014)

Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. - Danilo Bruschi; Andrea Di Pasquale; Silvio Ghilardi; Andrea Lanzi; Elena Pagani (IFM, 2017)

Monitoring Strategies of Earth Dams by Ground-Based Radar Interferometry: How to Extract Useful Information for Seismic Risk Assessment. - Andrea Di Pasquale; Giovanni Nico; Alfredo Pitullo; Giuseppina Prezioso (Sensors, 2018)

GIScience and Historical Cartography for Evaluating Land Use Changes and Resulting Effects on Carbon Balance. - Canio Manniello; Giuseppe Cillis; Dina Statuto; Andrea Di Pasquale; Pietro Picuno (ISPRS Int. J. Geo Inf., 2022)

A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks. - Danilo Bruschi; Andrea Di Pasquale; Silvio Ghilardi; Andrea Lanzi; Elena Pagani (IEEE Trans. Dependable Secur. Comput., 2022)

Quantum simulation with just-in-time compilation. - Stavros Efthymiou; Marco Lazzarin; Andrea Di Pasquale; Stefano Carrazza (Quantum, 2022)

Product Jacobi-Theta Boltzmann machines with score matching. - Andrea Di Pasquale; Daniel Krefl; Stefano Carrazza; Frank Nielsen (CoRR, 2023)

Benchmarking machine learning models for quantum state classification. - Edoardo Pedicillo; Andrea Di Pasquale; Stefano Carrazza (CoRR, 2023)

Ensuring cybersecurity for industrial networks: A solution for ARP-based MITM attacks. - Danilo Bruschi; Andrea Di Pasquale; Andrea Lanzi; Elena Pagani (J. Comput. Secur., 2024)

Qibolab: an open-source hybrid quantum operating system. - Stavros Efthymiou; Alvaro Orgaz-Fuertes; Rodolfo Carobene; Juan Cereijo; Andrea Di Pasquale; Sergi Ramos-Calderer; Simone Bordoni; David Fuentes-Ruiz; Alessandro Candido; Edoardo Pedicillo; Matteo Robbiati; Yuanzheng Paul Tan; et al. (Quantum, 2024)