227 citations · 569 across the 15 of their papers we have counts for
15 papers
A Design Framework for the Simulation of Distributed Quantum Computing
Davide Ferrari, Michele Amoretti
The growing demand for large-scale quantum computers is pushing research on Distributed Quantum Computing (DQC). Recent experimental efforts have demonstrated some of the building…
A Modular Quantum Compilation Framework for Distributed Quantum Computing
Davide Ferrari, Stefano Carretta, Michele Amoretti
For most practical applications, quantum algorithms require large resources in terms of qubit number, much larger than those available with current NISQ processors. With the networ…
Distributed Quantum Computing: a Survey
Marcello Caleffi, Michele Amoretti, Davide Ferrari +4
Nowadays, quantum computing has reached the engineering phase, with fully-functional quantum processors integrating hundred of noisy qubits available. Yet -- to fully unveil the po…
Classical and Quantum Solvers for Joint Network/Servers Power Optimization
Michele Amoretti, Davide Ferrari, Antonio Manzalini
The digital transformation that Telecommunications and ICT domains are crossing today, is posing several new challenges to Telecom Operators. These challenges require solving compl…
Private Set Intersection with Delegated Blind Quantum Computing
Michele Amoretti
Private set intersection is an important problem with implications in many areas, ranging from remote diagnostics to private contact discovery. In this work, we consider the case o…
Semantic Identifiers and DNS Names for IoT
Simon Fernandez, Michele Amoretti, Fabrizio Restori +2
In this paper, we propose a scheme for representing semantic metadata of IoT devices in compact identifiers and DNS names to enable simple discovery and search with standard DNS se…
Noise-Adaptive Quantum Compilation Strategies Evaluated with Application-Motivated Benchmarks
Davide Ferrari, Michele Amoretti
Quantum compilation is the problem of translating an input quantum circuit into the most efficient equivalent of itself, taking into account the characteristics of the device that…
Deterministic Algorithms for Compiling Quantum Circuits with Recurrent Patterns
Davide Ferrari, Ivano Tavernelli, Michele Amoretti
Current quantum processors are noisy, have limited coherence and imperfect gate implementations. On such hardware, only algorithms that are shorter than the overall coherence time…
Compiler Design for Distributed Quantum Computing
Davide Ferrari, Angela Sara Cacciapuoti, Michele Amoretti +1
In distributed quantum computing architectures, with the network and communications functionalities provided by the Quantum Internet, remote quantum processing units (QPUs) can com…
Efficient and Effective Quantum Compiling for Entanglement-based Machine Learning on IBM Q Devices
Davide Ferrari, Michele Amoretti
Quantum compiling means fast, device-aware implementation of quantum algorithms (i.e., quantum circuits, in the quantum circuit model of computation). In this paper, we present a s…
Entanglement Verification in Quantum Networks with Tampered Nodes
Michele Amoretti, Stefano Carretta
In this paper, we consider the problem of entanglement verification across the quantum memories of any two nodes of a quantum network. Its solution can be a means for detecting (al…
Blockchain-based Proof of Location
Giacomo Brambilla, Michele Amoretti, Francesco Medioli +1
Location-Based Services (LBSs) build upon geographic information to provide users with location-dependent functionalities. In such a context, it is particularly important that geog…
P2P-PL: A Pattern Language to Design Efficient and Robust Peer-to-Peer Systems
Michele Amoretti, Francesco Zanichelli
To design peer-to-peer (P2P) software systems is a challenging task, because of their highly decentralized nature, which may cause unexpected emergent global behaviors. The last fi…
A Survey and Taxonomy of Urban Traffic Management: Towards Vehicular Networks
Hany Kamal, Marco Picone, Michele Amoretti
Urban Traffic Management (UTM) topics have been tackled since long time, mainly by civil engineers and by city planners. The introduction of new communication technologies - such a…
Measuring the Complexity of Ultra-Large-Scale Adaptive Systems
Michele Amoretti, Carlos Gershenson
Ultra-large scale (ULS) systems are becoming pervasive. They are inherently complex, which makes their design and control a challenge for traditional methods. Here we propose the d…