From

Institution

Field

Type

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

Reset

Papers matching “expressive language” 106

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Compositional Semantics of Boolean-Logic Driven Markov Processes
2023 IEEE Transactions on Dependable and Secure Computing article Computer Science Formal Methods in Verification

Shahid Ali Khan, Joost-Pieter Katoen, Marc Bouissou

3

citations
Query Languages for Neural Networks
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

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

0

citations
Query Languages for Neural Networks
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, Reasoning, and Knowledge Open access

Juno Steegmans

0

citations
The Linear Algebra Mapping Problem. Current State of Linear Algebra Languages and Libraries
2022 ACM Transactions on Mathematical Software article Computer Science Parallel Computing and Optimization Techniques Open access

Christos Psarras, Henrik Barthels, Paolo Bientinesi

15

citations
Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling
2025 Software & Systems Modeling editorial Computer Science Model-Driven Software Engineering Techniques Open access

Marsha Chećhik, Benoît Combemale, Jeff Gray, Bernhard Rumpe⋆

0

citations
Towards a Deductive Verification Infrastructure for Weighted Programming
2026 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Emma Ahrens, Samuel Rode, Philipp Schröer, Joost-Pieter Katoen

0

citations
Relatively Complete Verification of Probabilistic Programs
2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

0

citations
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model
2022 IEEE Access article Computer Science Model-Driven Software Engineering Techniques Open access

Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay

12

citations
Automatic Generation of Efficient Linear Algebra Programs
2020 Platform for Advanced Scientific Computing Conference (PASC) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Christos Psarras

7

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

3

citations
A Test for FLOPs as a Discriminant for Linear Algebra Algorithms
2022 IEEE International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) conference-paper Computer Science Matrix Theory and Algorithms Open access

Aravind Sankaran, Paolo Bientinesi

1

citations
EduCrypt: an educational tool for learning game-based cryptographic proofs
2026 RWTH Publications (RWTH Aachen) dissertation Computer Science Teaching and Learning Programming Open access

Jonas Broeckmann

0

citations
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
2024 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Till Hofmann, Jens Claßen

0

citations
Tabular: Probabilistic Inference from the Spreadsheet
2020 Cambridge University Press eBooks book-chapter Computer Science Bayesian Modeling and Causal Inference

Andrew D. Gordon, Claudio V. Russo, Marcin Szymczak, Johannes Borgström, Thore Graepel, Daniel Tarlow

0

citations
Fireiron
2020 conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodík, Vinod Grover

28

citations
Towards Empathetic Conversational Recommender Systems
2024 ACM Conference on Recommender Systems (RecSys) conference-paper Computer Science Recommender Systems and Techniques Open access

Xiaoyu Zhang, Ruobing Xie, Yougang Lyu, Xin Xin, Pengjie Ren, Mingfei Liang, +4 more

25

citations
A Deductive Verification Infrastructure for Probabilistic Programs
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

22

citations
Variables in Practice. An Observation of Teaching Variables in Introductory Programming MOOCs
2023 conference-paper Computer Science Teaching and Learning Programming Open access

Vivian van der Werf, Min Yi Zhang, Efthimia Aivaloglou, Felienne Hermans, Marcus M. Specht

7

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Christina Gehnen, Joost-Pieter Katoen

4

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
Recursive Querying of Neural Networks via Weighted Structures
2026 Proceedings of the ACM on Management of Data article Computer Science Logic, Reasoning, and Knowledge Open access

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

4

citations
Datenintegration und Metadatenmanagement in Data Lakes
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Database Systems and Queries Open access

Rihan Hai

2

citations
Comparing Two Approaches to Include Stochasticity in Hybrid Automata
2023 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Anne Remke, Erika Ábrahám

1

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

1

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 T. Schaub, +4 more

1

citations