Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Open Access
    Datensatz exportieren als...
  • BibTeX
First-Order Interpretations of Bounded Expansion Classes
ACM transactions on computational logic, 2020-10, Vol.21 (4), p.1-41
2020
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
First order limits of sparse graphs: Plane trees and path‐width
Random structures & algorithms, 2017-07, Vol.50 (4), p.612-635
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Twin-width and generalized coloring numbers
Discrete mathematics, 2022-03, Vol.345 (3), p.112746, Article 112746
2022
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Kernelization using structural parameters on sparse graph classes
Journal of computer and system sciences, 2017-03, Vol.84, p.219-242
2017
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A New Perspective on FO Model Checking of Dense Graph Classes
ACM transactions on computational logic, 2020-10, Vol.21 (4), p.1-23
2020
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences
Logical methods in computer science, 2015-04, Vol.11, Issue 1
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Parameterized extension complexity of independent set and related problems
Discrete Applied Mathematics, 2018-10, Vol.248, p.56-67
2018
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Parameterized shifted combinatorial optimization
Journal of computer and system sciences, 2019-02, Vol.99, p.53-71
2019
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Faster Existential FO Model Checking on Posets
Logical methods in computer science, 2015-12, Vol.11, Issue 4
2015
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Kernelization Using Structural Parameters on Sparse Graph Classes
Algorithms – ESA 2013, p.529-540
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Parameterized Shifted Combinatorial Optimization
Computing and Combinatorics, p.224-236
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Corrigendum to “Twin-width and generalized coloring numbers” [Discrete Math. 345 (3) (2022) 112746]
Discrete mathematics, 2024-01, Vol.347 (1), p.113750, Article 113750
2024
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Faster Existential FO Model Checking on Posets
Algorithms and Computation, p.441-451
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Parameterized Algorithms for Parity Games
Mathematical Foundations of Computer Science 2015, 2015, Vol.9235, p.336-347
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Finite Integer Index of Pathwidth and Treewidth
Parameterized and Exact Computation, 2014, Vol.8894, p.258-269
2014
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Parameterized Algorithms for Modular-Width
Parameterized and Exact Computation, 2013, p.163-176
2013
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
FO Model Checking on Posets of Bounded Width
2015 IEEE 56th Annual Symposium on Foundations of Computer Science, 2015, p.963-974
2015
1 – 17 von 17
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen