5 citations · 13 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
Critical Peaks Redefined -
Nao Hirokawa, Julian Nagele, Vincent van Oostrom +1
Let a cluster be a term with a number of patterns occurring in it. We give two accounts of clusters, a geometric one as sets of (node and edge) positions, and an inductive one as p…
cs.LO2017
CoCoWeb - A Convenient Web Interface for Confluence Tools
Julian Nagele, Aart Middeldorp
We present a useful web interface for tools that participate in the annual confluence competition.