Ferry Timmers

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Design Thinking

Visual Exploration

Top Venues

Sci. Ann. Comput. Sci.

Publications

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
Tool interoperability for model-based systems engineering. CoRR (2023)
Ferry Timmers, Jan Friso Groote
A Complete Axiomatisation for Probabilistic Trace Equivalence. Sci. Ann. Comput. Sci. 30 (1) (2020)
David N. Jansen, Jan Friso Groote, Ferry Timmers, Pengfei Yang
A Near-Linear-Time Algorithm for Weak Bisimilarity on Markov Chains. CONCUR (2020)
Maximilian Konzack, Pieter Gijsbers, Ferry Timmers, Emiel van Loon, Michel A. Westenberg, Kevin Buchin
Visual exploration of migration patterns in gull data. Inf. Vis. 18 (1) (2019)