!!José Fiadeiro - Publications
\\
__Main publications that have been responsible for international recognition:__\\
\\
1988, Structuring theories on consequence, J Fiadeiro and A Sernadas, Recent trends in data type specification, 44-72 (177 citations)\\
\\
1992, Temporal theories as modularisation units for concurrent system specification, J Fiadeiro and T Maibaum, Formal Aspects of Computing 4 (3), 239-272 (205 citations)\\
\\
1997, Categorical semantics of parallel program design, J Fiadeiro and T Maibaum, Science of Computer Programming 28 (2-3), 111-138 (140 citations)\\
\\
2002,  A graph transformation approach to software architecture reconfiguration, M Wermelinger and Fiadeiro, Science of Computer Programming 44 (2), 133-155 (150 citations), Best Paper at GRATRA'2000\\
\\
2003, Higher-order architectural connectors, A Lopes, M Wermelinger and J Fiadeiro, ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (1), 64-104 (60 citations) \\
\\
2005, Categories for software engineering (book), J Fiadeiro, Springer (230 citations)\\
\\
2006, A formal approach to service component architecture, J Fiadeiro, A Lopes and L Bocchi, International Workshop on Web Services and Formal Methods, 193-213 (111 citations)\\
\\
2007, Designing for software's social complexity, J Fiadeiro, IEEE Computer 40 (1) (50 citations)\\
\\
2013, A model for dynamic reconfiguration in service-oriented architectures, J Fiadeiro and A Lopes, Software & Systems Modeling 12 (2), 349-367 (44 citations), Best Paper at ECSA'2010\\
\\
2013, An interface theory for service-oriented design, J Fiadeiro and A Lopes, Theoretical Computer Science 503, 1-30 (17 citations), Best Paper at FASE'11 nominated for the EASST Award