From

Institution

Field

Type

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

Reset

Papers matching “first-order model checking” 7

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
Provenance Analysis for Logic and Games
2020 RWTH Publications (RWTH Aachen) article Computer Science Logic, Reasoning, and Knowledge

Erich Grädel, Val Tannen

13

citations
Provenance analysis for logic and games
2020 Moscow Journal of Combinatorics and Number Theory article Computer Science Logic, Reasoning, and Knowledge Open access

7

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
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
Rifampicin reduces plasma concentration of linezolid in patients with infective endocarditis
2023 Journal of Antimicrobial Chemotherapy article Medicine Antibiotics Pharmacokinetics and Efficacy Open access

Magnus Bock, J. G. Coen van Hasselt, Franziska Angelika Schwartz, Hengzhuang Wang, Niels Høiby, Kurt Fuursted, +18 more

10

citations

7 results