default search action
Toshiyuki Miyamoto
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j34]Toshiyuki Miyamoto, Marika Izawa:
Conflict Reduction of Acyclic Flow Event Structures. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 106(5): 707-714 (2023) - 2022
- [j33]Yuta Inoue, Toshiyuki Miyamoto:
Distributed Scheme for Unit Commitment Problem Using Constraint Programming and ADMM. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(5): 788-798 (2022) - 2021
- [c29]Marika Izawa, Toshiyuki Miyamoto:
A Case Study of Choreography Realizability Checking on Smart Home Application. ICCE 2021: 1-5 - [c28]Qiwei Sun, Toshiyuki Miyamoto, Shoichi Kitamura, Ayako Taniguchi-Matsuoka, Kento Naito, Kazuyuki Mori, Yoshio Izui:
Computational Evaluation of Greedy Heuristic Methods for 2-objective MMSCP. ICCE 2021: 1-6 - 2020
- [j32]Toshiyuki Miyamoto:
Foreword. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 103-A(2): 389 (2020) - [j31]Marika Izawa, Toshiyuki Miyamoto:
A Study on Re-Constructibility of Event Structures. IEICE Trans. Inf. Syst. 103-D(8): 1810-1813 (2020)
2010 – 2019
- 2019
- [c27]Naoki Hidaka, Toshiyuki Miyamoto, Hideharu Sugihara:
An ADMM Approach to Distributed Optimization in Distribution System Considering Fairness among Consumers. SMC 2019: 2254-2258 - 2018
- [j30]Toshiki Kinoshita, Toshiyuki Miyamoto:
Realizability of Choreography Given by Two Scenarios. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 101-A(2): 345-356 (2018) - [c26]Toshiyuki Miyamoto, Kuniyuki Hidaka:
Modified Model of Radiographer Scheduling Problem for Sequential Optimization. IEEM 2018: 273-277 - [c25]Toshiyuki Miyamoto:
CSCB Tools: Tool for Supporting Synthesizing Hierarchical State Machines from Two Scenarios. SMC 2018: 1599-1604 - 2017
- [j29]Toshiyuki Miyamoto:
Synthesizing Pareto Efficient Intelligible State Machines from Communication Diagram. IEICE Trans. Inf. Syst. 100-D(6): 1200-1209 (2017) - [c24]Toshiki Kinoshita, Toshiyuki Miyamoto:
Synthesizing state machines from two scenarios and a case study on business process management. SMC 2017: 1782-1786 - 2016
- [j28]Toshiyuki Miyamoto, Kensuke Inoue:
Local and random searches for dispatch and conflict-free routing problem of capacitated AGV systems. Comput. Ind. Eng. 91: 1-9 (2016) - [j27]Toshiyuki Miyamoto:
Choreography Realization by Re-Constructible Decomposition of Acyclic Relations. IEICE Trans. Inf. Syst. 99-D(6): 1420-1427 (2016) - [j26]Toshiyuki Miyamoto, Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui:
Solving Distributed Unit Commitment Problem With Walrasian Auction. IEEE Trans. Syst. Man Cybern. Syst. 46(8): 1088-1097 (2016) - [c23]Toshiyuki Miyamoto:
CSCB Tools: A Tool to Synthesize Pareto Optimal State Machine Models from Choreography Using Petri Nets. PNSE @ Petri Nets 2016: 335-340 - [c22]Toshiyuki Miyamoto, M. Yasuhara, Kazuyuki Mori, Shoichi Kitamura, Y. Izui:
Multi-objective embarrassingly parallel search with upper bound constraints. SMC 2016: 1334-1339 - 2015
- [j25]Hironori Okubo, Toshiyuki Miyamoto, Satoshi Yoshida, Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui:
Project scheduling under partially renewable resources and resource consumption during setup operations. Comput. Ind. Eng. 83: 91-99 (2015) - [j24]Supacheep Amtade, Toshiyuki Miyamoto:
Cuckoo Search Algorithm for Job Scheduling in Cloud Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 98-A(2): 645-649 (2015) - [c21]Toshiyuki Miyamoto:
CSCB tools: Tool for supporting the design of systems based on SOA. GCCE 2015: 42-43 - [c20]Masato Yasuhara, Toshiyuki Miyamoto, Kazuyuki Mori, Shoichi Kitamura, Yoshio Izui:
Multi-objective embarrassingly parallel search for constraint programming. IEEM 2015: 853-857 - 2014
- [j23]Toshiyuki Miyamoto, Yasuwo Hasegawa, Hiroyuki Oimura:
An Approach for Synthesizing Intelligible State Machine Models from Choreography Using Petri Nets. IEICE Trans. Inf. Syst. 97-D(5): 1171-1180 (2014) - [c19]Tatsuya Minegishi, Toshiyuki Miyamoto:
Computational evaluation of hybrid method for car control and assignment problem in MCE systems. SMC 2014: 992-995 - 2013
- [j22]Toshiyuki Miyamoto, Kyota Horiguchi:
Modular Reachability Analysis of Petri Nets for Multiagent Systems. IEEE Trans. Syst. Man Cybern. Syst. 43(6): 1411-1423 (2013) - [c18]Toshiyuki Miyamoto, Hiroyuki Oimura:
A Tool to Synthesize Intelligible State Machine Models from Choreography using Petri Nets. PNSE+ModPE 2013: 257-258 - [c17]Masahiro Inoue, Ryozo Kiyohara, Tomochika Ozaki, Kazuyuki Kojima, Takahiro Okumura, Shingo Yamaguchi, Toshiyuki Miyamoto, Akiko Yoshida, Tomio Goto, Toshiaki Fujii, Masaru Sakurai, Daisuke Sakamoto, Yoshinari Takegawa, Hitomi Tsujita, Takuji Narumi, Makio Fukuda, Klaus P. Jantke, Tomoyuki Takami, Toshihiro Hayashi, Kazuhiko Kawahara, Akira Nishimura, Kazuma Hoshi, Eunmi L. Oh, Yoshihiro Saito, Tohru Nakanishi:
Introduction to special sessions and the SS chairs/co-chairs. GCCE 2013 - [c16]Tatsuya Minegishi, Toshiyuki Miyamoto:
A study of car control and assignment problem in MCE systems using hybrid method. GCCE 2013: 540-543 - [c15]Toshiyuki Miyamoto, Kensuke Inoue:
Random Search for Dispatch and Conflict-Free Routing Problem of Capacitated AGV Systems. SMC 2013: 1611-1615 - 2012
- [j21]Alex Valdivielso Chian, Toshiyuki Miyamoto:
Performance Evaluation of an Option-Based Learning Algorithm in Multi-Car Elevator Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 95-A(4): 835-839 (2012) - [j20]Alex Valdivielso Chian, Toshiyuki Miyamoto:
Knowledge Reuse Method to Improve the Learning of Interference-Preventive Allocation Policies in Multi-Car Elevators. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 95-A(5): 990-995 (2012) - [c14]Toshiyuki Miyamoto, Yasuwo Hasegawa:
A Petri Net Approach to Synthesize Intelligible State Machine Models from Choreography. PNSE 2012: 222-236 - 2011
- [j19]Alex Valdivielso, Toshiyuki Miyamoto:
Option-Based Monte Carlo Algorithm with Conditioned Updating to Learn Conflict-Free Task Allocation in Transport Applications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 94-A(12): 2810-2820 (2011) - [j18]Alex Valdivielso, Toshiyuki Miyamoto:
Multicar-Elevator Group Control Algorithm for Interference Prevention and Optimal Call Allocation. IEEE Trans. Syst. Man Cybern. Part A 41(2): 311-322 (2011) - 2010
- [j17]Toshiyuki Miyamoto, Hiroyuki Kurahata, Taku Fujii, Ryoji Hosokawa:
Synthesis of state machine diagrams from communication diagrams using Petri nets. Innov. Syst. Softw. Eng. 6(1-2): 39-46 (2010) - [j16]Toshiyuki Miyamoto, Takeshi Ikemura:
Subquery Allocation Problem and Heuristics for Secret Sharing Distributed Database System. J. Comput. Networks Commun. 2010: 984059:1-984059:6 (2010) - [c13]Alex Valdivielso, Toshiyuki Miyamoto:
Multicar Elevator Group Control: Average Reward Learning Method for Service Completion Time Reduction and Interference Prevention. CCA 2010: 234-239
2000 – 2009
- 2009
- [j15]Toshiyuki Miyamoto:
Foreword. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 92-A(11): 2706 (2009) - 2008
- [j14]Toshiyuki Miyamoto, Shingo Yamaguchi:
MceSim: A Multi-Car Elevator Simulator. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(11): 3207-3214 (2008) - [j13]Yusuke Morihiro, Toshiyuki Miyamoto, Sadatoshi Kumagai:
Routing Autonomous Vehicles in the Improving Initial Task Assignment and Avoiding Deadlock Method. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(11): 3229-3236 (2008) - 2007
- [j12]Toshiyuki Miyamoto, Masaki Sakamoto, Sadatoshi Kumagai:
On Reachability Analysis of Multi Agent Nets. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(10): 2257-2260 (2007) - [j11]Toshiyuki Miyamoto, Sadatoshi Kumagai:
An Optimal Share Transfer Problem on Secret Sharing Storage Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(11): 2458-2464 (2007) - [j10]Yusuke Morihiro, Toshiyuki Miyamoto, Sadatoshi Kumagai:
An Initial Assignment Method for Tasks Assignment and Routing Problem of Autonomous Distributed AGVs. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(11): 2465-2471 (2007) - [c12]Sadatoshi Kumagai, Toshiyuki Miyamoto:
Autonomous Distributed System and Its Realization by Multi Agent Nets. ICATPN 2007: 3-19 - [c11]Toshiyuki Miyamoto, Sadatoshi Kumagai:
An Optimal Share Transfer Problem on Secret Sharing Storage Systems. ISPA 2007: 371-382 - [c10]Toshiyuki Miyamoto, Koji Yakire, Sadatoshi Kumagai, Kazuyuki Mori, Shoichi Kitamura, Takaya Yamamoto:
Computational evaluation of a market-oriented programming method for distributed energy management systems. SMC 2007: 650-655 - 2006
- [j9]Toshiyuki Miyamoto, Yasuhiro Morita, Sadatoshi Kumagai:
Vertical Partitioning Method for Secret Sharing Distributed Database System. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 89-A(11): 3244-3249 (2006) - [j8]Toshiyuki Miyamoto, Shinji Doi, Hiroki Nogawa, Sadatoshi Kumagai:
Autonomous distributed secret sharing storage system. Syst. Comput. Jpn. 37(6): 55-63 (2006) - [c9]Yusuke Morihiro, Toshiyuki Miyamoto, Sadatoshi Kumagai:
An Initial Task Assignment Method for Autonomous Distributed Vehicle Systems with Finite Buffer Capacity. ETFA 2006: 805-812 - 2005
- [j7]Daisuke Hayashi, Toshiyuki Miyamoto, Shinji Doi, Sadatoshi Kumagai:
Automatic Repair Mechanism of Secret Sharing Storage System. IEICE Trans. Inf. Syst. 88-D(5): 971-975 (2005) - [j6]Toshiyuki Miyamoto, Sadatoshi Kumagai:
A Survey of Object-Oriented Petri Nets and Analysis Methods. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(11): 2964-2971 (2005) - [j5]Toshiyuki Miyamoto, Norihiro Tsujimoto, Sadatoshi Kumagai:
A Cooperative Algorithm for Autonomous Distributed Vehicle Systems with Finite Buffer Capacity. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(11): 3036-3044 (2005) - [c8]Satoru Endo, Toshiyuki Miyamoto, Sadatoshi Kumagai, Taku Fujii:
On Simulation of BPEL4WS/UML Descriptions. APSEC 2005: 103-112 - [c7]Mamoru Sakamoto, Toshiyuki Miyamoto, Sadatoshi Kumagai:
A modeling method of a rule based control system with hierarchical Petri net. ISCAS (1) 2005: 756-759 - 2004
- [c6]Kiyotaka Shimada, Toshiyuki Miyamoto, Sadatoshi Kumagai:
A supply chain model using market-oriented programming to an inventory management strategy in consideration of lead time. SMC (5) 2004: 4503-4508 - 2003
- [j4]Toshiyuki Miyamoto, Daijiroh Ichimura, Sadatoshi Kumagai:
A Multi-Agent Based Manufacturing Resource Planning and Task Allocation System. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 86-A(4): 806-812 (2003) - [j3]Toshiyuki Miyamoto, Syoji Yamashita, Sadatoshi Kumagai, Hideaki Ohta, Koichi Fukumoto, Yoichi Nagao:
A Graph Based Approach for an Extended Resource Planning and Line Balancing Problem. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 86-A(11): 2739-2746 (2003) - [j2]Toshiyuki Miyamoto, Sadatoshi Kumagai:
Multi Criteria Real-Time Scheduling for Manufacturing Systems by Context-Dependent Agents. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 86-A(11): 2775-2781 (2003) - [c5]Toshiyuki Miyamoto, Kazuya Nakatyou, Sadatoshi Kumagai:
Agent-based planning method for an on-demand transportation system. ISIC 2003: 620-625 - [c4]Norihiro Tsujimoto, Toshiyuki Miyamoto, Sadatoshi Kumagai:
An operation planning method for a demand-bus system based on local search of autonomous agents. CIRA 2003: 521-526 - [c3]Toshiyuki Miyamoto, Kazuya Nakatyou, Sadatoshi Kumagai:
Route planning method for a dial-a-ride problem. SMC 2003: 4002-4007 - 2002
- [j1]Toshiyuki Miyamoto, Bruce H. Krogh, Sadatoshi Kumagai:
Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(11): 2407-2413 (2002)
1990 – 1999
- 1998
- [c2]Toshiyuki Miyamoto, Sadatoshi Kumagai:
Calculating Place Capacity for Petri Nets Using Unfoldings. ACSD 1998: 143-151 - 1996
- [c1]Toshiyuki Miyamoto, Sadatoshi Kumagai:
An efficient algorithm for deriving logic functions of asynchronous circuits. ASYNC 1996: 30-35
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-06 00:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: