 | 2011 |
|---|
| 6 |       | Elisabetta De Maria,
François Fages,
Aurélien Rizk,
Sylvain Soliman:
Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints.
Theor. Comput. Sci. 412(21): 2108-2127 (2011) |
| 2010 |
|---|
| 5 | | François Fages,
Grégory Batt,
Elisabetta De Maria,
Dragana Jovanovska,
Aurélien Rizk,
Sylvain Soliman:
Computational Systems Biology in BIOCHAM.
ERCIM News 2010(82): 36 (2010) |
| 2009 |
|---|
| 4 | | Elisabetta De Maria,
François Fages,
Sylvain Soliman:
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle.
CMSB 2009: 142-157 |
| 3 | | Elisabetta De Maria,
Angelo Montanari,
Nicola Vitacolonna:
Games on Strings with a Limited Order Relation.
LFCS 2009: 164-179 |
| 2006 |
|---|
| 2 | | Elisabetta De Maria,
Angelo Montanari,
Marco Zantoni:
An automaton-based approach to the verification of timed workflow schemas.
TIME 2006: 87-94 |
| 2005 |
|---|
| 1 | | Elisabetta De Maria,
Angelo Montanari,
Marco Zantoni:
Checking Workflow Schemas with Time Constraints Using Timed Automata.
OTM Workshops 2005: 1-2 |
Data released under the ODC-BY 1.0 license — See also our legal information page