| 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 | 201 | 1990 |
| Guarded horn clauses K Ueda Concurrent Prolog 1, 1987 | 169 | 1987 |
| 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 | 102 | 1988 |
| Moded flat GHC and its message-oriented implementation technique K Ueda, M Morita New Generation Computing 13, 3-43, 1994 | 83 | 1994 |
| A new implementation technique for flat GHC K Ueda, M Morita Logic programming '90, 3-17, 1990 | 70 | 1990 |
| Transformation rules for GHC Programs K Ueda, K Furukawa Fifth Generation Computer Systems 1988, 582-591, 1988 | 60 | 1988 |
| c-sat: A Parallel SAT Solver for Clusters K Ohmura, K Ueda Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 58 | 2009 |
| 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 | 57 | 1993 |
| Making exhaustive search programs deterministic K Ueda Third International Conference on Logic Programming: Imperial College of …, 2005 | 50 | 2005 |
| 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 | 39 | 2011 |
| Making exhaustive search programs deterministic, part II K Ueda Logic Programming '87, 356-375, 1987 | 38 | 1987 |
| Making exhaustive search programs deterministic K Ueda New Generation Computing 5, 29-44, 1987 | 36 | 1987 |
| Kima: An automated error correction system for concurrent logic programs Y Ajiro, K Ueda Automated software engineering 9, 67-94, 2002 | 34 | 2002 |
| 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 | 34 | 1991 |
| LMNtal as a hierarchical logic programming language K Ueda Theoretical Computer Science 410 (46), 4784-4800, 2009 | 29 | 2009 |
| Concurrent Prolog compiler on top of Prolog K Ueda, T Chikayama Symposium on Logic Programming '85, 119-126, 1985 | 29 | 1985 |
| Concurrent Prolog re-examined K Ueda Institute for New Generation Computing Technology, 1985 | 29 | 1985 |
| 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 | 26 | 1993 |
| LMNtal: a language model with links and membranes K Ueda, N Kato Membrane Computing: 5th International Workshop, WMC 2004, Milan, Italy, June …, 2005 | 25 | 2005 |
