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 “first-order model checking” 4

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 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research 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 Advanced Graph Theory Research 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 Logic, Reasoning, and Knowledge Open access

Erich Grädel, Val Tannen

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

216

citations

4 results