From

Institution

Field

Type

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

Reset

Papers matching “first-order model checking” 14

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

First-Order Model-Checking in Random Graphs and Complex Networks
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
On the Parameterized Complexity of Learning First-Order Logic
2021 arXiv (Cornell University) preprint Computer Science Machine Learning and Algorithms Open access

Steffen van Bergerem, Martin Grohe, Martin Ritzert

0

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2024 arXiv (Cornell University) preprint Computer Science Semantic Web and Ontologies Open access

Erich Grädel, Val Tannen

1

citations
Approximate Evaluation of First-Order Counting Queries
2021 Society for Industrial and Applied Mathematics eBooks conference-paper Computer Science Complexity and Algorithms in Graphs Open access

Jan Dreier, Peter Rossmanith

5

citations
Provenance Analysis and Semiring Semantics for First-Order Logic
2025 Trends in mathematics book-chapter Decision Sciences Scientific Computing and Data Management

Erich Grädel, Val Tannen

1

citations
Provenance Analysis for Logic and Games
2020 RWTH Publications (RWTH Aachen) article Decision Sciences Scientific Computing and Data Management

Erich Grädel, Val Tannen

13

citations
Provenance analysis for logic and games
2020 Moscow Journal of Combinatorics and Number Theory article Decision Sciences Scientific Computing and Data Management Open access

7

citations
Weisfeiler-Leman on Graphs of Small Twin-Width
2026 RWTH Publications (RWTH Aachen) conference-paper Computer Science Advanced Graph Theory Research Open access

Irene Heinrich, Moritz Lichter, Klara Pakhomenko, Simon Raßmann

0

citations
Weisfeiler-Leman on Graphs of Small Twin-Width
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Irene Heinrich, Moritz Lichter, Klara Pakhomenko, Simon Raßmann

0

citations
Semiring Provenance for Guarded Logics
2021 Outstanding contributions to logic book-chapter Decision Sciences Scientific Computing and Data Management

Katrin M. Dannert, Erich Grädel

10

citations
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
2021 Logical Methods in Computer Science article Computer Science Logic, Reasoning, and Knowledge Open access

Matthias Hoelzel, Richard Wilke

2

citations
Logics of dependence and independence: The local variants
2021 Journal of Logic and Computation article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Phil Pützstück

1

citations
A mixed formulation for physics-informed neural networks as a potential solver for engineering problems in heterogeneous domains: comparison with finite element method
2022 arXiv (Cornell University) preprint Physics and Astronomy Model Reduction and Neural Networks Open access

Shahed Rezaei, Ali Harandi, Ahmad Moeineddin, Bai‐Xiang Xu, Stefanie Reese

215

citations

14 results