( en | de | ru )

 

Disambiguation of "Yokogawa, Tomoyuki"

Author of the publication

copydeleteadd this publication to your clipboard
Bounded model checking of Time Petri Nets using SAT solver.

, , , , , and . IEICE Electron. Express, 12 (2): 20141112 (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.

Tomoyuki Inoue

Tomoyuki Suzuki

Tomoyuki Yamane

 

Other publications of authors with the same name

A Doc2Vec-Based Assessment of Comments and Its Application to Change-Prone Method Analysis., , , and . APSEC, page 643-647. IEEE, (2018)A Survival Analysis-Based Prioritization of Code Checker Warning: A Case Study Using PMD., , , and . BCD (selected papers), volume 844 of Studies in Computational Intelligence, page 69-83. Springer, (2019)Visual Programming Language for Model Checkers Based on Google Blockly., , and . PROFES, volume 10611 of Lecture Notes in Computer Science, page 597-601. Springer, (2017)A Study on Predictive Performance of Regression-Based Effort Estimation Models Using Base Functional Components., and . PROFES, volume 7343 of Lecture Notes in Computer Science, page 350-354. Springer, (2012)A Comparative Study of Data Collection Periods for Just-In-Time Defect Prediction Using the Automatic Machine Learning Method., , , , and . IEICE Trans. Inf. Syst., 106 (2): 166-169 (February 2023)An Entropy-Based Metric of Developer Contribution in Open Source Development and Its Application toF ault-ProneP rogram Analysis., , , , and . Int. J. Networked Distributed Comput., 6 (3): 118-132 (2018)Searching for Bellwether Developers for Cross-Personalized Defect Prediction., , and . PROFES, volume 13126 of Lecture Notes in Computer Science, page 183-198. Springer, (2021)An exploratory study on applicability of cross project defect prediction approaches to cross-company effort estimation., , and . PROMISE, page 71-80. ACM, (2020)A Serial Booth Multiplier Using Ring Oscillator., , , , , and . CANDAR, page 458-461. IEEE Computer Society, (2016)An Empirical Study on Relationships between Comments and Design Properties., , , and . ACIT/CSII/BCD, page 254-259. IEEE, (2017)