Satoshi Taoka

Last Updated :2017/11/01

Affiliations, Positions
Graduate School of Engineering, Assistant Professor
E-mail
satoshihiroshima-u.ac.jp

Basic Information

Academic Degrees

  • Doctor of Engineering, Hiroshima University
  • Master of Engineering, Hiroshima University

Research Fields

  • Informatics;Principles of Informatics;Theory of informatics

Educational Activity

Course in Charge

  1. 2017, Undergraduate Education, Second Semester, Exercise of Programming I
  2. 2017, Undergraduate Education, Second Semester, Exercise of Information Engineering I
  3. 2017, Undergraduate Education, First Semester, Exercise of Programming II
  4. 2017, Undergraduate Education, First Semester, Introduction to Computer Programming

Research Activities

Academic Papers

  1. Performance comparison of algorithms for the dynamic shortest path problem, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E90A(4), 847-856, APR 2007
  2. Enhancing PC cluster-based parallel branch-and-bound algorithms for the graph coloring problem, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E91A(4), 1140-1149, APR 2008
  3. Enhanced approximation algorithms for maximum weight matchings of graphs, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E91A(4), 1129-1139, APR 2008
  4. Efficiently Computing Minimal-Support Nonnegative Integer Invariants of Petri Nets, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E92A(11), 2707-2716, NOV 2009
  5. Two Enhanced Heuristic Algorithms for the Minimum Initial Marking Problem of Petri Nets, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E92A(11), 2732-2744, NOV 2009
  6. The Marking Construction Problem of Petri Nets and Its Heuristic Algorithms, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E94A(9), 1833-1841, SEP 2011
  7. Experimental evaluation of two algorithms for computing Petri net invariants, IEICE Trans. Fundamentals, Vol. E84-A(No. 11), 20011101
  8. Two efficient methods for computing petri net invariants, Proceedings of the 2006 IEEE International Conference on Systems= Man= and Cybernetics= Taipei, pp. 2717 - 2722, 20011001
  9. Extracting a Planar Spanning Subgraph of a Terminal-Vertex Graph by Solving the Independent Set Problem, Proceedings of the 2004 IEEE International Midwest Symposium on Circuits and Systems, pp. V-153 - V-156, 20010501
  10. A Heuristic Algorithm FMDB for the Minimum Initial Marking Problem of Petri Nets, IEICE Trans. Fundamentals, Vol. E84-A(No. 3), pp. 771 - 780, 20010301
  11. A New Heuristic Method for Solving the Minimum Initial Marking Problem of Petri Nets, Proceedings of the 2006 IEEE International Conference on Systems= Man= and Cybernetics= Taipei, pp. 3218 - 3223, 20001001
  12. k-Edge-Connectivity Augmentation Problem with Upper Bounds on Edge Multiplicity, pp. IV-601 - IV-604, 20000501
  13. On the Legal Firing Sequence Problem of Petri Nets with Cactus Structure, IEICE Trans. Fundamentals, Vol. E83-A(No. 3), pp. 480 - 486, 20000301
  14. A Linear Time Algorithm Solving the Legal Firing Sequence Problem for a Class of Edge-Weighted Cactuses, Proc. 1997 IEEE International Conference on Systems= Man and Cybernetics(SMC), pp. III-893 - III-898, 19991001
  15. A Fast and Space-Saving Algorithm for Computing Invariants of Petri Nets, Proc. 1999 IEEE International Conference on Systems= Man and Cybernetics (SMC 99), pp. I-866-I-871, 19991001
  16. Minimum Augmentation to k-Edge-Connect Specified Vertices of a Graph, Lecture Notes in Computer Science 834 ((D-Z Du and X-S Zhang (Eds.)) Algorithms and Computation)= Springer-Verlag= Berlin, pp. 217 - 225, 19940801
  17. Minimum-cost augmentation to 3-edge-connect all specified vertices in a graph, Proc. 1993 IEEE International Symposium on Circuits and Systems, pp. 2311 - 2314, 19930501
  18. Approximation algorithms for minimum-cost augmentation to k-edge-connect a multigraph, Proc. 1993 IEEE International Symposium on Circuits and Systems, pp. 2556 - 2559, 19930501
  19. The k-Edge-Connectivity Augmentation Problem of Weighted Graphs, Lecture Notes in Computer Science 650= Algorithms and Computation (T.Ibaraki= Y.Inagaki= K.Iwama= T.Nishizeki and M.Yamashita (Eds.))= Springer-Verlag= Berlin, pp. 31 - 40, 19921201
  20. Heuristic Algorithm FMDB for the Minimum Initial Marking Problem of Petri Nets, IEICE Trans. Fundamentals, E84-A(3), 771-780, 20010301
  21. Experimental evaluation of two algorithms for computing Petri net invariants, IEICE Trans. Fundamentals, E84-A(11), 2871-2880, 20011101
  22. Extracting Minimal Siphon-traps of Petri Nets and its Application to Computing Nonnegative Integer-Invariants, IEICE Trans. Fundamentals, E85-A(11), 2436-2446, 20021101
  23. A 2-Approximation Algorithm 2-ABIS for 2-Vertex-Connectivity Augmentation of Specified Vertices in a Graph, IEICE Trans. Fundamentals, E86-A(4), 822-828, 20030401
  24. Performance Comparison of Algorithms for the Dynamic Shortest Path Problem, IEICE Trans. Fundamentals, E90-A(4), PP. 847-856, 20070401
  25. On the legal firing sequence problem of Petri nets with cactus structure, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E83A(3), 480-486, MAR 2000
  26. A heuristic algorithm FMDB for the minimum initial marking problem of Petri nets, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E84A(3), 771-780, MAR 2001
  27. Experimental evaluation of two algorithms for computing Petri net invariants, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E84A(11), 2871-2880, NOV 2001
  28. Extracting minimal siphon-traps of Petri nets and its application to computing nonnegative integer-invariants, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E85A(11), 2436-2446, NOV 2002
  29. Bi-connectivity augmentation for specified vertices of a graph with upper bounds on vertex-degree increase, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E89D(2), 751-762, FEB 2006
  30. A linear time algorithm for bi-connectivity augmentation of graphs with upper bounds on vertex-degree increase, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A(4), 954-963, APR 2005
  31. Siphon-trap-based algorithms for efficiently computing Petri net invariants, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A(4), 964-971, APR 2005
  32. A 2-approximation algorithm to (k+1)-edge-connect a specified set of vertices in a k-edge-connected graph, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A(5), 1290-1300, MAY 2005
  33. Improved heuristic algorithms for minimizing initial markings of Petri nets, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E88A(11), 3051-3061, NOV 2005
  34. On minimum k-edge-connectivity augmentation for specified vertices of a graph with upper bounds on vertex-degree, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E89A(4), 1042-1048, APR 2006
  35. Experimental evaluation of maximum-supply partitioning algorithms for demand-supply graphs, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E89A(4), 1049-1057, APR 2006
  36. Time complexity analysis of the legal firing sequence problem of Petri nets with inhibitor arcs, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E89A(11), 3216-3226, NOV 2006
  37. A Fast Algorithm for Augmenting Edge-Connectivity by One with Bipartition Constraints, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E95D(3), 769-777, MAR 2012
  38. Two Heuristic Algorithms for the Minimum Initial Marking Problem of Timed Petri Nets, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E96A(2), 540-553, FEB 2013
  39. Computing-Based Performance Analysis of Approximation Algorithms for the Minimum Weight Vertex Cover Problem of Graphs, IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E96A(6), 1331-1339, JUN 2013
  40. A Web-Based Questionnaire and Its Evaluation of Class-Assessment-by-Students, Vol. J97-D(No. 5), 1024-1034, 2014/05/01