From

Institution

Field

Type

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

Reset

Papers matching “model checking algorithms” 9

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Model Checking the Multi-Formalism Language FIGARO
2021 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) conference-paper Computer Science Formal Methods in Verification

Shahid Ali Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant, Marc Bouissou

7

citations
Approximate Evaluation of First-Order Counting Queries
2021 Society for Industrial and Applied Mathematics eBooks conference-paper Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Peter Rossmanith

5

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
The Influence of Inhomogeneous Input Data from Different Waves on Predictive Model Development for COVID-19 ICU Patients (Preprint)
2021 preprint Computer Science Machine Learning in Healthcare Open access

Sebastian Johannes Fritsch, Konstantin Sharafutdinov, Moein E. Samadi, Gernot Marx, Andreas Schuppert, Johannes Bickenbach

0

citations
Synthesizing optimal bias in randomized self-stabilization
2021 Distributed Computing article Computer Science Distributed systems and fault tolerance Open access

Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen, Saba Aflaki

3

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
Choiceless Computation and Symmetry: Limitations of Definability
2021 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Benedikt Pago

4

citations
Online capability-based resource allocation for on-site construction operations utilizing digital twin models
2021 Construction Robotics article Engineering BIM and Construction Integration Open access

Sören Münker, Peter R. Wildemann, Amon Göppert, Sigrid Brell‐Çokcan, Robert Heinrich Schmitt

15

citations
Finding Provably Optimal Markov Chains
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

Jip Spel, Sebastian Junges, Joost-Pieter Katoen

12

citations

9 results