CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Gentilini R
Latest
Rank and simulation: the well-founded case
Rank-Based Simulation on Acyclic Graphs
Symbolic Graphs: Linear Solutions to Connectivity Related Problems
Computing strongly connected components in a linear number of symbolic steps
From Bisimulation to Simulation: Coarsest Partition Problems
Rank-Based Symbolic Bisimulation (and Model Checking)
Simulation as Coarsest Partition Problem
Simulation Reduction as Constraint
Cite
×