ROMANELLO, RICCARDO
ROMANELLO, RICCARDO
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
AI-enhanced blockchain technology: A review of advancements and opportunities
2024-01-01 Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S.
An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits
2023-01-01 Piazza, C.; Romanello, R.; Wille, R.
Compressing neural networks via formal methods
2024-01-01 Ressi, D.; Romanello, R.; Rossi, S.; Piazza, C.
Directed Graph Encoding in Quantum Computing Supporting Edge-Failures
2022-01-01 Della Giustina, D.; Piazza, C.; Riccardi, B.; Romanello, R.
Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto
2023-01-01 Schiava, A. D.; Piazza, C.; Romanello, R.
Incremental NFA Minimization
2022-01-01 Bianchini, C.; Policriti, A.; Riccardi, B.; Romanello, R.
Incremental NFA minimization
2024-01-01 Bianchini, C.; Policriti, A.; Riccardi, B.; Romanello, R.
Mirrors and Memory in Quantum Automata
2022-01-01 Piazza, C.; Romanello, R.
Neural Networks Reduction via Lumping
2023-01-01 Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S.
Quantum encoding of dynamic directed graphs
2024-01-01 Della Giustina, D.; Londero, C.; Piazza, C.; Riccardi, B.; Romanello, R.
Speeding up Answer Set Programming by Quantum Computing
2024-01-01 Romanello, R.; Della Giustina, D.; Pessotto, S.; Piazza, C.
Synthesis of CNOT minimal quantum circuits with topological constraints through ASP
2023-01-01 Piazza, C.; Romanello, R.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| AI-enhanced blockchain technology: A review of advancements and opportunities | 1-gen-2024 | Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S. | |
| An ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits | 1-gen-2023 | Piazza, C.; Romanello, R.; Wille, R. | |
| Compressing neural networks via formal methods | 1-gen-2024 | Ressi, D.; Romanello, R.; Rossi, S.; Piazza, C. | |
| Directed Graph Encoding in Quantum Computing Supporting Edge-Failures | 1-gen-2022 | Della Giustina, D.; Piazza, C.; Riccardi, B.; Romanello, R. | |
| Graph-Theoretical Arguments in Support of a Quantum Declarative Manifesto | 1-gen-2023 | Schiava, A. D.; Piazza, C.; Romanello, R. | |
| Incremental NFA Minimization | 1-gen-2022 | Bianchini, C.; Policriti, A.; Riccardi, B.; Romanello, R. | |
| Incremental NFA minimization | 1-gen-2024 | Bianchini, C.; Policriti, A.; Riccardi, B.; Romanello, R. | |
| Mirrors and Memory in Quantum Automata | 1-gen-2022 | Piazza, C.; Romanello, R. | |
| Neural Networks Reduction via Lumping | 1-gen-2023 | Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S. | |
| Quantum encoding of dynamic directed graphs | 1-gen-2024 | Della Giustina, D.; Londero, C.; Piazza, C.; Riccardi, B.; Romanello, R. | |
| Speeding up Answer Set Programming by Quantum Computing | 1-gen-2024 | Romanello, R.; Della Giustina, D.; Pessotto, S.; Piazza, C. | |
| Synthesis of CNOT minimal quantum circuits with topological constraints through ASP | 1-gen-2023 | Piazza, C.; Romanello, R. |