Maurice H. Ter Beek

Maurice H. Ter Beek

Institute of Information Science and Technologies, CNR - / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 5006572
person_outline Maurice H. Ter Beek's MOST POPULAR ARTICLES
1-) Web service composition approaches: From industrial standards to formal methods MH Ter Beek, A Bucchiarone, S Gnesi Second International Conference on Internet and Web Applications and …, 2007 1962007
2-) Formal methods for service compositionMH Ter Beek, A Bucchiarone, S GnesiAnnals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 20071302007
3-) Formal description of variability in product familiesP Asirelli, MH Ter Beek, S Gnesi, A Fantechi2011 15th International Software Product Line Conference, 130-139, 20111292011
4-) Synchronizations in team automata for groupware systemsMH Ter Beek, CA Ellis, J Kleijn, G RozenbergComputer Supported Cooperative Work (CSCW) 12, 21-69, 20031202003
5-) A state/event-based model-checking approach for the analysis of abstract system propertiesMH Ter Beek, A Fantechi, S Gnesi, F MazzantiScience of Computer Programming 76 (2), 119-135, 20111052011