Silien Hong

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Efficient Computation

Multi Valued Decision Diagrams

Top Venues

Trans. Petri Nets Other Model. Concurr.

Publications

Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets. Trans. Petri Nets Other Model. Concurr. 5 (2012)
Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci
The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. Petri Nets (2010)