Silien Hong

According to our database, Silien Hong authored at least 2 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets.

Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista

Trans. Petri Nets Other Model. Concurr., 2012

2010

The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.

Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci

Proceedings of the Applications and Theory of Petri Nets, 2010