Search Results1-20 of  48

  • 1 / 3
  • 関 浩之 ID: 9000008219723

    Articles in CiNii:2

    • 関数型言語ASL/Fのコンパイル時における最適化 (1984)
    • 自然語仕様から代数的仕様への変換法について (1991)
  • 関 浩之 ID: 9000267815518

    Articles in CiNii:1

    • 関数型言語ASL/FコンパイラのUNIX上での実現 (1985)
  • 関 浩之 ID: 9000287124833

    Articles in CiNii:1

    • The Heisei 19 IPSJ Best Paper Award : Toward an Understanding of the Languages of Life (2008)
  • 関 浩之 ID: 9000287172544

    Articles in CiNii:1

    • An improved method for constructing multi-phase protocol and its application (1993)
  • 関 浩之 ID: 9000296675703

    Articles in CiNii:1

    • Quantitative Information Flow and Differential Privacy (2015)
  • 関 浩之 ID: 9000316195672

    Articles in CiNii:1

    • A Verification Tool for k-Secrecy of XML Databases using Model Counting and Its Optimization (2016)
  • 関 浩之 ID: 9000316196836

    Articles in CiNii:1

    • A Verification Tool for k-Secrecy of XML Databases using Model Counting and Its Optimization (2016)
  • 関 浩之 ID: 9000321619443

    Articles in CiNii:1

    • An Extension of Update Method without Decompression for Compressed Structured Documents and Its Experimental Evaluation (2016)
  • 関 浩之 ID: 9000331081836

    Articles in CiNii:1

    • A Method of Tree Compression with Top Trees and Direct Query Evaluation (2016)
  • 関 浩之 ID: 9000331081886

    Articles in CiNii:1

    • An intermediate language for a compiler generating highly obfuscated Malbolge codes (2016)
  • 関 浩之 ID: 9000331082981

    Articles in CiNii:1

    • A Method of Tree Compression with Top Trees and Direct Query Evaluation (2016)
  • 関 浩之 ID: 9000331083071

    Articles in CiNii:1

    • An intermediate language for a compiler generating highly obfuscated Malbolge codes (2016)
  • 関 浩之 ID: 9000336055120

    Articles in CiNii:1

    • Efficiency Improvement in #SMT-based Quantitative Information Flow Analysis (2016)
  • 関 浩之 ID: 9000336055146

    Articles in CiNii:1

    • A Direct Update Method for XML Documents Including Data Values Compressed by Tree Grammars (2016)
  • 関 浩之 ID: 9000336055785

    Articles in CiNii:1

    • Efficiency Improvement in #SMT-based Quantitative Information Flow Analysis (2016)
  • 関 浩之 ID: 9000336055823

    Articles in CiNii:1

    • A Direct Update Method for XML Documents Including Data Values Compressed by Tree Grammars (2016)
  • 関 浩之 ID: 9000344831354

    Articles in CiNii:1

    • A Translation from a Fragment of XPath to Deterministic Selecting Tree Automata with Lookahead Using Schemas (2017)
  • 関 浩之 ID: 9000344832286

    Articles in CiNii:1

    • A Translation from a Fragment of XPath to Deterministic Selecting Tree Automata with Lookahead Using Schemas (2017)
  • 関 浩之 ID: 9000347540467

    Articles in CiNii:1

    • Deciding Functionality of Linear Extended Bottom-up Tree Transducers in Polynomial Time (2015)
  • 関 浩之 ID: 9000356604621

    Articles in CiNii:1

    • Logical Formula Simplification and Static Analysis for Quantitative Information Flow Analysis using Model Counting (2017)
  • 1 / 3
Page Top