Science and Engineering Office

Research output

Research output per year 1986 2021

• 5198 Citations
• 32 h-Index
• 207 Article
• 117 Conference contribution
• 11 Chapter
• 11 Editorial
• 61 More
  • 9 Review article
  • 8 Foreword/postscript
  • 8 Paper
  • 7 Poster
  • 6 Conference article
  • 5 Chapter (peer-reviewed)
  • 4 Book
  • 4 Other contribution
  • 3 Other
  • 2 Comment/debate
  • 1 Commissioned report
  • 1 Other chapter contribution
  • 1 Meeting abstract
  • 1 Letter
  • 1 Preprint

Research output per year

Research output per year

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

  17 Citations (Scopus)