Checking Workflow Schemas with Time Constraints Using Timed Automata. - Elisabetta De Maria; Angelo Montanari; Marco Zantoni (OTM Workshops, 2005)

An automaton-based approach to the verification of timed workflow schemas. - Elisabetta De Maria; Angelo Montanari; Marco Zantoni (TIME, 2006)

Bioinformatics support in a DNA sequence process. - Marco Zantoni (2007)