Concepedia

K. Araki

KA

8

Publications

226

Citations

8

H-Index

1988

Active since

Affiliations

Kyushu University(Current)

University of North Texas

Advanced Engineering (Czechia)

K. Araki is an author at Kyushu University specializing in engineering, system software, and computer science.

Top concepts

EngineeringSystem SoftwareComputer ScienceProgram AnalysisVerificationFormal MethodsApplied PhysicsSoftware AnalysisFormal VerificationSystems Engineering

Publications per year

1988–2023

8

Publications

8

A general framework for debugging

K. Araki, Zengo Furukawa, J. Cheng · IEEE Software · 1991 · 68 citations

Software Maintenance, Engineering, Software Systems +19

The state-based CCS semantics for concurrent Z specification

Kenji Taguchi, K. Araki · 2002 · 46 citations

Formal Method, Concurrent Z Specification, Formal Specification +15

An optimized self-adaptive thermal radiation turn-down coating with vanadium dioxide nanowire array

K. Araki, Richard Z. Zhang · International Journal of Heat and Mass Transfer · 2022 · 33 citations

Materials Science, Thermal Spray Coating, Engineering +8

Specification slicing in formal methods of software development

Tomohiro Oda, K. Araki · 2002 · 22 citations

Software Maintenance, Engineering, Software Systems +18

Plasmon-resonance emission tailoring of “origami” graphene-covered photonic gratings

K. Araki, Richard Z. Zhang · Optics Express · 2020 · 20 citations · Full text

Plasmonics, Photonics, Surface Plasmon Polaritons +11

Rows per page

1–5 of 8