Artikel (3) Publikationen, an denen Forscher/innen teilgenommen haben

2025

  1. Bridging reading and mapping: The role of reading annotations in facilitating feedback while concept mapping

    Information Systems, Vol. 127

  2. Portfolio Evolution Analysis for SPL Scoping: Unveiling the dynamics with dedicated time-series dashboards

    Journal of Systems and Software, Vol. 220

  3. Towards an efficient implementation of a tableau method for reactive safety specifications

    Journal of Logical and Algebraic Methods in Programming, Vol. 142