J. L. Fiadeiro

Jose Luiz Fiadeiro is Associate Professor of Computing Science at the Faculty of Sciences of the University of Lisbon (FCUL). He graduated in Mathematics at FCUL (1985) and received his M.Sc. (1987) and Ph.D. (1989) in Mathematics from the Faculty of Engineering of the Technical University of Lisbon. He was on leave at Imperial College, London in 1988-90 as a grantee of the CEC. His research interests are in specification theory. He has been working in the fields of temporal logic specification, algebraic knowledge representation and foundations of object-oriented specification.

Selected publications

1. ``Process Semantics of Temporal Logic Specification'', J. Fiadeiro, J.F. Costa, A. Sernadas and T. Maibaum, in Recent Trends in Data Type Specification, M. Bidoit and C. Choppy (eds), Lectures Notes in Computer Science 655, pp. 236-253, Springer-Verlag 1993

2. ``Temporal Theories as Modularisation Units for Concurrent System Specification'', J. Fiadeiro and T. Maibaum, Formal Aspects of Computing 4(3), pp. 239-272, 1992

3. ``Describing and Structuring Objects for Conceptual Schema Development'', J. Fiadeiro, C. Sernadas, T. Maibaum and A. Sernadas, in Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development, P. Loucopoulos and R. Ziccari (eds), pp. 117-138, John Wiley 1992

4. ``Temporal Reasoning over Deontic Specifications'', J. Fiadeiro and T. Maibaum, Journal of Logic and Computation 1(3), pp. 357-395, 1991

5. ``Logics of Modal Terms for Systems Specification'', J. Fiadeiro and A. Sernadas, Journal of Logic and Computation 1(2), pp. 187-227, 1990