Kenji Takao
According to our database1,
Kenji Takao
authored at least 8 papers
between 2003 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case Study.
Proceedings of the Formal Methods - 24th International Symposium, 2021
2017
A Cloud-Based Stream Processing Platform for Traffic Monitoring Using Large-Scale Probe Vehicle Data.
Proceedings of the 2017 IEEE Wireless Communications and Networking Conference, 2017
2009
2007
Proceedings of the American Control Conference, 2007
2006
Proceedings of the International Joint Conference on Neural Networks, 2006
2004
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004
Proceedings of the 2004 American Control Conference, 2004
2003
Proceedings of the IEEE Congress on Evolutionary Computation, 2003