research
∙
08/30/2021
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
Edge-coloured directed graphs provide an essential structure for modelli...
share
research
∙
08/22/2017
Finding Regressions in Projects under Version Control Systems
Version Control Systems (VCS) are frequently used to support development...
research
∙
06/10/2016
