Visual exploration of migration patterns in gull data. - Maximilian Konzack; Pieter Gijsbers; Ferry Timmers; Emiel van Loon; Michel A. Westenberg; Kevin Buchin (Inf. Vis., 2019)

A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains. - David N. Jansen; Jan Friso Groote; Ferry Timmers; Pengfei Yang 002 (CONCUR, 2020)

A Complete Axiomatisation for Probabilistic Trace Equivalence. - Ferry Timmers; Jan Friso Groote (Sci. Ann. Comput. Sci., 2020)

Tool interoperability for model-based systems engineering. - Sander Thuijsman; Gökhan Kahraman; Alireza Mohamadkhani; Ferry Timmers; Loek Cleophas; Marc Geilen; Jan Friso Groote; Michel A. Reniers; Ramon R. H. Schiffelers; Jeroen Voeten (CoRR, 2023)