Elisabetta De Maria Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisabetta 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
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisabetta De Maria, Angelo Montanari, Nicola Vitacolonna: Games on Strings with a Limited Order Relation. LFCS 2009: 164-179
2006
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisabetta De Maria, Angelo Montanari, Marco Zantoni: An automaton-based approach to the verification of timed workflow schemas. TIME 2006: 87-94
2005
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElisabetta De Maria, Angelo Montanari, Marco Zantoni: Checking Workflow Schemas with Time Constraints Using Timed Automata. OTM Workshops 2005: 1-2

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Nov 27 15:43:12 2009 by Michael Ley (ley@uni-trier.de)