BibTeX records: Shinobu Nagayama

download as .bib file

@article{DBLP:journals/flap/NagayamaSB23,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {On Representation of Maximally Asymmetric Functions Based on Decision
                  Diagrams},
  journal      = {{FLAP}},
  volume       = {10},
  number       = {6},
  pages        = {1105--1130},
  year         = {2023},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00062.pdf},
  timestamp    = {Mon, 15 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/NagayamaSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipsj/KataokaYINW23,
  author       = {Gaku Kataoka and
                  Masahiro Yamamoto and
                  Masato Inagi and
                  Shinobu Nagayama and
                  Shin'ichi Wakabayashi},
  title        = {Feature Vectors Based on Wire Width and Distance for Lithography Hotspot
                  Detection},
  journal      = {{IPSJ} Trans. Syst. {LSI} Des. Methodol.},
  volume       = {16},
  pages        = {2--11},
  year         = {2023},
  url          = {https://doi.org/10.2197/ipsjtsldm.16.2},
  doi          = {10.2197/IPSJTSLDM.16.2},
  timestamp    = {Tue, 07 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipsj/KataokaYINW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB23,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Decomposition-Based Representation of Symmetric Multiple-Valued Functions},
  booktitle    = {53rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2023, Matsue, Japan, May 22-24, 2023},
  pages        = {76--81},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ISMVL57333.2023.00025},
  doi          = {10.1109/ISMVL57333.2023.00025},
  timestamp    = {Wed, 28 Jun 2023 15:42:21 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-14401,
  author       = {Jon T. Butler and
                  Tsutomu Sasao and
                  Shinobu Nagayama},
  title        = {On the distribution of sensitivities of symmetric Boolean functions},
  journal      = {CoRR},
  volume       = {abs/2306.14401},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.14401},
  doi          = {10.48550/ARXIV.2306.14401},
  eprinttype    = {arXiv},
  eprint       = {2306.14401},
  timestamp    = {Tue, 27 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-14401.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/NagayamaSB22,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {A Fast Method for Exactly Optimum Linear Decomposition of Index Generation
                  Functions},
  journal      = {J. Multiple Valued Log. Soft Comput.},
  volume       = {38},
  number       = {3-4},
  pages        = {387--405},
  year         = {2022},
  url          = {https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-38-number-3-4-2022/mvlsc-38-3-4-p-387-405/},
  timestamp    = {Wed, 16 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mvl/NagayamaSB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB22,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {On Decision Diagrams for Maximally Asymmetric Functions},
  booktitle    = {52nd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2022, Dallas, TX, USA, May 18-20, 2022},
  pages        = {164--169},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ISMVL52857.2022.00032},
  doi          = {10.1109/ISMVL52857.2022.00032},
  timestamp    = {Wed, 29 Jun 2022 17:24:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB21,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Improvement in the Quality of Solutions of a Heuristic Linear Decomposer
                  for Index Generation Functions},
  booktitle    = {51st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2021, Nur-Sultan, Kazakhstan, May 25-27, 2021},
  pages        = {13--18},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ISMVL51352.2021.00012},
  doi          = {10.1109/ISMVL51352.2021.00012},
  timestamp    = {Mon, 05 Jul 2021 16:33:33 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/ButlerSN20,
  author       = {Jon T. Butler and
                  Tsutomu Sasao and
                  Shinobu Nagayama},
  title        = {Properties of Multiple-Valued Partition Functions},
  booktitle    = {50th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2020, Miyazaki, Japan, November 9-11, 2020},
  pages        = {82--87},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISMVL49045.2020.00-25},
  doi          = {10.1109/ISMVL49045.2020.00-25},
  timestamp    = {Fri, 15 Jan 2021 12:47:14 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/ButlerSN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB20,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {On Optimum Linear Decomposition of Symmetric Index Generation Functions},
  booktitle    = {50th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2020, Miyazaki, Japan, November 9-11, 2020},
  pages        = {130--136},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ISMVL49045.2020.00-17},
  doi          = {10.1109/ISMVL49045.2020.00-17},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB19,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {A Dynamic Programming Based Method for Optimum Linear Decomposition
                  of Index Generation Functions},
  booktitle    = {2019 {IEEE} 49th International Symposium on Multiple-Valued Logic
                  (ISMVL), Fredericton, NB, Canada, May 21-23, 2019},
  pages        = {144--149},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISMVL.2019.00033},
  doi          = {10.1109/ISMVL.2019.00033},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/NagayamaSB18,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {An Exact Optimization Method using ZDDs for Linear Decomposition of
                  Symmetric Index Generation Functions},
  journal      = {{FLAP}},
  volume       = {5},
  number       = {9},
  pages        = {1849--1866},
  year         = {2018},
  url          = {https://www.collegepublications.co.uk/downloads/ifcolog00029.pdf},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/NagayamaSB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/ItotaniWNI18,
  author       = {Yuri Itotani and
                  Shin'ichi Wakabayashi and
                  Shinobu Nagayama and
                  Masato Inagi},
  editor       = {Sven Hartmann and
                  Hui Ma and
                  Abdelkader Hameurlain and
                  G{\"{u}}nther Pernul and
                  Roland R. Wagner},
  title        = {An Approximate Nearest Neighbor Search Algorithm Using Distance-Based
                  Hashing},
  booktitle    = {Database and Expert Systems Applications - 29th International Conference,
                  {DEXA} 2018, Regensburg, Germany, September 3-6, 2018, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11030},
  pages        = {203--213},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-98812-2\_17},
  doi          = {10.1007/978-3-319-98812-2\_17},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/dexa/ItotaniWNI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/KataokaINW18,
  author       = {Gaku Kataoka and
                  Masato Inagi and
                  Shinobu Nagayama and
                  Shin'ichi Wakabayashi},
  editor       = {Martin Novotn{\'{y}} and
                  Nikos Konofaos and
                  Amund Skavhaug},
  title        = {Novel Feature Vectors Considering Distances between Wires for Lithography
                  Hotspot Detection},
  booktitle    = {21st Euromicro Conference on Digital System Design, {DSD} 2018, Prague,
                  Czech Republic, August 29-31, 2018},
  pages        = {85--90},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/DSD.2018.00028},
  doi          = {10.1109/DSD.2018.00028},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/KataokaINW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/ItoIWNI18,
  author       = {Toshitaka Ito and
                  Yuri Itotani and
                  Shin'ichi Wakabayashi and
                  Shinobu Nagayama and
                  Masato Inagi},
  title        = {A Nearest Neighbor Search Engine Using Distance-Based Hashing},
  booktitle    = {International Conference on Field-Programmable Technology, {FPT} 2018,
                  Naha, Okinawa, Japan, December 10-14, 2018},
  pages        = {150--157},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/FPT.2018.00031},
  doi          = {10.1109/FPT.2018.00031},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fpt/ItoIWNI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB18,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {An Exact Optimization Method Using ZDDs for Linear Decomposition of
                  Index Generation Functions},
  booktitle    = {48th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2018, Linz, Austria, May 16-18, 2018},
  pages        = {144--149},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/ISMVL.2018.00033},
  doi          = {10.1109/ISMVL.2018.00033},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/NagayamaSB17,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {A Balanced Decision Tree Based Heuristic for Linear Decomposition
                  of Index Generation Functions},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {100-D},
  number       = {8},
  pages        = {1583--1591},
  year         = {2017},
  url          = {https://doi.org/10.1587/transinf.2016LOP0013},
  doi          = {10.1587/TRANSINF.2016LOP0013},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/NagayamaSB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB17,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {An Exact Optimization Algorithm for Linear Decomposition of Index
                  Generation Functions},
  booktitle    = {47th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2017, Novi Sad, Serbia, May 22-24, 2017},
  pages        = {161--166},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ISMVL.2017.56},
  doi          = {10.1109/ISMVL.2017.56},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/AraiWNI16,
  author       = {Yuto Arai and
                  Shin'ichi Wakabayashi and
                  Shinobu Nagayama and
                  Masato Inagi},
  editor       = {Yuchen Song and
                  Shaojun Wang and
                  Brent Nelson and
                  Junbao Li and
                  Yu Peng},
  title        = {An efficient {FPGA} implementation of Mahalanobis distance-based outlier
                  detection for streaming data},
  booktitle    = {2016 International Conference on Field-Programmable Technology, {FPT}
                  2016, Xi'an, China, December 7-9, 2016},
  pages        = {257--260},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/FPT.2016.7929547},
  doi          = {10.1109/FPT.2016.7929547},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fpt/AraiWNI16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB16,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {An Efficient Heuristic for Linear Decomposition of Index Generation
                  Functions},
  booktitle    = {46th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2016, Sapporo, Japan, May 18-20, 2016},
  pages        = {96--101},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ISMVL.2016.52},
  doi          = {10.1109/ISMVL.2016.52},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSBTM15,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler and
                  Mitchell A. Thornton and
                  Theodore W. Manikas},
  title        = {Edge Reduction for EVMDDs to Speed Up Analysis of Multi-state Systems},
  booktitle    = {2015 {IEEE} International Symposium on Multiple-Valued Logic, Waterloo,
                  ON, Canada, May 18-20, 2015},
  pages        = {170--175},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ISMVL.2015.22},
  doi          = {10.1109/ISMVL.2015.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSBTM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/NagayamaSBTM14,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler and
                  Mitchell A. Thornton and
                  Theodore W. Manikas},
  title        = {On Optimizations of Edge-Valued MDDs for Fast Analysis of Multi-State
                  Systems},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {97-D},
  number       = {9},
  pages        = {2234--2242},
  year         = {2014},
  url          = {https://doi.org/10.1587/transinf.2013LOP0011},
  doi          = {10.1587/TRANSINF.2013LOP0011},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/NagayamaSBTM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijrc/MorozNMKB14,
  author       = {Leonid V. Moroz and
                  Shinobu Nagayama and
                  Taras Mykytiv and
                  Ihor O. Kirenko and
                  Taras Boretskyy},
  title        = {Simple Hybrid Scaling-Free {CORDIC} Solution for FPGAs},
  journal      = {Int. J. Reconfigurable Comput.},
  volume       = {2014},
  pages        = {615472:1--615472:4},
  year         = {2014},
  url          = {https://doi.org/10.1155/2014/615472},
  doi          = {10.1155/2014/615472},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijrc/MorozNMKB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipsj/WakabaWNI14,
  author       = {Yoichi Wakaba and
                  Shin'ichi Wakabayashi and
                  Shinobu Nagayama and
                  Masato Inagi},
  title        = {An Area Efficient Regular Expression Matching Engine Using Partial
                  Reconfiguration for Quick Pattern Updating},
  journal      = {{IPSJ} Trans. Syst. {LSI} Des. Methodol.},
  volume       = {7},
  pages        = {110--118},
  year         = {2014},
  url          = {https://doi.org/10.2197/ipsjtsldm.7.110},
  doi          = {10.2197/IPSJTSLDM.7.110},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipsj/WakabaWNI14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/NagayamaSB14,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {EVMDD-Based Analysis and Diagnosis Methods of Multi-State Systems
                  with Multi-State Components},
  journal      = {J. Multiple Valued Log. Soft Comput.},
  volume       = {22},
  number       = {1-2},
  pages        = {59--78},
  year         = {2014},
  url          = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-22-number-1-2-2014/mvlsc-22-1-2-p-59-78/},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mvl/NagayamaSB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/NagayamaSB14a,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Piecewise Arithmetic Expressions of Numeric Functions and Their Application
                  to Design of Numeric Function Generators},
  journal      = {J. Multiple Valued Log. Soft Comput.},
  volume       = {23},
  number       = {3-4},
  pages        = {293--313},
  year         = {2014},
  url          = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-23-number-3-4-2014/mvlsc-23-3-4-p-293-313/},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mvl/NagayamaSB14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/NishiyamaIWNIK14,
  author       = {Hiroki Nishiyama and
                  Masato Inagi and
                  Shin'ichi Wakabayashi and
                  Shinobu Nagayama and
                  Keisuke Inoue and
                  Mineo Kaneko},
  title        = {An ILP-Based Optimal Circuit Mapping Method for PLDs},
  booktitle    = {2014 {IEEE} International Parallel {\&} Distributed Processing
                  Symposium Workshops, Phoenix, AZ, USA, May 19-23, 2014},
  pages        = {251--256},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/IPDPSW.2014.33},
  doi          = {10.1109/IPDPSW.2014.33},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/NishiyamaIWNIK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSBTM14,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler and
                  Mitchell A. Thornton and
                  Theodore W. Manikas},
  title        = {Analysis Methods of Multi-state Systems Partially Having Dependent
                  Components Using Multiple-Valued Decision Diagrams},
  booktitle    = {{IEEE} 44th International Symposium on Multiple-Valued Logic, {ISMVL}
                  2014, Bremen, Germany, May 19-21, 2014},
  pages        = {190--195},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISMVL.2014.41},
  doi          = {10.1109/ISMVL.2014.41},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSBTM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/ThorntonMSN14,
  author       = {Mitchell A. Thornton and
                  Theodore W. Manikas and
                  Stephen A. Szygenda and
                  Shinobu Nagayama},
  title        = {System Probability Distribution Modeling Using MDDs},
  booktitle    = {{IEEE} 44th International Symposium on Multiple-Valued Logic, {ISMVL}
                  2014, Bremen, Germany, May 19-21, 2014},
  pages        = {196--201},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISMVL.2014.42},
  doi          = {10.1109/ISMVL.2014.42},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/ThorntonMSN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stringology/KuraiYANM14,
  author       = {Ryutaro Kurai and
                  Norihito Yasuda and
                  Hiroki Arimura and
                  Shinobu Nagayama and
                  Shin{-}ichi Minato},
  editor       = {Jan Holub and
                  Jan Zd{\'{a}}rek},
  title        = {Fast Regular Expression Matching Based On Dual Glushkov {NFA}},
  booktitle    = {Proceedings of the Prague Stringology Conference 2014, Prague, Czech
                  Republic, September 1-3, 2014},
  pages        = {3--16},
  publisher    = {Department of Theoretical Computer Science, Faculty of Information
                  Technology, Czech Technical University in Prague},
  year         = {2014},
  url          = {http://www.stringology.org/event/2014/p02.html},
  timestamp    = {Wed, 10 Feb 2021 08:42:22 +0100},
  biburl       = {https://dblp.org/rec/conf/stringology/KuraiYANM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/WakabaNWI13,
  author       = {Yoichi Wakaba and
                  Shinobu Nagayama and
                  Shin'ichi Wakabayashi and
                  Masato Inagi},
  title        = {A Flexible and Compact Regular Expression Matching Engine Using Partial
                  Reconfiguration for {FPGA}},
  booktitle    = {2013 Euromicro Conference on Digital System Design, {DSD} 2013, Los
                  Alamitos, CA, USA, September 4-6, 2013},
  pages        = {293--296},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSD.2013.115},
  doi          = {10.1109/DSD.2013.115},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/WakabaNWI13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/ShintaniINW13,
  author       = {Yasuhiro Shintani and
                  Masato Inagi and
                  Shinobu Nagayama and
                  Shin'ichi Wakabayashi},
  title        = {A Multithreaded Parallel Global Routing Method with Overlapped Routing
                  Regions},
  booktitle    = {2013 Euromicro Conference on Digital System Design, {DSD} 2013, Los
                  Alamitos, CA, USA, September 4-6, 2013},
  pages        = {591--597},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/DSD.2013.70},
  doi          = {10.1109/DSD.2013.70},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/ShintaniINW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB13,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Minimization of the Number of Edges in an {EVMDD} by Variable Grouping
                  for Fast Analysis of Multi-State Systems},
  booktitle    = {43rd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2013, Toyama, Japan, May 22-24, 2013},
  pages        = {284--289},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ISMVL.2013.37},
  doi          = {10.1109/ISMVL.2013.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB12,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  editor       = {D. Michael Miller and
                  Vincent C. Gaudet},
  title        = {Analysis of Multi-state Systems with Multi-state Components Using
                  EVMDDs},
  booktitle    = {42nd {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2012, Victoria, BC, Canada, May 14-16, 2012},
  pages        = {122--127},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISMVL.2012.28},
  doi          = {10.1109/ISMVL.2012.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/NakanoWNW11,
  author       = {Satoru Nakano and
                  Yoichi Wakaba and
                  Shinobu Nagayama and
                  Shin'ichi Wakabayashi},
  title        = {A Design Method for Programmable Two-Variable Discrete Function Generators
                  Using Spline and Bilinear Interpolations},
  booktitle    = {14th Euromicro Conference on Digital System Design, Architectures,
                  Methods and Tools, {DSD} 2011, August 31 - September 2, 2011, Oulu,
                  Finland},
  pages        = {701--707},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/DSD.2011.94},
  doi          = {10.1109/DSD.2011.94},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/NakanoWNW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/WakabaIWN11,
  author       = {Yoichi Wakaba and
                  Masato Inagi and
                  Shin'ichi Wakabayashi and
                  Shinobu Nagayama},
  title        = {An Efficient Hardware Matching Engine for Regular Expression with
                  Nested Kleene Operators},
  booktitle    = {International Conference on Field Programmable Logic and Applications,
                  {FPL} 2011, September 5-7, Chania, Crete, Greece},
  pages        = {157--161},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/FPL.2011.36},
  doi          = {10.1109/FPL.2011.36},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fpl/WakabaIWN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB11,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  editor       = {Jaakko Astola and
                  Radomir S. Stankovic},
  title        = {Numeric Function Generators Using Piecewise Arithmetic Expressions},
  booktitle    = {41st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2011, Tuusula, Finland, May 23-25, 2011},
  pages        = {16--21},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISMVL.2011.32},
  doi          = {10.1109/ISMVL.2011.32},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/NagayamaSB10,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {A Systematic Design Method for Two-Variable Numeric Function Generators
                  Using Multiple-Valued Decision Diagrams},
  journal      = {{IEICE} Trans. Inf. Syst.},
  volume       = {93-D},
  number       = {8},
  pages        = {2059--2067},
  year         = {2010},
  url          = {https://doi.org/10.1587/transinf.E93.D.2059},
  doi          = {10.1587/TRANSINF.E93.D.2059},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/NagayamaSB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipsj/NagayamaSB10,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Programmable Architectures and Design Methods for Two-Variable Numeric
                  Function Generators},
  journal      = {{IPSJ} Trans. Syst. {LSI} Des. Methodol.},
  volume       = {3},
  pages        = {118--129},
  year         = {2010},
  url          = {https://doi.org/10.2197/ipsjtsldm.3.118},
  doi          = {10.2197/IPSJTSLDM.3.118},
  timestamp    = {Tue, 29 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipsj/NagayamaSB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/UtanWN10,
  author       = {Yuichiro Utan and
                  Shin'ichi Wakabayashi and
                  Shinobu Nagayama},
  editor       = {Jinian Bian and
                  Qiang Zhou and
                  Peter Athanas and
                  Yajun Ha and
                  Kang Zhao},
  title        = {An FPGA-based text search engine for approximate regular expression
                  matching},
  booktitle    = {Proceedings of the International Conference on Field-Programmable
                  Technology, {FPT} 2010, 8-10 December 2010, Tsinghua University, Beijing,
                  China},
  pages        = {184--191},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/FPT.2010.5681791},
  doi          = {10.1109/FPT.2010.5681791},
  timestamp    = {Thu, 01 Feb 2018 14:20:39 +0100},
  biburl       = {https://dblp.org/rec/conf/fpt/UtanWN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB10,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Floating-Point Numeric Function Generators Based on Piecewise-Split
                  EVMDDs},
  booktitle    = {40th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2010, Barcelona, Spain, 26-28 May 2010},
  pages        = {223--228},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISMVL.2010.49},
  doi          = {10.1109/ISMVL.2010.49},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/NagayamaS09,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao},
  title        = {Complexities of Graph-Based Representations for Elementary Functions},
  journal      = {{IEEE} Trans. Computers},
  volume       = {58},
  number       = {1},
  pages        = {106--119},
  year         = {2009},
  url          = {https://doi.org/10.1109/TC.2008.134},
  doi          = {10.1109/TC.2008.134},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/NagayamaS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ersa/KawanakaWN09,
  author       = {Yosuke Kawanaka and
                  Shin'ichi Wakabayashi and
                  Shinobu Nagayama},
  editor       = {Toomas P. Plaks},
  title        = {A Systolic String Matching Algorithm for High-Speed Recognition of
                  a Restricted Regular Set},
  booktitle    = {Proceedings of the 2009 International Conference on Engineering of
                  Reconfigurable Systems {\&} Algorithms, {ERSA} 2009, July 13-16,
                  2009, Las Vegas Nevada, {USA}},
  pages        = {151--157},
  publisher    = {{CSREA} Press},
  year         = {2009},
  timestamp    = {Tue, 03 Nov 2009 10:35:19 +0100},
  biburl       = {https://dblp.org/rec/conf/ersa/KawanakaWN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSB09,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Floating-Point Numerical Function Generators Using EVMDDs for Monotone
                  Elementary Functions},
  booktitle    = {{ISMVL} 2009, 39th International Symposium on Multiple-Valued Logic,
                  21-23 May 2009, Naha, Okinawaw, Japan},
  pages        = {349--355},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ISMVL.2009.24},
  doi          = {10.1109/ISMVL.2009.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/NagayamaBS08,
  author       = {Shinobu Nagayama and
                  Jon T. Butler and
                  Tsutomu Sasao},
  editor       = {Luca Fanucci},
  title        = {Programmable Numerical Function Generators for Two-Variable Functions},
  booktitle    = {11th Euromicro Conference on Digital System Design: Architectures,
                  Methods and Tools, {DSD} 2008, Parma, Italy, September 3-5, 2008},
  pages        = {891--898},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/DSD.2008.27},
  doi          = {10.1109/DSD.2008.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dsd/NagayamaBS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/NagayamaSB08,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Numerical function generators using bilinear interpolation},
  booktitle    = {{FPL} 2008, International Conference on Field Programmable Logic and
                  Applications, Heidelberg, Germany, 8-10 September 2008},
  pages        = {463--466},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/FPL.2008.4629984},
  doi          = {10.1109/FPL.2008.4629984},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fpl/NagayamaSB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/KawanakaWN08,
  author       = {Yosuke Kawanaka and
                  Shin'ichi Wakabayashi and
                  Shinobu Nagayama},
  editor       = {Tarek A. El{-}Ghazawi and
                  Yao{-}Wen Chang and
                  Juinn{-}Dar Huang and
                  Proshanta Saha},
  title        = {A systolic regular expression pattern matching engine and its application
                  to network intrusion detection},
  booktitle    = {2008 International Conference on Field-Programmable Technology, {FPT}
                  2008, Taipei, Taiwan, December 7-10, 2008},
  pages        = {297--300},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/FPT.2008.4762402},
  doi          = {10.1109/FPT.2008.4762402},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fpt/KawanakaWN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaS08,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao},
  title        = {Representations of Two-Variable Elementary Functions Using EVMDDs
                  and their Applications to Function Generators},
  booktitle    = {38th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
                  2008), 22-23 May 2008, Dallas, Texas, {USA}},
  pages        = {50--56},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ISMVL.2008.14},
  doi          = {10.1109/ISMVL.2008.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/NagayamaSB07,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Design Method for Numerical Function Generators Using Recursive Segmentation
                  and EVBDDs},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {90-A},
  number       = {12},
  pages        = {2752--2761},
  year         = {2007},
  url          = {https://doi.org/10.1093/ietfec/e90-a.12.2752},
  doi          = {10.1093/IETFEC/E90-A.12.2752},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/NagayamaSB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/SasaoNB06,
  author       = {Tsutomu Sasao and
                  Shinobu Nagayama and
                  Jon T. Butler},
  title        = {Numerical Function Generators Using {LUT} Cascades},
  journal      = {{IEEE} Trans. Computers},
  volume       = {56},
  number       = {6},
  pages        = {826--838},
  year         = {2007},
  url          = {https://doi.org/10.1109/TC.2007.1033},
  doi          = {10.1109/TC.2007.1033},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tc/SasaoNB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/NagayamaSB07,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Numerical Function Generators Using Edge-Valued Binary Decision Diagrams},
  booktitle    = {Proceedings of the 12th Conference on Asia South Pacific Design Automation,
                  {ASP-DAC} 2007, Yokohama, Japan, January 23-26, 2007},
  pages        = {535--540},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ASPDAC.2007.358041},
  doi          = {10.1109/ASPDAC.2007.358041},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/NagayamaSB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/NagayamaSB07,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Design Method for Numerical Function Generators Based on Polynomial
                  Approximation for {FPGA} Implementation},
  booktitle    = {Tenth Euromicro Conference on Digital System Design: Architectures,
                  Methods and Tools {(DSD} 2007), 29-31 August 2007, L{\"{u}}beck,
                  Germany},
  pages        = {280--287},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/DSD.2007.4341481},
  doi          = {10.1109/DSD.2007.4341481},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/dsd/NagayamaSB07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/KimuraWN07,
  author       = {Yoshihiro Kimura and
                  Shin'ichi Wakabayashi and
                  Shinobu Nagayama},
  editor       = {Hideharu Amano and
                  Andy Ye and
                  Takeshi Ikenaga},
  title        = {A Systolic Algorithm for the Quadratic Assignment Problem and its
                  {FPGA} Implementation},
  booktitle    = {2007 International Conference on Field-Programmable Technology, {ICFPT}
                  2007, Kitakyushu, Japan, December 12-14, 2007},
  pages        = {261--264},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/FPT.2007.4439261},
  doi          = {10.1109/FPT.2007.4439261},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fpt/KimuraWN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaS07,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao},
  title        = {Representations of Elementary Functions Using Edge-Valued MDDs},
  booktitle    = {37th International Symposium on Multiple-Valued Logic, {ISMVL} 2007,
                  13-16 May 2007, Oslo, Norway},
  pages        = {5},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ISMVL.2007.49},
  doi          = {10.1109/ISMVL.2007.49},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/ShimazuWN07,
  author       = {Takayoshi Shimazu and
                  Shin'ichi Wakabayashi and
                  Shinobu Nagayama},
  editor       = {Hamid R. Arabnia},
  title        = {A Parallel Multistage Metaheuristic Algorithm for {VLSI} Floorplanning},
  booktitle    = {Proceedings of the International Conference on Parallel and Distributed
                  Processing Techniques and Applications, {PDPTA} 2007, Las Vegas, Nevada,
                  USA, June 25-28, 2007, Volume 2},
  pages        = {801--807},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Wed, 12 Dec 2007 09:04:34 +0100},
  biburl       = {https://dblp.org/rec/conf/pdpta/ShimazuWN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/NagayamaH07,
  author       = {Shinobu Nagayama and
                  Takeshi Hattori},
  title        = {A Proposal of {RM} {QRM-MLD} with Independent Adaptive Control of
                  Surviving Symbol Replica Candidates for {MIMO-OFDM} System},
  booktitle    = {Proceedings of the 66th {IEEE} Vehicular Technology Conference, {VTC}
                  Fall 2007, 30 September - 3 October 2007, Baltimore, MD, {USA}},
  pages        = {452--456},
  publisher    = {{IEEE}},
  year         = {2007},
  url          = {https://doi.org/10.1109/VETECF.2007.106},
  doi          = {10.1109/VETECF.2007.106},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vtc/NagayamaH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/NagayamaSB06,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Compact Numerical Function Generators Based on Quadratic Approximation:
                  Architecture and Synthesis Method},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {89-A},
  number       = {12},
  pages        = {3510--3518},
  year         = {2006},
  url          = {https://doi.org/10.1093/ietfec/e89-a.12.3510},
  doi          = {10.1093/IETFEC/E89-A.12.3510},
  timestamp    = {Sat, 11 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieicet/NagayamaSB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/NagayamaSB06,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Jon T. Butler},
  editor       = {Fumiyasu Hirose},
  title        = {Programmable numerical function generators based on quadratic approximation:
                  architecture and synthesis method},
  booktitle    = {Proceedings of the 2006 Conference on Asia South Pacific Design Automation:
                  {ASP-DAC} 2006, Yokohama, Japan, January 24-27, 2006},
  pages        = {378--383},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/ASPDAC.2006.1594712},
  doi          = {10.1109/ASPDAC.2006.1594712},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/aspdac/NagayamaSB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpt/WakabayashiKN06,
  author       = {Shin'ichi Wakabayashi and
                  Yoshihiro Kimura and
                  Shinobu Nagayama},
  editor       = {George A. Constantinides and
                  Wai{-}Kei Mak and
                  Phaophak Sirisuk and
                  Theerayod Wiangtong},
  title        = {{FPGA} implementation of tabu search for the quadratic assignment
                  problem},
  booktitle    = {2006 {IEEE} International Conference on Field Programmable Technology,
                  {FPT} 2006, Bangkok, Thailand, December 13-15, 2006},
  pages        = {269--272},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/FPT.2006.270325},
  doi          = {10.1109/FPT.2006.270325},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/fpt/WakabayashiKN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/SasaoN06,
  author       = {Tsutomu Sasao and
                  Shinobu Nagayama},
  title        = {Representations of Elementary Functions Using Binary Moment Diagrams},
  booktitle    = {36th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
                  2006), 17-20 May 2006, Singapore},
  pages        = {28},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISMVL.2006.37},
  doi          = {10.1109/ISMVL.2006.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/SasaoN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/NagayamaH06,
  author       = {Shinobu Nagayama and
                  Takeshi Hattori},
  title        = {A Proposal of {QRM-MLD} for Reduced Complexity of {MLD} to Detect
                  {MIMO} Signals in Fading Environment},
  booktitle    = {Proceedings of the 64th {IEEE} Vehicular Technology Conference, {VTC}
                  Fall 2006, 25-28 September 2006, Montr{\'{e}}al, Qu{\'{e}}bec,
                  Canada},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/VTCF.2006.131},
  doi          = {10.1109/VTCF.2006.131},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vtc/NagayamaH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/NagayamaMSB05,
  author       = {Shinobu Nagayama and
                  Alan Mishchenko and
                  Tsutomu Sasao and
                  Jon T. Butler},
  title        = {Exact and Heuristic Minimization of the Average Path Length in Decision
                  Diagrams},
  journal      = {J. Multiple Valued Log. Soft Comput.},
  volume       = {11},
  number       = {5-6},
  pages        = {437--465},
  year         = {2005},
  url          = {http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-11-number-5-6-2005/mvlsc-11-5-6-p-437-465/},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mvl/NagayamaMSB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/NagayamaS05,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao},
  title        = {On the optimization of heterogeneous MDDs},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {24},
  number       = {11},
  pages        = {1645--1659},
  year         = {2005},
  url          = {https://doi.org/10.1109/TCAD.2005.852290},
  doi          = {10.1109/TCAD.2005.852290},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/NagayamaS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpl/SasaoNB05,
  author       = {Tsutomu Sasao and
                  Shinobu Nagayama and
                  Jon T. Butler},
  editor       = {Tero Rissa and
                  Steven J. E. Wilton and
                  Philip Heng Wai Leong},
  title        = {Programmable Numerical Function Generators: Architectures and Synthesis
                  Method},
  booktitle    = {Proceedings of the 2005 International Conference on Field Programmable
                  Logic and Applications (FPL), Tampere, Finland, August 24-26, 2005},
  pages        = {118--123},
  publisher    = {{IEEE}},
  year         = {2005},
  url          = {https://doi.org/10.1109/FPL.2005.1515709},
  doi          = {10.1109/FPL.2005.1515709},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fpl/SasaoNB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/NagayamaS04,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao},
  editor       = {Masaharu Imai},
  title        = {Minimization of memory size for heterogeneous MDDs},
  booktitle    = {Proceedings of the 2004 Conference on Asia South Pacific Design Automation:
                  Electronic Design and Solution Fair 2004, Yokohama, Japan, January
                  27-30, 2004},
  pages        = {871--874},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ASPDAC.2004.134},
  doi          = {10.1109/ASPDAC.2004.134},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aspdac/NagayamaS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaS04,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao},
  title        = {On the Minimization of Average Path Lengths for Heterogeneous MDDs},
  booktitle    = {34th {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
                  2004), 19-22 May 2004, Toronto, Canada},
  pages        = {216--222},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ISMVL.2004.1319944},
  doi          = {10.1109/ISMVL.2004.1319944},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/NagayamaS03,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao},
  title        = {Compact Representations of Logic Functions Using Heterogeneous MDDs},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {86-A},
  number       = {12},
  pages        = {3168--3175},
  year         = {2003},
  url          = {http://search.ieice.org/bin/summary.php?id=e86-a\_12\_3168},
  timestamp    = {Tue, 08 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieiceta/NagayamaS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaS03,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao},
  title        = {Compact Representations of Logic Functions using Heterogeneous MDDs},
  booktitle    = {33rd {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
                  2003), 16-19 May 2003, Tokyo, Japan},
  pages        = {247--252},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/ISMVL.2003.1201413},
  doi          = {10.1109/ISMVL.2003.1201413},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/NagayamaSIM02,
  author       = {Shinobu Nagayama and
                  Tsutomu Sasao and
                  Yukihiro Iguchi and
                  Munehiro Matsuura},
  title        = {Representations of Logic Functions Using QRMDDs},
  booktitle    = {32nd {IEEE} International Symposium on Multiple-Valued Logic {(ISMVL}
                  2002), May 15-18, 2002, Boston, Massachusetts, {USA}},
  pages        = {261--269},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ISMVL.2002.1011097},
  doi          = {10.1109/ISMVL.2002.1011097},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/NagayamaSIM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics