P de Bra | TU Delft Repository

Library

local_library Home Repository

Pd

P de Bra

Conference paper (2)

2 records found

1

External memory k-bisimulation reduction of big graphs

Conference paper (2013) - Y. Luo (author) , GHL Fletcher (author) , Jan Hidders (author) , Y. Wu (author) , P de Bra (author)

On guarded simulations and acyclic first-order languages

Conference paper (2011) - GHL Fletcher (author) , Jan Hidders (author) , S Vansummeren (author) , Y. Luo (author) , F Picalausa (author) , P de Bra (author)