Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Yoshinori Tanabe

Model Checking of Concurrent Algorithms: From Java to C

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

Efficient Model Checking of Networked Applications

Lecture Notes in Business Information Processing
ControlSystems EngineeringInformation SystemsBusinessInternational ManagementSimulationManagementManagement Information SystemsModeling
2008English

Applicability of Semicylindrical Illuminance in Designing the Street Lighting

Journal of the Illuminating Engineering Institute of Japan (Shomei Gakkai Shi)
Electronic EngineeringElectrical
1988English

Tools and Techniques for Model Checking Networked Programs

2008English

Verifying Networked Programs Using a Model Checker Extension

2009English

Related publications

Publisher Correction: A Note on the Lena Image

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2019English

Universal Computing by DNA Origami Robots in a Living Animal

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2014English

Nano in the Future of Crops

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2019English

Author Correction: Magnesium Silicide Nanoparticles as a Deoxygenation Agent for Cancer Starvation Therapy

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2019English

Magnetic Brightening and Control of Dark Excitons in Monolayer WSe2

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2017English

Imaging and Three-Dimensional Reconstruction of Chemical Groups Inside a Protein Complex Using Atomic Force Microscopy

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2015English

Designing DNA Nanodevices for Compatibility With the Immune System of Higher Organisms

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2015English

Intracellular Recording of Action Potentials by Nanopillar Electroporation

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2012English

The Emerging Field of RNA Nanotechnology

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2010English

Can We Be More Social?

Nature Nanotechnology
Electronic EngineeringCondensed Matter PhysicsMaterials ScienceOpticsMolecular Physics,NanoscienceElectricalAtomicBioengineeringNanotechnologyBiomedical Engineering
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy