| Guarded Horn Clauses K Ueda Logic Programming '85, 168-179, 1986 | 656 | 1986 |
| Design of the kernel language for the parallel inference machine K Ueda, T Chikayama The Computer Journal 33 (6), 494-500, 1990 | 208 | 1990 |
| Guarded horn clauses K Ueda Concurrent Prolog 1, 1987 | 179 | 1987 |
| Moded flat GHC and its message-oriented implementation technique K Ueda, M Morita New Generation Computing 13, 3-43, 1994 | 87 | 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 | 64 | 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 |
| c-sat: A Parallel SAT Solver for Clusters K Ohmura, K Ueda International conference on theory and applications of satisfiability …, 2009 | 62 | 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 | 62 | 1984 |
| Making exhaustive search programs deterministic, part II K Ueda Logic Programming '87, 356-375, 1987 | 60* | 1987 |
| Making exhaustive search programs deterministic K Ueda International Conference on Logic Programming, 270-282, 1986 | 51 | 1986 |
| LMNtal as a hierarchical logic programming language K Ueda Theoretical Computer Science 410 (46), 4784-4800, 2009 | 46 | 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 |
| 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 |
| Concurrent Prolog re-examined K Ueda Institute for New Generation Computing Technology, 1985 | 32 | 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 | 30 | 2002 |
| HyperLMNtal: An extension of a hierarchical graph rewriting model K Ueda, S Ogawa KI-Künstliche Intelligenz 26, 27-36, 2012 | 27 | 2012 |
| 階層グラフ書換えモデルに基づく統合プログラミング言語 LMNtal 乾敦行， 工藤晋太郎， 原耕司， 水野謙， 加藤紀夫， 上田和紀 コンピュータ ソフトウェア 25 (1), 1_124-1_150, 2008 | 27 | 2008 |
| Message-oriented parallel implementation of moded flat GHC K Ueda, M Morita New generation computing 11, 323-341, 1993 | 27 | 1993 |
