Jun Kawahara

Shin-ichi Minato

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Sorting balls and water: Equivalence and computational complexity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., November, 2023

DAG-Pathwidth: Graph Algorithmic Analyses of DAG-Type Blockchain Networks.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., March, 2023

On robustness against evacuees' unexpected movement in automatic evacuation guiding.

[BibT_eX]

[DOI]

Takanori Hara

Masahiro Sasabe

Comput. Electr. Eng., January, 2023

Efficient Non-isomorphic Graph Enumeration Algorithms for Subclasses of Perfect Graphs.

[BibT_eX]

[DOI]

Proceedings of the WALCOM: Algorithms and Computation, 2023

Solving Reconfiguration Problems of First-Order Expressible Properties of Graph Vertices with Boolean Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Conference on Tools with Artificial Intelligence, 2023

ZDD-Based Algorithmic Framework for Solving Shortest Reconfiguration Problems.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

2022

Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions.

[BibT_eX]

[DOI]

CoRR, 2022

Reallocation Problems with Minimum Completion Time.

[BibT_eX]

[DOI]

Proceedings of the Computing and Combinatorics - 28th International Conference, 2022

2020

The Essential Role of Empirical Validation in Legislative Redistricting Simulation.

[BibT_eX]

[DOI]

CoRR, 2020

Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 18th International Symposium on Experimental Algorithms, 2020

Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration.

[BibT_eX]

[DOI]

Proceedings of the WALCOM: Algorithms and Computation - 14th International Conference, 2020

2019

Efficient construction of binary decision diagrams for network reliability with imperfect vertices.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2019

The Time Complexity of Permutation Routing via Matching, Token Swapping and a Variant.

[BibT_eX]

[DOI]

Toshiki Saitoh

Ryo Yoshinaka

J. Graph Algorithms Appl., 2019

Decomposing a Graph into Unigraphs.

[BibT_eX]

[DOI]

CoRR, 2019

Colorful Frontier-Based Search: Implicit Enumeration of Chordal and Interval Subgraphs.

[BibT_eX]

[DOI]

Proceedings of the Analysis of Experimental Algorithms - Special Event, 2019

A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic.

[BibT_eX]

[DOI]

Proceedings of the 2019 SIAM International Conference on Data Mining, 2019

2018

Enumerating All Spanning Shortest Path Forests with Distance and Capacity Constraints.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2018

Automatic evacuation guiding scheme based on implicit interactions between evacuees and their mobile nodes.

[BibT_eX]

[DOI]

GeoInformatica, 2018

Enumerating All Subgraphs without Forbidden Induced Subgraphs via Multivalued Decision Diagrams.

[BibT_eX]

[DOI]

CoRR, 2018

DenseZDD: A Compact and Fast Index for Families of Sets.

[BibT_eX]

[DOI]

Algorithms, 2018

Enumerating Graph Partitions Without Too Small Connected Components Using Zero-suppressed Binary and Ternary Decision Diagrams.

[BibT_eX]

[DOI]

Yu Nakahata

Proceedings of the 17th International Symposium on Experimental Algorithms, 2018

Aggregating Crowd Opinions Using Shapley Value Regression.

[BibT_eX]

[DOI]

Yuko Sakurai

Satoshi Oyama

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2018

Development of a Robot Intervention Program in Medication Instruction at a Pharmacy.

[BibT_eX]

[DOI]

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

2017

Better bounds for online k-frame throughput maximization in network switches.

[BibT_eX]

[DOI]

Shuichi Miyazaki

Theor. Comput. Sci., 2017

Frontier-Based Search for Enumerating All Constrained Subgraphs with Compressed Representation.

[BibT_eX]

[DOI]

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2017

The Time Complexity of the Token Swapping Problem and Its Parallel Variants.

[BibT_eX]

[DOI]

Toshiki Saitoh

Ryo Yoshinaka

Proceedings of the WALCOM: Algorithms and Computation, 2017

Generating All Patterns of Graph Partitions Within a Disparity Bound.

[BibT_eX]

[DOI]

Proceedings of the WALCOM: Algorithms and Computation, 2017

Branch and Bound for Regular Bayesian Network Structure Learing.

[BibT_eX]

[DOI]

Joe Suzuki

Proceedings of the Thirty-Third Conference on Uncertainty in Artificial Intelligence, 2017

2016

Graphillion: software library for very large sets of labeled graphs.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2016

Priority Mechanism of Bitcoin and Its Effect on Transaction-Confirmation Process.

[BibT_eX]

[DOI]

CoRR, 2016

Accuracy Improvement for Backup Tasks in Hadoop Speculative Algorithm.

[BibT_eX]

[DOI]

Worachate Apichanukul

Proceedings of the 2016 IEEE International Conference on Computer and Information Technology, 2016

2015

Swapping labeled tokens on graphs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

An improved lower bound for one-dimensional online unit clustering.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Tight analysis of priority queuing for egress traffic.

[BibT_eX]

[DOI]

Tomotaka Maeda

Comput. Networks, 2015

Optimal buffer management for 2-frame throughput maximization.

[BibT_eX]

[DOI]

Comput. Networks, 2015

Automatic Evacuation Guiding Scheme Using Trajectories of Mobile Nodes.

[BibT_eX]

[DOI]

Proceedings of the Mobile Web and Intelligent Information Systems, 2015

Schedule guidance system for slab extraction sequence from furnace in hot rolling process.

[BibT_eX]

[DOI]

Kazuhiro Nakatsuji

Ryota Nobe

Proceedings of the 10th Asian Control Conference, 2015

2014

Distribution Loss Minimization With Guaranteed Error Bound.

[BibT_eX]

[DOI]

IEEE Trans. Smart Grid, 2014

2013

Shared-Memory Parallel Frontier-Based Search.

[BibT_eX]

[DOI]

Proceedings of the WALCOM: Algorithms and Computation, 7th International Workshop, 2013

The effect of variance in members' attractiveness on perceived group attractiveness.

[BibT_eX]

[DOI]

Michiteru Kitazaki

Proceedings of the ACM Symposium on Applied Perception 2013, 2013

2012

Counterexamples to the long-standing conjecture on the complexity of BDD binary operations.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2012

Tight Analysis of Priority Queuing Policy for Egress Traffic

[BibT_eX]

[DOI]

Tomotaka Maeda

CoRR, 2012

Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs.

[BibT_eX]

[DOI]

Algorithms, 2012

2011

A randomized algorithm for two servers in cross polytope spaces.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

An Online Algorithm Optimally Self-tuning to Congestion for Power Management Problems.

[BibT_eX]

[DOI]

Wolfgang W. Bein

Naoki Hatta

Nelson Hernandez-Cons

Hiro Ito

Proceedings of the Approximation and Online Algorithms - 9th International Workshop, 2011

2008

Randomized Competitive Analysis for Two Server Problems.

[BibT_eX]

[DOI]

Wolfgang W. Bein

Kazuo Iwama

Algorithms, 2008

2006

Finite-State Online Algorithms and Their Automated Competitive Analysis.

[BibT_eX]

[DOI]

Takashi Horiyama

Kazuo Iwama