Takahiro Ando

According to our database1, Takahiro Ando authored at least 21 papers between 2013 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Development of Support System for Ship-Hull Plate Forming Using Laser Scanner.
Int. J. Autom. Technol., 2021

2020
Differentiable Rendering: A Survey.
CoRR, 2020

An Inter-Organizational Software Architecture for Smart Mobility.
Proceedings of the ICSIE 2020: 2020 9th International Conference on Software and Information Engineering, 2020

Personal Identification Methods Using Footsteps of One Step.
Proceedings of the 2020 International Conference on Artificial Intelligence in Information and Communication, 2020

Monocular Differentiable Rendering for Self-supervised 3D Object Detection.
Proceedings of the Computer Vision - ECCV 2020, 2020

2019
Licker: A Tongue Robot for Representing Realistic Tongue Motions.
Proceedings of the SIGGRAPH Asia 2019 Emerging Technologies, 2019

2018
Gill+Man: breathing through gills experience system.
Proceedings of the SIGGRAPH Asia 2018 Emerging Technologies, 2018

Software Engineering Practices for the Smart Mobility Market.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

ItoCamLife: A Platform of Sharing and Recommending Information Considering User Contexts to Facilitate Smart Mobility.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

A Process of Uncertainty Handling Method to Smart Mobility Application Development.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Overview and Application Examples of Agent-Based Unified Simulation Environment.
Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Verification Model Translation Method toward Behavior Model for CAST.
Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

Squachu: a training game to improve oral function via a non-contact tongue-mouth-motion detection system.
Proceedings of the 2018 International Conference on Advanced Visual Interfaces, 2018

2016
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC.
J. Inf. Secur. Appl., 2016

2015
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.
Comput. J., 2015

2014
Formal Specification Based Automatic Test Generation for Embedded Network Systems.
J. Appl. Math., 2014

Translation rules of SysML state machine diagrams into CSP# toward formal model checking.
Int. J. Web Inf. Syst., 2014

2013
Towards Formal Description of Standards for Automotive Operating Systems.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Formalization and Model Checking of SysML State Machine Diagrams by CSP#.
Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013


  Loading...