24 citations · 24 across the 3 of their papers we have counts for
3 papers
The Way We Were: Structural Operational Semantics Research in Perspective
Luca Aceto, Pierluigi Crescenzi, Anna Ingólfsdóttir +1
This position paper on the (meta-)theory of Structural Operational Semantic (SOS) is motivated by the following two questions: (1) Is the (meta-)theory of SOS dying out as a resear…
A Note on the Complexity of Maximizing Temporal Reachability via Edge Temporalisation of Directed Graphs
Alkida Balliu, Filippo Brunelli, Pierluigi Crescenzi +2
A temporal graph is a graph in which edges are assigned a time label. Two nodes u and v of a temporal graph are connected one to the other if there exists a path from u to v with i…
Into the Square - On the Complexity of Quadratic-Time Solvable Problems
Michele Borassi, Pierluigi Crescenzi, Michel Habib
This paper will analyze several quadratic-time solvable problems, and will classify them into two classes: problems that are solvable in truly subquadratic time (that is, in time $…