Monter d'un niveau |
Ce graphique trace les liens entre tous les collaborateurs des publications de {} figurant sur cette page.
Chaque lien représente une collaboration sur la même publication. L'épaisseur du lien représente le nombre de collaborations.
Utilisez la molette de la souris ou les gestes de défilement pour zoomer à l'intérieur du graphique.
Vous pouvez cliquer sur les noeuds et les liens pour les mettre en surbrillance et déplacer les noeuds en les glissant.
Enfoncez la touche "Ctrl" ou la touche "⌘" en cliquant sur les noeuds pour ouvrir la liste des publications de cette personne.
Abouzaid, F., Mullins, J., Mazzara, M., & Dragoni, N. (juin 2012). Modelling and analysis of dynamic reconfiguration in BP-calculus [Communication écrite]. 6th KES International Conference on Agent and Multi-Agent Systems: Technologies and Applications (KES-AMSTA 2012), Dubrovnik, Croatia. Lien externe
Mazzara, M., Abouzaid, F., Dragoni, N., & Bhattacharyya, A. (septembre 2011). Toward design, modelling and analysis of dynamic workflow reconfigurations: A process algebra perspective [Communication écrite]. 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, Clermont-Ferrand, France. Lien externe
Mazzara, M., Abouzaid, F., Dragoni, N., & Bhattacharyya, A. (juin 2011). Design, modelling and analysis of a workflow reconfiguration [Communication écrite]. International Workshop on Petri Nets and Software Engineering 2011, PNSE 2011, Newcastle upon Tyne, United kingdom. Non disponible
Abouzaid, F., & Mullins, J. (septembre 2008). Formal Specification of Correlation in WS Orchestrations Using BP-calculus [Communication écrite]. 5th International Workshop on Formal Aspects of Component Software (FACS 2008), Malaga, Spain. Publié dans Electronic Notes in Theoretical Computer Science, 260. Lien externe
Abouzaid, F., & Mullins, J. (juillet 2009). Model-checking Web Services Orchestrations using BP-calculus [Communication écrite]. 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009), Rhodes, Greece. Publié dans Electronic Notes in Theoretical Computer Science, 255. Lien externe
Abouzaid, F., & Mullins, J. (décembre 2007). A Calculus for Generation, Verification and Refinement of BPEL Specifications [Communication écrite]. 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007), Venice, Italy. Publié dans Electronic Notes in Theoretical Computer Science, 200(3). Lien externe