A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

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

Papers matching “symbolic representation” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

OntoURL: A benchmark for evaluating large language models on symbolic ontological understanding, reasoning and learning
2026 Journal of Web Semantics article Computer Science Semantic Web and Ontologies Open access

Xiao Zhang, Huiyuan Lai, Qianru Meng, Johan Bos

10

citations
Recent developments in theory and tool support for hybrid systems verification with HyPro
2022 Information and Computation article Computer Science Formal Methods in Verification Open access

Stefan Schupp, Erika Ábrahám, Tristan Ebert

6

citations
Inferring Lower Runtime Bounds for Integer Programs
2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

Florian Frohn, Matthias Naaf, Marc Brockschmidt, Jürgen Giesl

12

citations
An Oracle-Guided Approach to Constrained Policy Synthesis Under Uncertainty
2025 Journal of Artificial Intelligence Research article Computer Science Formal Methods in Verification Open access

Roman Andriushchenko, Milan Češka, Filip Macák, Sebastian Junges, Joost-Pieter Katoen

6

citations

4 results