| Guarded Horn Clauses K Ueda Logic Programming '85, 168-179, 1986 | 584 | 1986 |
| Design of the kernel language for the parallel inference machine K Ueda, T Chikayama The Computer Journal 33 (6), 494-500, 1990 | 202 | 1990 |
| Guarded horn clauses K Ueda Concurrent Prolog 1, 1987 | 174 | 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 | 108 | 1988 |
| Moded flat GHC and its message-oriented implementation technique K Ueda, M Morita New Generation Computing 13, 3-43, 1994 | 86 | 1994 |
| A new implementation technique for flat GHC K Ueda, M Morita Logic programming '90, 3-17, 1990 | 75 | 1990 |
| Transformation rules for GHC Programs K Ueda, K Furukawa Fifth Generation Computer Systems 1988, 582-591, 1988 | 65 | 1988 |
| 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 | 61 | 1993 |
| c-sat: A Parallel SAT Solver for Clusters K Ohmura, K Ueda Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 55 | 2009 |
| MANDALA: A LOGIC BASED KNOWLEDGE PROGRAMMING SYSTEM. K Furukawa, A Takeuchi, S Kunifuji, H Yasukawa, M Ohki, K Ueda Unknown Host Publication Title, 613-622, 1984 | 55 | 1984 |
| Making exhaustive search programs deterministic K Ueda International Conference on Logic Programming, 270-282, 1986 | 50 | 1986 |
| 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 | 39 | 1987 |
| Making exhaustive search programs deterministic K Ueda New Generation Computing 5, 29-44, 1987 | 38 | 1987 |
| 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 | 33 | 1991 |
| LMNtal as a hierarchical logic programming language K Ueda Theoretical Computer Science 410 (46), 4784-4800, 2009 | 31 | 2009 |
| Concurrent Prolog re-examined K Ueda Institute for New Generation Computing Technology, 1985 | 31 | 1985 |
| Kima: An automated error correction system for concurrent logic programs Y Ajiro, K Ueda Automated software engineering 9, 67-94, 2002 | 29 | 2002 |
| Concurrent Prolog compiler on top of Prolog K Ueda, T Chikayama Symposium on Logic Programming '85, 119-126, 1985 | 29 | 1985 |
| Message-oriented parallel implementation of moded flat GHC K Ueda, M Morita New generation computing 11, 323-341, 1993 | 28 | 1993 |
