Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
61
TITLE: The role of diagnosis and decision theory in normative reasoning
AUTHORS: van der Torre, LWN; Ramos, P; Fiadeiro, JL; Tan, YH;
PUBLISHED: 1999, SOURCE: ESPRIT Project ModelAge Final Workshop on Formal Models of Agents in FORMAL MODELS OF AGENTS, VOLUME: 1760
AUTHORS: van der Torre, LWN; Ramos, P; Fiadeiro, JL; Tan, YH;
PUBLISHED: 1999, SOURCE: ESPRIT Project ModelAge Final Workshop on Formal Models of Agents in FORMAL MODELS OF AGENTS, VOLUME: 1760
INDEXED IN: 
WOS
WOS62
TITLE: Using explicit state to describe architectures Full Text
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 1999, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1577
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 1999, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1577
INDEXED IN: WOS
WOS63
TITLE: Algebraic software architecture reconfiguration
AUTHORS: Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 1999, SOURCE: 7th European Software Engineering Conference/7th ACM SIGSOFT Symposium on the Foundations of Software Engineering in SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, VOLUME: 1687
AUTHORS: Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 1999, SOURCE: 7th European Software Engineering Conference/7th ACM SIGSOFT Symposium on the Foundations of Software Engineering in SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, VOLUME: 1687
INDEXED IN: 
Scopus WOS
Scopus WOS64
TITLE: The role of diagnosis and decision theory in normative reasoning
AUTHORS: van der Torre, LWN; Ramos, P; Fiadeiro, JL; Tan, YH;
PUBLISHED: 1999, SOURCE: ModelAge Final Workshop on Formal Models of Agents, 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1760
AUTHORS: van der Torre, LWN; Ramos, P; Fiadeiro, JL; Tan, YH;
PUBLISHED: 1999, SOURCE: ModelAge Final Workshop on Formal Models of Agents, 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1760
INDEXED IN: Scopus
Scopus65
TITLE: Preface
AUTHORS: Fiadeiro, JL;
PUBLISHED: 1999, SOURCE: 13th International Workshop on Algebraic Development Techniques, WADT 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1589
AUTHORS: Fiadeiro, JL;
PUBLISHED: 1999, SOURCE: 13th International Workshop on Algebraic Development Techniques, WADT 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1589
INDEXED IN: Scopus
Scopus66
TITLE: A computational tool that supports formal diagnosis of process design Full Text
AUTHORS: Ramos, P; Fiadeiro, JL;
PUBLISHED: 1998, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 40, ISSUE: 10
AUTHORS: Ramos, P; Fiadeiro, JL;
PUBLISHED: 1998, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 40, ISSUE: 10
67
TITLE: Connectors for mobile programs Full Text
AUTHORS: Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 1998, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 24, ISSUE: 5
AUTHORS: Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 1998, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 24, ISSUE: 5
68
TITLE: Towards an algebra of architectural connectors: a case study on synchronization for mobility
AUTHORS: Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 1998, SOURCE: 9th International Workshop on Software Specification and Design in NINTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, PROCEEDINGS
AUTHORS: Wermelinger, M; Fiadeiro, JL;
PUBLISHED: 1998, SOURCE: 9th International Workshop on Software Specification and Design in NINTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, PROCEEDINGS
INDEXED IN: WOS
WOS69
TITLE: Categorical semantics of parallel program design Full Text
AUTHORS: Fiadeiro, JL; Maibaum, T;
PUBLISHED: 1997, SOURCE: Symposium on Formal Specifications: Foundations, Methods, Tools and Applications / FMTA 95 in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 28, ISSUE: 2-3
AUTHORS: Fiadeiro, JL; Maibaum, T;
PUBLISHED: 1997, SOURCE: Symposium on Formal Specifications: Foundations, Methods, Tools and Applications / FMTA 95 in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 28, ISSUE: 2-3
70
TITLE: Synthesising interconnections
AUTHORS: Fiadeiro, JL; Lopes, A; Maibaum, TSE;
PUBLISHED: 1997, SOURCE: IFIP TC2 WG2 1 International Workshop on Algorithmic Languages and Calculi in ALGORITHMIC LANGUAGES AND CALCULI
AUTHORS: Fiadeiro, JL; Lopes, A; Maibaum, TSE;
PUBLISHED: 1997, SOURCE: IFIP TC2 WG2 1 International Workshop on Algorithmic Languages and Calculi in ALGORITHMIC LANGUAGES AND CALCULI
INDEXED IN: WOS
WOS