Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Higashino, Teruo
add a person with the name Higashino, Teruo
 

Other publications of authors with the same name

LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic., , and . FORTE, volume C-22 of IFIP Transactions, page 451-466. North-Holland, (1993)Hardware synthesis from protocol specifications in LOTOS., , , and . FORTE, volume 135 of IFIP Conference Proceedings, page 405-420. Kluwer, (1998)Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers., , , and . FORTE, volume 43 of IFIP Conference Proceedings, page 433-440. Chapman & Hall, (1995)Hardware implementation of Concurrent Periodic EFSM's., , , , and . FORTE, volume 183 of IFIP Conference Proceedings, page 285-300. Kluwer, (2000)A Study for Human Centric Cyber Physical System Based Sensing - Toward Safe and Secure Urban Life -., and . ISIP, volume 146 of Communications in Computer and Information Science, page 61-70. Springer, (2012)An Intervehicular-Communication Protocol for Distributed Detection of Dangerous Vehicles., , , and . IEEE Trans. Vehicular Technology, 59 (2): 627-637 (2010)Player identification by motion features in sport videos using wearable sensors., , , and . ICMU, page 1-6. IEEE, (2016)A Motivation-based Partnership Decision Model on Event-Stream Knowledge in Real-time Business., , and . ICMU, page 1-6. IEEE, (2018)Poster: Core Temperature Estimation During Exercise Using Wearable Sensors., , and . MobiSys (Companion Volume), page 29. ACM, (2016)Poster: Two-Steps Independent Solution for Rule-based CEP., , and . MobiSys (Companion Volume), page 19. ACM, (2016)