( en | de | ru )

 

Disambiguation of "Kawabe, Yoshinobu"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying ignition timing of gasoline direct injection engine's PCM.

, , and . ICIS, page 473-478. IEEE Computer Society, (2015)

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.

Yoshinobu Kumazawa

Hiroshi Kawabe

 

Other publications of authors with the same name

The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming., , and . FAABS, volume 1871 of Lecture Notes in Computer Science, page 90-102. Springer, (2000)Developing Compiler for Nihongo Programming Language PEN., , , , and . ACIT-CSI, page 387-392. IEEE, (2015)Deterrence-Based Trust: A Study on Improving the Credibility of Social Media Messages in Disaster Using Registered Volunteers., , , , , and . NBiS, volume 313 of Lecture Notes in Networks and Systems, page 188-201. Springer, (2021)On Computer-Assisted Verification of Timed Anonymity of Multi-Agent Systems., and . ACIT/CSII/BCD, page 307-312. IEEE, (2017)A Formal Approach to Designing Anonymous Software., and . SERA, page 203-212. IEEE Computer Society, (2007)A Algorithm with Expected Value: Path Planning That Avoids Stochastic Traffic Obstacles., , , , , and . ICA, page 104-105. IEEE, (2016)Theorem-proving anonymity of infinite-state systems., , , and . Inf. Process. Lett., 101 (1): 46-51 (2007)Currying of Order-Sorted Term Rewriting Systems., and . COCOON, volume 959 of Lecture Notes in Computer Science, page 191-202. Springer, (1995)Probabilistic Anonymity Via Coalgebraic Simulations., and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 379-394. Springer, (2007)On embedded programming education with a tiny Lisp., , and . ICIS, page 567-568. IEEE Computer Society, (2013)