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