The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kazunori Ueda: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kazunori Ueda
    Guarded Horn Clauses. [Citation Graph (2, 0)][DBLP]
    LP, 1985, pp:168-179 [Conf]
  2. Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji, Hideki Yasukawa, Masaru Ohki, Kazunori Ueda
    MANDELA: A LogicBased Knowledge Programming System. [Citation Graph (1, 0)][DBLP]
    FGCS, 1984, pp:613-622 [Conf]
  3. Yasuhiro Ajiro, Kazunori Ueda
    Kima- An automated error correction system for concurrent logic programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 2000, pp:- [Conf]
  4. Junzo Kamahara, Yuji Nomura, Kazunori Ueda, Keishi Kandori, Shinji Shimojo, Hideo Miyahara
    A TV News Recommendation System with Automatic Recomposition. [Citation Graph (0, 0)][DBLP]
    AMCP, 1998, pp:221-235 [Conf]
  5. Yasuhiro Ajiro, Kazunori Ueda
    Kima - An Automated Error Correction System for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:99-118 [Conf]
  6. Norio Kato, Kazunori Ueda
    Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:237-250 [Conf]
  7. Kazunori Ueda
    Linearity Analysis of Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:51-68 [Conf]
  8. Kazunori Ueda
    Resource-Passing Concurrent Programming. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:313-327 [Conf]
  9. Kazunori Ueda
    Programming with Logical Links. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:115-126 [Conf]
  10. Kazunori Ueda
    A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:138-161 [Conf]
  11. Yasuhiro Ajiro, Kazunori Ueda, Kenta Cho
    Error-Correcting Source Code. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:40-54 [Conf]
  12. M. Okamoto, Kazunori Ueda, Junzo Kamahara, Shinji Shimojo, Hideo Miyahara
    An Architecture of Personalized Sports Digest System with Scenario Templates. [Citation Graph (0, 0)][DBLP]
    DASFAA, 2001, pp:170-171 [Conf]
  13. Hideyuki Nakashima, Satoru Tomura, Kazunori Ueda
    What is a Variable in Prolog? [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:327-332 [Conf]
  14. Kazunori Ueda
    Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:165-166 [Conf]
  15. Kazunori Ueda, Takashi Chikayama
    Efficient Stream/Array Processing in Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:317-326 [Conf]
  16. Kazunori Ueda, Koichi Furukawa
    Transformation Rules for GHC Programs. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:582-591 [Conf]
  17. Kazunori Ueda, Masao Morita
    Message-Oriented Parallel Implementation of Moded Flat GHC. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:799-808 [Conf]
  18. Jiro Tanaka, Kazunori Ueda, Tashihiko Miyazaki, Akikazu Takeuchi, Yuji Matsumoto, Koichi Furukawa
    Guarded Horn Clauses and Experience with Parallel Logic Programming. [Citation Graph (0, 0)][DBLP]
    FJCC, 1986, pp:948-954 [Conf]
  19. Koichi Furukawa, Kazunori Ueda
    GHC - A Language for a New Age of Parallel Programming. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1988, pp:364-376 [Conf]
  20. Kenta Cho, Kazunori Ueda
    Diagnosing Non-Well-Moded Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:215-229 [Conf]
  21. Kazunori Ueda
    A Close Look at Constraint-Based Concurrency. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:9- [Conf]
  22. Kazunori Ueda
    Making Exhaustive Search Programs Deterministic. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:270-282 [Conf]
  23. Kazunori Ueda
    Making Exhaustive Search Programs Deterministic, Part II. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:356-375 [Conf]
  24. Kazunori Ueda, Norio Kato
    The Language Model LMNtal. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:517-518 [Conf]
  25. Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno
    LMNtal as a Unifying Declarative Language: Live Demonstration. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:457-458 [Conf]
  26. Kazunori Ueda, Masao Morita
    A New Implementation Technique for Flat GHC. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:3-17 [Conf]
  27. Kazunori Ueda
    Parallelism in Logic Programming. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:957-964 [Conf]
  28. Kazunori Ueda, Norio Kato
    LMNtal: A Language Model with Links and Membranes. [Citation Graph (0, 0)][DBLP]
    Workshop on Membrane Computing, 2004, pp:110-125 [Conf]
  29. Kazunori Ueda
    Experiences with Strong Moding in Concurrent Logic/Constraint Programming. [Citation Graph (0, 0)][DBLP]
    PSLS, 1995, pp:134-153 [Conf]
  30. Kazunori Ueda, Hiroyuki Ohsaki, Shinji Shimojo, Hideo Miyahara
    Design and Implementation of Real-Time Digital Video Streaming System over IPv6 Network using Feedback Control. [Citation Graph (0, 0)][DBLP]
    SAINT, 2003, pp:111-119 [Conf]
  31. Kazunori Ueda, Takashi Chikayama
    Concurrent Prolog Compiler on Top of Prolog. [Citation Graph (0, 0)][DBLP]
    SLP, 1985, pp:119-126 [Conf]
  32. Kazunori Ueda
    Resource-Passing Concurrent Programming. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:95-126 [Conf]
  33. Kazunori Ueda
    I/O Mode Analysis in Concurrent Logic Programming. [Citation Graph (0, 0)][DBLP]
    Theory and Practice of Parallel Programming, 1994, pp:356-368 [Conf]
  34. Yasuhiro Ajiro, Kazunori Ueda
    Kima: An Automated Error Correction System for Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2002, v:9, n:1, pp:67-94 [Journal]
  35. Ehud Y. Shapiro, David H. D. Warren, Kazuhiro Fuchi, Robert A. Kowalski, Koichi Furukawa, Kazunori Ueda, Kenneth M. Kahn, Takashi Chikayama, Evan Tick
    The Fifth Generation Project: Personal Perspectives. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1993, v:36, n:3, pp:46-103 [Journal]
  36. Kazunori Ueda, Takashi Chikayama
    Design of the Kernel Language for the Parallel Inference Machine. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1990, v:33, n:6, pp:494-500 [Journal]
  37. Kazunori Ueda
    Constraint-Based Concurrency and Beyond. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:327-331 [Journal]
  38. Herbert Kuchen, Kazunori Ueda
    Editorial: Functional and Logic Programming. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2002, v:2002, n:, pp:- [Journal]
  39. Kazunori Ueda
    Making Exhaustive Search Programs Deterministic. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1987, v:5, n:1, pp:29-44 [Journal]
  40. Kazunori Ueda, Masao Morita
    Message-Oriented Parallel Implementation of Moded Flat GHC. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1993, v:11, n:3, pp:323-341 [Journal]
  41. Kazunori Ueda, Masao Morita
    Moded Flat GHC and Its Message-Oriented Implementation Technique. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1994, v:13, n:1, pp:3-43 [Journal]
  42. Kazunori Ueda
    Linearity Analysis of Concurrent Logic Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]

  43. Asymmetric DHT Based on Performance of Peers. [Citation Graph (, )][DBLP]


  44. Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. [Citation Graph (, )][DBLP]


  45. Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting. [Citation Graph (, )][DBLP]


  46. Proposal of an Initial Route Establishment Method in Wireless Mesh Networks. [Citation Graph (, )][DBLP]


  47. c-sat: A Parallel SAT Solver for Clusters. [Citation Graph (, )][DBLP]


  48. Simulation of hybrid systems based on hierarchical interval constraints. [Citation Graph (, )][DBLP]


  49. Encoding Distributed Process Calculi into LMNtal. [Citation Graph (, )][DBLP]


Search in 0.320secs, Finished in 0.322secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002