| Categories for software engineering JL Fiadeiro Springer Berlin Heidelberg, 2005 | 280 | 2005 |
| Temporal theories as modularisation units for concurrent system specification J Fiadeiro, T Maibaum Formal aspects of Computing 4 (3), 239-272, 1992 | 228 | 1992 |
| Structuring theories on consequence J Fiadeiro, A Sernadas Workshop on the Specification of Abstract Data Types, 44-72, 1987 | 199 | 1987 |
| A graph based architectural (re) configuration language M Wermelinger, A Lopes, JL Fiadeiro Proceedings of the 8th European software engineering conference held jointly …, 2001 | 183 | 2001 |
| A graph transformation approach to software architecture reconfiguration M Wermelinger, JL Fiadeiro Science of Computer Programming 44 (2), 133-155, 2002 | 169 | 2002 |
| Categorical semantics of parallel program design JL Fiadeiro, T Maibaum Science of Computer Programming 28 (2-3), 111-138, 1997 | 147 | 1997 |
| Sharing actions and attributes in modal action logic M Ryan, J Fiadeiro, T Maibaum International Symposium on Theoretical Aspects of Computer Software, 569-593, 1991 | 139 | 1991 |
| A formal approach to service component architecture JL Fiadeiro, A Lopes, L Bocchi International Workshop on Web Services and Formal Methods, 193-213, 2006 | 136 | 2006 |
| Describing, structuring and implementing objects J Fiadeiro, T Maibaum Workshop/School/Symposium of the REX Project (Research and Education in …, 1990 | 130 | 1990 |
| Sometimes “Tomorrow” is “Sometime” Action refinement in a temporal logic of objects JL Fiadeiro, T Maibaum International Conference on Temporal Logic, 48-66, 1994 | 112 | 1994 |
| A mathematical semantics for architectural connectors JL Fiadeiro, A Lopes, M Wermelinger Generic Programming 2793, 178-221, 2003 | 106 | 2003 |
| Interconnecting objects via contracts LF Andrade, JL Fiadeiro International Conference on the Unified Modeling Language, 566-583, 1999 | 103 | 1999 |
| The basic building blocks of information systems A Sernadas, J Fiadero, C Sernadas, HD Ehrich, ED Falkenberg Information System Concepts: An In-Depth Analysis, 1989 | 103 | 1989 |
| Semantics of architectural connectors JL Fiadeiro, A Lopes Colloquium on Trees in Algebra and Programming, 503-519, 1997 | 99 | 1997 |
| Agility through coordination LF Andrade, JL Fiadeiro Information Systems 27 (6), 411-424, 2002 | 92* | 2002 |
| Temporal reasoning over deontic specifications J Fiadeiro, T Maibaum Journal of Logic and Computation 1 (3), 357-395, 1991 | 91 | 1991 |
| Algebraic software architecture reconfiguration M Wermelinger, JL Fiadeiro ACM SIGSOFT Software Engineering Notes 24 (6), 393-409, 1999 | 84 | 1999 |
| A model for dynamic reconfiguration in service-oriented architectures JL Fiadeiro, A Lopes Software & Systems Modeling 12 (2), 349-367, 2013 | 81 | 2013 |
| Connectors for mobile programs M Wermelinger, JL Fiadeiro IEEE Transactions on Software Engineering 24 (5), 331-341, 2002 | 78 | 2002 |
| Proof-Theoretic Semantics of Object-Oriented Specification Constructs. JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake DS-4, 243-284, 1990 | 76 | 1990 |
Antonia LopesDepartamento de Informática and LaSIGE, Faculdade de Ciências, Universidade de LisboaVerified email at ciencias.ulisboa.pt
