From

Institution

Field

Type

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

Reset

Papers matching “Leibniz” 61

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

Semiring Provenance for Fixed-Point Logic
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, Reasoning, and Knowledge Open access

Katrin M. Dannert, Erich Grädel, Matthias Naaf, Val Tannen

12

citations
The Iteration Number of Colour Refinement
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Graph Theory and Algorithms Open access

Sandra Kiefer, Brendan D. McKay

10

citations
Graph Isomorphism in Quasipolynomial Time Parameterized by Treewidth
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Daniel Wiebking

8

citations
Synthesis from Weighted Specifications with Partial Domains over Finite Words
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Formal Methods in Verification Open access

Emmanuel Filiot, Christof Löding, Sarah Winter

7

citations
Homomorphism Tensors and Linear Equations
2022 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Martin Grohe, Gaurav Rattan, Tim Seppelt

5

citations
Isomorphism Testing Parameterized by Genus and Beyond
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Daniel Neuen

4

citations
Online Simple Knapsack with Reservation Costs
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Optimization and Search Problems Open access

Hans-Joachim Böckenhauer, Elisabet Burjons, Juraj Hromkovic̆, Henri Lotze, Peter Rossmanith

4

citations
Composition and Recursion for Causal Structures
2023 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, programming, and type systems Open access

3

citations
Agile Requirement Engineering for a Cloud System for Automated and Networked Vehicles
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Software Engineering Techniques and Practices Open access

Armin Mokhtarian, Alexandru Kampmann, Bassam Alrifaee, Stefan Kowalewski, Bastian Lampe, Lutz Eckstein

3

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
Elementary Equivalence Versus Isomorphism in Semiring Semantics
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science semigroups and automata theory Open access

Erich Grädel, Lovro Mrkonjić

2

citations
Recognizing Proper Tree-Graphs
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Steven Chaplick, Petr A. Golovach, Tim A. Hartmann, Dušan Knop

2

citations
Fault-Tolerant Edge-Disjoint s-t Paths - Beyond Uniform Faults
2022 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Complexity and Algorithms in Graphs Open access

David Adjiashvili, Felix Hommelsheim, Moritz Mühlenthaler, Oliver Schaudt

2

citations
Computational Complexity of the Weisfeiler-Leman Dimension
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Simon Raßmann, Pascal Schweitzer

2

citations
Horned-OWL: Flying Further and Faster with Ontologies
2024 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Semantic Web and Ontologies Open access

Phillip Lord

1

citations
Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science semigroups and automata theory Open access

León Bohn, Christof Löding

1

citations
Model-Driven Code Generation for Microservices: Service Models
2023 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Model-Driven Software Engineering Techniques Open access

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher

1

citations
Guarded Teams: The Horizontally Guarded Case
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Logic, Reasoning, and Knowledge Open access

Erich Grädel, Martin Otto

1

citations
Compositional Reasoning for Parametric Probabilistic Automata
2025 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Formal Methods in Verification Open access

1

citations
First-Order Model-Checking in Random Graphs and Complex Networks
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
Randomization in Non-Uniform Finite Automata
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science semigroups and automata theory Open access

Pavol Ďuriš, Rastislav Kráľovič, Richard Královič, Dana Pardubská, Martin Pašen, Peter Rossmanith

1

citations
Maximum Shallow Clique Minors in Preferential Attachment Graphs Have Polylogarithmic Size
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Jan Dreier, Philipp Kuinke, Peter Rossmanith

1

citations
Weisfeiler and Leman’s Unlikely Journey from Graph Isomorphism to Neural Networks (Invited Talk)
2020 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Graph Theory and Algorithms Open access

Martin Grohe

0

citations
Weisfeiler-Leman on Graphs of Small Twin-Width
2026 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Graph Theory Research Open access

Irene Heinrich, Moritz Lichter, Klara Pakhomenko, Simon Raßmann

0

citations
Database Repairing with Soft Functional Dependencies
2021 DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) article Computer Science Advanced Database Systems and Queries Open access

Nofar Carmeli, Martin Grohe, Benny Kimelfeld, Ester Livshits, Muhammad Tibi

0

citations