Logical Methods in Computer Science

Aachen authors

Patent citations

–

h-index (all)

Aachen papers per year

Papers 11

Definable decompositions for graphs of bounded linear cliquewidth
2021 Logical Methods in Computer Science article Computer Science Advanced Graph Theory Research Open access

Mikołaj Bojańczyk, Martin Grohe, Michał Pilipczuk

7

citations
A Finite-Model-Theoretic View on Propositional Proof Complexity
2022 Logical Methods in Computer Science article Computer Science Complexity and Algorithms in Graphs Open access

Erich Grädel, Martin Grohe, Benedikt Pago, Wied Pakusa

5

citations
Infinite Probabilistic Databases
2022 Logical Methods in Computer Science article Computer Science Data Management and Algorithms Open access

Martin Grohe, Peter Lindner

5

citations
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
2020 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Thomas Brihaye, Florent Delgrange, Youssouf Oualhadj, Mickaël Randour

4

citations
Model Checking Temporal Properties of Recursive Probabilistic Programs
2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

Christina Gehnen, Joost-Pieter Katoen

4

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
Residuality and Learning for Nondeterministic Nominal Automata
2022 Logical Methods in Computer Science article Computer Science Machine Learning and Algorithms Open access

Joshua Moerman, Matteo Sammartino

1

citations
FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
2025 Logical Methods in Computer Science article Computer Science Cellular Automata and Applications Open access

Valentin Promies, Jasper Nalbach, Erika Ábrahám, Paul Kobialka

1

citations
Semiring Provenance for B\"uchi Games: Strategy Analysis with Absorptive Polynomials
2024 Logical Methods in Computer Science article Computer Science Semantic Web and Ontologies Open access

Erich Grädel, Niels Lücking, Matthias Naaf

0

citations
From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
2025 Logical Methods in Computer Science article Arts and Humanities Syntax, Semantics, Linguistic Variation Open access

Jan-Christoph Kassing, Jürgen Giesl

0

citations
Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
2025 Logical Methods in Computer Science article Computer Science semigroups and automata theory Open access

Franz Baader, Jürgen Giesl

0

citations

11 results

Most active Aachen authors

Martin Grohe 12,906 citations overall
3 papers
Jürgen Giesl 4,354 citations overall
2 papers
Joost-Pieter Katoen 20,330 citations overall
1 paper
Erich Grädel 7,146 citations overall
1 paper
Peter Lindner 1,576 citations overall
1 paper
Thomas Brihaye 1,307 citations overall
1 paper
Joshua Moerman 198 citations overall
1 paper
Matthias Naaf 87 citations overall
1 paper
Jasper Nalbach 31 citations overall
1 paper
Jan-Christoph Kassing 28 citations overall
1 paper
Richard Wilke 24 citations overall
1 paper
Benedikt Pago 22 citations overall
1 paper
Christina Gehnen 13 citations overall
1 paper
Valentin Promies 11 citations overall
1 paper
Matthias Hoelzel 11 citations overall
1 paper