Marco Zantoni

According to our database¹, Marco Zantoni authored at least 3 papers between 2005 and 2007.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2007

Bioinformatics support in a DNA sequence process.

[BibT_eX]

[DOI]

PhD thesis, 2007

2006

An automaton-based approach to the verification of timed workflow schemas.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

2005

Checking Workflow Schemas with Time Constraints Using Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005