H. Yoshida

Publication Activity (10 Years)

Years Active: 1985-2003
Publications (10 Years): 0

Publications

H. Yoshida, T. Tanaka, K. Yunokuchi
Positive reachability of discrete-time linear systems. ECC (2003)
H. Yoshida, T. Tanaka, K. Yunokuchi
Testing the constrained controllability of discrete-time linear systems. ECC (2001)
H. Yoshida, T. Tanaka, K. Yunokuchi
Testing the controllability of discrete-time linear systems with input constraints. ECC (1999)
M. Nagamatsu, H. Uno, A. Obana, H. Yoshida, M. Asai, Y. Oohata, R. Hamatsu
Experience of Prototyping Tcl/tk-based GUI for Geant4: an Object-Oriented Toolkit for Simulation in High Energy Physics. Tcl/Tk Workshop (1997)
H. Yoshida, H. Kato, M. Sugimoto
Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae. LP (1985)