157 citations · 282 across the 17 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.DB2012★ 2 cited
External memory bisimulation reduction of big graphs
Yongming Luo, George H. L. Fletcher, Jan Hidders +2
In this paper, we present, to our knowledge, the first known I/O efficient solutions for computing the k-bisimulation partition of a massive directed graph, and performing maintena…
cs.FL2012
On Generating *-Sound Nets with Substitution
Jacek Sroka, Jan Hidders
We present a method for hierarchically generating sound workflow nets by substitution of nets with multiple inputs and outputs. We show that this method is correct and generalizes…