Implementation of sequence BDDs in Erlang. - Shuhei Denzumi; Hiroki Arimura; Shin-ichi Minato (Erlang Workshop, 2011)

Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations. - Shuhei Denzumi; Ryo Yoshinaka; Hiroki Arimura; Shin-ichi Minato (Stringology, 2011)

Counterexamples to the long-standing conjecture on the complexity of BDD binary operations. - Ryo Yoshinaka; Jun Kawahara; Shuhei Denzumi; Hiroki Arimura; Shin-ichi Minato (Inf. Process. Lett., 2012)

Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams . - Shuhei Denzumi; Koji Tsuda; Hiroki Arimura; Shin-ichi Minato (Stringology, 2013)

Enumerating Eulerian Trails via Hamiltonian Path Enumeration. - Hiroyuki Hanada; Shuhei Denzumi; Yuma Inoue; Hiroshi Aoki; Norihito Yasuda; Shogo Takeuchi; Shin-ichi Minato (WALCOM, 2015)

Engineering Hybrid DenseZDDs. - Taito Lee; Shuhei Denzumi; Kunihiko Sadakane (SEA, 2016)

Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations. - Shuhei Denzumi; Ryo Yoshinaka; Hiroki Arimura; Shin-ichi Minato (Discret. Appl. Math., 2016)

Sequence Sentential Decision Diagrams. - Shuhei Denzumi (COCOA, 2018)

DenseZDD: A Compact and Fast Index for Families of Sets. - Shuhei Denzumi; Jun Kawahara; Koji Tsuda; Hiroki Arimura; Shin-ichi Minato; Kunihiko Sadakane (Algorithms, 2018)

Approximated ZDD Construction Considering Inclusion Relations of Models. - Kotaro Matsuda; Shuhei Denzumi; Kengo Nakamura 001; Masaaki Nishino; Norihito Yasuda (SEA², 2019)

New Algorithms for Manipulating Sequence BDDs. - Shuhei Denzumi (CIAA, 2019)

Finding the Anticover of a String. - Mai Alzamel; Alessio Conte; Shuhei Denzumi; Roberto Grossi; Costas S. Iliopoulos; Kazuhiro Kurita; Kunihiro Wasa (CPM, 2020)

Variable Shift SDD: A More Succinct Sentential Decision Diagram. - Kengo Nakamura 001; Shuhei Denzumi; Masaaki Nishino (SEA, 2020)

Storing Set Families More Compactly with Top ZDDs. - Kotaro Matsuda; Shuhei Denzumi; Kunihiko Sadakane (Algorithms, 2021)

Single Family Algebra Operation on BDDs and ZDDs Leads to Exponential Blow-Up. - Kengo Nakamura 001; Masaaki Nishino; Shuhei Denzumi (ISAAC, 2024)

Single Family Algebra Operation on ZDDs Leads To Exponential Blow-Up. - Kengo Nakamura 001; Masaaki Nishino; Shuhei Denzumi (CoRR, 2024)

International Competition on Graph Counting Algorithms 2023. - Takeru Inoue; Norihito Yasuda; Hidetomo Nabeshima; Masaaki Nishino; Shuhei Denzumi; Shin-ichi Minato (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2024)