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
5611986
Design of the kernel language for the parallel inference machine
K Ueda, T Chikayama
The Computer Journal 33 (6), 494-500, 1990
1841990
Guarded horn clauses
K Ueda
Concurrent Prolog Collected Parers 1, 140-156, 1987
1641987
Guarded Horn clauses: A parallel logic programming language with the concept of a guard
K Ueda
Programming of Future Generation Computers, 1987
1071987
Moded flat GHC and its message-oriented implementation technique
K Ueda, M Morita
New Generation Computing 13 (1), 3-43, 1994
821994
A new implementation technique for flat GHC
K Ueda, M Morita
Logic programming '90, 3-17, 1990
711990
Transformation rules for GHC Programs
K Ueda, K Furukawa
Fifth Generation Computer Systems 1988, 582-591, 1988
631988
c-sat: A Parallel SAT Solver for Clusters
K Ohmura, K Ueda
International conference on theory and applications of satisfiability …, 2009
522009
Making exhaustive search programs deterministic
K Ueda
International Conference on Logic Programming, 270-282, 1986
521986
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
491993
A real-time energy-optimal trajectory generation method for a servomotor system
Y Wang, Y Zhao, SA Bortoff, K Ueda
IEEE Transactions on Industrial Electronics 62 (2), 1175-1188, 2014
362014
Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems
H Abbas, B Hoxha, G Fainekos, K Ueda
The 4th Annual IEEE International Conference on Cyber Technology in …, 2014
362014
Conformance testing as falsification for cyber-physical systems
H Abbas, B Hoxha, G Fainekos, JV Deshmukh, J Kapinski, K Ueda
arXiv preprint arXiv:1401.5200, 2014
362014
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
362011
Making exhaustive search programs deterministic, part II
K Ueda
Logic Programming '87, 356-375, 1987
341987
Kima: An automated error correction system for concurrent logic programs
Y Ajiro, K Ueda
Automated software engineering 9 (1), 67-94, 2002
322002
Making exhaustive search programs deterministic
K Ueda
New Generation Computing 5 (1), 29-44, 1987
321987
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
311991
Concurrent Prolog compiler on top of Prolog
K Ueda, T Chikayama
Symposium on Logic Programming '85, 119-126, 1985
281985
Concurrent Prolog re-examined
K Ueda
Institute for New Generation Computing Technology, 1985
281985
The system can't perform the operation now. Try again later.
Articles 1–20