FUSCO, LUDOVICO
FUSCO, LUDOVICO
Dipartimento di Scienze Pure e Applicate (DiSPeA)
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.009 secondi).
Bridging concurrency theory and epistemic models: a formal framework for dynamic multi-agent systems
2026 Aldini, Alessandro; Fusco, Ludovico
Enriched Płonka sums
2026 Fusco, Ludovico; Paoli, Francesco
Hyperproperties for Safe and Secure RFID Systems
2024 Fusco, Ludovico; Aldini, Alessandro
Logical and Algebraic Investigations into Properties of Concurrent Systems
2026 Fusco, Ludovico
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Bridging concurrency theory and epistemic models: a formal framework for dynamic multi-agent systems | 1-gen-2026 | Aldini, Alessandro; Fusco, Ludovico | |
| Enriched Płonka sums | 1-gen-2026 | Fusco, Ludovico; Paoli, Francesco | |
| Hyperproperties for Safe and Secure RFID Systems | 1-gen-2024 | Fusco, Ludovico; Aldini, Alessandro | |
| Logical and Algebraic Investigations into Properties of Concurrent Systems | 14-mag-2026 | Fusco, Ludovico |