Andrea Di Pasquale

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 8

Top Topics

Boltzmann Machines

Formal Verification

Top Venues

Publications

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, Jadwiga Wilkens, Ingo Roth, José Ignacio Latorre, Stefano Carrazza
Qibolab: an open-source hybrid quantum operating system. Quantum 8 (2024)
Edoardo Pedicillo, Andrea Di Pasquale, Stefano Carrazza
Benchmarking machine learning models for quantum state classification. CoRR (2023)
Andrea Di Pasquale, Daniel Krefl, Stefano Carrazza, Frank Nielsen
Product Jacobi-Theta Boltzmann machines with score matching. CoRR (2023)
Canio Manniello, Giuseppe Cillis, Dina Statuto, Andrea Di Pasquale, Pietro Picuno
GIScience and Historical Cartography for Evaluating Land Use Changes and Resulting Effects on Carbon Balance. ISPRS Int. J. Geo Inf. 11 (3) (2022)
Stavros Efthymiou, Marco Lazzarin, Andrea Di Pasquale, Stefano Carrazza
Quantum simulation with just-in-time compilation. Quantum 6 (2022)
Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani
A Formal Verification of ArpON - A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks. IEEE Trans. Dependable Secur. Comput. 19 (6) (2022)
Andrea Di Pasquale, Giovanni Nico, Alfredo Pitullo, Giuseppina Prezioso
Monitoring Strategies of Earth Dams by Ground-Based Radar Interferometry: How to Extract Useful Information for Seismic Risk Assessment. Sensors 18 (1) (2018)
Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi, Andrea Lanzi, Elena Pagani
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. IFM (2017)
Mariantonietta Zonno, Luigi Mascolo, Pietro Guccione, Giovanni Nico, Andrea Di Pasquale
Impact of focusing of Ground Based SAR data on the quality of interferometric SAR applications. SAR (2014)
Pietro Guccione, Mariantonietta Zonno, Giovanni Nico, Marco Nicoletti, Andrea Di Pasquale
Kriging interpolation on GB-SAR data to quickly update topographic maps in areas prone to slope instability. IGARSS (2013)
Massimo Comparini, Andrea Di Pasquale, Marziale Feudale, Agostino Giorgio, Anna Gina Perri
A method to design MMICs for high production yields. ICECS (2002)