English
Related papers

Related papers: Temporal graph patterns by timed automata

200 papers

Temporal graph neural networks (TGNNs) have been widely used for modeling time-evolving graph-related tasks due to their ability to capture both graph topology dependency and non-linear temporal dynamic. The explanation of TGNNs is of vital…

Machine Learning · Computer Science 2022-09-05 Wenchong He , Minh N. Vu , Zhe Jiang , My T. Thai

A temporal graph is a sequence of graphs (called layers) over the same vertex set -- describing a graph topology which is subject to discrete changes over time. A $\Delta$-temporal matching $M$ is a set of time edges $(e,t)$ (an edge $e$…

Data Structures and Algorithms · Computer Science 2021-04-26 Philipp Zschoche

Temporal graph learning is pivotal for deciphering dynamic systems, where the core challenge lies in explicitly modeling the underlying evolving patterns that govern network transformation. However, prevailing methods are predominantly…

Machine Learning · Computer Science 2026-02-20 Yijun Ma , Zehong Wang , Weixiang Sun , Yanfang Ye

With the growing amount of available temporal real-world network data, an important question is how to efficiently study these data. One can simply model a temporal network as either a single aggregate static network, or as a series of…

Social and Information Networks · Computer Science 2014-12-15 Yuriy Hulovatyy , Huili Chen , Tijana Milenkovic

We introduce graph gamma process (GGP) linear dynamical systems to model real-valued multivariate time series. For temporal pattern discovery, the latent representation under the model is used to decompose the time series into a…

Methodology · Statistics 2020-07-28 Rahi Kalantari , Mingyuan Zhou

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

Graphs are a commonly used construct for representing relationships between elements in complex high dimensional datasets. Many real-world phenomenon are dynamic in nature, meaning that any graph used to represent them is inherently…

Social and Information Networks · Computer Science 2018-11-21 Stephen Bonner , John Brennan , Ibad Kureshi , Georgios Theodoropoulos , Andrew Stephen McGough , Boguslaw Obara

The sparsest cut problem consists of identifying a small set of edges that breaks the graph into balanced sets of vertices. The normalized cut problem balances the total degree, instead of the size, of the resulting sets. Applications of…

Social and Information Networks · Computer Science 2017-02-17 Arlei Silva , Ambuj Singh , Ananthram Swami

In this work, we introduce a filtration on temporal graphs based on $\delta$-temporal motifs (recurrent subgraphs), yielding a multi-scale representation of temporal structure. Our temporal filtration allows tools developed for filtered…

Machine Learning · Computer Science 2025-12-04 Samrik Chowdhury , Siddharth Pritam , Rohit Roy , Madhav Cherupilil Sajeev

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

In this paper, we consider a model of generalized timed automata (GTA) with two kinds of clocks, history and future, that can express many timed features succinctly, including timed automata, event-clock automata with and without diagonal…

Formal Languages and Automata Theory · Computer Science 2024-03-19 S Akshay , Paul Gastin , R Govind , Aniruddha R Joshi , B Srivathsan

This paper endeavors to learn time-varying graphs by using structured temporal priors that assume underlying relations between arbitrary two graphs in the graph sequence. Different from many existing chain structure based methods in which…

Machine Learning · Computer Science 2022-02-24 Xiang Zhang , Qiao Wang

The focus of this paper is the analysis of real-time systems with recursion, through the development of good theoretical techniques which are implementable. Time is modeled using clock variables, and recursion using stacks. Our technique…

Formal Languages and Automata Theory · Computer Science 2017-07-11 S. Akshay , Paul Gastin , Shankara Narayanan Krishna , Ilias Sarkar

The recent deep generative models for static graphs that are now being actively developed have achieved significant success in areas such as molecule design. However, many real-world problems involve temporal graphs whose topology and…

Machine Learning · Computer Science 2021-03-09 Liming Zhang , Liang Zhao , Shan Qin , Dieter Pfoser

Most instruments - formalisms, concepts, and metrics - for social networks analysis fail to capture their dynamics. Typical systems exhibit different scales of dynamics, ranging from the fine-grain dynamics of interactions (which recently…

Social and Information Networks · Computer Science 2011-02-04 Nicola Santoro , Walter Quattrociocchi , Paola Flocchini , Arnaud Casteigts , Frederic Amblard

Many real-world systems exhibit temporal, dynamic behaviors, which are captured as time series of complex agent interactions. To perform temporal reasoning, current methods primarily encode temporal dynamics through simple sequence-based…

Machine Learning · Computer Science 2024-01-09 Paridhi Maheshwari , Hongyu Ren , Yanan Wang , Rok Sosic , Jure Leskovec

Temporal graphs are introduced to model systems where the relationships among the entities of the system evolve over time. In this paper, we consider the temporal graphs where the edge set changes with time and all the changes are known a…

Data Structures and Algorithms · Computer Science 2025-08-15 Rinku Kumar , Bodhisatwa Mazumdar , Subhrangsu Mandal

A temporal graph is a graph in which the edge set can change from one time step to the next. The temporal graph exploration problem TEXP is the problem of computing a foremost exploration schedule for a temporal graph, i.e., a temporal walk…

Data Structures and Algorithms · Computer Science 2021-03-17 Thomas Erlebach , Michael Hoffmann , Frank Kammer

This work formalizes the associational task of predicting node attribute evolution in temporal graphs from the perspective of learning equivariant representations. We show that node representations in temporal graphs can be cast into two…

Machine Learning · Computer Science 2023-03-29 Jianfei Gao , Bruno Ribeiro

Time-evolving traffic flow forecasting are playing a vital role in intelligent transportation systems and smart cities. However, the dynamic traffic flow forecasting is a highly nonlinear problem with complex temporal-spatial dependencies.…

Machine Learning · Computer Science 2025-08-05 Zhenan Lin , Yuni Lai , Wai Lun Lo , Richard Tai-Chiu Hsung , Harris Sik-Ho Tsang , Xiaoyu Xue , Kai Zhou , Yulin Zhu