13 citations · 14 across the 2 of their papers we have counts for
3 papers
cs.LO2019★ 1 cited
Conflict vs Causality in Event Structures
Daniele Gorla, Ivano Salvo, Adolfo Piperno
Event structures are one of the best known models for concurrency. Many variants of the basic model and many possible notions of equivalence for them have been devised in the liter…
cs.DM2013★ 13 cited
Practical graph isomorphism, II
Brendan D. McKay, Adolfo Piperno
We report the current state of the graph isomorphism problem from the practical point of view. After describing the general principles of the refinement-individualization paradigm…
cs.DS2008
Search Space Contraction in Canonical Labeling of Graphs
Adolfo Piperno
The individualization-refinement paradigm for computing a canonical labeling and the automorphism group of a graph is investigated. A new algorithmic design aimed at reducing the s…