From

Institution

Field

Type

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

Reset

Papers matching “type equivalence” 9

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types
2022 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Alex C. Keizer, Henning Basold, Jorge A. Pérez

4

citations
CF-GKAT: Efficient Validation of Control-Flow Transformations
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus

3

citations
StacKAT: Infinite State Network Verification
2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Jules Jacobs, Nate Foster, Tobias Kappé, Dexter C. Kozen, Lily Saada, Alexandra Silva, +1 more

0

citations
dcFCI: Robust Causal Discovery Under Latent Confounding, Unfaithfulness, and Mixed Data
2026 IEEE Transactions on Pattern Analysis and Machine Intelligence article Computer Science Bayesian Modeling and Causal Inference Open access

Adèle H. Ribeiro, Dominik Heider

2

citations
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science semigroups and automata theory Open access

León Bohn, Christof Löding

1

citations
Modeling non-deterministic quantum programs for model checking
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
Predicting the equivalent alkane carbon number of oils using graph neural networks and quantum mechanical descriptors
2025 Computers & Chemical Engineering article Computer Science Computational Drug Discovery Methods Open access

Christoforos Brozos, Jan G. Rittig, Elie Akanny, Philipp Eiden, Alexander Mitsos

1

citations
All genuinely entangled stabilizer subspaces are multipartite fully nonlocal
2025 npj Quantum Information article Computer Science Quantum Information and Cryptography Open access

Owidiusz Makuta, Remigiusz Augusiak

3

citations
Every Regular Language Has a Bipartite Cactus Automaton
2026 Electronic Proceedings in Theoretical Computer Science article Computer Science semigroups and automata theory Open access

Mario Grobler, Till Koziel, Sebastian Siebertz

0

citations

9 results