يعرض 1 - 3 نتائج من 3 نتيجة بحث عن '"Yutaro TSUNEKAWA"', وقت الاستعلام: 0.34s تنقيح النتائج
  1. 1
    Academic Journal
    Effective Symmetry Reduction based on Graph Automorphism in Graph-Based Model Checking / グラフ書き換えモデル検査におけるグラフ自己同型に基づく効率的なSymmetry Reduction手法

    المؤلفون: Kazunori UEDA, Yutaro TSUNEKAWA, 上田 和紀, 恒川 雄太郎

    المصدر: Proceedings of the Annual Conference of JSAI. 2020, :2


    أضف إلى المفضلة
  2. 2
    Academic Journal
    Implementation of LMNtal Model Checkers: a Metaprogramming Approach / グラフ書き換え言語LMNtalによる容易に拡張可能なモデル検査器の実装

    المؤلفون: Kazunori UEDA, Yutaro TSUNEKAWA, 上田 和紀, 恒川 雄太郎

    المصدر: Proceedings of the Annual Conference of JSAI. 2018, :4


    أضف إلى المفضلة
  3. 3
    Introducing Symmetry to Graph Rewriting Systems with Process Abstraction

    المؤلفون: Yutaro Tsunekawa, Kazunori Ueda, Taichi Tomioka

    المصدر: Graph Transformation ISBN: 9783030236106
    ICGT

    مصطلحات موضوعية: Model checking, Soundness, Graph rewriting, Theoretical computer science, Syntax (programming languages), Computer science, Modeling language, 020207 software engineering, 02 engineering and technology, 0202 electrical engineering, electronic engineering, information engineering, Computer Science::Programming Languages, 020201 artificial intelligence & image processing, Graph isomorphism, Symmetry (geometry), Abstraction (linguistics)

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::e387c362e3a74da0d13513833b5a166e
    https://doi.org/10.1007/978-3-030-23611-3_1

    View record in OpenAIRE

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء