-
Effect of the point mutation H148G on GFPmut2 unfolding kinetics by fluoresce...
International audience -
Combining Epistemic Logic and Hennessy-Milner Logic
International audience -
Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petr...
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction,... -
Trellis Processes : a Compact Representation for Runs of Concurrent Systems
In the true concurrency semantics, runs of a concurrent system are represented as partial orders of events. To represent sets of such runs in a compact manner,... -
Unfolding and aggregation of lysozyme: A thermodynamic and kinetic study by F...
International audience -
PrP assemblies: spotting the responsible regions in prion propagation.
International audience
