Research Group on the Foundations of Computer Science

Research Output

Research Output per year

1991 2020

• 531 Citations
• 13 h-Index
• 64 Conference contribution
• 26 Article
• 11 Paper
• 10 Book
• 41 More
  • 8 Chapter (peer-reviewed)
  • 7 Poster
  • 5 Abstract
  • 5 Special issue
  • 4 Software
  • 3 Chapter
  • 3 Working paper
  • 2 Other contribution
  • 2 Master's Thesis
  • 1 Other report
  • 1 Editorial

Research Output per year

Research Output per year

Search results

• 2013

  Strategic Management of SMEs through the Business Intelligence

  Bortolin, Q., 2013, (Unpublished)

  Research output: External Thesis › Master's Thesis

• 2010

  Building a bridge between Goal-Oriented Requirements with KAOS and event-B System Specifications

  Devroey, X., Jun 2010, Facultés Universitaires Notre-Dame de la Paix . 129 p.

  Research output: External Thesis › Master's Thesis

  Open Access

  File

  • Requirements engineering
  • Specifications
  • Data structures
  • Decomposition
  • Semantics
  129 Downloads (Pure)