From

Institution

Field

Type

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

Reset

Papers matching “dependency pairs” 20

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A Dependency Pair Framework for Relative Termination of Term Rewriting
2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

2

citations
A Dependency Pair Framework for Relative Termination of Term Rewriting
2024 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

1

citations
A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing

3

citations
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
2023 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

7

citations
Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

1

citations
Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
2025 International Symposium on Principles and Practice of Declarative Programming (PPDP) conference-paper Computer Science Logic, programming, and type systems Open access

2

citations
Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
2024 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

1

citations
The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
2024 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

0

citations
Dependency Tuples for Almost-Sure Innermost Termination of Probabilistic Term Rewriting (Short WST Version)
2023 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

Jan-Christoph Kassing, Jürgen Giesl

0

citations
A Correlative Microscopy Dataset for Multimodal Data Fusion and Image Matching in Materials Science
2026 Scientific Data data-paper Computer Science Advanced Image and Video Retrieval Techniques Open access

Ali Riza Durmaz, James D. Lamb, Kamilla Zaripova, Madeline Vailhe, Julia T. Pürstl, Justine Schulte, +3 more

1

citations
dCRAB-Optimized NMR Control Pulses for Theoretical Performance Benchmarking within JuMPO
2026 Jülich DATA dataset Computer Science Quantum Computing Algorithms and Architecture Open access

Federico Bianchi

0

citations
Mind the Gap: Exposing LLM Translation Blind Spots Using the AlphaMWE Multilingual Parallel Corpus
2026 arXiv (Cornell University) preprint Computer Science Natural Language Processing Techniques Open access

Lifeng Han, Jiahui Liang, Anna Latusek, K. El Haff, A. Haddad, Josua Höfgen, +3 more

0

citations
Artificial Intelligence in Cancer Research: Modality Dependence and Limited Visual–Spatial Integration in Multimodal Large Language Models for Breast Cancer Histopathology
2026 Life article Computer Science AI in cancer detection Open access

Ibrahim Güler, Armin Kraus, Gerrit Grieb, Tevfik Satır, Henrik Stelling

0

citations
Performance Comparison for Scientific Computations on the Edge via Relative Performance
2021 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW) conference-paper Computer Science IoT and Edge/Fog Computing Open access

Aravind Sankaran, Paolo Bientinesi

5

citations
UU-Tax at SemEval-2022 Task 3: Improving the generalizability of language models for taxonomy classification through data augmentation
2022 International Workshop on Semantic Evaluation (SemEval) conference-paper Computer Science Topic Modeling Open access

Injy Sarhan, Marco René Spruit

1

citations
Pairwise Auxiliary Ranking Task for Bioactivity Modelling
2026 ChemRxiv preprint Computer Science Computational Drug Discovery Methods Open access

Marc Boef, Olivier J. M. Béquignon, Gerard J. P. van Westen

0

citations
Laws of mutual spiral wave interaction in excitable media
2026 arXiv (Cornell University) preprint Computer Science Nonlinear Dynamics and Pattern Formation Open access

Tim De Coster, Arstanbek Okenov, Debora Hoogendijk, Arman Nobacht, Mathilde R. Rivaud, Antoine A.F. de Vries, +3 more

0

citations
Critical feature learning in deep neural networks
2024 arXiv (Cornell University) preprint Computer Science Gaussian Processes and Bayesian Inference Open access

Javed Lindner, David Dahmen, Zohar Ringel, M. Krämer, Moritz Helias

0

citations
GraphRAG Best Practices: A Modular Evaluation Framework and Regulatory Case Study
2026 Studies on the semantic web book-chapter Computer Science Topic Modeling Open access

Yan-Ying Liao, Diego Collarana, Christopher Ingo Pack, Alexander Graß, Andreas Both, Stefan Decker, +1 more

0

citations
Mind the Trust Gap: Identifying (Mis)alignments in Teacher-Student Views Toward Control and Agency in K-12 Classroom AI
2026 Proceedings of the ACM on Human-Computer Interaction article Computer Science Artificial Intelligence in Education Open access

Tomohiro Nagashima, Lisa Siegrist, Niklas Scholz, Shintaro Sato, Martina Vincoli, Man Su

0

citations

20 results