| Guarded Horn Clauses K Ueda Logic Programming '85, 168-179, 1986 | 581 | 1986 |
| Design of the kernel language for the parallel inference machine K Ueda, T Chikayama The Computer Journal 33 (6), 494-500, 1990 | 207 | 1990 |
| Guarded horn clauses K Ueda Concurrent Prolog 1, 1987 | 177 | 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 | 111 | 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 | 74 | 1990 |
| Transformation rules for GHC Programs K Ueda, K Furukawa Fifth Generation Computer Systems 1988, 582-591, 1988 | 66 | 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 | 63 | 1993 |
| 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 | 62 | 1984 |
| c-sat: A Parallel SAT Solver for Clusters K Ohmura, K Ueda International conference on theory and applications of satisfiability …, 2009 | 60 | 2009 |
| Making exhaustive search programs deterministic K Ueda International Conference on Logic Programming, 270-282, 1986 | 52 | 1986 |
| LMNtal as a hierarchical logic programming language K Ueda Theoretical Computer Science 410 (46), 4784-4800, 2009 | 44 | 2009 |
| 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 |
| 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 | 36 | 1991 |
| Making exhaustive search programs deterministic K Ueda New Generation Computing 5, 29-44, 1987 | 35 | 1987 |
| Concurrent Prolog re-examined K Ueda Institute for New Generation Computing Technology, 1985 | 31 | 1985 |
| LMNtal: a language model with links and membranes K Ueda, N Kato Membrane Computing: 5th International Workshop, WMC 2004, Milan, Italy, June …, 2005 | 30 | 2005 |
| Kima: An automated error correction system for concurrent logic programs Y Ajiro, K Ueda Automated software engineering 9, 67-94, 2002 | 29 | 2002 |
| 階層グラフ書換えモデルに基づく統合プログラミング言語 LMNtal 乾敦行， 工藤晋太郎， 原耕司， 水野謙， 加藤紀夫， 上田和紀 コンピュータ ソフトウェア 25 (1), 1_124-1_150, 2008 | 27 | 2008 |
