Elisabetta De Maria

	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

Coauthor Index

1	François Fages	[4]
2	Angelo Montanari	[1] [2] [3]
3	Sylvain Soliman	[4]
4	Nicola Vitacolonna	[3]
5	Marco Zantoni	[1] [2]

Colors in the list of coauthors