上田 和紀

教授

  • 出典: Scopus
  • Pureの文献数とScopusの被引用数に基づいて算出されます
1984 …2021

年別の研究成果

Pureに変更を加えた場合、すぐここに表示されます。
フィルター
Conference contribution

検索結果

  • 2020

    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).

    研究成果: Conference contribution

  • 2019

    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).

    研究成果: Conference contribution

  • 2017

    MEC: Network optimized multi-stage erasure coding for scalable storage systems

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

    研究成果: Conference contribution

  • 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).

    研究成果: Conference contribution

    2 被引用数 (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).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • 2016

    Hypergraph Representation of Lambda-Terms

    Yasen, A. & Ueda, K., 2016 8 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).

    研究成果: Conference contribution

    3 被引用数 (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).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic

    Matsumoto, S. & Ueda, K., 2016 12 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).

    研究成果: Conference contribution

    1 被引用数 (Scopus)
  • 2015

    Reliability analysis of highly redundant distributed storage systems with Dynamic Refuging

    Akutsu, H., Ueda, K., Chiba, T., Kawaguchi, T. & Shimozono, N., 2015 1 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).

    研究成果: Conference contribution

    5 被引用数 (Scopus)
  • 2009

    C-sat: A parallel SAT solver for clusters

    Ohmura, K. & Ueda, K., 2009 11 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).

    研究成果: Conference contribution

    31 被引用数 (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 9 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).

    研究成果: Conference contribution

    7 被引用数 (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).

    研究成果: Conference contribution

    4 被引用数 (Scopus)
  • Simulation of hybrid systems based on hierarchical interval constraints

    Ishii, D., Ueda, K. & Hosobe, H., 2009 1 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).

    研究成果: Conference contribution

    2 被引用数 (Scopus)
  • 2008

    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).

    研究成果: Conference contribution

    11 被引用数 (Scopus)
  • 2006

    LMNtal as a unifying declarative language: Live demonstration

    Ueda, K., Kato, N., Hara, K. & Mizuno, K., 2006 1 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).

    研究成果: Conference contribution

    3 被引用数 (Scopus)
  • 2001

    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).

    研究成果: Conference contribution

  • 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).

    研究成果: Conference contribution

    12 被引用数 (Scopus)
  • 1998

    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).

    研究成果: Conference contribution

    6 被引用数 (Scopus)
  • 1996

    Experiences with strong moding in concurrent logic/constraint programming

    Ueda, K., 1996 1 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).

    研究成果: Conference contribution

    9 被引用数 (Scopus)
  • 1995

    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).

    研究成果: Conference contribution

    4 被引用数 (Scopus)
  • 1988

    GHC — A language for a new age of parallel programming

    Furukawa, K. & Ueda, K., 1988 1 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).

    研究成果: Conference contribution

    3 被引用数 (Scopus)
  • 1986

    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).

    研究成果: Conference contribution

    53 被引用数 (Scopus)
  • GUARDED HORN CLAUSES AND EXPERIENCES WITH PARALLEL LOGIC PROGRAMMING.

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

    研究成果: Conference contribution

    7 被引用数 (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).

    研究成果: Conference contribution

    7 被引用数 (Scopus)
  • 1985

    CONCURRENT PROLOG COMPILER ON TOP OF PROLOG.

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

    研究成果: Conference contribution

    12 被引用数 (Scopus)
  • 1984

    EFFICIENT STREAM/ARRAY PROCESSING IN LOGIC PROGRAMMING LANGUAGES.

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

    研究成果: Conference contribution

    3 被引用数 (Scopus)
  • MANDALA: A LOGIC BASED KNOWLEDGE PROGRAMMING SYSTEM.

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

    研究成果: Conference contribution

    18 被引用数 (Scopus)