From

Institution

Field

Type

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

Reset

Papers matching “compositional reasoning” 26

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

KnowledgeBerg: Evaluating Systematic Knowledge Coverage and Compositional Reasoning in Large Language Models
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Xiao Zhang, Qianru Meng, Yongjian Chen, Yumeng Wang, Johan Bos

0

citations
KnowledgeBerg: Evaluating Systematic Knowledge Coverage and Compositional Reasoning in Large Language Models
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Xiao Zhang, Qianru Meng, Yongjian Chen, Yumeng Wang, Johan Bos

0

citations
KnowledgeBerg: Evaluating Systematic Knowledge Coverage and Compositional Reasoning in Large Language Models
2026 conference-paper Computer Science Topic Modeling Open access

Xiao Zhang, Qianru Meng, Yongjian Chen, Yumeng Wang, Johan Bos

0

citations
Compositional Reasoning for Parametric Probabilistic Automata
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Formal Methods in Verification Open access

1

citations
Compositional Reasoning for Probabilistic Automata with Uncertainty
2026 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen

0

citations
Compositional Reasoning for Parametric Probabilistic Automata
2024 RWTH Publications (RWTH Aachen) book-chapter Computer Science Formal Methods in Verification Open access

0

citations
On the rtelation of rely-guarantee and assume-guarantee reasoning
2025 RWTH Publications (RWTH Aachen) article Computer Science Logic, programming, and type systems Open access

0

citations
A compositional approach to probabilistic knowledge compilation
2021 International Journal of Approximate Reasoning article Computer Science Bayesian Modeling and Causal Inference Open access

Giso H. Dal, Alfons Laarman, Arjen Hommersom, Peter Lucas

6

citations
Automated reasoning and randomization in separation logic
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Logic, programming, and type systems Open access

Christoph Matheja

6

citations
Does a Program Yield the Right Distribution?
2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg, Tobias Winkler

14

citations
Expected Runtime Analyis by Program Verification
2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

12

citations
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Mingshuai Chen, Joost-Pieter Katoen, Lutz Klinkenberg

1

citations
Have Large Vision-Language Models Mastered Art History?
2024 arXiv (Cornell University) preprint Computer Science Multimodal Machine Learning Applications Open access

Ombretta Strafforello, Derya Soydaner, M. Willems, Anne-Sofie Maerten, Stefanie De Winter

1

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 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
Optimizing VLP-aligned Multimodal Intent Representation with Correct Visual Instantiation for Zero-Shot Composed Image Retrieval
2026 arXiv (Cornell University) preprint Computer Science Multimodal Machine Learning Applications Open access

Xuri Ge, Chunhao Wang, Junchen Fu, Haokun Wen, Zhiwei Xu, Ying Zhou, +4 more

0

citations
A Calculus for Amortized Expected Runtimes
2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

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

22

citations
A formal framework for distributed cyber-physical systems
2022 Journal of Logical and Algebraic Methods in Programming article Computer Science Logic, programming, and type systems Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

2

citations
Slicing Match-Action Pipeline Resources for Multitenancy on Programmable Switches
2025 IEEE International Conference on Network Softwarization (NetSoft) conference-paper Computer Science Software-Defined Networks and 5G

Johannes Krude, Felix Frei, Pedram Ahmadiyeh, René Glebke, Mirko Stoffers, Klaus Wehrle

1

citations
A Formal Framework for Distributed Cyber-Physical Systems
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Benjamin Lion, Farhad Arbab, Carolyn Talcott

1

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
Interactive real-time auralization of airborne sound insulation in buildings
2021 Acta Acustica article Computer Science Speech and Audio Processing Open access

Muhammad Imran, Anne Heimes, Michael Vorländer

5

citations
Quantification of the Spectral Variability of Ore-Bearing Granodiorite under Supervised and Semisupervised Conditions: An Upscaling Approach
2021 Journal of Spectroscopy article Computer Science Geochemistry and Geologic Mapping Open access

Yaron Ogen, Michael Denk, Cornelia Glaesser, Holger Eichstaedt, René Kahnt, Ralf Loeser, +5 more

3

citations
Weisfeiler and Leman Go Relational
2022 arXiv (Cornell University) preprint Computer Science Advanced Graph Neural Networks Open access

Pablo Barceló, Miguel Romero Orth

1

citations
silx-kit/silx: 3.0.0: 2026/04/24
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science Computational Physics and Python Applications Open access

Thomas VINCENT, Valentin Valls, payno, Jerome Kieffer, V. Armando Solé, Pierre Paleo, +24 more

0

citations