From

Institution

Field

Type

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

Reset

Papers matching “abstract syntax” 7

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

LLaMEA-SAGE: Guiding Automated Algorithm Design with Structural Feedback from Explainable AI
2026 arXiv (Cornell University) preprint Computer Science Evolutionary Algorithms and Applications Open access

Niki van Stein, Anna V. Kononova, Lars Kotthoff, Thomas Bäck

0

citations
chakravala/SyntaxTree.jl: v1.1.0
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Dream Scatter, Lars Göttgens

0

citations
chakravala/SyntaxTree.jl: v1.1.0
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Logic, programming, and type systems Open access

Dream Scatter, Lars Göttgens

0

citations
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
2021 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

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

9

citations
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
Model-Driven Engineering of Microservice Architectures—The LEMMA Approach
2024 Springer eBooks book-chapter Computer Science Model-Driven Software Engineering Techniques Open access

Florian Rademacher, Philip Wizenty, Jonas Sorgalla, Sabine Sachweh, Albert Zündorf

5

citations
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

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

0

citations

7 results