Concepedia

Hirohisa Seki

HS

Statistics

Publications

8

Citations

208

H-Index

8

Active since

1983

Affiliations

Mitsubishi Electric (Japan)(Current)

Hirohisa Seki is an author at Mitsubishi Electric (Japan) specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningProgram AnalysisSoftware AnalysisSoftware EngineeringSemanticsLogic ProgrammingFormal Verification

Publications per year

1983–2000

8

Publications

8

A description and reasoning of plant controllers in temporal logic

Akira Fusaoka, Hirohisa Seki, Kasuko Takahashi · International Joint Conference on Artificial Intelligence · 1983 · 58 citations

Causal Argument, Engineering, Automated Reasoning +12

Unfold⧸fold transformation of general logic programs for the well-founded semantics

Hirohisa Seki · The Journal of Logic Programming · 1993 · 50 citations

Non-classical Logic, Engineering, Automated Reasoning +5

A Query Evaluation Method for Stratified Programs Under the Extended CWA.

Hirohisa Seki, Hidenori Itoh · International Conference on Lightning Protection · 1988 · 27 citations

Engineering, Information Retrieval, Data Science +9

Partial deduction in disjunctive logic programming

Chiaki Sakama, Hirohisa Seki · The Journal of Logic Programming · 1997 · 18 citations

Engineering, Automated Reasoning, Propositional Logic +5

Unfold/fold transformation of stratified programs

Hirohisa Seki · Theoretical Computer Science · 1991 · 18 citations

Programming Language Theory, Engineering, Program Analysis +10

1–5 of 8