Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Plant Pathogenic Bacteria Studies
(4)
Logic, programming, and type systems
(3)
Parallel Computing and Optimization Techniques
(2)
Formal Methods in Verification
(2)
Genomics and Phylogenetic Studies
(1)
Affiliations
National Institute of Informatics
Kyoto University
Boiron (France)
Nippon Soda (Japan)
Kyoto College of Graduate Studies for Informatics