„parameterized“

Suchergebnisse

1.641 Treffer

• Improved Approximation for Pathwidth One Vertex Deletion and Parameterized Complexity of Its Variants
  Jana, Satyabrata ; Mandal, Soumen ; Rai, Ashutosh ; Saurabh, Saket 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Beyond Exact Fairness: Envy-Free Incomplete Connected Fair Division
  E S, Ajaykrishnan ; Lokshtanov, Daniel 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Clustering in Varying Metrics
  Chakrabarty, Deeparnab ; Conroy, Jonathan ; Sarkar, Ankita 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Parameterized approximation algorithms for optimization problems on graphs
  Kaul, Matthias ; Mnich, Matthias ; Shachnai, Hadas ; Spoerhase, Joachim 2025 Technische Universität Hamburg. Universitätsbibliothek
• Algorithm design techniques for parameterized graph modification problems
  Guo, Jiong
• Fully-parameterized, first-class modules with hygienic macros
  Gasbichler, Josef Martin
• On the mechanized validation of infinite-state and parameterized reactive and mobile systems
  Röckl, Christine
• Revisiting Directed Disjoint Paths on Tournaments (And Relatives)
  de C. M. Gomes, Guilherme ; Lopes, Raul ; Sau, Ignasi 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• New Menger-Like Dualities in Digraphs and Applications to Half-Integral Linkages
  Campos, Victor ; Costa, Jonas ; Lopes, Raul ; Sau, Ignasi 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Relaxation of the Directed Disjoint Paths Problem: A Global Congestion Metric Helps
  Lopes, Raul ; Sau, Ignasi 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Model-checking problems, machines and parameterized complexity
  Chen, Yijia
• Exploring the limits of parameterized system verification
  Stahl, Karsten
• Abstraction-based verification of parameterized networks
  Baukus, Kai
• Parameterized error bounds and their optimality for linear complementarity problems involving Nekrasov and B-Nekrasov matrices
  Jing, Xia ; Gao, Lei
• Foreword: Special Issue on Parameterized and Exact Computation
  Guo, Jiong ; Hermelin, Danny
• Guest Editorial: Special Issue on Parameterized and Exact Computation
  Husfeldt, Thore ; Kanj, Iyad
• Parameterized and Exact Computation – 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers
  Chen, Jianer 2009 Springer International Publishing
• Fundamentals of Computation Theory – 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings
  Gąsieniec, Leszek ; Wolter, Frank 2015 Springer International Publishing
• Graph-Theoretic Concepts in Computer Science – 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers
  Kratsch, Dieter ; Todinca, Ioan 2014 Springer International Publishing
• Verification, Model Checking, and Abstract Interpretation – 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings
  Giacobazzi, Roberto ; Berdine, Josh ; Mastroeni, Isabella 2013 Springer Berlin Heidelberg