Buchumschlag

Computational Complexity of Alignments

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schwanen, Christopher T., Pakusa, Wied, van der Aalst, Wil M. P.
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Formal Languages and Automata Theory
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Deciding Reachability and the Covering Problem with Diagnostics for Sound Acyclic Free-Choice Workflow Nets
von: Prinz, Thomas M., et al.
Veröffentlicht: (2026)

Imposing Rules in Process Discovery: an Inductive Mining Approach
von: Norouzifar, Ali, et al.
Veröffentlicht: (2024)

On the Complexity of Computing the Co-lexicographic Width of a Regular Language
von: Becker, Ruben, et al.
Veröffentlicht: (2024)

Correctness Notions for Petri Nets with Identifiers
von: van der Werf, Jan Martijn E. M., et al.
Veröffentlicht: (2022)

Mining Diamonds in labeled Transition Systems
von: van Spaendonck, P. H. M., et al.
Veröffentlicht: (2025)

On the Complexity of Language Membership for Probabilistic Words
von: Amarilli, Antoine, et al.
Veröffentlicht: (2025)

Operational State Complexity of Block Languages
von: Duarte, Guilherme, et al.
Veröffentlicht: (2024)

On the Representation and State Complexity of Block Languages
von: Duarte, Guilherme, et al.
Veröffentlicht: (2024)

Descriptional Complexity of Finite Automata -- Selected Highlights
von: Salomaa, Arto, et al.
Veröffentlicht: (2023)

Computational Model for Parsing Expression Grammars
von: Rubtsov, Alexander, et al.
Veröffentlicht: (2024)

Star Complexity of Parikh Images of Languages over Infinite Alphabets
von: Danieli, Yoav
Veröffentlicht: (2026)

A Complexity Bound for Determinisation of Min-Plus Weighted Automata
von: Almagor, Shaull, et al.
Veröffentlicht: (2026)

Fine-Grained Complexity of Ambiguity Problems on Automata and Directed Graphs
von: Drabik, Karolina, et al.
Veröffentlicht: (2025)

Temporal Causal Models as a Model of Computation
von: Gladyshev, Maksim, et al.
Veröffentlicht: (2026)

Unconditional Time and Space Complexity Lower Bounds for Intersection Non-Emptiness
von: Wehar, Michael
Veröffentlicht: (2025)

In System Alignments we Trust! Explainable Alignments via Projections
von: Sommers, Dominique, et al.
Veröffentlicht: (2025)

Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
von: Principato, Flavio T., et al.
Veröffentlicht: (2025)

Computing measures of weak-MSO definable sets of trees
von: Niwiński, Damian, et al.
Veröffentlicht: (2024)

A Characterization of Turing Machines that Compute Primitive Recursive Functions
von: Schwartz, Daniel G.
Veröffentlicht: (2025)

A Probabilistic Model-Checking Framework for Cognitive Assessment and Training
von: De Maria, Elisabetta, et al.
Veröffentlicht: (2026)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
von: Schalk, Patrizia, et al.
Veröffentlicht: (2025)

Learning Weighted Automata over Number Rings, Concretely and Categorically
von: Aristote, Quentin, et al.
Veröffentlicht: (2025)

The Similarity Control Problem with Required Events
von: Wang, Yu, et al.
Veröffentlicht: (2026)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata
von: Briones, Laura Brandán, et al.
Veröffentlicht: (2025)

Backward Responsibility in Transition Systems Using General Power Indices
von: Baier, Christel, et al.
Veröffentlicht: (2024)

Controller Synthesis for Parametric Timed Games
von: Dahlsen-Jensen, Mikael Bisgaard, et al.
Veröffentlicht: (2025)

On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version)
von: Dahlsen-Jensen, Mikael Bisgaard, et al.
Veröffentlicht: (2024)

Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields
von: Bell, Jason P., et al.
Veröffentlicht: (2022)

More on Maximally Permissive Similarity Control of Discrete Event Systems
von: Wang, Yu, et al.
Veröffentlicht: (2024)

Characterization of Isometric Words based on Swap and Mismatch Distance
von: Anselmo, M., et al.
Veröffentlicht: (2024)

WEX: Formal Specifications for Windows in Stream Processing
von: Hitarth, S, et al.
Veröffentlicht: (2022)

The Complexity of Aggregates over Extractions by Regular Expressions
von: Doleschal, Johannes, et al.
Veröffentlicht: (2020)

On Decidability Timed Automata with 2 Parametric Clocks
von: Bersani, Marcello M., et al.
Veröffentlicht: (2025)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays
von: Fränzle, Martin, et al.
Veröffentlicht: (2024)

Time for Timed Monitorability
von: Grosen, Thomas M., et al.
Veröffentlicht: (2025)

Exploiting Assumptions for Effective Monitoring of Real-Time Properties under Partial Observability
von: Cimatti, Alessandro, et al.
Veröffentlicht: (2024)

Semi-Automatic Extraction of Formal Models from Object Oriented Code
von: van Spaendonck, P. H. M.
Veröffentlicht: (2024)

A Lower Bound on Unambiguous Context Free Grammars via Communication Complexity
von: Mengel, Stefan, et al.
Veröffentlicht: (2024)

TuringQ: Benchmarking AI Comprehension in Theory of Computation
von: Zahraei, Pardis Sadat, et al.
Veröffentlicht: (2024)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
von: Lehaut, Mathieu, et al.
Veröffentlicht: (2026)