Search Results1-20 of  123

  • 上田 和紀 ID: 9000007084933

    Articles in CiNii:2

    • Bookガイド--わたしの書棚から 32 プログラミング言語編 (1998)
    • 問絡好答シリーズ 好々爺(じじい)の部屋(4)TECO (2001)
  • 上田 和紀 ID: 9000250170779

    Articles in CiNii:1

    • Analyses of Hybrid Systems with the Hybrid Constraint Language HydLa (2014)
  • 上田 和紀 ID: 9000258571424

    早稲田大学理工学研究科 (2005 from CiNii)

    Articles in CiNii:1

    • 階層グラフ書換え言語LMNtal処理系における非同期実行の実現 (2005)
  • 上田 和紀 ID: 9000266436891

    Articles in CiNii:1

    • Study on the Strategies and Parameters for the Probabilistic Model-Building Genetic Algorithm EHBSA (2005)
  • 上田 和紀 ID: 9000266889661

    Articles in CiNii:1

    • A Method of Deriving Zeno States in Hybrid Systems using Formula Manipulation and Quantifier Elimination (2008)
  • 上田 和紀 ID: 9000270885914

    Articles in CiNii:1

    • Speedup of OWCTY Model Checking Algorithm using Strongly Connected Components (2010)
  • 上田 和紀 ID: 9000270886942

    Articles in CiNii:1

    • HyperLMNtal : an extension of a hierarchical graph rewriting language model (2011)
  • 上田 和紀 ID: 9000270895416

    Articles in CiNii:1

    • State space search using LMNtal (2009)
  • 上田 和紀 ID: 9000270895543

    Articles in CiNii:1

    • An Extended SAT Solver for Cardinality Constraints (2011)
  • 上田 和紀 ID: 9000273393929

    Articles in CiNii:1

    • Optimization of a HydLa implementation using static analysis of constraints (2013)
  • 上田 和紀 ID: 9000273393975

    Articles in CiNii:1

    • Glucans : A parallel SAT solver with LBD-based sharing of learnt clauses (2013)
  • 上田 和紀 ID: 9000273394206

    Articles in CiNii:1

    • Reduction of the Number of States and the Acceleration of LMNtal Parallel Model Checking (2013)
  • 上田 和紀 ID: 9000296675080

    Articles in CiNii:1

    • Simulation with formula manipilation and interval arithmetic by HydLa implementation (2015)
  • 上田 和紀 ID: 9000304612762

    Articles in CiNii:1

    • ハイブリッドシステム制約言語HydLaの数式処理実行系へのアフィン演算の導入 (2013)
  • 上田 和紀 ID: 9000304613495

    Articles in CiNii:1

    • Optimized Canonical Graph Labeling Algorithm for Graph Rewriting Systems (2013)
  • 上田 和紀 ID: 9000304613814

    Articles in CiNii:1

    • Hyrose : A Symbolic Simulator of the Hybrid Constraint Language HydLa (2012)
  • 上田 和紀 ID: 9000304613883

    Articles in CiNii:1

    • Model checker for multiple models of computation (2012)
  • 上田 和紀 ID: 9000304614091

    Articles in CiNii:1

    • Formalization of the Graph Rewriting Operations of LMNtal by Coq (2013)
  • 上田 和紀 ID: 9000305624474

    Articles in CiNii:1

    • A Graph Rewriting System and Its Implementation with Matching via Pattern Definitions (2014)
  • 上田 和紀 ID: 9000311512141

    Articles in CiNii:1

    • Static Graph Type Checking for Graph Rewriting Systems (2015)
Page Top