An efficient algorithm for deriving logic functions of asynchronous circuits. - Toshiyuki Miyamoto; Sadatoshi Kumagai (ASYNC, 1996)

Calculating Place Capacity for Petri Nets Using Unfoldings. - Toshiyuki Miyamoto; Sadatoshi Kumagai (ACSD, 1998)

Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems. - Toshiyuki Miyamoto; Bruce H. Krogh; Sadatoshi Kumagai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002)

Agent-based planning method for an on-demand transportation system. - Toshiyuki Miyamoto; Kazuya Nakatyou; Sadatoshi Kumagai (ISIC, 2003)

An operation planning method for a demand-bus system based on local search of autonomous agents. - Norihiro Tsujimoto; Toshiyuki Miyamoto; Sadatoshi Kumagai (CIRA, 2003)

Route planning method for a dial-a-ride problem. - Toshiyuki Miyamoto; Kazuya Nakatyou; Sadatoshi Kumagai (SMC, 2003)

A Multi-Agent Based Manufacturing Resource Planning and Task Allocation System. - Toshiyuki Miyamoto; Daijiroh Ichimura; Sadatoshi Kumagai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

Multi Criteria Real-Time Scheduling for Manufacturing Systems by Context-Dependent Agents. - Toshiyuki Miyamoto; Sadatoshi Kumagai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

A Graph Based Approach for an Extended Resource Planning and Line Balancing Problem. - Toshiyuki Miyamoto; Syoji Yamashita; Sadatoshi Kumagai; Hideaki Ohta; Koichi Fukumoto; Yoichi Nagao (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

A supply chain model using market-oriented programming to an inventory management strategy in consideration of lead time. - Kiyotaka Shimada; Toshiyuki Miyamoto; Sadatoshi Kumagai (SMC (5), 2004)

On Simulation of BPEL4WS/UML Descriptions. - Satoru Endo; Toshiyuki Miyamoto; Sadatoshi Kumagai; Taku Fujii (APSEC, 2005)

A modeling method of a rule based control system with hierarchical Petri net. - Mamoru Sakamoto; Toshiyuki Miyamoto; Sadatoshi Kumagai (ISCAS (1), 2005)

Automatic Repair Mechanism of Secret Sharing Storage System. - Daisuke Hayashi; Toshiyuki Miyamoto; Shinji Doi; Sadatoshi Kumagai (IEICE Trans. Inf. Syst., 2005)

A Survey of Object-Oriented Petri Nets and Analysis Methods. - Toshiyuki Miyamoto; Sadatoshi Kumagai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

A Cooperative Algorithm for Autonomous Distributed Vehicle Systems with Finite Buffer Capacity. - Toshiyuki Miyamoto; Norihiro Tsujimoto; Sadatoshi Kumagai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005)

An Initial Task Assignment Method for Autonomous Distributed Vehicle Systems with Finite Buffer Capacity. - Yusuke Morihiro; Toshiyuki Miyamoto; Sadatoshi Kumagai (ETFA, 2006)

Vertical Partitioning Method for Secret Sharing Distributed Database System. - Toshiyuki Miyamoto; Yasuhiro Morita; Sadatoshi Kumagai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)

Autonomous distributed secret sharing storage system. - Toshiyuki Miyamoto; Shinji Doi; Hiroki Nogawa; Sadatoshi Kumagai (Syst. Comput. Jpn., 2006)

Autonomous Distributed System and Its Realization by Multi Agent Nets. - Sadatoshi Kumagai; Toshiyuki Miyamoto (ICATPN, 2007)

Computational evaluation of a market-oriented programming method for distributed energy management systems. - Toshiyuki Miyamoto; Koji Yakire; Sadatoshi Kumagai; Kazuyuki Mori; Shoichi Kitamura; Takaya Yamamoto (SMC, 2007)

An Optimal Share Transfer Problem on Secret Sharing Storage Systems. - Toshiyuki Miyamoto; Sadatoshi Kumagai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

On Reachability Analysis of Multi Agent Nets. - Toshiyuki Miyamoto; Masaki Sakamoto; Sadatoshi Kumagai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

An Initial Assignment Method for Tasks Assignment and Routing Problem of Autonomous Distributed AGVs. - Yusuke Morihiro; Toshiyuki Miyamoto; Sadatoshi Kumagai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)

MceSim: A Multi-Car Elevator Simulator. - Toshiyuki Miyamoto; Shingo Yamaguchi 001 (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Routing Autonomous Vehicles in the Improving Initial Task Assignment and Avoiding Deadlock Method. - Yusuke Morihiro; Toshiyuki Miyamoto; Sadatoshi Kumagai (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Multicar Elevator Group Control: Average Reward Learning Method for Service Completion Time Reduction and Interference Prevention. - Alex Valdivielso; Toshiyuki Miyamoto (CCA, 2010)

Synthesis of state machine diagrams from communication diagrams using Petri nets. - Toshiyuki Miyamoto; Hiroyuki Kurahata; Taku Fujii; Ryoji Hosokawa (Innov. Syst. Softw. Eng., 2010)

Subquery Allocation Problem and Heuristics for Secret Sharing Distributed Database System. - Toshiyuki Miyamoto; Takeshi Ikemura (J. Comput. Networks Commun., 2010)

Option-Based Monte Carlo Algorithm with Conditioned Updating to Learn Conflict-Free Task Allocation in Transport Applications. - Alex Valdivielso; Toshiyuki Miyamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2011)

Multicar-Elevator Group Control Algorithm for Interference Prevention and Optimal Call Allocation. - Alex Valdivielso; Toshiyuki Miyamoto (IEEE Trans. Syst. Man Cybern. Part A, 2011)

A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography. - Toshiyuki Miyamoto; Yasuwo Hasegawa (PNSE, 2012)

Performance Evaluation of an Option-Based Learning Algorithm in Multi-Car Elevator Systems. - Alex Valdivielso Chian; Toshiyuki Miyamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

Knowledge Reuse Method to Improve the Learning of Interference-Preventive Allocation Policies in Multi-Car Elevators. - Alex Valdivielso Chian; Toshiyuki Miyamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)

A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets. - Toshiyuki Miyamoto; Hiroyuki Oimura (PNSE+ModPE, 2013)

Introduction to special sessions and the SS chairs/co-chairs. - Masahiro Inoue; Ryozo Kiyohara; Tomochika Ozaki; Kazuyuki Kojima; Takahiro Okumura; Shingo Yamaguchi 001; Toshiyuki Miyamoto; Akiko Yoshida; Tomio Goto; Toshiaki Fujii; Masaru Sakurai; Daisuke Sakamoto; et al. (GCCE, 2013)

A study of car control and assignment problem in MCE systems using hybrid method. - Tatsuya Minegishi; Toshiyuki Miyamoto (GCCE, 2013)

Random Search for Dispatch and Conflict-Free Routing Problem of Capacitated AGV Systems. - Toshiyuki Miyamoto; Kensuke Inoue (SMC, 2013)

Modular Reachability Analysis of Petri Nets for Multiagent Systems. - Toshiyuki Miyamoto; Kyota Horiguchi (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Computational evaluation of hybrid method for car control and assignment problem in MCE systems. - Tatsuya Minegishi; Toshiyuki Miyamoto (SMC, 2014)

An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets. - Toshiyuki Miyamoto; Yasuwo Hasegawa; Hiroyuki Oimura (IEICE Trans. Inf. Syst., 2014)

CSCB tools: Tool for supporting the design of systems based on SOA. - Toshiyuki Miyamoto (GCCE, 2015)

Multi-objective embarrassingly parallel search for constraint programming. - Masato Yasuhara; Toshiyuki Miyamoto; Kazuyuki Mori; Shoichi Kitamura; Yoshio Izui (IEEM, 2015)

Project scheduling under partially renewable resources and resource consumption during setup operations. - Hironori Okubo; Toshiyuki Miyamoto; Satoshi Yoshida; Kazuyuki Mori; Shoichi Kitamura; Yoshio Izui (Comput. Ind. Eng., 2015)

Cuckoo Search Algorithm for Job Scheduling in Cloud Systems. - Supacheep Amtade; Toshiyuki Miyamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2015)

CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets. - Toshiyuki Miyamoto (PNSE @ Petri Nets, 2016)

Multi-objective embarrassingly parallel search with upper bound constraints. - Toshiyuki Miyamoto; M. Yasuhara; Kazuyuki Mori; Shoichi Kitamura; Y. Izui (SMC, 2016)

Local and random searches for dispatch and conflict-free routing problem of capacitated AGV systems. - Toshiyuki Miyamoto; Kensuke Inoue (Comput. Ind. Eng., 2016)

Choreography Realization by Re-Constructible Decomposition of Acyclic Relations. - Toshiyuki Miyamoto (IEICE Trans. Inf. Syst., 2016)

Solving Distributed Unit Commitment Problem With Walrasian Auction. - Toshiyuki Miyamoto; Kazuyuki Mori; Shoichi Kitamura; Yoshio Izui (IEEE Trans. Syst. Man Cybern. Syst., 2016)

Synthesizing state machines from two scenarios and a case study on business process management. - Toshiki Kinoshita; Toshiyuki Miyamoto (SMC, 2017)

Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram. - Toshiyuki Miyamoto (IEICE Trans. Inf. Syst., 2017)

Modified Model of Radiographer Scheduling Problem for Sequential Optimization. - Toshiyuki Miyamoto; Kuniyuki Hidaka (IEEM, 2018)

CSCB Tools: Tool for Supporting Synthesizing Hierarchical State Machines from Two Scenarios. - Toshiyuki Miyamoto (SMC, 2018)

Realizability of Choreography Given by Two Scenarios. - Toshiki Kinoshita; Toshiyuki Miyamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018)

An ADMM Approach to Distributed Optimization in Distribution System Considering Fairness among Consumers. - Naoki Hidaka; Toshiyuki Miyamoto; Hideharu Sugihara (SMC, 2019)

Foreword. - Toshiyuki Miyamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2020)

A Study on Re-Constructibility of Event Structures. - Marika Izawa; Toshiyuki Miyamoto (IEICE Trans. Inf. Syst., 2020)

A Case Study of Choreography Realizability Checking on Smart Home Application. - Marika Izawa; Toshiyuki Miyamoto (ICCE, 2021)

Computational Evaluation of Greedy Heuristic Methods for 2-objective MMSCP. - Qiwei Sun; Toshiyuki Miyamoto; Shoichi Kitamura; Ayako Taniguchi-Matsuoka; Kento Naito; Kazuyuki Mori; Yoshio Izui (ICCE, 2021)

Distributed Scheme for Unit Commitment Problem Using Constraint Programming and ADMM. - Yuta Inoue; Toshiyuki Miyamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2022)

Conflict Reduction of Acyclic Flow Event Structures. - Toshiyuki Miyamoto; Marika Izawa (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2023)

Generating Event Structure from Set of Acyclic Relations in Choreography Realization. - Toshiyuki Miyamoto; Hiroki Akamatsu (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2025)