Andrea Di Pasquale

According to our database, Andrea Di Pasquale authored at least 12 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Jadwiga Wilkens, Ingo Roth, José Ignacio Latorre, Stefano Carrazza

Quantum, February, 2024

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

2023

Benchmarking machine learning models for quantum state classification.

Edoardo Pedicillo, Andrea Di Pasquale, Stefano Carrazza

CoRR, 2023

Product Jacobi-Theta Boltzmann machines with score matching.

Andrea Di Pasquale, Daniel Krefl, Stefano Carrazza, Frank Nielsen

CoRR, 2023

2022

Quantum simulation with just-in-time compilation.

Stavros Efthymiou, Marco Lazzarin, Andrea Di Pasquale, Stefano Carrazza

Quantum, September, 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

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

2018

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

2017

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

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2014

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

Proceedings of the SAR Image Analysis, 2014

2013

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

Proceedings of the 2013 IEEE International Geoscience and Remote Sensing Symposium, 2013

2002

A method to design MMICs for high production yields.

Massimo Comparini, Andrea Di Pasquale, Marziale Feudale, Agostino Giorgio, Anna Gina Perri

Proceedings of the 2002 9th IEEE International Conference on Electronics, 2002