Skip to main navigation
Skip to search
Skip to main content
Discovery - the University of Dundee Research Portal Home
Home
Profiles
Research Units
Research Outputs
Projects
Datasets
Theses
Activity
Press / Media
Research Facilities
Prizes
Search by expertise, name or affiliation
Science and Engineering Office
School of Science and Engineering
Overview
Fingerprint
Network
Profiles
(41)
Projects
(43)
Research Outputs
(473)
Datasets
(1)
Prizes
(4)
Activity
(65)
Press / Media
(3)
Theses
(14)
Research output
Research output per year
1986
2018
2019
2020
2021
2022
2022
6611
Citations
36
h-index
241
Article
132
Conference contribution
14
Poster
14
Review article
72
More
13
Chapter
11
Editorial
9
Paper
8
Foreword/postscript
6
Conference article
5
Chapter (peer-reviewed)
4
Book
4
Other contribution
3
Other
2
Comment/debate
2
Preprint
1
Commissioned report
1
Other chapter contribution
1
Abstract
1
Meeting abstract
1
Letter
Research output per year
Research output per year
4 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Other contribution
Search results
1994
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects
Fiadeiro, J. L.
&
Maibaum, T. S. E.
,
1994
,
19 p.
Springer Verlag.
Research output
:
Other contribution
1993
Generalising Interpretations between Theories in the context of (pi-) Institutions
Fiadeiro, J. L.
&
Maibaum, T. S. E.
,
1993
,
22 p.
London : Springer Verlag.
Research output
:
Other contribution
Semantics of Interworking Knowledge Based Systems
Reichwein, G.
&
Fiadeiro, J.
,
1993
,
12 p.
Berlin : Springer Verlag.
Research output
:
Other contribution
1989
Abstract object types: a temporal persepective
Sernadas, A.
,
Fiadeiro, J.
,
SERNADAS, C.
&
EHRICH, H. D.
,
1989
,
27 p.
BERLIN : Springer .
Research output
:
Other contribution