スポンサーリンク
School of Information Science | 論文
- Bipartite powers of interval bigraphs
- Proof Score Approach to Verification of Liveness Properties
- Analysis of membership sharing in digital subscription services
- Towards Reliable E-Government Systems with the OTS/CafeOBJ Method
- A Specification Translation from Behavioral Specifications to Rewrite Specifications
- Longest Path Problems on Ptolemaic Graphs
- FOREWORD
- A Behavioral Specification of Imperative Programming Languages
- Concurrent Reflective Computations in Rewriting Logic(Theory of Rewriting Systems and Its Applications)
- Voronoi Game on a Path
- Hardness results and an exact exponential algorithm for the spanning tree congestion problem (コンピュテーション)
- A Scenario-based Object-Oriented Modeling Method with Algebraic
- A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"
- NP-completeness of generalized Kaboozle
- Reconstruction Algorithms for Permutation Graphs and Distance-Hereditary Graphs
- A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity"
- Computational Complexity of Piano-Hinged Dissections
- From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ
- Reconstruction Algorithms for Permutation Graphs and Distance-Hereditary Graphs