Name Card

Full name Familienname, Vorname
Makino, Kazuhisa
 

Own Publications Eigene Publikationen


Results 1-8 of 8 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gajarsky, Jakub ; Lampis, Michael ; Makino, Kazuhisa ; Mitsou, Valia ; Ordyniak, Sebastian Parameterized Algorithms for Parity GamesKonferenzbeitrag Inproceedings 2015
2Eiter, Thomas ; Makino, Kazuhisa ; Gottlob, Georg Computational Aspects of Monotone Dualization: A Brief SurveyArtikel Article2008
3Eiter, Thomas ; Makino, Kazuhisa New Results for Horn Cores and Envelopes of Horn DisjunctionsKonferenzbeitrag Inproceedings 2008
4Eiter, Thomas ; Makino, Kazuhisa On Computing all Abductive Explanations from a Propositional Horn TheoryArtikel Article2007
5Eiter, Thomas ; Makino, Kazuhisa ; Gottlob, Georg Computational Aspects of Monotone Dualization: A Brief SurveyBericht Report2006
6Eiter, Thomas ; Makino, Kazuhisa Generating all Abductive Explanations for Queries on Propositional Horn TheoriesBericht Report2003
7Eiter, Thomas ; Makino, Kazuhisa On Computing all Abductive Explanations (INFSYS RR-1843-02-04)Bericht Report2002
8Eiter, Thomas ; Gottlob, Georg ; Makino, Kazuhisa New Results on Monotone Dualization and Generating Hypergraph Transversals (INFSYS RR-1843-02-05)Bericht Report2002

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Nöllenburg, Martin ; Prutkin, Roman ; Rutter, Ignaz Partitioning Graph Drawings and Triangulated Simple Polygons into Greedily Routable RegionsKonferenzbeitrag Inproceedings 2015