IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 149
Titolo Data di pubblicazione Autore(i) File
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity 1-gen-2025 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco; Rossi, Sabina
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
Making Algorithmic Stablecoins More Stable: The Terra-Luna Case Study 1-gen-2024 Calandra, Federico; Rossi, Francesco P.; Fabris, Francesco; Bernardo, Marco
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity 1-gen-2023 Bernardo, M.; Mezzina, C. A.
On the Weak Continuation of Reverse Bisimilarity vs. Forward Bisimilarity 1-gen-2023 Bernardo, M.; Esposito, A.
Reverse Bisimilarity vs. Forward Bisimilarity 1-gen-2023 Bernardo, Marco; Rossi, Sabina
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems 1-gen-2023 Esposito, Andrea; Aldini, Alessandro; Bernardo, Marco
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach 1-gen-2023 Bernardo, Marco; Mezzina, Claudio Antares
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.
Causal Reversibility Implies Time Reversibility 1-gen-2023 Bernardo, M.; Lanese, I.; Marin, A.; Mezzina, C. A.; Rossi, S.; Sacerdoti Coen, C.
MoodleMoot Italia 2022 (MMIT 2022) 1-gen-2022 Fiorentino, Giuseppe; Gallo, Pierpaolo; Rabellino, Sergio; Bernardo, Marco; De Waal, Paula
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent 1-gen-2022 Bernardo, Marco
Towards General Axiomatizations for Bisimilarity and Trace Semantics 1-gen-2021 Bernardo, Marco
Facing the COVID-19 Pandemic with Moodle, Collaborate, Smowl, Meet 1-gen-2020 Bernardo, Marco; Bontà, Edoardo
Special Issue of the Italian Conference on Theoretical Computer Science 2018 1-gen-2020 Aldini, Alessandro; Bernardo, Marco
Extending Backward Compatibility of Probabilistic Testing via Coherent Resolutions 1-gen-2020 Bernardo, Marco
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism 1-gen-2020 Bernardo, Marco
Mostrati risultati da 1 a 20 di 149
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