IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 158
Titolo Data di pubblicazione Autore(i) File
Causal Reversibility in Nondeterministic Process Calculi Extended with Time or Probabilities 1-gen-2026 Bernardo, Marco; Mezzina, Claudio A.; Esposito, Andrea
Learning from Terra-Luna: A Simulation-Based Study on Stabilizing Algorithmic Stablecoins 1-gen-2025 Calandra, Federico; Rossi, Francesco Pio; Fabris, Francesco; Bernardo, Marco
Algorithmic Stablecoins: A Simulator for the Dual-Token Model in Normal and Panic Scenarios 1-gen-2025 Calandra, Federico; Rossi, Francesco Pio; Fabris, Francesco; Bernardo, Marco
Alternative Characterizations of Hereditary History-Preserving Bisimilarity via Backward Ready Multisets 1-gen-2025 Bernardo, Marco; Esposito, Andrea; Mezzina, Claudio Antares
Blockchain Energy Consumption: Unveiling the Impact of Network Topologies 1-gen-2025 Di Perna, Vincenzo Paolo; Schiavoni, Valerio; Fabris, Francesco; Bernardo, Marco
An Entropy-Based Approach to Evaluating the Economic Efficiency of Cryptocurrencies 1-gen-2025 Di Perna, Vincenzo Paolo; Foderaro, Michele; Fabris, Francesco; Bernardo, Marco
Noninterference Analysis of Deterministically Timed Reversible Systems 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco; Rossi, Sabina
Impact of Network Topologies on Blockchain Performance 1-gen-2025 Di Perna, Vincenzo Paolo; Bernardo, Marco; Fabris, Francesco; Amaro, Sebastiao; Matos, Miguel; Schiavoni, Valerio
Noninterference Analysis of Stochastically Timed Reversible Systems 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Making Algorithmic Stablecoins More Stable: The Terra-Luna Case Study 1-gen-2024 Calandra, Federico; Rossi, Francesco P.; Fabris, Francesco; Bernardo, Marco
Reversibility in Process Calculi with Nondeterminism and Probabilities 1-gen-2024 Bernardo, Marco; Mezzina, Claudio A.
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings 1-gen-2024 Bernardo, Marco; Esposito, Andrea; Mezzina, Claudio A.
Noninterference Analysis of Reversible Probabilistic Systems 1-gen-2024 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity 1-gen-2023 Bernardo, M.; Esposito, A.
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity 1-gen-2023 Bernardo, M.; Mezzina, C. A.
Teaching and Learning Centers and Coordinated Technologies for an Effective Transition at COVID-19 Pandemic Time to Massive Distance Learning and Online Exams 1-gen-2023 Bernardo, Marco; Bontà, Edoardo
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities 1-gen-2023 Bernardo, M.; Esposito, A.
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach 1-gen-2023 Bernardo, Marco; Mezzina, Claudio Antares
Causal Reversibility Implies Time Reversibility 1-gen-2023 Bernardo, M.; Lanese, I.; Marin, A.; Mezzina, C. A.; Rossi, S.; Sacerdoti Coen, C.
Mostrati risultati da 1 a 20 di 158
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile