From

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Reset

Papers matching “language equivalence” 10

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Language-Preserving Reduction Rules for Block-Structured Workflow Nets
2022 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

Sander J. J. Leemans

0

citations
Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
2025 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Jan Heemstra, Jan Martens, Anton Wijs

0

citations
Translating Workflow Nets to Process Trees: An Algorithmic Approach
2020 Preprints.org preprint Business, Management and Accounting Business Process Modeling and Analysis Open access cited by 1 patent

Sebastiaan J. van Zelst, Sander J. J. Leemans

2

citations
Hierarchical Decomposition of Separable Workflow-Nets
2026 arXiv (Cornell University) preprint Business, Management and Accounting Business Process Modeling and Analysis Open access

Humam Kourani, Gyunam Park, Wil M. P. van der Aalst

0

citations
Constructing deterministic $ω$-automata from examples by an extension of the RPNI algorithm
2021 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

León Bohn, Christof Löding

1

citations
Unsupervised Embedding of Trajectories Captures the Latent Structure of Mobility
2021 Research Square preprint Social Sciences Human Mobility and Location-Based Analysis Open access

Dakota Murray, Jisung Yoon, Sadamori Kojaku, Rodrigo Costas, Woo-Sung Jung, Staša Milojević, +1 more

5

citations
Graph Learning Should Move Beyond Restrictive Views of Spectral and Message-Passing GNNs
2026 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Antonis Vasileiou, Juan Cerviño, Pascal Frossard, Charilaos I. Kanatsoulis, Christopher Morris, Michael P. Schaub, +4 more

0

citations
Recursive querying of neural networks via weighted structures
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Martin Grohe, Christoph Standke, Juno Steegmans, Jan Van den Bussche

0

citations
Bayesian Inference in Quantum Programs
2025 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen

0

citations
Recursive querying of neural networks via weighted structures
2026 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Martin Grohe, Christoph Standke, Juno Steegmans, Jan Van den Bussche

0

citations

10 results