Search results for: Masami Hagiya
Software Testing, Verification and Reliability > 30 > 7-8 > n/a - n/a
Theoretical Computer Science > 2016 > 632 > C > 4-20
Lecture Notes in Computer Science > Parallel Symbolic Computing: Languages, Systems, and Applications > 155-160
Lecture Notes in Computer Science > Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics > Theory and Construction of Molecular Computers > 23-24
Lecture Notes in Computer Science > DNA Computing > 347-358
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 369-384
Lecture Notes in Computer Science > Formal to Practical Security > Formal to Practical Security > 158-180