Ferry Timmers

According to our database, Ferry Timmers authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

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

2020

A Complete Axiomatisation for Probabilistic Trace Equivalence.

Ferry Timmers, Jan Friso Groote

Sci. Ann. Comput. Sci., 2020

A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains.

David N. Jansen, Jan Friso Groote, Ferry Timmers, Pengfei Yang

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

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