Research Group on the Foundations of Computer Science

Fingerprint

Dive into the research topics where Research Group on the Foundations of Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • A Dataflow Analysis for Comparing and Reordering Predicate Arguments

    Yernaux, G. & Vanhoof, W., 12 Sept 2023, Proceedings of the 39th International Conference on Logic Programming: Imperial College London, UK, 9th July 2023 - 15th July 2023. Pontelli, E., Costantini, S., Dodaro, C., Gaggl, S., Calegari, R., D'Avila Garcez, A., Fabiano, F., Mileo, A., Russo, A. & Toni, F. (eds.). Open Publishing Association, Vol. 385. p. 41 - 54 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

    Open Access
    File
    14 Downloads (Pure)
  • An Alternative Semantics for Timed Automata with Independent Clocks

    Ortiz Vega, J. J. & Schobbens, P-Y., 18 Sept 2023.

    Research output: Contribution to conferenceAbstractpeer-review

    File
  • Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!

    Santos, E. L. D., Schobbens, P-Y., Machado, I. & Perrouin, G., 25 Jan 2023, Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, VaMoS 2023, Odense, Denmark, January 25-27, 2023: 17th International Working Conference on Variability Modelling of Software-Intensive Systems. Cohen, M. B., Thüm, T. & Mauro, J. (eds.). ACM Press, p. 85-87 3 p. (ACM International Conference Proceeding Series).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

    Open Access
    File
    29 Downloads (Pure)