Dynamic data structures for timed automata acceptance
type: Item
instance of: scholarly article
title: Dynamic data structures for timed automata acceptance
author: Alejandro Grez
author: Filip Mazowiecki
author: Michał Pilipczuk
author: Gabriele Puppis
author: Cristian Riveros
published in: Algorithmica
publication date: 2022-10-27T00:00:00Z
Mathematics Subject Classification ID: 68Wxx
Mathematics Subject Classification ID: 05Cxx
zbMATH DE Number: 7608289
zbMATH Keywords: timed automata
zbMATH Keywords: data stream
zbMATH Keywords: dynamic data structure
MaRDI profile type: Publication
Wikidata QID: Q114692101
full work available at URL: s00453-022-01025-8
OpenAlex ID: W3217447083
cites work: Dynamic Parameterized Problems and Algorithms
cites work: A theory of timed automata
cites work: Timed automata and additive clock constraints
cites work: Timed Pushdown Automata Revisited
cites work: A brief account of runtime verification
cites work: Fault Diagnosis for Timed Automata
cites work: Maintaining Stream Statistics over Sliding Windows
cites work: Q4945538
cites work: Q5180413
cites work: Recognizing Well-Parenthesized Expressions in the Streaming Model
cites work: Streaming algorithms for language recognition problems
cites work: Querying Regular Languages over Sliding Windows
cites work: Q3304130
cites work: On a class of \(O(n^ 2)\) problems in computational geometry
cites work: On a class of \(O(n^2)\) problems in computational geometry
cites work: Threesomes, Degenerates, and Love Triangles
cites work: Higher Lower Bounds from the 3SUM Conjecture
cites work: Towards polynomial lower bounds for dynamic problems
DOI: 10.1007/S00453-022-01025-8
description: scientific article; zbMATH DE number 7608289