Search results for: Mitsuhiro Okada
Microsurgery > 40 > 3 > 377 - 386
Journal of Biomedical Materials Research Part B: Applied Biomaterials > 106 > 5 > 1752 - 1758
Journal of Medical Ultrasonics > 2018 > 45 > 4 > 647-651
Genes to Cells > 22 > 6 > 591 - 601
Lecture Notes in Computer Science > Diagrammatic Representation and Inference > Theoretical Aspects > 188-205
PROTEOMICS > 16 > 10 > 1457 - 1473
Journal of Plastic, Reconstructive & Aesthetic Surgery > 2016 > 69 > 5 > 634-639
Lecture Notes in Computer Science > Diagrammatic Representation and Inference > Formal Aspects of Diagrams > 99-114
Lecture Notes in Computer Science > Algebra, Meaning, and Computation > Models, Deduction, and Computation > 616-642
Lecture Notes in Computer Science > Software Security — Theories and Systems > Verification Methods and Tools > 417-440
Lecture Notes in Computer Science > Rewriting, Computation and Proof > Proof and Computation > 167-181
Lecture Notes in Computer Science > Formal to Practical Security > Formal to Practical Security > 33-56