From

Institution

Field

Type

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

Reset

Papers matching “local search” 85

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

A deep learning framework for efficient pathology image analysis
2026 Nature Communications article Computer Science AI in cancer detection Open access

Peter Neidlinger, Tim Lenz, Sebastian Foersch, Chiara Maria Lavinia Loeffler, Jan Clusmann, Marco Gustav, +21 more

2

citations
Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

1

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

1

citations
Digital Object Interface Protocol (DOIP) enabled Digital Object repository installation to store and provide digital specimen information
2025 preprint Computer Science Research Data Management Practices Open access

Soulaine Theocharides, Sam Leeflang, Wouter Addink, Sharif Islam

0

citations
FLANS at SemEval-2026 Task 7: RAG with Open-Sourced Smaller LLMs for Everyday Knowledge Across Diverse Languages and Cultures
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Liliia Bogdanova, Shiran Sun, Lifeng Han, Natalia Amat‐Lefort, Flor Miriam Plaza-del-Arco

0

citations
FLANS at SemEval-2026 Task 7: RAG with Open-Sourced Smaller LLMs for Everyday Knowledge Across Diverse Languages and Cultures
2026 arXiv (Cornell University) preprint Computer Science Topic Modeling Open access

Liliia Bogdanova, Shiran Sun, Lifeng Han, Natalia Amat‐Lefort, Flor Miriam Plaza-del-Arco

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
FLANS at SemEval-2026 Task 7: RAG with Open-Sourced Smaller LLMs for Everyday Knowledge Across Diverse Languages and Cultures
2026 International Workshop on Semantic Evaluation (SemEval) conference-paper Computer Science Topic Modeling Open access

Liliia Bogdanova, Shiran Sun, Lifeng Han, Natalia Amat‐Lefort, Flor Miriam Plaza-del-Arco

0

citations
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
2022 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Qiuye Wang, Mingshuai Chen, Xue Bai, Naijun Zhan, Joost-Pieter Katoen

0

citations
AI Reasoning
2025 Underline Science Inc. other Computer Science Logic, Reasoning, and Knowledge Open access

Subbarao Kambhampati B

0

citations