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 × Australia
1 × Austria
1 × Cyprus
1 × Germany
1 × India
1 × Israel
2 × USA
2 × United Kingdom
Collaborated with:
N.Kato K.Ohmura K.Cho M.Morita T.Chikayama K.Hara K.Mizuno H.Akutsu T.Chiba T.Kawaguchi N.Shimozono
Talks about:
program (3) concurr (3) determinist (2) languag (2) exhaust (2) search (2) prolog (2) ntal (2) make (2) sat (2)

Person: Kazunori Ueda

DBLP DBLP: Ueda:Kazunori

Facilitated 2 volumes:

FLOPS 2001Ed
ILPS 1991Ed

Contributed to:

PDP 20152015
SAT 20092009
RTA 20082008
ICLP 20062006
ICLP 20032003
ICLP 20012001
JICSLP 19961996
ICLP 19901990
ICLP 19871987
ICLP 19861986
SLP 19851985

Wrote 11 papers:

PDP-2015-AkutsuUCKS #analysis #distributed #reliability
Reliability Analysis of Highly Redundant Distributed Storage Systems with Dynamic Refuging (HA, KU, TC, TK, NS), pp. 261–268.
SAT-2009-OhmuraU #clustering #named #parallel #satisfiability
c-sat: A Parallel SAT Solver for Clusters (KO, KU), pp. 524–537.
RTA-2008-Ueda #encoding #graph grammar #λ-calculus
Encoding the Pure λ Calculus into Hierarchical Graph Rewriting (KU), pp. 392–408.
ICLP-2006-UedaKHM #declarative
LMNtal as a Unifying Declarative Language: Live Demonstration (KU, NK, KH, KM), pp. 457–458.
The Language Model LMNtal (KU, NK), pp. 517–518.
ICLP-2001-Ueda #concurrent #constraints
A Close Look at Constraint-Based Concurrency (KU), p. 9.
JICSLP-1996-ChoU #concurrent #logic programming #source code
Diagnosing Non-Well-Moded Concurrent Logic Programs (KC, KU), pp. 215–229.
CLP-1990-UedaM90 #haskell #implementation
A New Implementation Technique for Flat GHC (KU, MM), pp. 3–17.
ICLP-1987-Ueda87 #source code
Making Exhaustive Search Programs Deterministic, Part II (KU), pp. 356–375.
ICLP-1986-Ueda86 #source code
Making Exhaustive Search Programs Deterministic (KU), pp. 270–282.
SLP-1985-UedaC85 #compilation #concurrent #prolog
Concurrent Prolog Compiler on Top of Prolog (KU, TC), pp. 119–126.

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.