Kazunori Ueda
Kazunori Ueda
Professor of Computer Science and Engineering, Waseda University
Dirección de correo verificada de ueda.info.waseda.ac.jp - Página principal
Título
Citado por
Citado por
Año
Guarded Horn Clauses
K Ueda
Logic Programming '85, 168-179, 1986
5311986
Design of the kernel language for the parallel inference machine
K Ueda, T Chikayama
The Computer Journal 33 (6), 494-500, 1990
1821990
Guarded horn clauses
K Ueda
Concurrent Prolog Collected Parers 1, 140-156, 1987
1631987
Guarded Horn clauses: A parallel logic programming language with the concept of a guard
K Ueda
Programming of Future Generation Computers, 1987
961987
Moded flat GHC and its message-oriented implementation technique
K Ueda, M Morita
New Generation Computing 13 (1), 3-43, 1994
831994
A new implementation technique for flat GHC
K Ueda, M Morita
Logic programming '90, 3-17, 1990
731990
Transformation rules for GHC Programs
K Ueda, K Furukawa
Fifth Generation Computer Systems 1988, 582-591, 1988
611988
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
561993
c-sat: A Parallel SAT Solver for Clusters
K Ohmura, K Ueda
International conference on theory and applications of satisfiability …, 2009
552009
Making exhaustive search programs deterministic
K Ueda
International Conference on Logic Programming, 270-282, 1986
461986
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
372014
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
372014
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
372014
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
Kima: An automated error correction system for concurrent logic programs
Y Ajiro, K Ueda
Automated software engineering 9 (1), 67-94, 2002
342002
Making exhaustive search programs deterministic, part II
K Ueda
Logic Programming '87, 356-375, 1987
331987
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
301991
Making exhaustive search programs deterministic
K Ueda
New Generation Computing 5 (1), 29-44, 1987
291987
Benchmarks for model transformations and conformance checking
X Jin, JV Deshmukh, J Kapinski, K Ueda, K Butts
1st International Workshop on Applied Verification for Continuous and Hybrid …, 2014
282014
Concurrent Prolog re-examined
K Ueda
Institute for New Generation Computing Technology, 1985
281985
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20