| Privacy-preserving integration of medical data: a practical multiparty private set intersection A Miyaji, K Nakasho, S Nishida Journal of medical systems 41, 1-10, 2017 | 43 | 2017 |
| σ-ring and σ-algebra of Sets N Endou, K Nakasho, Y Shidama Formalized Mathematics 23 (1), 51-57, 2015 | 18 | 2015 |
| Implicit function theorem. part I K Nakasho, Y Futa, Y Shidama Formalized Mathematics 25 (4), 269-281, 2017 | 10 | 2017 |
| Comparison of displacement measurements in exposed type column base using piezoelectric dynamic sensors and static sensors N Shimoi, T Nishida, A Obata, K Nakasho, H Madokoro, C Cuadra American Journal of Remote Sensing 4 (5), 23-32, 2016 | 10 | 2016 |
| Development of invisible sensors and a machine-learning-based recognition system used for early prediction of discontinuous bed-leaving behavior patterns H Madokoro, K Nakasho, N Shimoi, H Woo, K Sato Sensors 20 (5), 1415, 2020 | 7 | 2020 |
| Documentation generator focusing on symbols for the HTML-ized Mizar library K Nakasho, Y Shidama Intelligent Computer Mathematics: International Conference, CICM 2015 …, 2015 | 6 | 2015 |
| Development of a Secure Cross-Institutional Data Collection System Based on Distributed Standardized EMR Storage. K Tanaka, R Yamamoto, K Nakasho, A Miyaji EFMI-STC, 35-39, 2018 | 5 | 2018 |
| Implementation of a vital signs monitoring system in combination with a bed-leaving detection system K Nakasho, H Madokoro, N Shimoi 2016 IEEE/SICE International Symposium on System Integration (SII), 290-295, 2016 | 5 | 2016 |
| Topological properties of real normed space K Nakasho, Y Futa, Y Shidama Formalized Mathematics 22 (3), 209-223, 2014 | 5 | 2014 |
| Automatic Calibration of Bed-Leaving Sensor Signals Based on Genetic Evolutionary Learning D Hiramatsu, H Madokoro, K Sato, K Nakasho, N Shimoi 2018 18th International Conference on Control, Automation and Systems (ICCAS …, 2018 | 4 | 2018 |
| Riemann-Stieltjes integral K Narita, K Nakasho, Y Shidama Formalized Mathematics 24 (3), 199-204, 2016 | 4 | 2016 |
| Definition and properties of direct sum decomposition of groups K Nakasho, H Yamazaki, H Okazaki, Y Shidama Formalized Mathematics 23 (1), 15-27, 2015 | 4 | 2015 |
| A practical parallel computation in a scalable multiparty private set intersection S Mishima, K Nakasho, Y Takano, A Miyaji 2021 Ninth International Symposium on Computing and Networking Workshops …, 2021 | 3 | 2021 |
| Comparison in displacement measurements for weld joint of steel column base by using piezoelectric joint sensors N Shimoi, C Cuadra, K Nakasho Transactions of the Society of Instrument and Control Engineers 57 (5), 253-259, 2021 | 3 | 2021 |
| Comparison in displacement measurements for fillet weld of steel column base by using piezoelectric joint sensors 下井信浩 International Journal of Science and Engineering Investigations 9, 99-103, 2020 | 3 | 2020 |
| Development of a flexible Mizar tokenizer and parser for information retrieval system K Nakasho 2019 Federated Conference on Computer Science and Information Systems …, 2019 | 3 | 2019 |
| Continuity of bounded linear operators on normed linear spaces K Nakasho, Y Futa, Y Shidama Formalized Mathematics 26 (3), 231-237, 2018 | 3 | 2018 |
| The basic existence theorem of Riemann-Stieltjes integral K Nakasho, K Narita, Y Shidama Formalized Mathematics 24 (4), 253-259, 2016 | 3 | 2016 |
| Torsion Z-module and Torsion-free Z-module Y Futa, H Okazaki, K Nakasho, Y Shidama Formalized Mathematics 22 (4), 277-289, 2014 | 3 | 2014 |
| An Integrated Web Platform for the Mizar Mathematical Library H Furushima, D Yamamichi, S Shigenaka, K Nakasho, K Wasaki International Conference on Intelligent Computer Mathematics, 141-146, 2022 | 2 | 2022 |
