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
566*1986
Design of the kernel language for the parallel inference machine
K Ueda, T Chikayama
The Computer Journal 33 (6), 494-500, 1990
2011990
Guarded horn clauses
K Ueda
Concurrent Prolog 1, 1987
1691987
Guarded Horn clauses: A parallel logic programming language with the concept of a guard
K Ueds
Proceedings of the first Franco-Japanese Symposium on Programming of future …, 1988
1021988
Moded flat GHC and its message-oriented implementation technique
K Ueda, M Morita
New Generation Computing 13, 3-43, 1994
831994
A new implementation technique for flat GHC
K Ueda, M Morita
Logic programming '90, 3-17, 1990
701990
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
Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009
582009
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
571993
Making exhaustive search programs deterministic
K Ueda
Third International Conference on Logic Programming: Imperial College of …, 2005
502005
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
392011
Making exhaustive search programs deterministic, part II
K Ueda
Logic Programming '87, 356-375, 1987
381987
Making exhaustive search programs deterministic
K Ueda
New Generation Computing 5, 29-44, 1987
361987
Kima: An automated error correction system for concurrent logic programs
Y Ajiro, K Ueda
Automated software engineering 9, 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
341991
LMNtal as a hierarchical logic programming language
K Ueda
Theoretical Computer Science 410 (46), 4784-4800, 2009
292009
Concurrent Prolog compiler on top of Prolog
K Ueda, T Chikayama
Symposium on Logic Programming '85, 119-126, 1985
291985
Concurrent Prolog re-examined
K Ueda
Institute for New Generation Computing Technology, 1985
291985
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
261993
LMNtal: a language model with links and membranes
K Ueda, N Kato
Membrane Computing: 5th International Workshop, WMC 2004, Milan, Italy, June …, 2005
252005
The system can't perform the operation now. Try again later.
Articles 1–20