Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. | 0 | 0.34 | 2015 |
An LTL Model Checking Approach for Biological Parameter Inference. | 4 | 0.44 | 2014 |
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. | 1 | 0.35 | 2014 |
Using Event-Based Style for Developing M2M Applications. | 0 | 0.34 | 2013 |
Programming Robots with Events. | 1 | 0.35 | 2013 |
Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Programming. | 1 | 0.38 | 2012 |
Dynamic adaptation through event reconfiguration | 0 | 0.34 | 2011 |
Spatial Information and Boolean Genetic Regulatory Networks | 0 | 0.34 | 2009 |
Modélisation des systèmes biologiques par la théorie des réseaux de jeux. | 0 | 0.34 | 2007 |
Elementary modules in games networks | 0 | 0.34 | 2006 |