R. Gentilini

Latest

• Hybrid automata in systems biology
• Hybrid automata in systems biology
• Rank and simulation: the well-founded case
• Symbolic Graphs: Linear Solutions to Connectivity Related Problems
• From Bisimulation to Simulation: Coarsest Partition Problems
• Simulation as Coarsest Partition Problem