Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Section: Highlights of the Year

Highlights of the Year

Awards

Best Papers Awards:
[24]
L. Ye, P. Dague, L. He.
Manifestability Verification of Discrete Event Systems, in: DX'19 - 30th International Workshop on Principles of Diagnosis, Klagenfurt, Austria, November 2019, vol. 19, pp. 1-9, Best Paper Award (https://dx-workshop.org/2019/awards/).
https://hal.archives-ouvertes.fr/hal-02425146

[22]
H. Mandon, C. Su, S. Haar, J. Pang, L. Paulevé.
Sequential Reprogramming of Boolean Networks Made Practical, in: CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Trieste, France, Lecture Notes in Computer Science, Springer, 2019, vol. 11773, pp. 3–19, Best paper award. [ DOI : 10.1007/978-3-030-31304-3_1 ]
https://hal.archives-ouvertes.fr/hal-02178917