Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Naoki Kobayashi
Characteristics of Population Distributions in Municipalities
Journal of the Physical Society of Japan
Astronomy
Physics
Resource Usage Analysis for the Π-Calculus
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Construction of a BAC Library for Haplochromis Chilotes, a Cichlid Fish From Lake Victoria
Genes and Genetic Systems
Medicine
Genetics
Molecular Biology
Type-Based Automated Verification of Authenticity in Cryptographic Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Systems for Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Service Restoration Method Considering Simultaneous Disconnection of Distributed Generators by One Bank Fault of Distribution System
IEEJ Transactions on Power and Energy
Electronic Engineering
Power Technology
Electrical
Energy Engineering
Processing Development and Surface Preparation Review. Nanoscale Selective-Area GaAs Growth by Nitrogen Surface Passivation and STM Surface Modification.
SHINKU
Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
IPSJ Digital Courier
1P096 Long Time Folding Simulations of a Three-Stranded Antiparallel Β-Sheet Peptide and a Ββα-Folded Peptide(3. Protein Folding and Misfolding (I),Poster Session,Abstract,Meeting Program of EABS & BSJ 2006)
Seibutsu Butsuri
Effect of Cryofiltration to Severe Rheumatoid Arthritis(RA) Patients With Secondary Amyloidosis.
Journal of the Japan Society of Blood Transfusion
‹
1
2
3
›
