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

年別の研究成果

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 1 1, Graph Transformation - 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Proceedings. Orejas, F. & Guerra, E. (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

  • 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

    研究成果: Conference contribution

    2 被引用数 (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 12 1, 3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS'09 - Proceedings. PART 1 ed. 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 8 13, 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

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

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

    5 被引用数 (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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 907. 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 1 1, Logic Programming '85 - Proceedings of the 4th Conference. 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

    45 被引用数 (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 1 1, 3rd International Conference on Logic Programming - Imperial College of Science and Technology, Proceedings. 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

    17 被引用数 (Scopus)