English
Related papers

Related papers: Model checking with temporal graphs and their deri…

200 papers

Temporal networks are increasingly being used to model the interactions of complex systems. Most studies require the temporal aggregation of edges (or events) into discrete time steps to perform analysis. In this article we describe a…

Social and Information Networks · Computer Science 2017-10-16 Andrew Mellor

Within many real-world networks the links between pairs of nodes change over time. Thus, there has been a recent boom in studying temporal graphs. Recognizing patterns in temporal graphs requires a proximity measure to compare different…

Machine Learning · Computer Science 2020-07-07 Vincent Froese , Brijnesh Jain , Rolf Niedermeier , Malte Renken

What is a time-varying graph, a time-varying topological space, or, more generally, a mathematical structure that evolves over time? In this work, we lay the foundations for a general theory of temporal data by introducing categories of…

Category Theory · Mathematics 2026-04-22 Benjamin Merlin Bumpus , James Fairbanks , Martti Karvonen , Wilmer Leal , Frédéric Simard

Time-evolving or temporal graphs gain more and more popularity when studying the behavior of complex networks. In this context, the multistage view on computational problems is among the most natural frameworks. Roughly speaking, herein one…

Computational Complexity · Computer Science 2020-07-30 Klaus Heeger , Anne-Sophie Himmel , Frank Kammer , Rolf Niedermeier , Malte Renken , Andrej Sajenko

In a temporal graph, each edge is available at specific points in time. Such an availability point is often represented by a ''temporal edge'' that can be traversed from its tail only at a specific departure time, for arriving in its head…

Data Structures and Algorithms · Computer Science 2023-01-31 Filippo Brunelli , Laurent Viennot

Word-representable graphs are a subset of graphs that may be represented by a word $w$ over an alphabet composed of the vertices in the graph. In such graphs, an edge exists if and only if the occurrences of the corresponding vertices…

Data Structures and Algorithms · Computer Science 2025-02-12 Duncan Adamson

A temporal graph can be represented by a graph with an edge labelling, such that an edge is present in the network if and only if the edge is assigned the corresponding time label. A journey is a labelled path in a temporal graph such that…

Computational Complexity · Computer Science 2023-12-13 Esteban Christiann , Eric Sanlaville , Jason Schoeters

Temporal graphs represent the dynamic relationships among entities and occur in many real life application like social networks, e commerce, communication, road networks, biological systems, and many more. They necessitate research beyond…

Machine Learning · Computer Science 2022-08-26 Shubham Gupta , Srikanta Bedathur

Temporal graphs are graphs whose edges are labelled with times at which they are active. Their time-sensitivity provides a useful model of real networks, but renders many problems studied on temporal graphs more computationally complex than…

Discrete Mathematics · Computer Science 2026-04-28 Jessica Enright , Samuel D. Hand , Laura Larios-Jones , Kitty Meeks

A temporal graph is a graph in which connections between vertices are active at specific times, and such temporal information leads to completely new patterns and knowledge that are not present in a non-temporal graph. In this paper, we…

Data Structures and Algorithms · Computer Science 2014-01-10 Silu Huang , James Cheng , Huanhuan Wu

A graph whose edges only appear at certain points in time is called a temporal graph (among other names). Such a graph is temporally connected if each ordered pair of vertices is connected by a path which traverses edges in chronological…

Discrete Mathematics · Computer Science 2023-12-19 Arnaud Casteigts , Michael Raskin , Malte Renken , Viktor Zamaraev

We study spreading processes in temporal graphs, i. e., graphs whose connections change over time. These processes naturally model real-world phenomena such as infectious diseases or information flows. More precisely, we investigate how…

Data Structures and Algorithms · Computer Science 2021-07-21 Hendrik Molter , Malte Renken , Philipp Zschoche

A temporal graph ${\cal G}$ is a graph that changes with time. More specifically, it is a pair $(G, \lambda)$ where $G$ is a graph and $\lambda$ is a function on the edges of $G$ that describes when each edge $e\in E(G)$ is active. Given…

Combinatorics · Mathematics 2022-08-16 Allen Ibiapina , Ana Silva

In this paper, we study temporal graphs arising from mobility models, where vertices correspond to agents moving in space and edges appear each time two agents meet. We propose a rather natural one-dimensional model. If each pair of agents…

Data Structures and Algorithms · Computer Science 2024-09-20 Mónika Csikós , Michel Habib , Minh-Hang Nguyen , Mikaël Rabie , Laurent Viennot

This paper settles the computational complexity of model checking of several extensions of the monadic second order (MSO) logic on two classes of graphs: graphs of bounded treewidth and graphs of bounded neighborhood diversity. A classical…

Computational Complexity · Computer Science 2026-01-06 Dušan Knop , Martin Koutecký , Tomáš Masařík , Tomáš Toufar

We address the problem of testing whether a given dynamic graph is temporally connected, {\it i.e} a temporal path (also called a {\em journey}) exists between all pairs of vertices. We consider a discrete version of the problem, where the…

Data Structures and Algorithms · Computer Science 2014-08-06 Matthieu Barjon , Arnaud Casteigts , Serge Chaumette , Colette Johnen , Yessin M. Neggaz

We study the Temporal Exploration problem, where an agent must visit all vertices of a temporal graph while traversing at most one available edge per time step. Unlike static graphs, which can be explored in linear time, temporal…

Data Structures and Algorithms · Computer Science 2026-05-18 Ivan Lahtin , Viktor Zamaraev

Temporal graphs represent graph evolution over time, and have been receiving considerable research attention. Work on expressing temporal graph patterns or discovering temporal motifs typically assumes relatively simple temporal…

Databases · Computer Science 2022-05-31 Amir Pouya Aghasadeghi , Jan Van den Bussche , Julia Stoyanovich

Real complex systems are inherently time-varying. Thanks to new communication systems and novel technologies, it is today possible to produce and analyze social and biological networks with detailed information on the time of occurrence and…

Physics and Society · Physics 2012-04-17 V. Nicosia , J. Tang , M. Musolesi , G. Russo , C. Mascolo , V. Latora

Real-time analysis of graphs containing temporal information, such as social media streams, Q&A networks, and cyber data sources, plays an important role in various applications. Among them, detecting patterns is one of the fundamental…

Databases · Computer Science 2023-12-19 Seunghwan Min , Jihoon Jang , Kunsoo Park , Dora Giammarresi , Giuseppe F. Italiano , Wook-Shin Han