Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Marco Bernardo
Researcher
PaperOn the Expressiveness of Markovian Process Calculi with Durational and Durationless ActionsAuthorship / preprint / 2010PaperUniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process CalculiAuthorship / preprint / 2011PaperWeak Markovian Bisimulation Congruences and Exact CTMC-Level Aggregations for Concurrent ProcessesAuthorship / preprint / 2012PaperThe Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic ProcessesAuthorship / preprint / 2013PaperA Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"Authorship / preprint / 2013PaperRevisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic ProcessesAuthorship / preprint / 2014PaperDisjunctive Probabilistic Modal Logic is Enough for Bisimilarity on Reactive Probabilistic SystemsAuthorship / preprint / 2016PaperExpected-Delay-Summing Weak Bisimilarity for Markov AutomataAuthorship / preprint / 2015