Hiroaki Yoshida

According to our database1, Hiroaki Yoshida authored at least 53 papers between 2002 and 2021.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Optimal Transport-Based Coverage Control for Swarm Robot Systems: Generalization of the Voronoi Tessellation-Based Method.
IEEE Control. Syst. Lett., 2021

2020
Optimal Coverage Control for Swarm Robot Systems using a Mean Field Game.
CoRR, 2020

Traffic Signal Optimization on a Square Lattice using the D-Wave Quantum Annealer.
CoRR, 2020

Model Predictive Control for Finite Input Systems using the D-Wave Quantum Annealer.
CoRR, 2020

Separation of pedestrian counter flows with an array of obstacles.
Artif. Life Robotics, 2020

Phoenix: a tool for automated data-driven synthesis of repairs for static analysis violations.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019
Stochastic Self-organizing Control for Swarm Robot Systems.
Proceedings of the Advances in Swarm Intelligence - 10th International Conference, 2019

Phoenix: automated data-driven synthesis of repairs for static analysis violations.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Distributed Range-based Localization for Swarm Robot Systems using Sensor-fusion Technique.
Proceedings of the 8th International Conference on Sensor Networks, 2019

2018
Bugs.jar: a large-scale, diverse dataset of real-world Java bugs.
Proceedings of the 15th International Conference on Mining Software Repositories, 2018

Accelerating Search-Based Program Repair.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Elixir: an automated repair tool for Java programs.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017
KLOVER: Automatic Test Generation for C and C Programs, Using Symbolic Execution.
IEEE Softw., 2017

Noise Reduction in Swallowing Muscle Activity Measurement Based on Mixture Gaussian Distribution Model.
J. Adv. Comput. Intell. Intell. Informatics, 2017

A Dissipation of Relative Entropy by Diffusion Flows.
Entropy, 2017

Automatic and dynamic grounding method based on sensor data for agent-based simulation.
Proceedings of the 2017 Winter Simulation Conference, 2017

Modeling and Managing Airport Passenger Flow Under Uncertainty: A Case of Fukuoka Airport in Japan.
Proceedings of the Social Informatics, 2017

ELIXIR: effective object oriented program repair.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016
FSX: a tool for fine-grained incremental unit test generation for C/C++ programs.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Anti-patterns in search-based program repair.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

FSX: fine-grained incremental unit test generation for C/C++ programs.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

MuVM: Higher Order Mutation Analysis Virtual Machine for C.
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015
Generating Succinct Test Cases Using Don't Care Analysis.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Investigation of Comfort of Uniform Shirt Made of Cellulose Considering Environmental Load.
Proceedings of the Computer Information Systems and Industrial Management, 2015

2014
Lattice Boltzmann method for the convection-diffusion equation in curvilinear coordinate systems.
J. Comput. Phys., 2014

An Energy-Efficient Patchable Accelerator and Its Design Methods.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2014

Coupled lattice Boltzmann method for simulating electrokinetic flows: A localized scheme for the Nernst-Plank model.
Commun. Nonlinear Sci. Numer. Simul., 2014

2012
An Integral Representation of the Relative Entropy.
Entropy, 2012

A redundant wire addition method for Patchable Accelerator.
Proceedings of the 19th IEEE International Conference on Electronics, Circuits and Systems, 2012

Post-silicon debugging targeting electrical errors with patchable controllers (abstract only).
Proceedings of the ACM/SIGDA 20th International Symposium on Field Programmable Gate Arrays, 2012

On error tolerance and Engineering Change with Partially Programmable Circuits.
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

Post-silicon patching for verification/debugging with high-level models and programmable logic.
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

2011
Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability.
IPSJ Trans. Syst. LSI Des. Methodol., 2011

An energy-efficient patchable accelerator for post-silicon engineering changes.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

2010
Performance-Constrained Transistor Sizing for Different Cell Count Minimization.
J. Inf. Process., 2010

Multiple-relaxation-time lattice Boltzmann model for the convection and anisotropic diffusion equation.
J. Comput. Phys., 2010

2009
Interconnect-Aware Pipeline Synthesis for Array-Based Architectures.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2009

Improving the accuracy of rule-based equivalence checking of system-level design descriptions by identifying potential internal equivalences.
Proceedings of the 10th International Symposium on Quality of Electronic Design (ISQED 2009), 2009

2008
A Diffusion Model for Rarefied Flows in Curved Channels.
Multiscale Model. Simul., 2008

A HW/SW Co-Reuse Methodology Based on Design Refinement Templates in UML Diagrams.
Proceedings of the ICSOFT 2008, 2008

Performance-Constrained Different Cell Count Minimization for Continuously-Sized Circuits.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
Some set partition statistics in non-crossing partitions and generating functions.
Discret. Math., 2007

2006
A Structural Approach for Transistor Circuit Synthesis.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

Exact Minimum Logic Factoring via Quantified Boolean Satisfiability.
Proceedings of the 13th IEEE International Conference on Electronics, 2006

3D Finite Element Analysis of the frictional behavior of the human fingertip.
Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

Geometric Modeling of Living Tissue for Subject-Specific Finite Element Analysis.
Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006

2005
A Performance Driven Module Generator for a Dual-Rail PLA with Embedded 2-Input Logic Cells.
IEICE Trans. Inf. Syst., 2005

An algebraic approach for transistor circuit synthesis.
Proceedings of the 12th IEEE International Conference on Electronics, 2005

2004
Accurate pre-layout estimation of standard cell characteristics.
Proceedings of the 41th Design Automation Conference, 2004

2002
Logic Synthesis for AND-XOR-OR Type Sense-Amplifying PLA.
Proceedings of the ASPDAC 2002 / VLSI Design 2002, 2002

Simultaneous Circuit Transformation and Routing.
Proceedings of the ASPDAC 2002 / VLSI Design 2002, 2002

A Quantum Algorithm for Searching Web Communities.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Logic synthesis for PLA with 2-input logic elements.
Proceedings of the 2002 International Symposium on Circuits and Systems, 2002


  Loading...