Science and Engineering Office

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

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