• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1984 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • A close look at constraint-based concurrency

    Ueda, K., 2001, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 2237. p. 9 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2237).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • CONCURRENT PROLOG COMPILER ON TOP OF PROLOG.

    Ueda, K. & Chikayama, T., 1985 Dec 1, Unknown Host Publication Title. IEEE, p. 119-126 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Citations (Scopus)
  • Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI

    Yamada, Y., Sato, M. & Ueda, K., 2020, Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, Revised Selected Papers. Chamberlain, R., Edin Grimheden, M. & Taha, W. (eds.). Springer, p. 153-178 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11971 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • C-sat: A parallel SAT solver for clusters

    Ohmura, K. & Ueda, K., 2009 Nov 9, Theory and Applications of Satisfiability Testing - SAT 2009 - 12th International Conference, SAT 2009, Proceedings. p. 524-537 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5584 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    31 Citations (Scopus)
  • EFFICIENT STREAM/ARRAY PROCESSING IN LOGIC PROGRAMMING LANGUAGES.

    Ueda, K. & Chikayama, T., 1984 Dec 1, Unknown Host Publication Title. Ohmsha Ltd, p. 317-326 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Encoding the pure lambda calculus into hierarchical graph rewriting

    Ueda, K., 2008, Rewriting Techniques and Applications - 19th International Conference, RTA 2008, Proceedings. p. 392-408 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5117 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    11 Citations (Scopus)
  • Error-correcting source code

    Ajiro, Y., Ueda, K. & Cho, K., 1998, Principles and Practice of Constraint Programming – CP 1998 - 4th International Conference, CP 1998, Proceedings. Puget, J-F. & Maher, M. (eds.). Springer Verlag, p. 40-54 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1520).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Citations (Scopus)
  • Experiences with strong moding in concurrent logic/constraint programming

    Ueda, K., 1996 Jan 1, Parallel Symbolic Languages and Systems - International Workshop PSLS 1995, Proceedings. Ito, T., Halstead, R. H. & Queinnec, C. (eds.). Springer Verlag, p. 134-153 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1068).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    9 Citations (Scopus)
  • GHC — A language for a new age of parallel programming

    Furukawa, K. & Ueda, K., 1988 Jan 1, Foundations of Software Technology and Theoretical Computer Science - 8th Conference, Proceedings. Nori, K. V. & Kumar, S. (eds.). Springer Verlag, p. 364-376 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 338 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Guarded horn clauses

    Ueda, K., 1986, Logic Programming '85 - Proceedings of the 4th Conference. Wada, E. (ed.). Springer Verlag, p. 168-179 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 221 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    53 Citations (Scopus)
  • GUARDED HORN CLAUSES AND EXPERIENCES WITH PARALLEL LOGIC PROGRAMMING.

    Tanaka, J., Ueda, K., Miyazaki, T., Takeuchi, A., Matsumoto, Y. & Furukawa, K., 1986 Dec 1, Unknown Host Publication Title. Stone, H. S. (ed.). IEEE, p. 948-954 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Citations (Scopus)
  • Hierarchical graph rewriting as a unifying tool for analyzing and understanding nondeterministic systems

    Ueda, K., Ayano, T., Hori, T., Iwasawa, H. & Ogawa, S., 2009 Sep 28, Theoretical Aspects of Computing - ICTAC 2009 - 6th International Colloquium, Proceedings. p. 349-355 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5684 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Citations (Scopus)
  • Hypergraph Representation of Lambda-Terms

    Yasen, A. & Ueda, K., 2016 Aug 10, Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016. Institute of Electrical and Electronics Engineers Inc., p. 113-116 4 p. 7541894. (Proceedings - 10th International Symposium on Theoretical Aspects of Software Engineering, TASE 2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • I/O mode analysis in concurrent logic programming

    Ueda, K., 1995, Theory and Practice of Parallel Programming - International Workshop, TPPP 1994, Proceedings. Yonezawa, A. & Ito, T. (eds.). Springer Verlag, p. 356-368 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 907).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Interval-based solving of hybrid constraint systems

    Ishii, D., Ueda, K., Hosobe, H. & Goldsztejn, A., 2009, 3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'09 - Proceedings. PART 1 ed. IFAC Secretariat, p. 144-149 6 p. (IFAC Proceedings Volumes (IFAC-PapersOnline); vol. 3, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • Introducing symmetry to graph rewriting systems with process abstraction

    Tomioka, T., Tsunekawa, Y. & Ueda, K., 2019, Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Proceedings. Guerra, E. & Orejas, F. (eds.). Springer Verlag, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11629 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • LMNtal as a unifying declarative language: Live demonstration

    Ueda, K., Kato, N., Hara, K. & Mizuno, K., 2006 Jan 1, Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Springer Verlag, p. 457-458 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4079 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • Logic/constraint programming and concurrency: The hard-won lessons of the fifth generation computer project

    Ueda, K., 2016, Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings. Kiselyov, O. & King, A. (eds.). Springer Verlag, p. 1-11 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9613).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Making exhaustive search programs deterministic

    Ueda, K., 1986, 3rd International Conference on Logic Programming - Imperial College of Science and Technology, Proceedings. Shapiro, E. (ed.). Springer Verlag, p. 270-282 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 225 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Citations (Scopus)
  • MANDALA: A LOGIC BASED KNOWLEDGE PROGRAMMING SYSTEM.

    Furukawa, K., Takeuchi, A., Kunifuji, S., Yasukawa, H., Ohki, M. & Ueda, K., 1984 Dec 1, Unknown Host Publication Title. Ohmsha Ltd, p. 613-622 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    18 Citations (Scopus)
  • MEC: Network optimized multi-stage erasure coding for scalable storage systems

    Akutsu, H., Yamamoto, T., Ueda, K. & Saito, H., 2017 May 5, Proceedings - 2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing, PRDC 2017. IEEE Computer Society, p. 292-300 9 p. 7920634

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Reliability analysis of highly redundant distributed storage systems with Dynamic Refuging

    Akutsu, H., Ueda, K., Chiba, T., Kawaguchi, T. & Shimozono, N., 2015 Jan 1, Proceedings - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015. Lilius, J., Daneshtalab, M., Brorsson, M., Leppanen, V. & Aldinucci, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 261-268 8 p. 7092730. (Proceedings - 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2015).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • Resource-passing concurrent programming

    Ueda, K., 2001, Theoretical Aspects of Computer Software - 4th International Symposium, TACS 2001, Proceedings. Kobayashi, N. & Pierce, B. C. (eds.). Springer Verlag, p. 95-126 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2215).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Citations (Scopus)
  • Simulation of hybrid systems based on hierarchical interval constraints

    Ishii, D., Ueda, K. & Hosobe, H., 2009 Jan 1, SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques. Stea, G., Dalle, O., Perrone, L. F. & Wainer, G. (eds.). ICST, (SIMUTools 2009 - 2nd International ICST Conference on Simulation Tools and Techniques).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Symbolic analysis of hybrid systems involving numerous discrete changes using loop detection

    Betsuno, K., Matsumoto, S. & Ueda, K., 2017, Cyber Physical Systems: Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Revised Selected Papers. Wisniewski, R., Mousavi, M. R. & Berger, C. (eds.). Springer Verlag, p. 17-30 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10107 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic

    Matsumoto, S. & Ueda, K., 2016 Dec 5, Proceedings - 23rd International Symposium on Temporal Representation and Reasoning, TIME 2016. Dyreson, C., Hansen, M. R. & Hunsberger, L. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 4-11 8 p. 7774642. (Proceedings of the International Workshop on Temporal Representation and Reasoning; vol. 2016-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • Unification of hypergraph λ-terms

    Yasen, A. & Ueda, K., 2017, Topics in Theoretical Computer Science - 2nd IFIP WG 1.8 International Conference, TTCS 2017, Proceedings. Mousavi, M. R. & Sgall, J. (eds.). Springer Verlag, p. 106-124 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10608 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)