Follow
Kazunori Ueda
Kazunori Ueda
Professor of Computer Science and Engineering, Waseda University
Verified email at ueda.info.waseda.ac.jp - Homepage
Title
Cited by
Cited by
Year
Guarded Horn Clauses
K Ueda
Logic Programming '85, 168-179, 1986
5561986
Design of the kernel language for the parallel inference machine
K Ueda, T Chikayama
The Computer Journal 33 (6), 494-500, 1990
2021990
Guarded horn clauses
K Ueda
Concurrent Prolog Collected Parers 1, 140-156, 1987
1601987
Guarded Horn clauses: A parallel logic programming language with the concept of a guard
K Ueda
Programming of Future Generation Computers, 1987
991987
Moded flat GHC and its message-oriented implementation technique
K Ueda, M Morita
New Generation Computing 13 (1), 3-43, 1994
841994
A new implementation technique for flat GHC
K Ueda, M Morita
Logic programming '90, 3-17, 1990
701990
Experimental studies on ultra-precision positioning. An inchworm movement method using fine and coarse positionings
S Sakuta, K Ogawa, K Ueda
International journal of the Japan Society for Precision Engineering 27 (3 …, 1993
611993
Transformation rules for GHC Programs
K Ueda, K Furukawa
Fifth Generation Computer Systems 1988, 582-591, 1988
601988
c-sat: A Parallel SAT Solver for Clusters
K Ohmura, K Ueda
International conference on theory and applications of satisfiability …, 2009
562009
Making exhaustive search programs deterministic
K Ueda
International Conference on Logic Programming, 270-282, 1986
521986
An interval-based SAT modulo ODE solver for model checking nonlinear hybrid systems
D Ishii, K Ueda, H Hosobe
International Journal on Software Tools for Technology Transfer 13 (5), 449-461, 2011
382011
Making exhaustive search programs deterministic, part II
K Ueda
Logic Programming '87, 356-375, 1987
371987
Kima: An automated error correction system for concurrent logic programs
Y Ajiro, K Ueda
Automated software engineering 9 (1), 67-94, 2002
342002
Machining high-precision mirrors using newly developed CNC machine
K Ueda, A Amano, K Ogawa, H Takamatsu, S Sakuta, S Murai, ...
CIRP annals 40 (1), 555-558, 1991
331991
Making exhaustive search programs deterministic
K Ueda
New Generation Computing 5 (1), 29-44, 1987
301987
Concurrent Prolog compiler on top of Prolog
K Ueda, T Chikayama
Symposium on Logic Programming '85, 119-126, 1985
301985
LMNtal as a hierarchical logic programming language
K Ueda
Theoretical Computer Science 410 (46), 4784-4800, 2009
292009
Concurrent Prolog re-examined
K Ueda
Institute for New Generation Computing Technology, 1985
281985
Launching the new era
K Fuchi, R Kowalski, K Furukawa, K Ueda, K Kahn, T Chikayama, E Tick
Communications of the ACM 36 (3), 49-100, 1993
271993
LMNtal: a language model with links and membranes
K Ueda, N Kato
International Workshop on Membrane Computing, 110-125, 2004
252004
The system can't perform the operation now. Try again later.
Articles 1–20