Yutaka Nagashima
Orcid: 0000-0001-6693-5325
According to our database1,
Yutaka Nagashima
authored at least 33 papers
between 1996 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
8
1
5
2
1
1
4
1
1
2
2
1
2
2
2
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023
Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023
2022
Proceedings of the Tests and Proofs - 16th International Conference, 2022
An Underwater Environment Measuring System and Three-Dimensional Visualization of Underwater Structure Using Underwater Drone and 5G Network.
Proceedings of the 11th IEEE Global Conference on Consumer Electronics, 2022
2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
2020
Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description).
CoRR, 2020
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
2019
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019
2018
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
2017
Proceedings of the Automated Deduction - CADE 26, 2017
2016
CoRR, 2016
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016
2002
J. Robotics Mechatronics, 2002
2000
1998
Proceedings of IAPR Workshop on Machine Vision Applications, 1998
1996
Proceedings of IAPR Workshop on Machine Vision Applications, 1996