research
∙
09/13/2023
The Way We Were: Structural Operational Semantics Research in Perspective
This position paper on the (meta-)theory of Structural Operational Seman...
share
research
∙
04/03/2023
A Note on the Complexity of Maximizing Temporal Reachability via Edge Temporalisation of Directed Graphs
A temporal graph is a graph in which edges are assigned a time label. Tw...
research
∙
05/30/2022
Giant Components in Random Temporal Graphs
A temporal graph is a graph whose edges appear only at certain points in...
research
∙
12/15/2021
Planning with Biological Neurons and Synapses
We revisit the planning problem in the blocks world, and we implement a ...
research
∙
11/16/2021
On The Complexity of Maximizing Temporal Reachability via Trip Temporalisation
We consider the problem of assigning appearing times to the edges of a d...
research
∙
05/05/2021
Public Communication can Facilitate Low-Risk Coordination under Surveillance
Consider a sub-population of rebels that wish to initiate a revolution. ...
research
∙
01/06/2021
On Computing Pareto Optimal Paths in Weighted Time-Dependent Networks
A weighted point-availability time-dependent network is a list of tempor...
research
∙
01/22/2020
Simple and Fast Distributed Computation of Betweenness Centrality
Betweenness centrality is a graph parameter that has been successfully a...
research
∙
08/09/2019