From

Institution

Field

Type

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

Reset

Papers matching “counting quantifiers” 58

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth
2023 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Eva Fluck, Tim Seppelt, Gian Luca Spitzer

0

citations
Counting Bounded Tree Depth Homomorphisms
2020 conference-paper Computer Science Advanced Graph Theory Research Open access

Martin Grohe

21

citations
Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond
2023 arXiv (Cornell University) preprint Computer Science semigroups and automata theory Open access

Jan Dreier, Daniel Mock, Peter Rossmanith

0

citations
How to Quantify Heavy Mineral Fertility From Point‐Counting Data
2024 Journal of Geophysical Research Earth Surface article Computer Science Geochemistry and Geologic Mapping Open access

Laura Stütenbecker, A. Djahansouzi, Christoph Glotzbach, Sarah Falkowski, Tim Adolffs, Sven Sindern, +1 more

3

citations
“X-ray Coulomb Counting” to Understand Electrochemical Systems
2026 Photon Science article Materials Science Electron and X-Ray Spectroscopy Techniques Open access

Chuntian Cao, Hans‐Georg Steinrück

1

citations
"X-ray Coulomb Counting" to understand electrochemical systems
2025 arXiv (Cornell University) preprint Engineering Advancements in Battery Materials Open access

Chuntian Cao, Hans‐Georg Steinrück

0

citations
"X-ray Coulomb Counting" to understand electrochemical systems
2025 arXiv (Cornell University) preprint Engineering Advancements in Battery Materials Open access

Chuntian Cao, Hans‐Georg Steinrück

0

citations
How to Count Our Microbes? The Effect of Different Quantitative Microbiome Profiling Approaches
2020 Frontiers in Cellular and Infection Microbiology article Biochemistry, Genetics and Molecular Biology Gut microbiota and health Open access cited by 3 patents

Gianluca Galazzo, Niels van Best, Birke J. Benedikter, Kevin J. H. Janssen, Liene Bervoets, Christel Driessen, +9 more

148

citations
A Search for Neutrino Point-source Populations in 7 yr of IceCube Data with Neutrino-count Statistics
2020 The Astrophysical Journal article Physics and Astronomy Astrophysics and Cosmic Phenomena Open access

M. G. Aartsen, M. Ackermann, J. Adams, J. A. Aguilar, M. Ahlers, M. Ahrens, +94 more

12

citations
The Iteration Number of the Weisfeiler-Leman Algorithm
2023 conference-paper Computer Science Complexity and Algorithms in Graphs

Martin Grohe, Moritz Lichter, Daniel Neuen

6

citations
The Iteration Number of the Weisfeiler-Leman Algorithm
2024 ACM Transactions on Computational Logic article Computer Science Matrix Theory and Algorithms Open access

Martin Grohe, Moritz Lichter, Daniel Neuen

3

citations
The Iteration Number of the Weisfeiler-Leman Algorithm
2023 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Martin Grohe, Moritz Lichter, Daniel Neuen

2

citations
Logarithmic Weisfeiler-Leman Identifies All Planar Graphs
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Martin Grohe, Sandra Kiefer

3

citations
Logarithmic Weisfeiler-Leman Identifies All Planar Graphs
2021 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Martin Grohe, Sandra Kiefer

2

citations
Solving Partial Dominating Set and Related Problems Using Twin-Width
2025 RWTH Publications (RWTH Aachen) preprint Computer Science Advanced Graph Theory Research Open access

Jakub Balabán, Daniel Mock, Peter Rossmanith

0

citations
Solving Partial Dominating Set and Related Problems Using Twin-Width
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Jakub Balabán

0

citations
A Rank-Preserving Gaifman Normal Form for First-Order Logic on Weighted Structures
2026 arXiv (Cornell University) preprint Computer Science Advanced Algebra and Logic Open access

Steffen van Bergerem, Martin Grohe, Charlotte Lenz, Nicole Schweikardt

0

citations
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
2023 conference-paper Computer Science Formal Methods in Verification

Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus

1

citations
Stärken und Grenzen des Weisfeiler-Leman-Algorithmus
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Complexity and Algorithms in Graphs Open access

Sandra Kiefer

7

citations
Ehrenfeucht-Fraïssé Games in Semiring Semantics
2023 arXiv (Cornell University) preprint Decision Sciences Scientific Computing and Data Management Open access

Sophie Brinke, Erich Grädel, Lovro Mrkonjić

0

citations
A Phase 2 Study of the LSD1 Inhibitor Bomedemstat (IMG-7289) for the Treatment of Advanced Myelofibrosis (MF): Updated Results and Genomic Analyses
2022 Blood article Medicine Myeloproliferative Neoplasms: Diagnosis and Treatment

Kristen Marie Pettit, Harinder Gill, Abdulraheem Yacoub, Terrence Bradley, Aaron Thomas Gerds, Maciej Tatarczuch, +26 more

15

citations
Monitoring of haematopoietic stem cell mobilization by targeted DNA methylation analysis
2026 British Journal of Haematology article Medicine Hematopoietic Stem Cell Transplantation Open access

Wouter H. G. Hubens, Anke Diehlmann, Patrick Wuchter, Wolfgang Wagner

1

citations
Clinicohematologic and molecular response of essential thrombocythemia patients treated with pegylated interferon-α: a multi-center study of the German Study Group-Myeloproliferative Neoplasms (GSG-MPN)
2023 Leukemia article Medicine Myeloproliferative Neoplasms: Diagnosis and Treatment Open access

Frank Stegelmann, Lino Lars Teichmann, Florian Heinrich Heidel, Carl C. Crodel, Thomas Ernst, Sebastian Kreil, +11 more

8

citations
Macro-Meso Characteristics and Damage Mechanism of Cement-Stabilized Macadam Under Freeze–Thaw Cycles and Scouring
2025 Materials article Engineering Concrete and Cement Materials Research Open access

Hongfu Liu, A.W. Kuang, Dongzhao Jin, Xinghai Peng, Songtao Lv

3

citations
Simulating Logspace-Recursion with Logarithmic Quantifier Depth
2023 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

Steffen van Bergerem, Martin Grohe, Sandra Kiefer, Luca Oeljeklaus

0

citations