BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Canada
1 × Iceland
1 × Latvia
1 × Portugal
1 × The Netherlands
1 × United Kingdom
2 × Greece
2 × Switzerland
2 × USA
Collaborated with:
E.Boros K.M.Elbassioni V.Gurvich T.Eiter S.Tamaki M.Yamamoto L.Khachiyan N.Kakimura G.Gottlob D.Nanongkai A.Lall A.D.Sarma M.Fouz B.Manthey B.Randerath E.Speckenmeyer P.L.Hammer A.Kogan B.Simeone O.Cepek
Talks about:
problem (5) generat (5) monoton (4) algorithm (3) boolean (3) hypergraph (2) transvers (2) stochast (2) multipl (2) connect (2)

Person: Kazuhisa Makino

DBLP DBLP: Makino:Kazuhisa

Contributed to:

ICALP (1) 20132013
SIGMOD 20122012
ICALP (1) 20112011
SAT 20102010
ICALP (1) 20092009
ICALP (1) 20082008
SAT 20072007
CSL 20032003
ICALP 20032003
STOC 20022002
ICALP 20012001
SAT 20012001
ICALP 20002000

Wrote 14 papers:

ICALP-v1-2013-BorosEGM #algorithm #game studies #probability #pseudo #random
A Pseudo-Polynomial Algorithm for Mean Payoff Stochastic Games with Perfect Information and a Few Random Positions (EB, KME, VG, KM), pp. 220–231.
SIGMOD-2012-NanongkaiLSM #interactive
Interactive regret minimization (DN, AL, ADS, KM), pp. 109–120.
ICALP-v1-2011-BorosEFGMM #analysis #approximate #game studies #probability
Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes (EB, KME, MF, VG, KM, BM), pp. 147–158.
ICALP-v1-2011-KakimuraM #independence #robust
Robust Independence Systems (NK, KM), pp. 367–378.
SAT-2010-MakinoTY #algorithm #problem
An Exact Algorithm for the Boolean Connectivity Problem for k-CNF (KM, ST, MY), pp. 172–180.
ICALP-v1-2009-BorosM #algorithm #parallel #performance #problem
A Fast and Simple Parallel Algorithm for the Monotone Duality Problem (EB, KM), pp. 183–194.
ICALP-A-2008-BorosEM #multi #on the
On Berge Multiplication for Monotone Boolean Dualization (EB, KME, KM), pp. 48–59.
SAT-2007-MakinoTY #on the #problem
On the Boolean Connectivity Problem for Horn Relations (KM, ST, MY), pp. 187–200.
CSL-2003-EiterM #abduction #generative #query
Generating All Abductive Explanations for Queries on Propositional Horn Theories (TE, KM), pp. 197–211.
ICALP-2003-BorosEGKM #difference #generative #problem
An Intersection Inequality for Discrete Distributions and Related Generation Problems (EB, KME, VG, LK, KM), pp. 543–555.
STOC-2002-EiterGM #generative
New results on monotone dualization and generating hypergraph transversals (TE, GG, KM), pp. 14–22.
ICALP-2001-BorosEGKM #generative #integer #linear #on the
On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities (EB, KME, VG, LK, KM), pp. 92–103.
SAT-2001-RanderathSBHKMSC #graph #problem #satisfiability
A Satisfiability Formulation of Problems on Level Graphs (BR, ES, EB, PLH, AK, KM, BS, OC), pp. 269–277.
ICALP-2000-BorosGKM #generative #multi
Generating Partial and Multiple Transversals of a Hypergraph (EB, VG, LK, KM), pp. 588–599.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.