Concepedia

K. Taniguchi

KT

Statistics

Publications

11

Citations

208

H-Index

10

Active since

1985

Affiliations

The University of Osaka(Current)

K. Taniguchi is an author at The University of Osaka specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware DesignFormal VerificationDistributed SystemsSystems EngineeringComputer EngineeringMedicineVerification

Publications per year

1985–2006

11

Publications

11

Extracting Sequence Diagram from Execution Trace of Java Program

K. Taniguchi, Takashi Ishio, T. Kamiya et al. · 2006 · 41 citations · Full text

Software Maintenance, Engineering, Object-oriented Modeling +21

Synthesis of protocol entities specifications from service specifications in a Petri net model with registers

Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino et al. · 2002 · 25 citations

Petri Net, Event-driven Architecture, Petri Net Model +24

Effects of nutritional level on digestive enzyme activities in the pancreas and small intestine of calves slaughtered at same body weight

X. B. Wang, Takahisa Ogawa, Satoshi Suda et al. · Asian-Australasian Journal of Animal Sciences · 1998 · 22 citations · Full text

Animal Physiology, Nutrition, Body Composition +15

Cost-conscious geographic multicast on MANET

A. Mizumoto, Hirozumi Yamaguchi, K. Taniguchi · 2005 · 21 citations

Network Science, Wireless Routing, Location-aware Multicast Protocol +10

Experimental determination of hot-carrier energy distribution and minority carrier generation mechanism due to hot-carrier effects

Akira Toriumi, M. Yoshimi, M. Iwase et al. · 1985 · 20 citations

Engineering, Energy Efficiency, Carrier Temperature +16

1–5 of 11