research
∙
03/25/2023
Is It the End? Guidelines for Cinematic Endings in Data Videos
Data videos are becoming increasingly popular in society and academia. Y...
share
research
∙
10/19/2022
On Bisimulation in Absence of Restriction
We revisit the standard bisimulation equalities in process models free o...
research
∙
02/06/2022
From `Wow' to `Why': Guidelines for Creating the Opening of a Data Video with Cinematic Styles
Data videos are an increasingly popular storytelling form. The opening o...
research
∙
08/24/2021
On Decidability of the Bisimilarity on Higher-order Processes with Parameterization
Higher-order processes with parameterization are capable of abstraction ...
research
∙
04/16/2018