Search dblp for Publications

export results for "toc:db/conf/arith/arith1981.bht:"

 download as .bib file

@inproceedings{DBLP:conf/arith/Farmwald81,
  author       = {P. Michael Farmwald},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {High bandwidth evaluation of elementary functions},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {139--142},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159271},
  doi          = {10.1109/ARITH.1981.6159271},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Farmwald81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/Gorji-SinakiE81,
  author       = {Abdolali Gorji{-}Sinaki and
                  Milos D. Ercegovac},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Design of a digit-slice on-line arithmetic unit},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {72--80},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159273},
  doi          = {10.1109/ARITH.1981.6159273},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Gorji-SinakiE81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/GoslingZE81,
  author       = {J. B. Gosling and
                  John H. Zurawski and
                  David B. G. Edwards},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {A chip-set for a high-speed low-cost floating-point unit},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {50--55},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159274},
  doi          = {10.1109/ARITH.1981.6159274},
  timestamp    = {Thu, 23 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/GoslingZE81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/Gregory81,
  author       = {Robert T. Gregory},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Residue arithmetic with rational operands},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {144--145},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159275},
  doi          = {10.1109/ARITH.1981.6159275},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Gregory81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/HwangC81,
  author       = {Kai Hwang and
                  Yeng{-}Heng Cheng},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Partitioned algorithms and {VLSI} structures for large-scale matrix
                  computations},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {222--232},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159276},
  doi          = {10.1109/ARITH.1981.6159276},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/HwangC81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/IrwinS81,
  author       = {Mary Jane Irwin and
                  Dwight R. Smith},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {A rational arithmetic processor},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {241--244},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159277},
  doi          = {10.1109/ARITH.1981.6159277},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/IrwinS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/KaushikA81,
  author       = {Saroj Kaushik and
                  R. K. Arora},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Sign detection in the Symmetric Residue Number System},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {146--151},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159278},
  doi          = {10.1109/ARITH.1981.6159278},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/KaushikA81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/Kobayashi81,
  author       = {Hideaki Kobayashi},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {A fast multi-operand multiplication scheme},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {246--250},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159279},
  doi          = {10.1109/ARITH.1981.6159279},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Kobayashi81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/KornerupM81,
  author       = {Peter Kornerup and
                  David W. Matula},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {An integrated rational arithmetic unit},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {233--240},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159280},
  doi          = {10.1109/ARITH.1981.6159280},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/KornerupM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/LigomenidesN81,
  author       = {Panos A. Ligomenides and
                  Robert Newcomb},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Complement representations in the Fibonacci computer},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {6--9},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159281},
  doi          = {10.1109/ARITH.1981.6159281},
  timestamp    = {Mon, 16 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/LigomenidesN81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/Markov81,
  author       = {Svetoslav Markov},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {On an interval arithmetic and its applications},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {274--277},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159282},
  doi          = {10.1109/ARITH.1981.6159282},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Markov81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/Nguyen81,
  author       = {Diem Dinh Nguyen},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {A systematic approach to the design of structures for addition and
                  subtraction - Case of radix r = m\({}^{\mbox{k}}\)},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {42--49},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159283},
  doi          = {10.1109/ARITH.1981.6159283},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Nguyen81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/OngA81,
  author       = {Shauchi Ong and
                  Daniel E. Atkins},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Towards quantitative comparison of computer number systems},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {21--33},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159284},
  doi          = {10.1109/ARITH.1981.6159284},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/OngA81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/Owens81,
  author       = {Robert Michael Owens},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Compound algorithms for digit online arithmetic},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {64--71},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159285},
  doi          = {10.1109/ARITH.1981.6159285},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Owens81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/Papachristou81,
  author       = {Christos A. Papachristou},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Algorithms for parallel addition and parallel polynomial evaluation},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {256--263},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159286},
  doi          = {10.1109/ARITH.1981.6159286},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Papachristou81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/Peng81,
  author       = {Hong Peng},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Algorithms for extracting square roots and cube roots},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {121--126},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159287},
  doi          = {10.1109/ARITH.1981.6159287},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Peng81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/RaghavendraE81,
  author       = {Cauligi S. Raghavendra and
                  Milos D. Ercegovac},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {A simulator for on-line arithmetic},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {92--98},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159288},
  doi          = {10.1109/ARITH.1981.6159288},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/RaghavendraE81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/Rao81,
  author       = {T. R. N. Rao},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Arithmetic of finite fields},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {1--5},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159289},
  doi          = {10.1109/ARITH.1981.6159289},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Rao81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/RaoG81,
  author       = {T. Mahadeva Rao and
                  Robert T. Gregory},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {The conversion of Hensel codes to rational numbers},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {10--20},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159290},
  doi          = {10.1109/ARITH.1981.6159290},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/RaoG81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/Robertson81,
  author       = {James E. Robertson},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {A systematic approach to the design of structures for arithmetic},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {35--41},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159291},
  doi          = {10.1109/ARITH.1981.6159291},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Robertson81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/RutenbarP81,
  author       = {Rob A. Rutenbar and
                  Y. E. Park},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Case study of a {VLSI} design project: {A} simple inner product machine},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {184--189},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159292},
  doi          = {10.1109/ARITH.1981.6159292},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arith/RutenbarP81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/Taylor81,
  author       = {George S. Taylor},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Compatible hardware for division and square root},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {127--134},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159293},
  doi          = {10.1109/ARITH.1981.6159293},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Taylor81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/TaylorP81,
  author       = {George S. Taylor and
                  David A. Patterson},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {{VAX} hardware for the proposed {IEEE} floating-point standard},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {190--196},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159294},
  doi          = {10.1109/ARITH.1981.6159294},
  timestamp    = {Thu, 13 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/TaylorP81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/Walker81,
  author       = {Gregory Walker},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Extension of the {MC68000} architecture to include Standard Floating-point
                  arithmetic},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {179--183},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159295},
  doi          = {10.1109/ARITH.1981.6159295},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/Walker81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/WatanukiE81,
  author       = {Osaaki Watanuki and
                  Milos D. Ercegovac},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Floating-point on-line arithmetic: Algorithms},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {81--86},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159296},
  doi          = {10.1109/ARITH.1981.6159296},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/WatanukiE81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/WatanukiE81a,
  author       = {Osaaki Watanuki and
                  Milos D. Ercegovac},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {Floating-point on-line arithmetic: Error analysis},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {87--91},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159297},
  doi          = {10.1109/ARITH.1981.6159297},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/WatanukiE81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/WillonerC81,
  author       = {Robert Willoner and
                  I{-}Ngo Chen},
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {An algorithm for modular exponentiation},
  booktitle    = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  pages        = {135--138},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://doi.org/10.1109/ARITH.1981.6159298},
  doi          = {10.1109/ARITH.1981.6159298},
  timestamp    = {Sun, 21 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/WillonerC81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arith/1981,
  editor       = {Kishor S. Trivedi and
                  Daniel E. Atkins},
  title        = {5th {IEEE} Symposium on Computer Arithmetic, {ARITH} 1981, Ann Arbor,
                  MI, USA, May 16-19, 1981},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6152263/proceeding},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/arith/1981.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics