Search dblp for Publications

export results for "tree diagram"

 download as .bib file

@article{DBLP:journals/tvcg/PontVT23,
  author       = {Mathieu Pont and
                  Jules Vidal and
                  Julien Tierny},
  title        = {Principal Geodesic Analysis of Merge Trees (and Persistence Diagrams)},
  journal      = {{IEEE} Trans. Vis. Comput. Graph.},
  volume       = {29},
  number       = {2},
  pages        = {1573--1589},
  year         = {2023},
  url          = {https://doi.org/10.1109/TVCG.2022.3215001},
  doi          = {10.1109/TVCG.2022.3215001},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tvcg/PontVT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-02509,
  author       = {Mathieu Pont and
                  Julien Tierny},
  title        = {Wasserstein Auto-Encoders of Merge Trees (and Persistence Diagrams)},
  journal      = {CoRR},
  volume       = {abs/2307.02509},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.02509},
  doi          = {10.48550/ARXIV.2307.02509},
  eprinttype    = {arXiv},
  eprint       = {2307.02509},
  timestamp    = {Mon, 10 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-02509.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-04448,
  author       = {Lisandro Arturo Jimenez{-}Roa and
                  Tom Heskes and
                  Mari{\"{e}}lle Stoelinga},
  title        = {Fault Trees, Decision Trees, And Binary Decision Diagrams: {A} Systematic
                  Comparison},
  journal      = {CoRR},
  volume       = {abs/2310.04448},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.04448},
  doi          = {10.48550/ARXIV.2310.04448},
  eprinttype    = {arXiv},
  eprint       = {2310.04448},
  timestamp    = {Fri, 20 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-04448.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WangY22,
  author       = {Ruiwei Wang and
                  Roland H. C. Yap},
  title        = {Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint
                  Trees},
  booktitle    = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2022, Thirty-Fourth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
                  - March 1, 2022},
  pages        = {3850--3858},
  publisher    = {{AAAI} Press},
  year         = {2022},
  url          = {https://doi.org/10.1609/aaai.v36i4.20300},
  doi          = {10.1609/AAAI.V36I4.20300},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/WangY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/BeiseckerM22,
  author       = {Dave Beisecker and
                  Amirouche Moktefi},
  editor       = {Valeria Giardino and
                  Sven Linker and
                  Richard Burns and
                  Francesco Bellucci and
                  Jean{-}Michel Boucheix and
                  Petrucio Viana},
  title        = {John Cook Wilson's Hanging Plants: {A} Contribution to the History
                  of Early Logic Trees},
  booktitle    = {Diagrammatic Representation and Inference - 13th International Conference,
                  Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13462},
  pages        = {338--346},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15146-0\_29},
  doi          = {10.1007/978-3-031-15146-0\_29},
  timestamp    = {Wed, 21 Sep 2022 18:26:34 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/BeiseckerM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isqed/KumarSF22,
  author       = {Jitendra Kumar and
                  Asutosh Srivastava and
                  Masahiro Fujita},
  title        = {Formal Analysis of Integer Multipliers by building Binary Decision
                  Diagram of Adder Trees},
  booktitle    = {23rd International Symposium on Quality Electronic Design, {ISQED}
                  2022, Santa Clara, CA, USA, April 6-7, 2022},
  pages        = {58--63},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ISQED54688.2022.9806278},
  doi          = {10.1109/ISQED54688.2022.9806278},
  timestamp    = {Mon, 04 Jul 2022 17:06:19 +0200},
  biburl       = {https://dblp.org/rec/conf/isqed/KumarSF22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/22/Doller022,
  author       = {Victoria D{\"{o}}ller and
                  Stefan G{\"{o}}tz},
  editor       = {Dimitris Karagiannis and
                  Moonkun Lee and
                  Knut Hinkelmann and
                  Wilfrid Utz},
  title        = {Tree Diagrams and Unit Squares 4.0: Digitizing Stochastic Classes
                  with the Didactic Modeling Tool ProVis},
  booktitle    = {Domain-Specific Conceptual Modeling - Concepts, Methods and ADOxx
                  Tools},
  pages        = {481--501},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-93547-4\_21},
  doi          = {10.1007/978-3-030-93547-4\_21},
  timestamp    = {Tue, 21 Mar 2023 20:50:53 +0100},
  biburl       = {https://dblp.org/rec/books/sp/22/Doller022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-10960,
  author       = {Mathieu Pont and
                  Jules Vidal and
                  Julien Tierny},
  title        = {Principal Geodesic Analysis of Merge Trees (and Persistence Diagrams)},
  journal      = {CoRR},
  volume       = {abs/2207.10960},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2207.10960},
  doi          = {10.48550/ARXIV.2207.10960},
  eprinttype    = {arXiv},
  eprint       = {2207.10960},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2207-10960.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/HeL21,
  author       = {Leifeng He and
                  Guanjun Liu},
  title        = {Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented
                  Petri Nets and Ordered Binary Decision Diagrams},
  journal      = {Comput. Informatics},
  volume       = {40},
  number       = {5},
  year         = {2021},
  url          = {https://doi.org/10.31577/cai\_2021\_5\_1174},
  doi          = {10.31577/CAI\_2021\_5\_1174},
  timestamp    = {Mon, 14 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cai/HeL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idaacs/MrenaSK21,
  author       = {Michal Mrena and
                  Peter Sedlacek and
                  Miroslav Kvassay},
  title        = {Linear Fold and Tree Fold in Creation of Binary Decision Diagrams
                  of Standard Benchmarks},
  booktitle    = {2021 11th {IEEE} International Conference on Intelligent Data Acquisition
                  and Advanced Computing Systems: Technology and Applications (IDAACS),
                  Cracow, Poland, September 22-25, 2021},
  pages        = {1120--1125},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/IDAACS53288.2021.9660940},
  doi          = {10.1109/IDAACS53288.2021.9660940},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/idaacs/MrenaSK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/idt2/MrenaK21,
  author       = {Michal Mrena and
                  Miroslav Kvassay},
  title        = {Comparison of Left Fold and Tree Fold Strategies in Creation of Binary
                  Decision Diagrams},
  booktitle    = {International Conference on Information and Digital Technologies,
                  {IDT} 2021, Zilina, Slovakia, June 22-24, 2021},
  pages        = {341--352},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/IDT52577.2021.9497593},
  doi          = {10.1109/IDT52577.2021.9497593},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/idt2/MrenaK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MoriyamaRSCTT21,
  author       = {Andre Moriyama and
                  Lucas Santiago Rodrigues and
                  Lucas C. Scabora and
                  Mirela T. Cazzolato and
                  Agma J. M. Traina and
                  Caetano Traina},
  editor       = {Chih{-}Cheng Hung and
                  Jiman Hong and
                  Alessio Bechini and
                  Eunjee Song},
  title        = {VD-tree: how to build an efficient and fit metric access method using
                  voronoi diagrams},
  booktitle    = {{SAC} '21: The 36th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
                  Event, Republic of Korea, March 22-26, 2021},
  pages        = {327--335},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3412841.3441915},
  doi          = {10.1145/3412841.3441915},
  timestamp    = {Mon, 05 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/MoriyamaRSCTT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-06696,
  author       = {Yuya Sasaki},
  title        = {Cost-constrained Minimal Steiner Tree Enumeration by Binary Decision
                  Diagram},
  journal      = {CoRR},
  volume       = {abs/2104.06696},
  year         = {2021},
  url          = {https://arxiv.org/abs/2104.06696},
  eprinttype    = {arXiv},
  eprint       = {2104.06696},
  timestamp    = {Mon, 19 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2104-06696.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/GonzalezCLR20,
  author       = {Jaime E. Gonz{\'{a}}lez and
                  Andr{\'{e}} Augusto Cir{\'{e}} and
                  Andrea Lodi and
                  Louis{-}Martin Rousseau},
  title        = {Integrated integer programming and decision diagram search tree with
                  an application to the maximum independent set problem},
  journal      = {Constraints An Int. J.},
  volume       = {25},
  number       = {1-2},
  pages        = {23--46},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10601-019-09306-w},
  doi          = {10.1007/S10601-019-09306-W},
  timestamp    = {Fri, 18 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/GonzalezCLR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcat/Zheng20,
  author       = {Cunfang Zheng},
  title        = {A novel classification tree based on local minimum Gini index and
                  attribute partial order structure diagram},
  journal      = {Int. J. Comput. Appl. Technol.},
  volume       = {64},
  number       = {1},
  pages        = {33--45},
  year         = {2020},
  url          = {https://doi.org/10.1504/IJCAT.2020.111083},
  doi          = {10.1504/IJCAT.2020.111083},
  timestamp    = {Tue, 15 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcat/Zheng20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/information/MarquezRMM20,
  author       = {Fausto Pedro Garc{\'{\i}}a M{\'{a}}rquez and
                  Isaac Segovia Ram{\'{\i}}rez and
                  Behnam Mohammadi{-}Ivatloo and
                  Alberto Pliego Marug{\'{a}}n},
  title        = {Reliability Dynamic Analysis by Fault Trees and Binary Decision Diagrams},
  journal      = {Inf.},
  volume       = {11},
  number       = {6},
  pages        = {324},
  year         = {2020},
  url          = {https://doi.org/10.3390/info11060324},
  doi          = {10.3390/INFO11060324},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/information/MarquezRMM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informsjop/ParmentierCLOS20,
  author       = {Axel Parmentier and
                  Victor Cohen and
                  Vincent Lecl{\`{e}}re and
                  Guillaume Obozinski and
                  Joseph Salmon},
  title        = {Integer Programming on the Junction Tree Polytope for Influence Diagrams},
  journal      = {{INFORMS} J. Optim.},
  volume       = {2},
  number       = {3},
  pages        = {209--228},
  year         = {2020},
  url          = {https://doi.org/10.1287/ijoo.2019.0036},
  doi          = {10.1287/IJOO.2019.0036},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/informsjop/ParmentierCLOS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ZhouXW20,
  author       = {Siwei Zhou and
                  Jianwen Xiang and
                  W. Eric Wong},
  title        = {Reliability analysis of dynamic fault trees with spare gates using
                  conditional binary decision diagrams},
  journal      = {J. Syst. Softw.},
  volume       = {170},
  pages        = {110766},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jss.2020.110766},
  doi          = {10.1016/J.JSS.2020.110766},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/ZhouXW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/JiaoHSCL20,
  author       = {Mingyue Jiao and
                  Yanhong Huang and
                  Jianqi Shi and
                  Fangda Cai and
                  Rongfeng Lin},
  title        = {Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams},
  booktitle    = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
                  December 1-4, 2020},
  pages        = {11--20},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/APSEC51365.2020.00009},
  doi          = {10.1109/APSEC51365.2020.00009},
  timestamp    = {Sat, 20 Mar 2021 14:55:58 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/JiaoHSCL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csit/LoburSS20,
  author       = {Mykhaylo Lobur and
                  Serhiy Shcherbovskykh and
                  Tetyana Stefanovych},
  title        = {Availability Audit of IoT System Data Reserved by 3-2-1 Backup Strategy
                  based on Fault Tree and State Transition Diagram Analysis},
  booktitle    = {{IEEE} 15th International Conference on Computer Sciences and Information
                  Technologies, {CSIT} 2020, Zbarazh, Ukraine, September 23-26, 2020
                  - Volume 1},
  pages        = {343--346},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/CSIT49958.2020.9321992},
  doi          = {10.1109/CSIT49958.2020.9321992},
  timestamp    = {Fri, 04 Feb 2022 08:42:27 +0100},
  biburl       = {https://dblp.org/rec/conf/csit/LoburSS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dependsys/Kumar20,
  author       = {Rajesh Kumar},
  title        = {An attack tree template based on feature diagram hierarchy},
  booktitle    = {6th {IEEE} International Conference on Dependability in Sensor, Cloud
                  and Big Data Systems and Applications, DependSys 2020, Nadi, Fiji,
                  December 14-16, 2020},
  pages        = {92--97},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/DependSys51298.2020.00022},
  doi          = {10.1109/DEPENDSYS51298.2020.00022},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dependsys/Kumar20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/KruusmaaMT20,
  author       = {Maarja Kruusmaa and
                  Amirouche Moktefi and
                  Jeffrey A. Tuhtan},
  editor       = {Ahti{-}Veikko Pietarinen and
                  Peter Chapman and
                  Leonie Bosveld{-}de Smet and
                  Valeria Giardino and
                  James E. Corter and
                  Sven Linker},
  title        = {On the Shoulders of Giants: Colourful Argument Trees for Academic
                  Writing},
  booktitle    = {Diagrammatic Representation and Inference - 11th International Conference,
                  Diagrams 2020, Tallinn, Estonia, August 24-28, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12169},
  pages        = {520--524},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-54249-8\_48},
  doi          = {10.1007/978-3-030-54249-8\_48},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/diagrams/KruusmaaMT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcce/PriyambadhaK20,
  author       = {Bayu Priyambadha and
                  Tetsuro Katayama},
  title        = {Tree-based Keyword Search Algorithm over the Visual Paradigm's Class
                  Diagram {XML} to Abstracting Class Information},
  booktitle    = {9th {IEEE} Global Conference on Consumer Electronics, {GCCE} 2020,
                  Kobe, Japan, October 13-16, 2020},
  pages        = {280--284},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/GCCE50665.2020.9291865},
  doi          = {10.1109/GCCE50665.2020.9291865},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gcce/PriyambadhaK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/0001G20,
  author       = {Julien Cl{\'{e}}ment and
                  Antoine Genitrini},
  editor       = {Yoshiharu Kohayakawa and
                  Fl{\'{a}}vio Keidi Miyazawa},
  title        = {Binary Decision Diagrams: From Tree Compaction to Sampling},
  booktitle    = {{LATIN} 2020: Theoretical Informatics - 14th Latin American Symposium,
                  S{\~{a}}o Paulo, Brazil, January 5-8, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12118},
  pages        = {571--583},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-61792-9\_45},
  doi          = {10.1007/978-3-030-61792-9\_45},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/latin/0001G20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vissym/AbuthawabehA20,
  author       = {Ala Abuthawabeh and
                  Micha{\"{e}}l Aupetit},
  editor       = {Andreas Kerren and
                  Christoph Garth and
                  G. Elisabeta Marai},
  title        = {A Force-Directed Power Diagram Approach for Interactive Voronoi Treemaps},
  booktitle    = {22nd Eurographics Conference on Visualization, EuroVis 2020 - Short
                  Papers, Norrk{\"{o}}ping, Sweden, May 25-29, 2020 [online only]},
  pages        = {109--113},
  publisher    = {Eurographics Association},
  year         = {2020},
  url          = {https://doi.org/10.2312/evs.20201057},
  doi          = {10.2312/EVS.20201057},
  timestamp    = {Wed, 21 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vissym/AbuthawabehA20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/BodlaenderBFG20,
  author       = {Hans L. Bodlaender and
                  Benjamin A. Burton and
                  Fedor V. Fomin and
                  Alexander Grigoriev},
  editor       = {Isolde Adler and
                  Haiko M{\"{u}}ller},
  title        = {Knot Diagrams of Treewidth Two},
  booktitle    = {Graph-Theoretic Concepts in Computer Science - 46th International
                  Workshop, {WG} 2020, Leeds, UK, June 24-26, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12301},
  pages        = {80--91},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-60440-0\_7},
  doi          = {10.1007/978-3-030-60440-0\_7},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wg/BodlaenderBFG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-06752,
  author       = {Michael S. Payne and
                  Charl J. Ras and
                  Marcus Volz},
  title        = {Overlaid oriented Voronoi diagrams and the 1-Steiner tree problem},
  journal      = {CoRR},
  volume       = {abs/2002.06752},
  year         = {2020},
  url          = {https://arxiv.org/abs/2002.06752},
  eprinttype    = {arXiv},
  eprint       = {2002.06752},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2002-06752.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocg/SchleimerMPS19,
  author       = {Saul Schleimer and
                  Arnaud de Mesmay and
                  Jessica S. Purcell and
                  Eric Sedgwick},
  title        = {On the tree-width of knot diagrams},
  journal      = {J. Comput. Geom.},
  volume       = {10},
  number       = {1},
  pages        = {164--180},
  year         = {2019},
  url          = {https://doi.org/10.20382/jocg.v10i1a6},
  doi          = {10.20382/JOCG.V10I1A6},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jocg/SchleimerMPS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/LimaRV19,
  author       = {Bernardo N. B. de Lima and
                  Leonardo T. Rolla and
                  Daniel Valesin},
  title        = {Monotonicity and phase diagram for multirange percolation on oriented
                  trees},
  journal      = {Random Struct. Algorithms},
  volume       = {55},
  number       = {1},
  pages        = {160--172},
  year         = {2019},
  url          = {https://doi.org/10.1002/rsa.20805},
  doi          = {10.1002/RSA.20805},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsa/LimaRV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-02348,
  author       = {Yan{-}Chao Wang and
                  Feng Lin and
                  Hock Soon Seah},
  title        = {Orthogonal Voronoi Diagram and Treemap},
  journal      = {CoRR},
  volume       = {abs/1904.02348},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.02348},
  eprinttype    = {arXiv},
  eprint       = {1904.02348},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-02348.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-03117,
  author       = {Hans L. Bodlaender and
                  Benjamin A. Burton and
                  Fedor V. Fomin and
                  Alexander Grigoriev},
  title        = {Knot Diagrams of Treewidth Two},
  journal      = {CoRR},
  volume       = {abs/1904.03117},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.03117},
  eprinttype    = {arXiv},
  eprint       = {1904.03117},
  timestamp    = {Wed, 08 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-03117.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-06743,
  author       = {Julien Cl{\'{e}}ment and
                  Antoine Genitrini},
  title        = {Binary Decision Diagrams: from Tree Compaction to Sampling},
  journal      = {CoRR},
  volume       = {abs/1907.06743},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.06743},
  eprinttype    = {arXiv},
  eprint       = {1907.06743},
  timestamp    = {Fri, 26 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-06743.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gis/ZhangDWV18,
  author       = {Zhe Zhang and
                  Urska Demsar and
                  Shaowen Wang and
                  Kirsi Virrantaus},
  title        = {A spatial fuzzy influence diagram for modelling spatial objects' dependencies:
                  a case study on tree-related electric outages},
  journal      = {Int. J. Geogr. Inf. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {349--366},
  year         = {2018},
  url          = {https://doi.org/10.1080/13658816.2017.1385789},
  doi          = {10.1080/13658816.2017.1385789},
  timestamp    = {Tue, 12 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/gis/ZhangDWV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/Beisecker18,
  author       = {Dave Beisecker},
  editor       = {Peter Chapman and
                  Gem Stapleton and
                  Amirouche Moktefi and
                  Sarah P{\'{e}}rez{-}Kriz and
                  Francesco Bellucci},
  title        = {Peirce and Proof: {A} View from the Trees},
  booktitle    = {Diagrammatic Representation and Inference - 10th International Conference,
                  Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10871},
  pages        = {537--548},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91376-6\_49},
  doi          = {10.1007/978-3-319-91376-6\_49},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/Beisecker18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/JiangZYZTWX18,
  author       = {Wei Jiang and
                  Siwei Zhou and
                  Luyao Ye and
                  Dongdong Zhao and
                  Jing Tian and
                  W. Eric Wong and
                  Jianwen Xiang},
  title        = {An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault
                  Tree},
  booktitle    = {5th International Conference on Dependable Systems and Their Applications,
                  {DSA} 2018, Dalian, China, September 22-23, 2018},
  pages        = {44--51},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/DSA.2018.00018},
  doi          = {10.1109/DSA.2018.00018},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dsa/JiangZYZTWX18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc8340,
  author       = {Martin Bj{\"{o}}rklund and
                  Lou Berger},
  title        = {{YANG} Tree Diagrams},
  journal      = {{RFC}},
  volume       = {8340},
  pages        = {1--13},
  year         = {2018},
  url          = {https://doi.org/10.17487/RFC8340},
  doi          = {10.17487/RFC8340},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rfc/rfc8340.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/irob/Bayar17,
  author       = {Gokhan Bayar},
  title        = {Development of a Voronoi diagram based tree trunk detection system
                  for mobile robots used in agricultural applications},
  journal      = {Ind. Robot},
  volume       = {44},
  number       = {4},
  pages        = {521--531},
  year         = {2017},
  url          = {https://doi.org/10.1108/IR-11-2016-0304},
  doi          = {10.1108/IR-11-2016-0304},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/irob/Bayar17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/irob/FazlollahtabarN17,
  author       = {Hamed Fazlollahtabar and
                  Seyed Taghi Akhavan Niaki},
  title        = {Integration of fault tree analysis, reliability block diagram and
                  hazard decision tree for industrial robot reliability evaluation},
  journal      = {Ind. Robot},
  volume       = {44},
  number       = {6},
  pages        = {754--764},
  year         = {2017},
  url          = {https://doi.org/10.1108/IR-06-2017-0103},
  doi          = {10.1108/IR-06-2017-0103},
  timestamp    = {Thu, 16 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/irob/FazlollahtabarN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ambn/NishinoAY17,
  author       = {Masaaki Nishino and
                  Kei Amii and
                  Akihiro Yamamoto},
  editor       = {Antti Hyttinen and
                  Joe Suzuki and
                  Brandon M. Malone},
  title        = {On the Sizes of Decision Diagrams Representing the Set of All Parse
                  Trees of a Context-free Grammar},
  booktitle    = {Proceedings of the 3rd Workshop on Advanced Methodologies for Bayesian
                  Networks, {AMBN} 2017, Kyoto, Japan, September 20-22, 2017},
  series       = {Proceedings of Machine Learning Research},
  volume       = {73},
  pages        = {153--164},
  publisher    = {{PMLR}},
  year         = {2017},
  url          = {http://proceedings.mlr.press/v73/kei-amii17a.html},
  timestamp    = {Wed, 03 Apr 2019 18:17:22 +0200},
  biburl       = {https://dblp.org/rec/conf/ambn/NishinoAY17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai2/PetricaABFM17,
  author       = {Gabriel Petrica and
                  Sabina{-}Daniela Axinte and
                  Ioan C. Bacivarov and
                  Marian Firoiu and
                  Ioan{-}Cosmin Mihai},
  title        = {Studying cyber security threats to web platforms using attack tree
                  diagrams},
  booktitle    = {9th International Conference on Electronics, Computers and Artificial
                  Intelligence, {ECAI} 2017, Targoviste, Romania, June 29 - July 1,
                  2017},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ECAI.2017.8166456},
  doi          = {10.1109/ECAI.2017.8166456},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecai2/PetricaABFM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsdm/Qiang17,
  author       = {Rong Qiang},
  editor       = {Antonio J. Tall{\'{o}}n{-}Ballesteros and
                  Kaicheng Li},
  title        = {Reliability Analysis of Wireless Sensor Networks Based on Fusion of
                  Binary Decision Diagram and Fault Tree},
  booktitle    = {Fuzzy Systems and Data Mining {III} - Proceedings of {FSDM} 2017 [Hualien,
                  Taiwan, November 2017]},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {299},
  pages        = {422--427},
  publisher    = {{IOS} Press},
  year         = {2017},
  url          = {https://doi.org/10.3233/978-1-61499-828-0-422},
  doi          = {10.3233/978-1-61499-828-0-422},
  timestamp    = {Fri, 08 Dec 2017 15:29:59 +0100},
  biburl       = {https://dblp.org/rec/conf/fsdm/Qiang17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ialp/ZhangSPGS17,
  author       = {Yinbing Zhang and
                  Jihua Song and
                  Weiming Peng and
                  Dongdong Guo and
                  Canran Sun},
  editor       = {Rong Tong and
                  Yue Zhang and
                  Yanfeng Lu and
                  Minghui Dong},
  title        = {A new exploration of diagrammatic treebank in international Chinese
                  teaching},
  booktitle    = {2017 International Conference on Asian Language Processing, {IALP}
                  2017, Singapore, December 5-7, 2017},
  pages        = {70--74},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/IALP.2017.8300548},
  doi          = {10.1109/IALP.2017.8300548},
  timestamp    = {Mon, 27 Apr 2020 16:36:09 +0200},
  biburl       = {https://dblp.org/rec/conf/ialp/ZhangSPGS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsrs/InnalRD17,
  author       = {Fares Innal and
                  Antoine Rauzy and
                  Yves Dutuit},
  title        = {Handling epistemic uncertainty in fault trees: New proposal based
                  on evidence theory and Kleene Ternary decision diagrams},
  booktitle    = {2nd International Conference on System Reliability and Safety, {ICSRS}
                  2017, Milan, Italy, December 20-22, 2017},
  pages        = {354--359},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICSRS.2017.8272848},
  doi          = {10.1109/ICSRS.2017.8272848},
  timestamp    = {Tue, 11 Jan 2022 13:19:37 +0100},
  biburl       = {https://dblp.org/rec/conf/icsrs/InnalRD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijufks/CabanasGC16,
  author       = {Rafael Caba{\~{n}}as and
                  Manuel G{\'{o}}mez{-}Olmedo and
                  Andr{\'{e}}s Cano},
  title        = {Using Binary Trees for the Evaluation of Influence Diagrams},
  journal      = {Int. J. Uncertain. Fuzziness Knowl. Based Syst.},
  volume       = {24},
  number       = {1},
  pages        = {59--90},
  year         = {2016},
  url          = {https://doi.org/10.1142/S0218488516500045},
  doi          = {10.1142/S0218488516500045},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijufks/CabanasGC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/WangWMC16,
  author       = {Bin Wang and
                  Dandan Wu and
                  Yuchang Mo and
                  Zhongyu Chen},
  title        = {{\unicode{22522}}{\unicode{20110}}{\unicode{22810}}{\unicode{20540}}{\unicode{20915}}{\unicode{31574}}{\unicode{22270}}{\unicode{30340}}{\unicode{21160}}{\unicode{24577}}{\unicode{25925}}{\unicode{38556}}{\unicode{26641}}{\unicode{20998}}{\unicode{26512}}{\unicode{26041}}{\unicode{27861}}
                  (Dynamic Fault Tree Analysis Based on Multiple-valued Decision Diagrams)},
  journal      = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
  volume       = {43},
  number       = {10},
  pages        = {70--73},
  year         = {2016},
  url          = {https://doi.org/10.11896/j.issn.1002-137X.2016.10.013},
  doi          = {10.11896/J.ISSN.1002-137X.2016.10.013},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsjkx/WangWMC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsjkx/XuYZ16,
  author       = {Hui Xu and
                  Xuefeng Yan and
                  Yong Zhou},
  title        = {{\unicode{19968}}{\unicode{31181}}{\unicode{22522}}{\unicode{20110}}UML{\unicode{31867}}{\unicode{22270}}{\unicode{21644}}{\unicode{27963}}{\unicode{21160}}{\unicode{22270}}{\unicode{30340}}{\unicode{25925}}{\unicode{38556}}{\unicode{26641}}{\unicode{29983}}{\unicode{25104}}{\unicode{26041}}{\unicode{27861}}
                  (Fault Tree Generation Method Based on {UML} Class Diagram and Activity
                  Diagram)},
  journal      = {{\unicode{35745}}{\unicode{31639}}{\unicode{26426}}{\unicode{31185}}{\unicode{23398}}},
  volume       = {43},
  number       = {7},
  pages        = {180--185},
  year         = {2016},
  url          = {https://doi.org/10.11896/j.issn.1002-137X.2016.07.033},
  doi          = {10.11896/J.ISSN.1002-137X.2016.07.033},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsjkx/XuYZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clsw/SongPSGH16,
  author       = {Tianbao Song and
                  Weiming Peng and
                  Jihua Song and
                  Dongdong Guo and
                  Jing He},
  editor       = {Minghui Dong and
                  Jingxia Lin and
                  Xuri Tang},
  title        = {The Construction of Sentence-Based Diagrammatic Treebank},
  booktitle    = {Chinese Lexical Semantics - 17th Workshop, {CLSW} 2016, Singapore,
                  Singapore, May 20-22, 2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10085},
  pages        = {306--314},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-49508-8\_29},
  doi          = {10.1007/978-3-319-49508-8\_29},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/clsw/SongPSGH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inforsid/Polacsek16,
  author       = {Thomas Polacsek},
  title        = {Argumentation Tree: {A} New Player in your Diagrams},
  booktitle    = {Actes du XXXIV{\`{e}}me Congr{\`{e}}s INFORSID, Grenoble, France,
                  May 31 - June 3, 2016},
  pages        = {223--224},
  year         = {2016},
  url          = {http://inforsid.fr/actes/2016/INFORSID2016\_paper\_26.pdf},
  timestamp    = {Mon, 01 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/inforsid/Polacsek16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmb/KassmeyerBBG16,
  author       = {Michael K{\"{a}}{\ss}meyer and
                  R{\"{u}}diger Berndt and
                  Peter Bazan and
                  Reinhard German},
  editor       = {Anne Remke and
                  Boudewijn R. Haverkort},
  title        = {Product Line Fault Tree Analysis by Means of Multi-valued Decision
                  Diagrams},
  booktitle    = {Measurement, Modelling and Evaluation of Dependable Computer and Communication
                  Systems - 18th International {GI/ITG} Conference, {MMB} {\&} {DFT}
                  2016, M{\"{u}}nster, Germany, April 4-6, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9629},
  pages        = {122--136},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-31559-1\_11},
  doi          = {10.1007/978-3-319-31559-1\_11},
  timestamp    = {Sat, 19 Oct 2019 20:11:41 +0200},
  biburl       = {https://dblp.org/rec/conf/mmb/KassmeyerBBG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/GeLYZC15,
  author       = {Daochuan Ge and
                  Meng Lin and
                  Yanhua Yang and
                  Ruoxing Zhang and
                  Qiang Chou},
  title        = {Quantitative analysis of dynamic fault trees using improved Sequential
                  Binary Decision Diagrams},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {142},
  pages        = {289--299},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.ress.2015.06.001},
  doi          = {10.1016/J.RESS.2015.06.001},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/GeLYZC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/widm/SundaramT15,
  author       = {Venkatesan Meenakshi Sundaram and
                  Arunkumar Thangavelu},
  title        = {A Delaunay diagram-based Min-Max CP-Tree algorithm for Spatial Data
                  Analysis},
  journal      = {WIREs Data Mining Knowl. Discov.},
  volume       = {5},
  number       = {3},
  pages        = {142--154},
  year         = {2015},
  url          = {https://doi.org/10.1002/widm.1151},
  doi          = {10.1002/WIDM.1151},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/widm/SundaramT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comsnets/Sathiyanarayanan15,
  author       = {Mithileysh Sathiyanarayanan and
                  Nikolay Burlutskiy},
  title        = {Design and evaluation of euler diagram and treemap for social network
                  visualisation},
  booktitle    = {7th International Conference on Communication Systems and Networks,
                  {COMSNETS} 2015, Bangalore, India, January 6-10, 2015},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/COMSNETS.2015.7098715},
  doi          = {10.1109/COMSNETS.2015.7098715},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/comsnets/Sathiyanarayanan15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Charwat15,
  author       = {G{\"{u}}nther Charwat},
  editor       = {Marina De Vos and
                  Thomas Eiter and
                  Yuliya Lierler and
                  Francesca Toni},
  title        = {Dynamic Programming on Tree Decompositions using Binary Decision Diagrams:
                  Research Summary},
  booktitle    = {Proceedings of the Technical Communications of the 31st International
                  Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
                  31 - September 4, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1433},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1433/dc\_1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:26 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Charwat15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KhramtcovaP15,
  author       = {Elena Khramtcova and
                  Evanthia Papadopoulou},
  editor       = {Khaled M. Elbassioni and
                  Kazuhisa Makino},
  title        = {Linear-Time Algorithms for the Farthest-Segment Voronoi Diagram and
                  Related Tree Structures},
  booktitle    = {Algorithms and Computation - 26th International Symposium, {ISAAC}
                  2015, Nagoya, Japan, December 9-11, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9472},
  pages        = {404--414},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48971-0\_35},
  doi          = {10.1007/978-3-662-48971-0\_35},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaac/KhramtcovaP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/CharwatW15,
  author       = {G{\"{u}}nther Charwat and
                  Stefan Woltran},
  editor       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Miroslaw Truszczynski},
  title        = {Efficient Problem Solving on Tree Decompositions Using Binary Decision
                  Diagrams},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 13th International
                  Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9345},
  pages        = {213--227},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23264-5\_19},
  doi          = {10.1007/978-3-319-23264-5\_19},
  timestamp    = {Sun, 02 Jun 2019 21:23:45 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/CharwatW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/MarshS14,
  author       = {Robert J. Marsh and
                  Sibylle Schroll},
  title        = {A circular order on edge-coloured trees and {RNA} \emph{m}-diagrams},
  journal      = {Adv. Appl. Math.},
  volume       = {54},
  pages        = {11--26},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.aam.2013.09.009},
  doi          = {10.1016/J.AAM.2013.09.009},
  timestamp    = {Thu, 28 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aam/MarshS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/Mo14,
  author       = {Yuchang Mo},
  title        = {A Multiple-Valued Decision-Diagram-Based Approach to Solve Dynamic
                  Fault Trees},
  journal      = {{IEEE} Trans. Reliab.},
  volume       = {63},
  number       = {1},
  pages        = {81--93},
  year         = {2014},
  url          = {https://doi.org/10.1109/TR.2014.2299674},
  doi          = {10.1109/TR.2014.2299674},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tr/Mo14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pakdd/YasudaNM14,
  author       = {Norihito Yasuda and
                  Masaaki Nishino and
                  Shin{-}ichi Minato},
  editor       = {Wen{-}Chih Peng and
                  Haixun Wang and
                  James Bailey and
                  Vincent S. Tseng and
                  Tu Bao Ho and
                  Zhi{-}Hua Zhou and
                  Arbee L. P. Chen},
  title        = {On the Size of the Zero-Suppressed Binary Decision Diagram that Represents
                  All the Subtrees in a Tree},
  booktitle    = {Trends and Applications in Knowledge Discovery and Data Mining - {PAKDD}
                  2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD,
                  MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan,
                  May 13-16, 2014. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8643},
  pages        = {504--510},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13186-3\_45},
  doi          = {10.1007/978-3-319-13186-3\_45},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/pakdd/YasudaNM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat/KlemzMN14,
  author       = {Boris Klemz and
                  Tamara Mchedlidze and
                  Martin N{\"{o}}llenburg},
  editor       = {R. Ravi and
                  Inge Li G{\o}rtz},
  title        = {Minimum Tree Supports for Hypergraphs and Low-Concurrency Euler Diagrams},
  booktitle    = {Algorithm Theory - {SWAT} 2014 - 14th Scandinavian Symposium and Workshops,
                  Copenhagen, Denmark, July 2-4, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8503},
  pages        = {265--276},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08404-6\_23},
  doi          = {10.1007/978-3-319-08404-6\_23},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/swat/KlemzMN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Arslan14a,
  author       = {Farrukh Arslan},
  title        = {Classification Tree Diagrams in Health Informatics Applications},
  journal      = {CoRR},
  volume       = {abs/1402.1947},
  year         = {2014},
  url          = {http://arxiv.org/abs/1402.1947},
  eprinttype    = {arXiv},
  eprint       = {1402.1947},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Arslan14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KhramtcovaDP14,
  author       = {Elena Khramtcova and
                  Sandeep K. Dey and
                  Evanthia Papadopoulou},
  title        = {Linear-Time Algorithms for the Farthest-Segment Voronoi Diagram and
                  Related Tree Structures},
  journal      = {CoRR},
  volume       = {abs/1411.2816},
  year         = {2014},
  url          = {http://arxiv.org/abs/1411.2816},
  eprinttype    = {arXiv},
  eprint       = {1411.2816},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KhramtcovaDP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qre/MoZLYC13,
  author       = {Yuchang Mo and
                  Farong Zhong and
                  Huawen Liu and
                  Quansheng Yang and
                  Gang Cui},
  title        = {Efficient Ordering Heuristics in Binary Decision Diagram-based Fault
                  Tree Analysis},
  journal      = {Qual. Reliab. Eng. Int.},
  volume       = {29},
  number       = {3},
  pages        = {307--315},
  year         = {2013},
  url          = {https://doi.org/10.1002/qre.1382},
  doi          = {10.1002/QRE.1382},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/qre/MoZLYC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apvis/BurchAAHRW13,
  author       = {Michael Burch and
                  Gennady L. Andrienko and
                  Natalia V. Andrienko and
                  Markus H{\"{o}}ferlin and
                  Michael Raschke and
                  Daniel Weiskopf},
  editor       = {Sheelagh Carpendale and
                  Wei Chen and
                  Seok{-}Hee Hong},
  title        = {Visual task solution strategies in tree diagrams},
  booktitle    = {{IEEE} Pacific Visualization Symposium, PacificVis 2013, February
                  27 2013-March 1, 2013, Sydney, NSW, Australia},
  pages        = {169--176},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/PacificVis.2013.6596142},
  doi          = {10.1109/PACIFICVIS.2013.6596142},
  timestamp    = {Thu, 27 Apr 2023 14:57:18 +0200},
  biburl       = {https://dblp.org/rec/conf/apvis/BurchAAHRW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/CabanasCGM13,
  author       = {Rafael Caba{\~{n}}as and
                  Andr{\'{e}}s Cano and
                  Manuel G{\'{o}}mez{-}Olmedo and
                  Anders L. Madsen},
  editor       = {Manfred Jaeger and
                  Thomas Dyhre Nielsen and
                  Paolo Viappiani},
  title        = {Heuristics for Determining the Elimination Ordering in the Influence
                  Diagram Evaluation with Binary Trees},
  booktitle    = {Twelfth Scandinavian Conference on Artificial Intelligence, {SCAI}
                  2013, Aalborg, Denmark, November 20-22, 2013},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {257},
  pages        = {65--74},
  publisher    = {{IOS} Press},
  year         = {2013},
  url          = {https://doi.org/10.3233/978-1-61499-330-8-65},
  doi          = {10.3233/978-1-61499-330-8-65},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scai/CabanasCGM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/YoonMPP13,
  author       = {Seonghye Yoon and
                  Sunghyun Min and
                  Sooyong Park and
                  Soojin Park},
  title        = {Reverse Engineering of Sequence Diagrams by Merging Call Trees},
  booktitle    = {The 25th International Conference on Software Engineering and Knowledge
                  Engineering, Boston, MA, USA, June 27-29, 2013},
  pages        = {368--374},
  publisher    = {Knowledge Systems Institute Graduate School},
  year         = {2013},
  timestamp    = {Thu, 12 Mar 2020 11:30:49 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/YoonMPP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/TsuchidaKSSKY13,
  author       = {Kensei Tsuchida and
                  Tadaaki Kirishima and
                  Yasunori Shiono and
                  Futoshi Sugimoto and
                  Chieko Kato and
                  Takeo Yaku},
  title        = {Optimality and Complexity for Drawing Problems of Tree-Structured
                  Diagrams},
  booktitle    = {14th {ACIS} International Conference on Software Engineering, Artificial
                  Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
                  2013, Honolulu, Hawaii, USA, 1-3 July, 2013},
  pages        = {484--489},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SNPD.2013.76},
  doi          = {10.1109/SNPD.2013.76},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snpd/TsuchidaKSSKY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6824,
  author       = {Frank Jensen and
                  Finn Verner Jensen and
                  S{\o}ren L. Dittmer},
  title        = {From Influence Diagrams to Junction Trees},
  journal      = {CoRR},
  volume       = {abs/1302.6824},
  year         = {2013},
  url          = {http://arxiv.org/abs/1302.6824},
  eprinttype    = {arXiv},
  eprint       = {1302.6824},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6824.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/da/BhattacharjyaD12,
  author       = {Debarun Bhattacharjya and
                  L{\'{e}}a A. Deleris},
  title        = {From Reliability Block Diagrams to Fault Tree Circuits},
  journal      = {Decis. Anal.},
  volume       = {9},
  number       = {2},
  pages        = {128--137},
  year         = {2012},
  url          = {https://doi.org/10.1287/deca.1120.0231},
  doi          = {10.1287/DECA.1120.0231},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/da/BhattacharjyaD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/Ulmeanu12,
  author       = {Anatoli Paul Ulmeanu},
  title        = {Analytical Method to Determine Uncertainty Propagation in Fault Trees
                  by Means of Binary Decision Diagrams},
  journal      = {{IEEE} Trans. Reliab.},
  volume       = {61},
  number       = {1},
  pages        = {84--94},
  year         = {2012},
  url          = {https://doi.org/10.1109/TR.2012.2182812},
  doi          = {10.1109/TR.2012.2182812},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tr/Ulmeanu12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/BurchRGW12,
  author       = {Michael Burch and
                  Michael Raschke and
                  Miriam Greis and
                  Daniel Weiskopf},
  editor       = {Philip T. Cox and
                  Beryl Plimmer and
                  Peter J. Rodgers},
  title        = {Enriching Indented Pixel Tree Plots with Node-Oriented Quantitative,
                  Categorical, Relational, and Time-Series Data},
  booktitle    = {Diagrammatic Representation and Inference - 7th International Conference,
                  Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7352},
  pages        = {102--116},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31223-6\_14},
  doi          = {10.1007/978-3-642-31223-6\_14},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/BurchRGW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snpd/KirishimaSSGYNT12,
  author       = {Tadaaki Kirishima and
                  Tomoo Sumida and
                  Yasunori Shiono and
                  Takaaki Goto and
                  Takeo Yaku and
                  Tetsuro Nishino and
                  Kensei Tsuchida},
  editor       = {Teruhisa Hochin and
                  Roger Y. Lee},
  title        = {O(n) and O(n2) Time Algorithms for Drawing Problems of Tree-Structured
                  Diagrams},
  booktitle    = {13th {ACIS} International Conference on Software Engineering, Artificial
                  Intelligence, Networking and Parallel/Distributed Computing, {SNPD}
                  2012, Kyoto, Japan, August 8-10, 2012},
  pages        = {530--535},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SNPD.2012.109},
  doi          = {10.1109/SNPD.2012.109},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/snpd/KirishimaSSGYNT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/LiuNMS11,
  author       = {Hui Liu and
                  Zhendong Niu and
                  Zhiyi Ma and
                  Weizhong Shao},
  title        = {Suffix tree-based approach to detecting duplications in sequence diagrams},
  journal      = {{IET} Softw.},
  volume       = {5},
  number       = {4},
  pages        = {385--397},
  year         = {2011},
  url          = {https://doi.org/10.1049/iet-sen.2009.0029},
  doi          = {10.1049/IET-SEN.2009.0029},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iee/LiuNMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcisd/GarciaRG11,
  author       = {Gonzalo Cerruela Garc{\'{\i}}a and
                  Irene Luque Ruiz and
                  Miguel {\'{A}}ngel G{\'{o}}mez{-}Nieto},
  title        = {Analysis and Study of Molecule Data Sets Using Snowflake Diagrams
                  of Weighted Maximum Common Subgraph Trees},
  journal      = {J. Chem. Inf. Model.},
  volume       = {51},
  number       = {6},
  pages        = {1216--1232},
  year         = {2011},
  url          = {https://doi.org/10.1021/ci100484z},
  doi          = {10.1021/CI100484Z},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcisd/GarciaRG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/Rauzy11,
  author       = {Antoine Rauzy},
  title        = {Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {96},
  number       = {7},
  pages        = {785--792},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.ress.2011.02.005},
  doi          = {10.1016/J.RESS.2011.02.005},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/Rauzy11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvcg/BurchKHHW11,
  author       = {Michael Burch and
                  Natalia Konevtsova and
                  Julian Heinrich and
                  Markus H{\"{o}}ferlin and
                  Daniel Weiskopf},
  title        = {Evaluation of Traditional, Orthogonal, and Radial Tree Diagrams by
                  an Eye Tracking Study},
  journal      = {{IEEE} Trans. Vis. Comput. Graph.},
  volume       = {17},
  number       = {12},
  pages        = {2440--2448},
  year         = {2011},
  url          = {https://doi.org/10.1109/TVCG.2011.193},
  doi          = {10.1109/TVCG.2011.193},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tvcg/BurchKHHW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/caee/Juarez-RamirezL10,
  author       = {Reyes Ju{\'{a}}rez{-}Ram{\'{\i}}rez and
                  Guillermo Licea and
                  Alfredo Crist{\'{o}}bal{-}Salas},
  title        = {Teaching undergraduate students to model use cases using tree diagram
                  concepts},
  journal      = {Comput. Appl. Eng. Educ.},
  volume       = {18},
  number       = {1},
  pages        = {77--86},
  year         = {2010},
  url          = {https://doi.org/10.1002/cae.20190},
  doi          = {10.1002/CAE.20190},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/caee/Juarez-RamirezL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joss/Topham10,
  author       = {Philip Topham},
  title        = {Radial Tree Diagram {[RTD]} of Insomnia},
  journal      = {J. Soc. Struct.},
  volume       = {11},
  number       = {1},
  year         = {2010},
  url          = {https://doi.org/10.21307/joss-2019-047},
  doi          = {10.21307/JOSS-2019-047},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/joss/Topham10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/SharifzadehS10,
  author       = {Mehdi Sharifzadeh and
                  Cyrus Shahabi},
  title        = {VoR-Tree: R-trees with Voronoi Diagrams for Efficient Processing of
                  Spatial Nearest Neighbor Queries},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {3},
  number       = {1},
  pages        = {1231--1242},
  year         = {2010},
  url          = {http://www.vldb.org/pvldb/vldb2010/pvldb\_vol3/R109.pdf},
  doi          = {10.14778/1920841.1920994},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/pvldb/SharifzadehS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/Ibanez-LlanoRMN10a,
  author       = {Cristina Ib{\'{a}}{\~{n}}ez{-}Llano and
                  Antoine Rauzy and
                  Enrique Mel{\'{e}}ndez and
                  Francisco Nieto},
  title        = {A reduction approach to improve the quantification of linked fault
                  trees through binary decision diagrams},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {95},
  number       = {12},
  pages        = {1314--1323},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ress.2010.06.008},
  doi          = {10.1016/J.RESS.2010.06.008},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/Ibanez-LlanoRMN10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/KaoLLCH10,
  author       = {Ben Kao and
                  Sau Dan Lee and
                  Foris K. F. Lee and
                  David Wai{-}Lok Cheung and
                  Wai{-}Shing Ho},
  title        = {Clustering Uncertain Data Using Voronoi Diagrams and R-Tree Index},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {22},
  number       = {9},
  pages        = {1219--1233},
  year         = {2010},
  url          = {https://doi.org/10.1109/TKDE.2010.82},
  doi          = {10.1109/TKDE.2010.82},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tkde/KaoLLCH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KimWDB10,
  author       = {HyeonJeong Kim and
                  W. Eric Wong and
                  Vidroha Debroy and
                  Doo{-}Hwan Bae},
  editor       = {Jun Han and
                  Tran Dan Thu},
  title        = {Bridging the Gap between Fault Trees and {UML} State Machine Diagrams
                  for Safety Analysis},
  booktitle    = {17th Asia Pacific Software Engineering Conference, {APSEC} 2010, Sydney,
                  Australia, November 30 - December 3, 2010},
  pages        = {196--205},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/APSEC.2010.31},
  doi          = {10.1109/APSEC.2010.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/KimWDB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/DwyerMS10,
  author       = {Tim Dwyer and
                  Kim Marriott and
                  Peter Sbarski},
  editor       = {Ashok K. Goel and
                  Mateja Jamnik and
                  N. Hari Narayanan},
  title        = {Hi-tree Layout Using Quadratic Programming},
  booktitle    = {Diagrammatic Representation and Inference, 6th International Conference,
                  Diagrams 2010, Portland, OR, USA, August 9-11, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6170},
  pages        = {212--219},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14600-8\_20},
  doi          = {10.1007/978-3-642-14600-8\_20},
  timestamp    = {Sun, 02 Jun 2019 21:20:33 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/DwyerMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wafr/NechushtanRH10,
  author       = {Oren Nechushtan and
                  Barak Raveh and
                  Dan Halperin},
  editor       = {David Hsu and
                  Volkan Isler and
                  Jean{-}Claude Latombe and
                  Ming C. Lin},
  title        = {Sampling-Diagram Automata: {A} Tool for Analyzing Path Quality in
                  Tree Planners},
  booktitle    = {Algorithmic Foundations of Robotics {IX} - Selected Contributions
                  of the Ninth International Workshop on the Algorithmic Foundations
                  of Robotics, {WAFR} 2010, Singapore, December 13-15, 2010},
  series       = {Springer Tracts in Advanced Robotics},
  volume       = {68},
  pages        = {285--301},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17452-0\_17},
  doi          = {10.1007/978-3-642-17452-0\_17},
  timestamp    = {Fri, 19 May 2017 01:26:04 +0200},
  biburl       = {https://dblp.org/rec/conf/wafr/NechushtanRH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/DistefanoP09,
  author       = {Salvatore Distefano and
                  Antonio Puliafito},
  title        = {Dependability Evaluation with Dynamic Reliability Block Diagrams and
                  Dynamic Fault Trees},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {6},
  number       = {1},
  pages        = {4--17},
  year         = {2009},
  url          = {https://doi.org/10.1109/TDSC.2007.70242},
  doi          = {10.1109/TDSC.2007.70242},
  timestamp    = {Thu, 09 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/DistefanoP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/doceng/Lumley09,
  author       = {John William Lumley},
  editor       = {Uwe M. Borghoff and
                  Boris Chidlovskii},
  title        = {Automated extensible {XML} tree diagrams},
  booktitle    = {Proceedings of the 2009 {ACM} Symposium on Document Engineering, Munich,
                  Germany, September 16-18, 2009},
  pages        = {123--126},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1600193.1600220},
  doi          = {10.1145/1600193.1600220},
  timestamp    = {Mon, 16 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/doceng/Lumley09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faw/YaoCJW09,
  author       = {Hongliang Yao and
                  Jian Chang and
                  Caizi Jiang and
                  Hao Wang},
  editor       = {Xiaotie Deng and
                  John E. Hopcroft and
                  Jinyun Xue},
  title        = {Junction Tree Factored Particle Inference Algorithm for Multi-Agent
                  Dynamic Influence Diagrams},
  booktitle    = {Frontiers in Algorithmics, Third International Workshop, {FAW} 2009,
                  Hefei, China, June 20-23, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5598},
  pages        = {228--236},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02270-8\_24},
  doi          = {10.1007/978-3-642-02270-8\_24},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/faw/YaoCJW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sede/GuptaG09,
  author       = {Pranshu Gupta and
                  David A. Gustafson},
  title        = {Test Suites Effectiveness from Sequence Diagrams and Function Call
                  Trees},
  booktitle    = {18th International Conference on Software Engineering and Data Engineering
                  (SEDE-2009), June 22-24, 2009, Imperial Palace Hotel Las Vegas, Las
                  Vegas, Nevada, USA, Proceedings},
  pages        = {132--137},
  publisher    = {{ISCA}},
  year         = {2009},
  timestamp    = {Mon, 06 Jul 2009 10:37:45 +0200},
  biburl       = {https://dblp.org/rec/conf/sede/GuptaG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Oslebo08,
  author       = {Arne {\O}sleb{\o}},
  title        = {A diagrammatic notation for modeling access control in tree-based
                  data structures},
  school       = {Norwegian University of Science and Technology, Trondheim, Norway},
  year         = {2008},
  url          = {https://hdl.handle.net/11250/261478},
  timestamp    = {Thu, 29 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Oslebo08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/Remenyte-PrescottA08,
  author       = {Rasa Remenyte{-}Prescott and
                  John D. Andrews},
  title        = {An enhanced component connection method for conversion of fault trees
                  to binary decision diagrams},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {93},
  number       = {10},
  pages        = {1543--1550},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.ress.2007.09.001},
  doi          = {10.1016/J.RESS.2007.09.001},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/Remenyte-PrescottA08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/HommaAH08,
  author       = {Naofumi Homma and
                  Takafumi Aoki and
                  Tatsuo Higuchi},
  title        = {A Systematic Approach for Designing Redundant Arithmetic Adders Based
                  on Counter Tree Diagrams},
  journal      = {{IEEE} Trans. Computers},
  volume       = {57},
  number       = {12},
  pages        = {1633--1646},
  year         = {2008},
  url          = {https://doi.org/10.1109/TC.2008.106},
  doi          = {10.1109/TC.2008.106},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/HommaAH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/SmetV08,
  author       = {Leonie Bosveld{-}de Smet and
                  Mark de Vries},
  editor       = {Gem Stapleton and
                  John Howse and
                  John Lee},
  title        = {Visualizing Non-subordination and Multidominance in Tree Diagrams:
                  Testing Five Syntax Tree Variants},
  booktitle    = {Diagrammatic Representation and Inference, 5th International Conference,
                  Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5223},
  pages        = {308--320},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87730-1\_28},
  doi          = {10.1007/978-3-540-87730-1\_28},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/SmetV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/Tanimoto08,
  author       = {Steven L. Tanimoto},
  editor       = {Gem Stapleton and
                  John Howse and
                  John Lee},
  title        = {Enhancing State-Space Tree Diagrams for Collaborative Problem Solving},
  booktitle    = {Diagrammatic Representation and Inference, 5th International Conference,
                  Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5223},
  pages        = {156--164},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-87730-1\_16},
  doi          = {10.1007/978-3-540-87730-1\_16},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/Tanimoto08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/HommaDAH07,
  author       = {Naofumi Homma and
                  Katsuhiko Degawa and
                  Takafumi Aoki and
                  Tatsuo Higuchi},
  title        = {Design of Multiple-valued Arithmetic Circuits Using Counter Tree Diagrams},
  journal      = {J. Multiple Valued Log. Soft Comput.},
  volume       = {13},
  number       = {4-6},
  pages        = {487--502},
  year         = {2007},
  url          = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-13-number-4-6-2007/mvlsc-13-4-6-p-487-502/},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mvl/HommaDAH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/Borgonovo07a,
  author       = {Emanuele Borgonovo},
  title        = {Differential, criticality and Birnbaum importance measures: An application
                  to basic event, groups and SSCs in event trees and binary decision
                  diagrams},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {92},
  number       = {10},
  pages        = {1458--1467},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.ress.2006.09.023},
  doi          = {10.1016/J.RESS.2006.09.023},
  timestamp    = {Mon, 23 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/Borgonovo07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enc/Juarez-RamirezLC07,
  author       = {Reyes Ju{\'{a}}rez{-}Ram{\'{\i}}rez and
                  Guillermo Licea and
                  Alfredo Crist{\'{o}}bal{-}Salas},
  title        = {Using Tree Diagram Concepts to model Use Case Flows},
  booktitle    = {Eight Mexican International Conference in Current Trends in Computer
                  Science, {ENC} 2007, 24-28 September 2007, Morelia, Michoacan, Mexico,
                  Proceedings},
  pages        = {157--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ENC.2007.16},
  doi          = {10.1109/ENC.2007.16},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/enc/Juarez-RamirezLC07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnc/XuLHZ07,
  author       = {Kaihua Xu and
                  Yuhua Liu and
                  Hao Huang and
                  Haiyan Zhu},
  editor       = {Jingsheng Lei and
                  JingTao Yao and
                  Qingfu Zhang},
  title        = {Research of Directed Network Capacity Expansion Based on Spanning
                  Tree Diagram},
  booktitle    = {Third International Conference on Natural Computation, {ICNC} 2007,
                  Haikou, Hainan, China, 24-27 August 2007, Volume 5},
  pages        = {69--73},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICNC.2007.609},
  doi          = {10.1109/ICNC.2007.609},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icnc/XuLHZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/HommaDAH07,
  author       = {Naofumi Homma and
                  Katsuhiko Degawa and
                  Takafumi Aoki and
                  Tatsuo Higuchi},
  title        = {Algorithm-Level Optimization of Multiple-Valued Arithmetic Circuits
                  Using Counter Tree Diagrams},
  booktitle    = {37th International Symposium on Multiple-Valued Logic, {ISMVL} 2007,
                  13-16 May 2007, Oslo, Norway},
  pages        = {31},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ISMVL.2007.6},
  doi          = {10.1109/ISMVL.2007.6},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/HommaDAH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ida/FanS06,
  author       = {Xinghua Fan and
                  Maosong Sun},
  title        = {Knowledge representation and reasoning based on entity and relation
                  propagation diagram/tree},
  journal      = {Intell. Data Anal.},
  volume       = {10},
  number       = {1},
  pages        = {81--102},
  year         = {2006},
  url          = {http://content.iospress.com/articles/intelligent-data-analysis/ida00237},
  timestamp    = {Mon, 18 May 2015 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ida/FanS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/RemenyteA06,
  author       = {Rasa Remenyte and
                  John D. Andrews},
  title        = {A Simple Component Connection Approach for Fault Tree Conversion to
                  Binary Decision Diagram},
  booktitle    = {Proceedings of the The First International Conference on Availability,
                  Reliability and Security, {ARES} 2006, The International Dependability
                  Conference - Bridging Theory and Practice, April 20-22 2006, Vienna
                  University of Technology, Austria},
  pages        = {449--457},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ARES.2006.17},
  doi          = {10.1109/ARES.2006.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEares/RemenyteA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiuMZS06,
  author       = {Hui Liu and
                  Zhiyi Ma and
                  Lu Zhang and
                  Weizhong Shao},
  title        = {Detecting Duplications in Sequence Diagrams Based on Suffix Trees},
  booktitle    = {13th Asia-Pacific Software Engineering Conference {(APSEC} 2006),
                  6-8 December 2006, Bangalore, India},
  pages        = {269--276},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/APSEC.2006.32},
  doi          = {10.1109/APSEC.2006.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/LiuMZS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/YanushkevichSB06,
  author       = {Svetlana N. Yanushkevich and
                  Vlad P. Shmerko and
                  Oleg Boulanov},
  title        = {Embedding and Assembling Techniques for Spatial Computing Structure
                  Design using Decision Trees and Diagrams},
  booktitle    = {36th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
                  2006), 17-20 May 2006, Singapore},
  pages        = {29},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISMVL.2006.20},
  doi          = {10.1109/ISMVL.2006.20},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/YanushkevichSB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/OhYCS05,
  author       = {Younju Oh and
                  Junbeom Yoo and
                  Sung Deok Cha and
                  Han Seong Son},
  title        = {Software safety analysis of function block diagrams using fault trees},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {88},
  number       = {3},
  pages        = {215--228},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ress.2004.07.019},
  doi          = {10.1016/J.RESS.2004.07.019},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/OhYCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Maletti05,
  author       = {Andreas Maletti},
  title        = {{HASSE} diagrams for classes of deterministic bottom-up tree-to-tree-series
                  transformations},
  journal      = {Theor. Comput. Sci.},
  volume       = {339},
  number       = {2-3},
  pages        = {200--240},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2005.02.005},
  doi          = {10.1016/J.TCS.2005.02.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Maletti05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infovis/ZhaoMC05,
  author       = {Shengdong Zhao and
                  Michael J. McGuffin and
                  Mark H. Chignell},
  editor       = {John T. Stasko and
                  Matthew O. Ward},
  title        = {Elastic Hierarchies: Combining Treemaps and Node-Link Diagrams},
  booktitle    = {{IEEE} Symposium on Information Visualization (InfoVis 2005), 23-25
                  October 2005, Minneapolis, MN, {USA}},
  pages        = {57--64},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/INFVIS.2005.1532129},
  doi          = {10.1109/INFVIS.2005.1532129},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/infovis/ZhaoMC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comgeo/HurtadoKLS04,
  author       = {Ferran Hurtado and
                  Rolf Klein and
                  Elmar Langetepe and
                  Vera Sacrist{\'{a}}n},
  title        = {The weighted farthest color Voronoi diagram on trees and graphs},
  journal      = {Comput. Geom.},
  volume       = {27},
  number       = {1},
  pages        = {13--26},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.comgeo.2003.07.003},
  doi          = {10.1016/J.COMGEO.2003.07.003},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/comgeo/HurtadoKLS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/GreenHD04,
  author       = {Thomas R. G. Green and
                  Andrew G. Harrop and
                  Vania Dimitrova},
  editor       = {Alan F. Blackwell and
                  Kim Marriott and
                  Atsushi Shimojima},
  title        = {Teaching Children Brackets by Manipulating Trees: Is Easier Harder?},
  booktitle    = {Diagrammatic Representation and Inference, Third International Conference,
                  Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2980},
  pages        = {407--414},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25931-2\_52},
  doi          = {10.1007/978-3-540-25931-2\_52},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/GreenHD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/HommaSWAH04,
  author       = {Naofumi Homma and
                  Jun Sakiyama and
                  Taihei Wakamatsu and
                  Takafumi Aoki and
                  Tatsuo Higuchi},
  title        = {A systematic approach for analyzing fast addition algorithms using
                  counter tree diagrams},
  booktitle    = {Proceedings of the 2004 International Symposium on Circuits and Systems,
                  {ISCAS} 2004, Vancouver, BC, Canada, May 23-26, 2004},
  pages        = {197--200},
  publisher    = {{IEEE}},
  year         = {2004},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/HommaSWAH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/SakiyamaHAH03,
  author       = {Jun Sakiyama and
                  Naofumi Homma and
                  Takafumi Aoki and
                  Tatsuo Higuchi},
  title        = {Counter Tree Diagrams: {A} Unified Framework for Analyzing Fast Addition
                  Algorithms},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {86-A},
  number       = {12},
  pages        = {3009--3019},
  year         = {2003},
  url          = {http://search.ieice.org/bin/summary.php?id=e86-a\_12\_3009},
  timestamp    = {Tue, 08 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieiceta/SakiyamaHAH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/SakiyamaA003,
  author       = {Jun Sakiyama and
                  Takafumi Aoki and
                  Tatsuo Higuchi},
  title        = {Counter Tree Diagrams: {A} Unified Representation of Fast Addition
                  Algorithms},
  journal      = {J. Multiple Valued Log. Soft Comput.},
  volume       = {9},
  number       = {1},
  pages        = {87--108},
  year         = {2003},
  url          = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-9-number-1-2003/mvlsc-9-1-p-87-108/},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mvl/SakiyamaA003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/FishH03,
  author       = {Andrew Fish and
                  John Howse},
  editor       = {John L. Pfaltz and
                  Manfred Nagl and
                  Boris B{\"{o}}hlen},
  title        = {Computing Reading Trees for Constraint Diagrams},
  booktitle    = {Applications of Graph Transformations with Industrial Relevance, Second
                  International Workshop, {AGTIVE} 2003, Charlottesville, VA, USA, September
                  27 - October 1, 2003, Revised Selected and Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3062},
  pages        = {260--274},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-25959-6\_19},
  doi          = {10.1007/978-3-540-25959-6\_19},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/agtive/FishH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/SakiyamaAH03,
  author       = {Jun Sakiyama and
                  Takafumi Aoki and
                  Tatsuo Higuchi},
  title        = {Counter Tree Diagrams for Design and Analysis of Fast Addition Algorithms},
  booktitle    = {33rd {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
                  2003), 16-19 May 2003, Tokyo, Japan},
  pages        = {91--98},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ISMVL.2003.1201390},
  doi          = {10.1109/ISMVL.2003.1201390},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/SakiyamaAH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/KandaS02,
  author       = {Takeshi Kanda and
                  Kokichi Sugihara},
  title        = {Comparison of various trees for nearest-point search with/without
                  the Voronoi diagram},
  journal      = {Inf. Process. Lett.},
  volume       = {84},
  number       = {1},
  pages        = {17--22},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0020-0190(02)00221-1},
  doi          = {10.1016/S0020-0190(02)00221-1},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/KandaS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/ReayA02,
  author       = {Karen A. Reay and
                  John D. Andrews},
  title        = {A fault tree analysis strategy using binary decision diagrams},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {78},
  number       = {1},
  pages        = {45--56},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0951-8320(02)00107-2},
  doi          = {10.1016/S0951-8320(02)00107-2},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/ReayA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/BartlettA02,
  author       = {Lisa M. Bartlett and
                  John D. Andrews},
  title        = {Choosing a heuristic for the "fault tree to binary decision diagram"
                  conversion, using neural networks},
  journal      = {{IEEE} Trans. Reliab.},
  volume       = {51},
  number       = {3},
  pages        = {344--349},
  year         = {2002},
  url          = {https://doi.org/10.1109/TR.2002.802892},
  doi          = {10.1109/TR.2002.802892},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tr/BartlettA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/Ebrahim02,
  author       = {Yasser Ebrahim},
  title        = {Effect of diagram fan-out, layout, and existence of graphical components
                  on the Mental Image Quality of Tree Diagrams, an Empirical Study},
  booktitle    = {{IEEE} International Conference on Systems, Man and Cybernetics, Yasmine
                  Hammamet, Tunisia, October 6-9, 2002 - Volume 2},
  pages        = {6},
  publisher    = {{IEEE}},
  year         = {2002},
  url          = {https://doi.org/10.1109/ICSMC.2002.1175733},
  doi          = {10.1109/ICSMC.2002.1175733},
  timestamp    = {Mon, 09 Aug 2021 14:54:04 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/Ebrahim02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Kerbs01,
  author       = {Robert W. Kerbs},
  title        = {The Extraction of Classification Rules and Decision Trees from Independence
                  Diagrams},
  school       = {Nova Southeastern University, Fort Lauderdale, Florida, {USA}},
  year         = {2001},
  url          = {https://nsuworks.nova.edu/gscis\_etd/630},
  timestamp    = {Mon, 02 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/phd/basesearch/Kerbs01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aam/RieperZ01,
  author       = {Robert G. Rieper and
                  Melkamu Zeleke},
  title        = {Skew Diagrams and Ordered Trees},
  journal      = {Adv. Appl. Math.},
  volume       = {27},
  number       = {Issues},
  pages        = {671--681},
  year         = {2001},
  url          = {https://doi.org/10.1006/aama.2001.0755},
  doi          = {10.1006/AAMA.2001.0755},
  timestamp    = {Thu, 08 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aam/RieperZ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ress/WayH00,
  author       = {Yuan{-}Shun Way and
                  Der{-}Yu Hsia},
  title        = {A simple component-connection method for building binary decision
                  diagrams encoding a fault tree},
  journal      = {Reliab. Eng. Syst. Saf.},
  volume       = {70},
  number       = {1},
  pages        = {59--70},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0951-8320(00)00048-X},
  doi          = {10.1016/S0951-8320(00)00048-X},
  timestamp    = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ress/WayH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/AndrewsD00,
  author       = {John D. Andrews and
                  Sarah J. Dunnett},
  title        = {Event-tree analysis using binary decision diagrams},
  journal      = {{IEEE} Trans. Reliab.},
  volume       = {49},
  number       = {2},
  pages        = {230--238},
  year         = {2000},
  url          = {https://doi.org/10.1109/24.877343},
  doi          = {10.1109/24.877343},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tr/AndrewsD00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/diagrams/DrewesK00,
  author       = {Frank Drewes and
                  Renate Klempien{-}Hinrichs},
  editor       = {Michael Anderson and
                  Peter C.{-}H. Cheng and
                  Volker Haarslev},
  title        = {Picking Knots from Trees - The Syntactic Structure of Celtic Knotwork},
  booktitle    = {Theory and Application of Diagrams, First International Conference,
                  Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1889},
  pages        = {89--104},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44590-0\_12},
  doi          = {10.1007/3-540-44590-0\_12},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/diagrams/DrewesK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/EngelsH00a,
  author       = {Gregor Engels and
                  Reiko Heckel},
  editor       = {Jos{\'{e}} D. P. Rolim and
                  Andrei Z. Broder and
                  Andrea Corradini and
                  Roberto Gorrieri and
                  Reiko Heckel and
                  Juraj Hromkovic and
                  Ugo Vaccaro and
                  J. B. Wells},
  title        = {From Trees to Graphs: Defining the Semantics of Diagram Languages
                  with Graph Transformation},
  booktitle    = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the
                  27th International Colloquium on Automata, Languages and Programming,
                  Geneva, Switzerland, July 9-15, 2000},
  pages        = {373--382},
  publisher    = {Carleton Scientific, Waterloo, Ontario, Canada},
  year         = {2000},
  timestamp    = {Sat, 04 Apr 2020 17:15:23 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/EngelsH00a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpr/SanchezPF98,
  author       = {Jos{\'{e}} Salvador S{\'{a}}nchez and
                  Filiberto Pla and
                  Francesc J. Ferri},
  editor       = {Anil K. Jain and
                  Svetha Venkatesh and
                  Brian C. Lovell},
  title        = {A Voronoi-diagram-based approach to oblique decision tree induction},
  booktitle    = {Fourteenth International Conference on Pattern Recognition, {ICPR}
                  1998, Brisbane, Australia, 16-20 August, 1998},
  pages        = {542--544},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ICPR.1998.711200},
  doi          = {10.1109/ICPR.1998.711200},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icpr/SanchezPF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/ImakiTAY97,
  author       = {Takanori Imaki and
                  Kensei Tsuchida and
                  Yoshihiro Adachi and
                  Takeo Yaku},
  editor       = {Anthony J. Kusalik and
                  Mireille Ducass{\'{e}} and
                  Ulrich Neumerkel},
  title        = {Tree-Structured Diagram Drawing System Using {CLP}},
  booktitle    = {Proceedings of the 8th Workshop on Logic Programming Environments,
                  {LPE} '97, post-conference workshop at {ICLP} 1997, Leuven, Belgium,
                  July 11, 1997},
  pages        = {69--78},
  year         = {1997},
  timestamp    = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl       = {https://dblp.org/rec/conf/lpe/ImakiTAY97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Sinnamon96,
  author       = {Roslyn M. Sinnamon},
  title        = {Binary decision diagrams for fault tree analysis},
  school       = {Loughborough University, {UK}},
  year         = {1996},
  url          = {https://dspace.lboro.ac.uk/2134/7424},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Sinnamon96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR96-022,
  author       = {Martin Sauerhoff and
                  Ingo Wegener and
                  Ralph Werchner},
  title        = {Optimal Ordered Binary Decision Diagrams for Tree-like Circuits},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR96-022}},
  year         = {1996},
  url          = {https://eccc.weizmann.ac.il/eccc-reports/1996/TR96-022/index.html},
  eprinttype    = {ECCC},
  eprint       = {TR96-022},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/ECCC-TR96-022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/Tsuchida95,
  author       = {Kensei Tsuchida},
  title        = {The Complexity of Drawing Tree-Structured Diagrams},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {78-D},
  number       = {7},
  pages        = {901--908},
  year         = {1995},
  url          = {http://search.ieice.org/bin/summary.php?id=e78-d\_7\_901},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/Tsuchida95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/MiyaderaTY94,
  author       = {Youzou Miyadera and
                  Kensei Tsuchida and
                  Takeo Yaku},
  editor       = {Bj{\"{o}}rn Pehrson and
                  Imre Simon},
  title        = {A Tidy Drawing Problem on the Minimum Area for Tree-Structured Diagrams
                  and Its Application to Program Development},
  booktitle    = {Technology and Foundations - Information Processing '94, Volume 1,
                  Proceedings of the {IFIP} 13th World Computer Congress, Hamburg, Germany,
                  28 August - 2 September, 1994},
  series       = {{IFIP} Transactions},
  volume       = {{A-51}},
  pages        = {282--287},
  publisher    = {North-Holland},
  year         = {1994},
  timestamp    = {Tue, 15 Mar 2016 13:03:03 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip/MiyaderaTY94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uai/JensenJD94,
  author       = {Frank Jensen and
                  Finn Verner Jensen and
                  S{\o}ren L. Dittmer},
  editor       = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
                  David Poole},
  title        = {From Influence Diagrams to junction Trees},
  booktitle    = {{UAI} '94: Proceedings of the Tenth Annual Conference on Uncertainty
                  in Artificial Intelligence, Seattle, Washington, USA, July 29-31,
                  1994},
  pages        = {367--373},
  publisher    = {Morgan Kaufmann},
  year         = {1994},
  url          = {https://dslpitt.org/uai/displayArticleDetails.jsp?mmnu=1\&smnu=2\&article\_id=525\&proceeding\_id=10},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/uai/JensenJD94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/MiyaderaAB93,
  author       = {Youzou Miyadera and
                  Koushi Anzai and
                  H. Banba},
  title        = {A method of drawing tree-structured program diagrams on the Euclidian
                  plane},
  booktitle    = {Seventeenth Annual International Computer Software and Applications
                  Conference, {COMPSAC} 1993, Proceedings, Phoenix, AZ, USA, 1-5 November,
                  1993},
  pages        = {193--201},
  publisher    = {{IEEE}},
  year         = {1993},
  url          = {https://doi.org/10.1109/CMPSAC.1993.404192},
  doi          = {10.1109/CMPSAC.1993.404192},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/compsac/MiyaderaAB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/LeeZ92,
  author       = {Fenglien Lee and
                  Si{-}Qing Zheng},
  editor       = {Quentin F. Stout},
  title        = {Constructing Voronoi Diagram of a Point Set on Mesh of Trees},
  booktitle    = {Proceedings of the 1992 International Conference on Parallel Processing,
                  University of Michigan, An Arbor, Michigan, USA, August 17-21, 1992.
                  Volume {III:} Algorithms {\&} Applications},
  pages        = {136--140},
  publisher    = {{CRC} Press},
  year         = {1992},
  timestamp    = {Mon, 28 Jul 2014 17:06:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icpp/LeeZ92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ColeGO90,
  author       = {Richard Cole and
                  Michael T. Goodrich and
                  Colm {\'{O}}'D{\'{u}}nlaing},
  editor       = {Mike Paterson},
  title        = {Merging Free Trees in Parallel for Efficient Voronoi Diagram Construction
                  (Preliminary Version)},
  booktitle    = {Automata, Languages and Programming, 17th International Colloquium,
                  ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {443},
  pages        = {432--445},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0032049},
  doi          = {10.1007/BFB0032049},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/ColeGO90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/JhaT90,
  author       = {Niraj K. Jha and
                  Carol Q. Tong},
  title        = {Design of robustly testable static {CMOS} parity trees derived from
                  binary decision diagrams},
  booktitle    = {Proceedings of the 1990 {IEEE} International Conference on Computer
                  Design: {VLSI} in Computers and Processors, {ICCD} 1990, Cambridge,
                  MA, USA, 17-19 September, 1990},
  pages        = {103--106},
  publisher    = {{IEEE} Computer Society},
  year         = {1990},
  url          = {https://doi.org/10.1109/ICCD.1990.130173},
  doi          = {10.1109/ICCD.1990.130173},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccd/JhaT90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Wasilewska85a,
  author       = {Anita Wasilewska},
  title        = {Trees and diagrams of decomposition},
  journal      = {Stud Logica},
  volume       = {44},
  number       = {2},
  pages        = {139--158},
  year         = {1985},
  url          = {https://doi.org/10.1007/BF00379763},
  doi          = {10.1007/BF00379763},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sLogica/Wasilewska85a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/OhyaIM84,
  author       = {Takao Ohya and
                  Masao Iri and
                  Kazuo Murota},
  title        = {A Fast Voronoi-Diagram Algorithm With Quaternary Tree Bucketing},
  journal      = {Inf. Process. Lett.},
  volume       = {18},
  number       = {4},
  pages        = {227--231},
  year         = {1984},
  url          = {https://doi.org/10.1016/0020-0190(84)90116-9},
  doi          = {10.1016/0020-0190(84)90116-9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/OhyaIM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Moret82,
  author       = {Bernard M. E. Moret},
  title        = {Decision Trees and Diagrams},
  journal      = {{ACM} Comput. Surv.},
  volume       = {14},
  number       = {4},
  pages        = {593--623},
  year         = {1982},
  url          = {https://doi.org/10.1145/356893.356898},
  doi          = {10.1145/356893.356898},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/Moret82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics