From

Institution

Field

Type

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

Reset

Papers matching “counting” 184

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Beyond NLL: Pathwise Cross-Entropy Loss for Discriminative and Calibrated Event-Time Survival Prediction
2026 IEEE Journal of Biomedical and Health Informatics article Computer Science Machine Learning in Healthcare

Jingmin Long, J. P. Li, Jesper Kers, Fons J. Verbeek

1

citations
Advancing Quantum Computing with Formal Methods
2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman

9

citations
Automatically Finding the Right Probabilities in Bayesian Networks
2023 Journal of Artificial Intelligence Research article Computer Science Bayesian Modeling and Causal Inference Open access

Bahare Salmani, Joost-Pieter Katoen

8

citations
Stärken und Grenzen des Weisfeiler-Leman-Algorithmus
2020 RWTH Publications (RWTH Aachen) dissertation Computer Science Advanced Graph Theory Research Open access

Sandra Kiefer

7

citations
Canonisation and Definability for Graphs of Bounded Rank Width
2022 ACM Transactions on Computational Logic article Computer Science Advanced Graph Theory Research Open access

Martin Grohe, Daniel Neuen

7

citations
Isomorphism, canonization, and definability for graphs of bounded rank width
2021 Communications of the ACM article Computer Science Advanced Graph Theory Research

Martin Grohe, Daniel Neuen

6

citations
The Iteration Number of the Weisfeiler-Leman Algorithm
2023 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Advanced Graph Theory Research

Martin Grohe, Moritz Lichter, Daniel Neuen

6

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
The Iteration Number of the Weisfeiler-Leman Algorithm
2024 ACM Transactions on Computational Logic article Computer Science Advanced Graph Theory Research Open access

Martin Grohe, Moritz Lichter, Daniel Neuen

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
The Iteration Number of the Weisfeiler-Leman Algorithm
2023 arXiv (Cornell University) preprint Computer Science Advanced Graph Theory Research Open access

Martin Grohe, Moritz Lichter, Daniel Neuen

2

citations
A Knowledge Compilation Map for Quantum Information
2026 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman

2

citations
Symmetric Proofs in the Ideal Proof System
2025 RWTH Publications (RWTH Aachen) preprint Computer Science Complexity and Algorithms in Graphs Open access

Anuj Dawar, Erich Grädel, Leon Kullmann, Benedikt Pago

0

citations
Quokka#: Quantum Computing with #SAT
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Jingyi Mei, Dekel Zak, Muhammad Osama, Tim Coopmans, Alfons Laarman

0

citations
Quokka#: Quantum Computing with #SAT
2026 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Jingyi Mei, Dekel Zak, Muhammad Osama, Tim Coopmans, Alfons Laarman

0

citations
Learning More Expressive General Policies for Classical Planning Domains
2025 Proceedings of the AAAI Conference on Artificial Intelligence conference-paper Computer Science AI-based Problem Solving and Planning Open access

Simon Ståhlberg, Blai Bonet, Héctor Geffner

0

citations
Quokka#: Quantum Computing with #SAT
2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jingyi Mei, Dekel Zak, Muhammad Osama, Tim Coopmans, Alfons Laarman

0

citations
Learning More Expressive General Policies for Classical Planning Domains
2024 arXiv (Cornell University) preprint Computer Science AI-based Problem Solving and Planning Open access

Simon Ståhlberg, Blai Bonet, Héctor Geffner

0

citations
Secure Evaluation of Knowledge Graph Merging Gain
2021 arXiv (Cornell University) preprint Computer Science Cryptography and Data Security Open access

Leandro Eichenberger, Michael Cochez, Benjamin Heitmann, Stefan Decker

0

citations
Formal Verification of Quantum Ancilla Safety
2026 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture Open access

Jiqi Li, Jingyi Mei, Wang Sheng Fang, Ji Guan

0

citations
Advancing Quantum Computing with Formal Methods
2024 arXiv (Cornell University) preprint Computer Science Quantum Computing Algorithms and Architecture Open access

Arend-Jan Quist, Jingyi Mei, Tim Coopmans, Alfons Laarman

0

citations
Ehrenfeucht-Fraïssé Games in Semiring Semantics
2023 arXiv (Cornell University) preprint Computer Science Logic, Reasoning, and Knowledge Open access

Sophie Brinke, Erich Grädel, Lovro Mrkonjić

0

citations
Finite Model Theory and Proof Complexity Revisited: Distinguishing Graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus
2022 arXiv (Cornell University) preprint Computer Science Complexity and Algorithms in Graphs Open access

Benedikt Pago

0

citations
Computational Complexity of the Weisfeiler-Leman Dimension
2026 ACM Transactions on Computational Logic article Computer Science Advanced Graph Theory Research

Moritz Lichter, Simon Raßmann, Pascal Schweitzer

0

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