Search dblp for Publications

export results for "stream:streams/series/acmb:"

 download as .bib file

@book{DBLP:books/acm/Misra23,
  author       = {Jayadev Misra},
  title        = {Effective Theories in Programming Practice},
  series       = {{ACM} Books},
  volume       = {47},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3568325},
  doi          = {10.1145/3568325},
  isbn         = {978-1-4503-9973-9},
  timestamp    = {Sat, 19 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/Misra23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/Raghavan23,
  author       = {Manish Raghavan},
  title        = {The Societal Impacts of Algorithmic Decision-Making},
  series       = {{ACM} Books},
  volume       = {53},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3603195},
  doi          = {10.1145/3603195},
  isbn         = {979-8-4007-0861-9},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/Raghavan23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/BeameM23,
  author       = {Paul Beame and
                  Pierre McKenzie},
  editor       = {Bruce M. Kapron},
  title        = {Towards a Complexity Theory of Parallel Computation},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {107--126},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588295},
  doi          = {10.1145/3588287.3588295},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/BeameM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Berners-LeeCLNS23,
  author       = {Tim Berners{-}Lee and
                  Robert Cailliau and
                  Ari Luotonen and
                  Henrik Frystyk Nielsen and
                  Arthur Secret},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {The World-Wide Web},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {51--65},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591373},
  doi          = {10.1145/3591366.3591373},
  timestamp    = {Thu, 21 Sep 2023 14:12:24 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Berners-LeeCLNS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Berners-LeeHL23,
  author       = {Tim Berners{-}Lee and
                  James A. Hendler and
                  Ora Lassila},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {The Semantic Web: {A} New Form of Web Content that is Meaningful to
                  Computers will Unleash a Revolution of New Possibilities},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {91--103},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591376},
  doi          = {10.1145/3591366.3591376},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Berners-LeeHL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/BizerHB23,
  author       = {Christian Bizer and
                  Tom Heath and
                  Tim Berners{-}Lee},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Linked Data - The Story So Far},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {115--143},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591378},
  doi          = {10.1145/3591366.3591378},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/acm/23/BizerHB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/BorodinC23,
  author       = {Allan Borodin and
                  Stephen A. Cook},
  editor       = {Bruce M. Kapron},
  title        = {A Time-Space Tradeoff for Sorting on a General Sequential Model of
                  Computation},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {245--260},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588302},
  doi          = {10.1145/3588287.3588302},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/BorodinC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Buss23,
  author       = {Sam Buss},
  editor       = {Bruce M. Kapron},
  title        = {Polynomially Verifiable Arithmetic},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {95--106},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588294},
  doi          = {10.1145/3588287.3588294},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Buss23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Cook23,
  author       = {Stephen A. Cook},
  editor       = {Bruce M. Kapron},
  title        = {The 1982 {ACM} Turing Award Lecture: An Overview of Computational
                  Complexity},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {47--70},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588291},
  doi          = {10.1145/3588287.3588291},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Cook23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Cook23a,
  author       = {Stephen A. Cook},
  editor       = {Bruce M. Kapron},
  title        = {The Complexity of Theorem-Proving Procedures},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {143--152},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588297},
  doi          = {10.1145/3588287.3588297},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Cook23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Cook23b,
  author       = {Stephen A. Cook},
  editor       = {Bruce M. Kapron},
  title        = {Characterizations of Pushdown Machines in Terms of Time-Bounded Computers},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {153--172},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588298},
  doi          = {10.1145/3588287.3588298},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Cook23b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Cook23c,
  author       = {Stephen A. Cook},
  editor       = {Bruce M. Kapron},
  title        = {Feasibly Constructive Proofs and the Propositional Calculus (Preliminary
                  Version)},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {193--218},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588300},
  doi          = {10.1145/3588287.3588300},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Cook23c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Cook23d,
  author       = {Stephen A. Cook},
  editor       = {Bruce M. Kapron},
  title        = {Towards a Complexity Theory of Synchronous Parallel Computation},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {219--244},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588301},
  doi          = {10.1145/3588287.3588301},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Cook23d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Cook23e,
  author       = {Stephen A. Cook},
  editor       = {Bruce M. Kapron},
  title        = {A Survey of Classes of Primitive Recursive Functions},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {325--336},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588305},
  doi          = {10.1145/3588287.3588305},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Cook23e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/CookMWBS23,
  author       = {Stephen A. Cook and
                  Pierre McKenzie and
                  Dustin Wehr and
                  Mark Braverman and
                  Rahul Santhanam},
  editor       = {Bruce M. Kapron},
  title        = {Pebbles and Branching Programs for Tree Evaluation},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {261--318},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588303},
  doi          = {10.1145/3588287.3588303},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/CookMWBS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/CookR23,
  author       = {Stephen A. Cook and
                  Robert A. Reckhow},
  editor       = {Bruce M. Kapron},
  title        = {The Relative Efficiency of Propositional Proof Systems},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {173--192},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588299},
  doi          = {10.1145/3588287.3588299},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/CookR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/HendlerS0BW23,
  author       = {James A. Hendler and
                  Nigel Shadbolt and
                  Wendy Hall and
                  Tim Berners{-}Lee and
                  Daniel J. Weitzner},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Web Science: An Interdisciplinary Approach to Understanding the Web},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {67--84},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591374},
  doi          = {10.1145/3591366.3591374},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/HendlerS0BW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Hyland-Wood23,
  author       = {David Hyland{-}Wood},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Linking the World's Data},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {145--153},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591379},
  doi          = {10.1145/3591366.3591379},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Hyland-Wood23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Jacobs23,
  author       = {Ian Jacobs},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {The World Wide Web Consortium},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {155--165},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591380},
  doi          = {10.1145/3591366.3591380},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Jacobs23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Kapron23,
  author       = {Bruce M. Kapron},
  editor       = {Bruce M. Kapron},
  title        = {Introduction},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588288},
  doi          = {10.1145/3588287.3588288},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Kapron23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Kapron23a,
  author       = {Bruce M. Kapron},
  editor       = {Bruce M. Kapron},
  title        = {Cook's Berkeley Notes},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {321--324},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588304},
  doi          = {10.1145/3588287.3588304},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Kapron23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Krajicek23,
  author       = {Jan Kraj{\'{\i}}cek},
  editor       = {Bruce M. Kapron},
  title        = {The Cook-Reckhow Definition},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {83--94},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588293},
  doi          = {10.1145/3588287.3588293},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Krajicek23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Lovett23,
  author       = {Adrian Lovett},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {A Web for Everyone},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {181--186},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591382},
  doi          = {10.1145/3591366.3591382},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Lovett23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/MikaB23,
  author       = {Peter Mika and
                  Ricardo Baeza{-}Yates},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {The Impact of the Web on Information Retrieval},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {105--114},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591377},
  doi          = {10.1145/3591366.3591377},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/MikaB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Papadimitriou23,
  author       = {Christos H. Papadimitriou},
  editor       = {Bruce M. Kapron},
  title        = {Cook's NP-completeness Paper and the Dawn of the New Theory},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {73--82},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588292},
  doi          = {10.1145/3588287.3588292},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Papadimitriou23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Pippenger23,
  author       = {Nicholas Pippenger},
  editor       = {Bruce M. Kapron},
  title        = {Computation with Limited Space},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {127--140},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588296},
  doi          = {10.1145/3588287.3588296},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Pippenger23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Seneviratne23,
  author       = {Oshani Seneviratne},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Utopia to Dystopia and Back Again?},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {15--50},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591372},
  doi          = {10.1145/3591366.3591372},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Seneviratne23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/SeneviratneHK23,
  author       = {Oshani Seneviratne and
                  Amy van der Hiel and
                  Lalana Kagal},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Tim Berners-Lee's Research at the Decentralized Information Group
                  at {MIT}},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {201--213},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591384},
  doi          = {10.1145/3591366.3591384},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/SeneviratneHK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Shadbolt23,
  author       = {Nigel Shadbolt},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {The Open Data Revolution},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {167--180},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591381},
  doi          = {10.1145/3591366.3591381},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Shadbolt23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Swartz23,
  author       = {Aaron Swartz},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Building for Search Engines: Following {REST}},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {85--90},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591375},
  doi          = {10.1145/3591366.3591375},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Swartz23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Verborgh23,
  author       = {Ruben Verborgh},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Re-decentralizing the Web, For Good This Time},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {215--230},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591385},
  doi          = {10.1145/3591366.3591385},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Verborgh23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Waitzman23,
  author       = {Michelle Waitzman},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Background and Early life},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {1--13},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591371},
  doi          = {10.1145/3591366.3591371},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Waitzman23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Waitzman23a,
  author       = {Michelle Waitzman},
  editor       = {Bruce M. Kapron},
  title        = {Stephen Cook: Complexity's Humble Hero},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {3--28},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588289},
  doi          = {10.1145/3588287.3588289},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Waitzman23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/Weitzner23,
  author       = {Daniel J. Weitzner},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {What the World Needs to Keep Learning from Tim Berners-Lee's Creation
                  of the Web},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {231--240},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591386},
  doi          = {10.1145/3591366.3591386},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/Weitzner23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/X23,
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Foreword},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591367},
  doi          = {10.1145/3591366.3591367},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/X23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/X23a,
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Skunkworks and Generality},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591368},
  doi          = {10.1145/3591366.3591368},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/X23a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/X23b,
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Preface},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591369},
  doi          = {10.1145/3591366.3591369},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/X23b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/X23c,
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Acknowledgments},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591370},
  doi          = {10.1145/3591366.3591370},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/X23c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/X23d,
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Contributors' Biographies/Index},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {241--258},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591387},
  doi          = {10.1145/3591366.3591387},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/X23d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/X23e,
  editor       = {Bruce M. Kapron},
  title        = {{ACM} Interview of Stephen A. Cook by Bruce M. Kapron},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {29--44},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588290},
  doi          = {10.1145/3588287.3588290},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/X23e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/X23f,
  editor       = {Bruce M. Kapron},
  title        = {Further Reading},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {337--338},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588306},
  doi          = {10.1145/3588287.3588306},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/X23f.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/X23g,
  editor       = {Bruce M. Kapron},
  title        = {Bibliography},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {339--382},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588307},
  doi          = {10.1145/3588287.3588307},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/X23g.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/X23h,
  editor       = {Bruce M. Kapron},
  title        = {Contributors' Biographies/Index},
  booktitle    = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  pages        = {383--398},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287.3588308},
  doi          = {10.1145/3588287.3588308},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/X23h.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/23/YeungLLSB23,
  author       = {Ching{-}man Au Yeung and
                  Ilaria Liccardi and
                  Kanghao Lu and
                  Oshani Seneviratne and
                  Tim Berners{-}Lee},
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Decentralization: The Future of Online Social Networking},
  booktitle    = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  pages        = {187--199},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366.3591383},
  doi          = {10.1145/3591366.3591383},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/YeungLLSB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/23/K2023,
  editor       = {Bruce M. Kapron},
  title        = {Logic, Automata, and Computational Complexity: The Works of Stephen
                  A. Cook},
  series       = {{ACM} Books},
  volume       = {43},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3588287},
  doi          = {10.1145/3588287},
  isbn         = {979-8-4007-0779-7},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/K2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/23/SH2023,
  editor       = {Oshani Seneviratne and
                  James A. Hendler},
  title        = {Linking the World's Information - Essays on Tim Berners-Lee's Invention
                  of the World Wide Web},
  series       = {{ACM} Books},
  volume       = {52},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3591366},
  doi          = {10.1145/3591366},
  isbn         = {979-8-4007-0794-0},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/23/SH2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/22/Minzer2022,
  author       = {Dor Minzer},
  title        = {On Monotonicity Testing and the 2-to-2 Games Conjecture},
  series       = {{ACM} Books},
  volume       = {49},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3568031},
  doi          = {10.1145/3568031},
  isbn         = {978-1-4503-9968-5},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Minzer2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/PRR22,
  author       = {James L. Pelkey and
                  Andrew L. Russell and
                  Loring G. Robbins},
  title        = {Circuits, Packets, and Protocols: Entrepreneurs and Computer Communications,
                  1968-1988},
  series       = {{ACM} Books},
  volume       = {40},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3502372},
  doi          = {10.1145/3502372},
  isbn         = {978-1-4503-9726-1},
  timestamp    = {Tue, 22 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/PRR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/TOM22,
  author       = {Leimin Tian and
                  Sharon L. Oviatt and
                  Michal Muszynski and
                  Brent C. Chamberlain and
                  Jennifer Healey and
                  Akane Sano},
  title        = {Applied Affective Computing},
  series       = {{ACM} Books},
  volume       = {41},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3502398},
  doi          = {10.1145/3502398},
  isbn         = {978-1-4503-9590-8},
  timestamp    = {Sat, 02 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/TOM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/USMH2022,
  author       = {Brygg Ullmer and
                  Orit Shaer and
                  Ali Mazalek and
                  Caroline Hummels},
  title        = {Weaving Fire into Form: Aspirations for Tangible and Embodied Interaction},
  series       = {{ACM} Books},
  volume       = {44},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544564},
  doi          = {10.1145/3544564},
  isbn         = {978-1-4503-9769-8},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/USMH2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/000122,
  author       = {Susan Landau},
  editor       = {Rebecca Slayton},
  title        = {The Development of a Crypto Policy Community: Diffie-Hellman's Impact
                  on Public Policy},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {213--256},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3550002},
  doi          = {10.1145/3549993.3550002},
  timestamp    = {Thu, 21 Sep 2023 15:19:45 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/000122.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/0001JW22,
  author       = {Johannes Buchmann and
                  Michael J. Jacobson Jr. and
                  Hugh C. Williams},
  editor       = {Rebecca Slayton},
  title        = {The Influence of Public-Key Cryptography on Mathematics},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {77--156},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3549999},
  doi          = {10.1145/3549993.3549999},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/0001JW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/0001W22,
  author       = {Joon{-}Seok Kim and
                  Carola Wenk},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Simplification of Indoor Space Footprints},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {49--60},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548739},
  doi          = {10.1145/3548732.3548739},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/acm/22/0001W22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/0001W22a,
  author       = {David Poole and
                  Frank Wood},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Probabilistic Programming Languages: Independent Choices and Deterministic
                  Systems},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {691--712},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501753},
  doi          = {10.1145/3501714.3501753},
  timestamp    = {Thu, 21 Sep 2023 16:25:10 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/0001W22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/BalkeP22,
  author       = {Alexander Balke and
                  Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Probabilistic Evaluation of Counterfactual Queries},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {237--254},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501733},
  doi          = {10.1145/3501714.3501733},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/BalkeP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Bareinboim0P22,
  author       = {Elias Bareinboim and
                  Jin Tian and
                  Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Recovering from Selection Bias in Causal and Statistical Inference},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {433--450},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501740},
  doi          = {10.1145/3501714.3501740},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Bareinboim0P22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/BareinboimCII22,
  author       = {Elias Bareinboim and
                  Juan D. Correa and
                  Duligur Ibeling and
                  Thomas Icard},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {On Pearl's Hierarchy and the Foundations of Causal Inference},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {507--556},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501743},
  doi          = {10.1145/3501714.3501743},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/BareinboimCII22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Dawid22,
  author       = {A. Philip Dawid},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {The Tale Wags the {DAG}},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {557--574},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501744},
  doi          = {10.1145/3501714.3501744},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Dawid22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/DiffieH22,
  author       = {Whitfield Diffie and
                  Martin E. Hellman},
  editor       = {Rebecca Slayton},
  title        = {New Directions in Cryptography},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {365--390},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3550007},
  doi          = {10.1145/3549993.3550007},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/DiffieH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/DiffieH22a,
  author       = {Whitfield Diffie and
                  Martin E. Hellman},
  editor       = {Rebecca Slayton},
  title        = {Exhaustive Cryptanalysis of the {NBS} Data Encryption Standard},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {391--414},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3550008},
  doi          = {10.1145/3549993.3550008},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/DiffieH22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/DiffieH22b,
  author       = {Whitfield Diffie and
                  Martin E. Hellman},
  editor       = {Rebecca Slayton},
  title        = {Privacy and Authentication: An Introduction to Cryptography},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {431--514},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3550010},
  doi          = {10.1145/3549993.3550010},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/DiffieH22b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/ElwertS22,
  author       = {Felix Elwert and
                  Elan Segarra},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Instrumental Variables with Treatment-induced Selection: Exact Bias
                  Results},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {575--592},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501745},
  doi          = {10.1145/3501714.3501745},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/ElwertS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/EmrichKZKR22,
  author       = {Tobias Emrich and
                  Hans{-}Peter Kriegel and
                  Andreas Z{\"{u}}fle and
                  Peer Kr{\"{o}}ger and
                  Matthias Renz},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Complete and Sufficient Spatial Domination of Multidimensional Rectangles},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {25--32},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548737},
  doi          = {10.1145/3548732.3548737},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/EmrichKZKR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Feigenbaum22,
  author       = {Joan Feigenbaum},
  editor       = {Rebecca Slayton},
  title        = {A Gift that Keeps on Giving: The Impact of Public-Key Cryptography
                  on Theoretical Computer Science},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {157--184},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3550000},
  doi          = {10.1145/3549993.3550000},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Feigenbaum22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/FranklinM22,
  author       = {W. Randolph Franklin and
                  Salles Viana Gomes de Magalh{\~{a}}es},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Minimal Representations of Polygons and Polyhedra},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {33--48},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548738},
  doi          = {10.1145/3548732.3548738},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/FranklinM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Gopnik22,
  author       = {Alison Gopnik},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Causal Models and Cognitive Development},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {593--604},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501746},
  doi          = {10.1145/3501714.3501746},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Gopnik22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Greenland22,
  author       = {Sander Greenland},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {The Causal Foundations of Applied Probability and Statistics},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {605--624},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501747},
  doi          = {10.1145/3501714.3501747},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Greenland22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Hitchcock22,
  author       = {Christopher Hitchcock},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Pearl on Actual Causation},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {625--646},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501748},
  doi          = {10.1145/3501714.3501748},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Hitchcock22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Homberg22,
  author       = {Michael Homberg},
  editor       = {Dick van Lente},
  title        = {Digital India. Swadeshi-Computing in India since 1947},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {279--324},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548595},
  doi          = {10.1145/3548585.3548595},
  timestamp    = {Sat, 19 Aug 2023 18:03:17 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Homberg22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Imai22,
  author       = {Kosuke Imai},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Causal Diagram and Social Science Research},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {647--654},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501749},
  doi          = {10.1145/3501714.3501749},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Imai22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Jo22,
  author       = {Dongwon Jo},
  editor       = {Dick van Lente},
  title        = {Computopia and Its Discontents: Dual Narratives in South Korea},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {399--420},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548598},
  doi          = {10.1145/3548585.3548598},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/acm/22/Jo22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Kocher22,
  author       = {Paul Kocher},
  editor       = {Rebecca Slayton},
  title        = {Public Key Cryptography in Computer and Network Security},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {57--76},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3549998},
  doi          = {10.1145/3549993.3549998},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Kocher22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Krumm22,
  author       = {John Krumm},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Speed Distribution from Normally Distributed Location Measurements},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {61--64},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548740},
  doi          = {10.1145/3548732.3548740},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Krumm22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Krumm22a,
  author       = {John Krumm},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {The Brownian Bridge for Space-Time Interpolation},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {73--84},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548742},
  doi          = {10.1145/3548732.3548742},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Krumm22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Lente22,
  author       = {Dick van Lente},
  editor       = {Dick van Lente},
  title        = {Introduction: Prophets and Narratives},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {1--30},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548587},
  doi          = {10.1145/3548585.3548587},
  timestamp    = {Sat, 19 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Lente22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Lente22a,
  author       = {Dick van Lente},
  editor       = {Dick van Lente},
  title        = {Dutch Prophets: Pragmatic Optimism and Suppressed Fears},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {201--246},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548593},
  doi          = {10.1145/3548585.3548593},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/acm/22/Lente22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Lente22b,
  author       = {Dick van Lente},
  editor       = {Dick van Lente},
  title        = {Conclusions: Patterns of Prophecy - Needs, Ambitions, and Doubts},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {457--474},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548600},
  doi          = {10.1145/3548585.3548600},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/acm/22/Lente22b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/MenezesMOFC22,
  author       = {Marcelo M. Menezes and
                  Salles Viana Gomes de Magalh{\~{a}}es and
                  Matheus Aguilar de Oliveira and
                  W. Randolph Franklin and
                  Bruno F. Coelho},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Employing GPUs to Accelerate Exact Geometric Predicates for 3D Geospatial
                  Processing},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {97--110},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548744},
  doi          = {10.1145/3548732.3548744},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/MenezesMOFC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Mohan22,
  author       = {Karthika Mohan},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Causal Graphs for Missing Data: {A} Gentle Introduction},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {655--666},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501750},
  doi          = {10.1145/3501714.3501750},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Mohan22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/MohanP22,
  author       = {Karthika Mohan and
                  Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Graphical Models for Recovering Probabilistic and Causal Queries from
                  Missing Data},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {413--432},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501739},
  doi          = {10.1145/3501714.3501739},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/MohanP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/MusaBE22,
  author       = {ABM Musa and
                  James Biagioni and
                  Jakob Eriksson},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Online Location Trajectory Compression},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {7--12},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548735},
  doi          = {10.1145/3548732.3548735},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/MusaBE22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/NegroW22,
  author       = {Gianluigi Negro and
                  Hongzhe Wang},
  editor       = {Dick van Lente},
  title        = {Computing the New China. The Founding Fathers, the Maoist Way, and
                  Neoliberalism, 1945?1986},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {247--278},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548594},
  doi          = {10.1145/3548585.3548594},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/NegroW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Oorschot22,
  author       = {Paul C. van Oorschot},
  editor       = {Rebecca Slayton},
  title        = {Public Key Cryptography's Impact on Society: How Diffie and Hellman
                  Changed the World},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {19--56},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3549997},
  doi          = {10.1145/3549993.3549997},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Oorschot22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Orman22,
  author       = {Hilarie Orman},
  editor       = {Rebecca Slayton},
  title        = {Creating an Open Community of Cryptographers},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {185--212},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3550001},
  doi          = {10.1145/3549993.3550001},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Orman22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pao22,
  author       = {Yuanyuan Pao},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Using Segment Fraction for Road-Network Locations},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {111--118},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548745},
  doi          = {10.1145/3548732.3548745},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pao22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Paz22,
  author       = {Azaria Paz},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {A Note of Appreciation},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {667--670},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501751},
  doi          = {10.1145/3501714.3501751},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Paz22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Turing Award Lecture},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {11--28},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501718},
  doi          = {10.1145/3501714.3501718},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22a,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Heuristics - Introduction},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {57--60},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501722},
  doi          = {10.1145/3501714.3501722},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22b,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Asymptotic Properties of Minimax Trees and Game-Searching Procedures},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {61--90},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501723},
  doi          = {10.1145/3501714.3501723},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22c,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {The Solution for the Branching Factor of the Alpha-Beta Pruning Algorithm
                  and its Optimality},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {91--102},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501724},
  doi          = {10.1145/3501714.3501724},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22d,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {On the Discovery and Generation of Certain Heuristics},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {103--122},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501725},
  doi          = {10.1145/3501714.3501725},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22e,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Probabilities - Introduction},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {123--128},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501726},
  doi          = {10.1145/3501714.3501726},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22f,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Reverend Bayes on Inference Engines: {A} Distributed Hierarchical
                  Approach},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {129--138},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501727},
  doi          = {10.1145/3501714.3501727},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22f.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22g,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Fusion, Propagation, and Structuring in Belief Networks},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {139--188},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501728},
  doi          = {10.1145/3501714.3501728},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22g.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22h,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {System \emph{Z}: {A} Natural Ordering of Defaults with Tractable Applications
                  to Nonmonotonic Reasoning},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {201--214},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501730},
  doi          = {10.1145/3501714.3501730},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22h.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22i,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Causality 1988-2001 - Introduction},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {215--220},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501731},
  doi          = {10.1145/3501714.3501731},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22i.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22j,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Causal Diagrams for Empirical Research (With Discussions)},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {255--316},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501734},
  doi          = {10.1145/3501714.3501734},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22j.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22k,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Probabilities of Causation: Three Counterfactual Interpretations and
                  Their Identification},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {317--372},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501735},
  doi          = {10.1145/3501714.3501735},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22k.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22l,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Direct and Indirect Effects},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {373--392},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501736},
  doi          = {10.1145/3501714.3501736},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22l.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22m,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Causality 2002-2020 - Introduction},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {393--398},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501737},
  doi          = {10.1145/3501714.3501737},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22m.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22n,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Comment: Understanding Simpson's Paradox},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {399--412},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501738},
  doi          = {10.1145/3501714.3501738},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22n.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Pearl22o,
  author       = {Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Detecting Latent Heterogeneity},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {483--506},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501742},
  doi          = {10.1145/3501714.3501742},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Pearl22o.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/PearlB22,
  author       = {Judea Pearl and
                  Elias Bareinboim},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {External Validity: From \emph{Do}-Calculus to Transportability Across
                  Populations},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {451--482},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501741},
  doi          = {10.1145/3501714.3501741},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/PearlB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/PearlP22,
  author       = {Judea Pearl and
                  Azaria Paz},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {{GRAPHOIDS:} Graph-Based Logic for Reasoning about Relevance Relations
                  \emph{Or}When Would \emph{x} Tell You More about \emph{y} If You Already
                  Know \emph{z}?},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {189--200},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501729},
  doi          = {10.1145/3501714.3501729},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/PearlP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/PetersBP22,
  author       = {Jonas Peters and
                  Stefan Bauer and
                  Niklas Pfister},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Causal Models for Dynamical Systems},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {671--690},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501752},
  doi          = {10.1145/3501714.3501752},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/PetersBP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/PohligH22,
  author       = {Stephen C. Pohlig and
                  Martin E. Hellman},
  editor       = {Rebecca Slayton},
  title        = {An Improved Algorithm for Computing Logarithms over \emph{GF}(\emph{p})
                  and Its Cryptographic Significance},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {415--430},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3550009},
  doi          = {10.1145/3549993.3550009},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/PohligH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/RobinsRS22,
  author       = {James M. Robins and
                  Thomas S. Richardson and
                  Ilya Shpitser},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {An Interventionist Approach to Mediation Analysis},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {713--764},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501754},
  doi          = {10.1145/3501714.3501754},
  timestamp    = {Mon, 25 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/RobinsRS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Russell22,
  author       = {Stuart J. Russell},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Biography of Judea Pearl},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501717},
  doi          = {10.1145/3501714.3501717},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Russell22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/SchaferT22,
  author       = {Val{\'{e}}rie Schafer and
                  Benjamin G. Thierry},
  editor       = {Dick van Lente},
  title        = {French National Paths Within a Global Computing Market},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {169--200},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548592},
  doi          = {10.1145/3548585.3548592},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/SchaferT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Schmitt22,
  author       = {Martin Schmitt},
  editor       = {Dick van Lente},
  title        = {Banking the Future of Banking: Savings Banks and the Digital Age in
                  East and West Germany},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {87--116},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548590},
  doi          = {10.1145/3548585.3548590},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/acm/22/Schmitt22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Schmudde22,
  author       = {David Schmudde},
  editor       = {Dick van Lente},
  title        = {Microcomputers for the Masses. Jack Tramiel and Commodore},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {65--86},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548589},
  doi          = {10.1145/3548585.3548589},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/acm/22/Schmudde22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Scholkopf22,
  author       = {Bernhard Sch{\"{o}}lkopf},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Causality for Machine Learning},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {765--804},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501755},
  doi          = {10.1145/3501714.3501755},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Scholkopf22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/ShachterH22,
  author       = {Ross D. Shachter and
                  David Heckerman},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Why Did They Do That?},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {805--812},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501756},
  doi          = {10.1145/3501714.3501756},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/ShachterH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/ShpitserRR22,
  author       = {Ilya Shpitser and
                  Thomas S. Richardson and
                  James M. Robins},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Multivariate Counterfactual Systems and Causal Graphical Models},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {813--852},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501757},
  doi          = {10.1145/3501714.3501757},
  timestamp    = {Mon, 25 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/ShpitserRR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/SikoraD22,
  author       = {Miroslaw Sikora and
                  Adam Dziuba},
  editor       = {Dick van Lente},
  title        = {Computers in the Shadow of Communism: The Polish People's Republic},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {325--362},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548596},
  doi          = {10.1145/3548585.3548596},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/acm/22/SikoraD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/SinglaE22,
  author       = {Samriddhi Singla and
                  Ahmed Eldawy},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Flexible Computation of Multidimensional Histograms},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {119--130},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548746},
  doi          = {10.1145/3548732.3548746},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/SinglaE22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Slayton22,
  author       = {Rebecca Slayton},
  editor       = {Rebecca Slayton},
  title        = {Introduction: The Early Lives and Lasting Legacies of Whitfield Diffie
                  and Martin Hellman},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {1--16},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3549996},
  doi          = {10.1145/3549993.3549996},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Slayton22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Sloman22,
  author       = {Steven A. Sloman},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Causal Bayes Nets as Psychological Theory},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {853--866},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501758},
  doi          = {10.1145/3501714.3501758},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Sloman22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Spohn22,
  author       = {Wolfgang Spohn},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Causation: Objective or Subjective?},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {867--888},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501759},
  doi          = {10.1145/3501714.3501759},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Spohn22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Sumner22,
  author       = {James Sumner},
  editor       = {Dick van Lente},
  title        = {The United Kingdom: Going it Alone?},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {117--168},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548591},
  doi          = {10.1145/3548585.3548591},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/acm/22/Sumner22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Tatarchenko22,
  author       = {Ksenia Tatarchenko},
  editor       = {Dick van Lente},
  title        = {Man-Machine Dialogues: Computer Representations and Appropriations
                  in the Soviet Union and the United States},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {31--64},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548588},
  doi          = {10.1145/3548585.3548588},
  timestamp    = {Thu, 22 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/acm/22/Tatarchenko22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Toland22,
  author       = {Janet Toland},
  editor       = {Dick van Lente},
  title        = {Big Brother in New Zealand: Anticipating the Computer},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {421--456},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548599},
  doi          = {10.1145/3548585.3548599},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/acm/22/Toland22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/TrajcevskiGTH22,
  author       = {Goce Trajcevski and
                  Prabin Giri and
                  Xu Teng and
                  Hooman Hashemi},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {{TINET:} Triangulated Irregular Networks Evolving in Time},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {131--138},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548747},
  doi          = {10.1145/3548732.3548747},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/TrajcevskiGTH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/UtsumiT22,
  author       = {Hirofumi Utsumi and
                  Yoshinobu Takazakura},
  editor       = {Dick van Lente},
  title        = {Dreams of the Vanquished: Narratives of Postwar Japan},
  booktitle    = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  pages        = {363--398},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585.3548597},
  doi          = {10.1145/3548585.3548597},
  timestamp    = {Thu, 15 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/acm/22/UtsumiT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/VermaP22,
  author       = {Thomas Verma and
                  Judea Pearl},
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Equivalence and Synthesis of Causal Models},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {221--236},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501732},
  doi          = {10.1145/3501714.3501732},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/VermaP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/VuMEB22,
  author       = {Tin Vu and
                  Sara Migliorini and
                  Ahmed Eldawy and
                  Alberto Belussi},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Spatial Data Generators},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {13--24},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548736},
  doi          = {10.1145/3548732.3548736},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/VuMEB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/Wolff22,
  author       = {Gil Wolff},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Heat Map Segmentation},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {1--6},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548734},
  doi          = {10.1145/3548732.3548734},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/Wolff22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/WuHCZZK22,
  author       = {Chun{-}Ting Wu and
                  Jason Hong and
                  Seshagiri Cherukuri and
                  Wan Jia Kun Zhu and
                  Yi Zhang and
                  Chi{-}Wei Kao},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {A Practical Network Layout Planning System Using GeoSpatial Data},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {65--72},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548741},
  doi          = {10.1145/3548732.3548741},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/WuHCZZK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/WuSLXWS22,
  author       = {Hao Wu and
                  Minglei Su and
                  Thanh Dat Le and
                  Nuo Xu and
                  Guanfeng Wang and
                  Mihai Stroe},
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {A Scalable In-Memory Solution for Real-Time {K} Nearest Search on
                  Road Network},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {85--96},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548743},
  doi          = {10.1145/3548732.3548743},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/WuSLXWS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22,
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Preface},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548733},
  doi          = {10.1145/3548732.3548733},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22a,
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Authors' Biographies/Index},
  booktitle    = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  pages        = {139--166},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732.3548748},
  doi          = {10.1145/3548732.3548748},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22b,
  editor       = {Rebecca Slayton},
  title        = {Acknowledgments},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3549994},
  doi          = {10.1145/3549993.3549994},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22c,
  editor       = {Rebecca Slayton},
  title        = {Text and Photo Credits},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3549995},
  doi          = {10.1145/3549993.3549995},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22d,
  editor       = {Rebecca Slayton},
  title        = {An Interview with Whitfield Diffie},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {259--280},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3550003},
  doi          = {10.1145/3549993.3550003},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22e,
  editor       = {Rebecca Slayton},
  title        = {An Interview with Martin Hellman},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {281--306},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3550004},
  doi          = {10.1145/3549993.3550004},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22f,
  editor       = {Rebecca Slayton},
  title        = {Information Security},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {307--340},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3550005},
  doi          = {10.1145/3549993.3550005},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22f.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22g,
  editor       = {Rebecca Slayton},
  title        = {Cybersecurity, Nuclear Security, Alan Turing, and Illogical Logic},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {341--362},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3550006},
  doi          = {10.1145/3549993.3550006},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22g.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22h,
  editor       = {Rebecca Slayton},
  title        = {Editor and Author Biographies/Index},
  booktitle    = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  pages        = {515--538},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993.3550011},
  doi          = {10.1145/3549993.3550011},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22h.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22i,
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Preface},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501715},
  doi          = {10.1145/3501714.3501715},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22i.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22j,
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Credits},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501716},
  doi          = {10.1145/3501714.3501716},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22j.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22k,
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Interview by Martin Ford},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {29--42},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501719},
  doi          = {10.1145/3501714.3501719},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22k.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22l,
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {An Interview with Ron Wassertein on How \emph{The Book of Why} Transforms
                  Statistics},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {43--48},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501720},
  doi          = {10.1145/3501714.3501720},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22l.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22m,
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Selected Annotated Bibliography by Judea Pearl},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {49--56},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501721},
  doi          = {10.1145/3501714.3501721},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22m.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/acm/22/X22n,
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Editor's Biographies/Index},
  booktitle    = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  pages        = {889--893},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714.3501760},
  doi          = {10.1145/3501714.3501760},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/X22n.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Apt22,
  author       = {Krzysztof R. Apt},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Edsger Dijkstra, The Man Who Carried Computer Science on His Shoulders},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {373--398},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544609},
  doi          = {10.1145/3544585.3544609},
  timestamp    = {Tue, 29 Aug 2023 07:46:41 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Apt22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Apt22a,
  author       = {Krzysztof R. Apt},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Edsger W. Dijkstra: Biographical Information},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {521--530},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544618},
  doi          = {10.1145/3544585.3544618},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Apt22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/AptO22,
  author       = {Krzysztof R. Apt and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Nondeterminism and Guarded Commands},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {169--204},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544595},
  doi          = {10.1145/3544585.3544595},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/AptO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Aylett22,
  author       = {Ruth Aylett},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Foreword},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563660},
  doi          = {10.1145/3563659.3563660},
  timestamp    = {Sat, 30 Sep 2023 09:32:37 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Aylett22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Aylett22a,
  author       = {Ruth Aylett},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Interactive Narrative and Story-telling},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {463--492},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563674},
  doi          = {10.1145/3563659.3563674},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/Aylett22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Bickmore22,
  author       = {Timothy W. Bickmore},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Health-Related Applications of Socially Interactive Agents},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {403--436},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563672},
  doi          = {10.1145/3563659.3563672},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/Bickmore22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Broy22,
  author       = {Manfred Broy},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Edsger W. Dijkstra as a Lecturer in Marktoberdorf},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {493--510},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544616},
  doi          = {10.1145/3544585.3544616},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Broy22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Cassell22,
  author       = {Justine Cassell},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Socially Interactive Agents as Peers},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {331--366},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563670},
  doi          = {10.1145/3563659.3563670},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/Cassell22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Dijkstra22,
  author       = {Edsger W. Dijkstra},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {The Humble Programmer},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {5--18},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544588},
  doi          = {10.1145/3544585.3544588},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Dijkstra22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Dijkstra22a,
  author       = {Edsger W. Dijkstra},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {A Note on Two Problems in Connexion with Graphs},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {287--290},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544600},
  doi          = {10.1145/3544585.3544600},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Dijkstra22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Dijkstra22b,
  author       = {Edsger W. Dijkstra},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Recursive Programming},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {291--300},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544601},
  doi          = {10.1145/3544585.3544601},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Dijkstra22b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Dijkstra22c,
  author       = {Edsger W. Dijkstra},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Some Meditations on Advanced Programming},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {301--310},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544602},
  doi          = {10.1145/3544585.3544602},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Dijkstra22c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Dijkstra22d,
  author       = {Edsger W. Dijkstra},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Solution of a Problem in Concurrent Programming Control},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {311--314},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544603},
  doi          = {10.1145/3544585.3544603},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Dijkstra22d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Dijkstra22e,
  author       = {Edsger W. Dijkstra},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Go To Statement Considered Harmful},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {315--318},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544604},
  doi          = {10.1145/3544585.3544604},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Dijkstra22e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Dijkstra22f,
  author       = {Edsger W. Dijkstra},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {The Structure of the "THE"-Multiprogramming System},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {319--332},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544605},
  doi          = {10.1145/3544585.3544605},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Dijkstra22f.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Dijkstra22g,
  author       = {Edsger W. Dijkstra},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Self-stabilizing Systems in Spite of Distributed Control},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {333--338},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544606},
  doi          = {10.1145/3544585.3544606},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Dijkstra22g.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Dijkstra22h,
  author       = {Edsger W. Dijkstra},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {On the Reliability of Programs},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {359--370},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544608},
  doi          = {10.1145/3544585.3544608},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Dijkstra22h.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/DijkstraLMSS22,
  author       = {Edsger W. Dijkstra and
                  Leslie Lamport and
                  Alain J. Martin and
                  Carel S. Scholten and
                  Elisabeth F. M. Steffens},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {On-the-Fly Garbage Collection: An Exercise in Cooperation},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {339--358},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544607},
  doi          = {10.1145/3544585.3544607},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/DijkstraLMSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Emerson22,
  author       = {E. Allen Emerson},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Memories of Edsger W. Dijkstra},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {399--404},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544610},
  doi          = {10.1145/3544585.3544610},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Emerson22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/GebhardTSN22,
  author       = {Patrick Gebhard and
                  Dimitra Tsovaltzi and
                  Tanja Schneeberger and
                  Fabrizio Nunnari},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Serious Games with SIAs},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {527--546},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563676},
  doi          = {10.1145/3563659.3563676},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/GebhardTSN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/GeijnM22,
  author       = {Robert A. van de Geijn and
                  Maggie E. Myers},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Applying Dijkstra's Vision to Numerical Software},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {215--230},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544597},
  doi          = {10.1145/3544585.3544597},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/GeijnM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/GhafurianMBHD22,
  author       = {Moojan Ghafurian and
                  John Edison Mu{\~{n}}oz and
                  Jennifer Boger and
                  Jesse Hoey and
                  Kerstin Dautenhahn},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Socially Interactive Agents for Supporting Aging},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {367--402},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563671},
  doi          = {10.1145/3563659.3563671},
  timestamp    = {Mon, 02 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/GhafurianMBHD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/GilletVPYL22,
  author       = {Sarah Gillet and
                  Marynel V{\'{a}}zquez and
                  Christopher E. Peters and
                  Fangkai Yang and
                  Iolanda Leite},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Multiparty Interaction Between Humans and Socially Interactive Agents},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {113--154},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563665},
  doi          = {10.1145/3563659.3563665},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/GilletVPYL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Gries22,
  author       = {David Gries},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Development of Correct Programs},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {141--168},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544594},
  doi          = {10.1145/3544585.3544594},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Gries22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Gries22a,
  author       = {David Gries},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Reflections on Edsger and His Influence},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {405--410},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544611},
  doi          = {10.1145/3544585.3544611},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Gries22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Hahnle22,
  author       = {Reiner H{\"{a}}hnle},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Dijkstra's Legacy on Program Verification},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {105--140},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544593},
  doi          = {10.1145/3544585.3544593},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Hahnle22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/HartholtM22,
  author       = {Arno Hartholt and
                  Sharon Mozgai},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Platforms and Tools for {SIA} Research and Development},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {261--304},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563668},
  doi          = {10.1145/3563659.3563668},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/HartholtM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Herman22,
  author       = {Ted Herman},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Origin of Self-Stabilization},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {81--104},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544592},
  doi          = {10.1145/3544585.3544592},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Herman22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Hoare22,
  author       = {Tony Hoare},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Forty Years with Edsger},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {411--422},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544612},
  doi          = {10.1145/3544585.3544612},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Hoare22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/JanowskiRA22,
  author       = {Kathrin Janowski and
                  Hannes Ritschel and
                  Elisabeth Andr{\'{e}}},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Adaptive Artificial Personalities},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {155--194},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563666},
  doi          = {10.1145/3563659.3563666},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/JanowskiRA22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/KoppH22,
  author       = {Stefan Kopp and
                  Teena Hassan},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {The Fabric of Socially Interactive Agents: Multimodal Interaction
                  Architectures},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {77--112},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563664},
  doi          = {10.1145/3563659.3563664},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/KoppH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Lamport22,
  author       = {Leslie Lamport},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Concurrent Algorithms},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {47--80},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544591},
  doi          = {10.1145/3544585.3544591},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Lamport22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Lampson22,
  author       = {Butler W. Lampson},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Programming Concurrent Systems},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {27--46},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544590},
  doi          = {10.1145/3544585.3544590},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Lampson22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/LaneS22,
  author       = {H. Chad Lane and
                  Noah L. Schroeder},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Pedagogical Agents},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {307--330},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563669},
  doi          = {10.1145/3563659.3563669},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/LaneS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Lengauer22,
  author       = {Christian Lengauer},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {A Personal View of Edsger W. Dijkstra and His Stance on Software Construction},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {205--214},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544596},
  doi          = {10.1145/3544585.3544596},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Lengauer22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Lifschitz22,
  author       = {Vladimir Lifschitz},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Calculational Proofs},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {231--246},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544598},
  doi          = {10.1145/3544585.3544598},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Lifschitz22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Lugrin22,
  author       = {Birgit Lugrin},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Preface},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563661},
  doi          = {10.1145/3563659.3563661},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/Lugrin22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/LugrinPAABBBDGKN0W22,
  author       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  Elisabeth Andr{\'{e}} and
                  Ruth Aylett and
                  Timothy W. Bickmore and
                  Cynthia Breazeal and
                  Joost Broekens and
                  Kerstin Dautenhahn and
                  Jonathan Gratch and
                  Stefan Kopp and
                  Jacqueline Nadel and
                  Ana Paiva and
                  Agnieszka Wykowska},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Challenge Discussion on Socially Interactive Agents: Considerations
                  on Social Interaction, Computational Architectures, Evaluation, and
                  Ethics},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {561--626},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563677},
  doi          = {10.1145/3563659.3563677},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/LugrinPAABBBDGKN0W22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Misra22,
  author       = {Jayadev Misra},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {An Homage to the Beautiful Mathematical EWDs},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {247--282},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544599},
  doi          = {10.1145/3544585.3544599},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Misra22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/NadelGM22,
  author       = {Jacqueline Nadel and
                  Ouriel Grynszpan and
                  Jean{-}Claude Martin},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Autism and Socially Interactive Agents},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {437--462},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563673},
  doi          = {10.1145/3563659.3563673},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/NadelGM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/PradaR22,
  author       = {Rui Prada and
                  Diogo Rato},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Socially Interactive Agents in Games},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {493--526},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563675},
  doi          = {10.1145/3563659.3563675},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/PradaR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Randell22,
  author       = {Brian Randell},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Edsger Dijkstra - Some Reminiscences},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {423--444},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544613},
  doi          = {10.1145/3544585.3544613},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Randell22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Richards22,
  author       = {Hamilton Richards},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {The Edsger W. Dijkstra Archive},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {511--520},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544617},
  doi          = {10.1145/3544585.3544617},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Richards22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Schneider22,
  author       = {Fred B. Schneider},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Evoking Whitehead's Dictum},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {445--454},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544614},
  doi          = {10.1145/3544585.3544614},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Schneider22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Thorup22,
  author       = {Mikkel Thorup},
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Dijkstra's Single Source Shortest Path Algorithm},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {21--26},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544589},
  doi          = {10.1145/3544585.3544589},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/Thorup22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Traum22,
  author       = {David R. Traum},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Socially Interactive Agent Dialogue},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {45--76},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563663},
  doi          = {10.1145/3563659.3563663},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/Traum22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/Vilhjalmsson22,
  author       = {Hannes H{\"{o}}gni Vilhj{\'{a}}lmsson},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Interaction in Social Space},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {3--44},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563662},
  doi          = {10.1145/3563659.3563662},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/Vilhjalmsson22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/WestlundPGB22,
  author       = {Jacqueline M. Kory Westlund and
                  Hae Won Park and
                  Ishaan Grover and
                  Cynthia Breazeal},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Long-Term Interaction with Relational SIAs},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {195--260},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563667},
  doi          = {10.1145/3563659.3563667},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/WestlundPGB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/X22,
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Preface},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544586},
  doi          = {10.1145/3544585.3544586},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/X22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/X22a,
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Photo Credits},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544587},
  doi          = {10.1145/3544585.3544587},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/X22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/X22b,
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Edsger W. Dijkstra in the Eyes of His Friends, Colleagues, and Students},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {455--490},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544615},
  doi          = {10.1145/3544585.3544615},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/X22b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/X22c,
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Authors' Biographies/Index},
  booktitle    = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  pages        = {531--550},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585.3544619},
  doi          = {10.1145/3544585.3544619},
  timestamp    = {Fri, 15 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/22/X22c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/22/X22d,
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {Authors' Biographies/Index},
  booktitle    = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  pages        = {627--669},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659.3563678},
  doi          = {10.1145/3563659.3563678},
  timestamp    = {Thu, 17 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/22/X22d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/22/GDH2022,
  editor       = {Hector Geffner and
                  Rina Dechter and
                  Joseph Y. Halpern},
  title        = {Probabilistic and Causal Inference: The Works of Judea Pearl},
  series       = {{ACM} Books},
  volume       = {36},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3501714},
  doi          = {10.1145/3501714},
  isbn         = {978-1-4503-9586-1},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/GDH2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/22/KZS2022,
  editor       = {John Krumm and
                  Andreas Z{\"{u}}fle and
                  Cyrus Shahabi},
  title        = {Spatial Gems, Volume 1},
  series       = {{ACM} Books},
  volume       = {46},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548732},
  doi          = {10.1145/3548732},
  isbn         = {978-1-4503-9813-8},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/KZS2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/22/L2022,
  editor       = {Dick van Lente},
  title        = {Prophets of Computing: Visions of Society Transformed by Computing},
  series       = {{ACM} Books},
  volume       = {50},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3548585},
  doi          = {10.1145/3548585},
  isbn         = {978-1-4503-9817-6},
  timestamp    = {Sat, 19 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/L2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/22/S2022,
  editor       = {Rebecca Slayton},
  title        = {Democratizing Cryptography: The Work of Whitfield Diffie and Martin
                  Hellman},
  series       = {{ACM} Books},
  volume       = {42},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3549993},
  doi          = {10.1145/3549993},
  isbn         = {978-1-4503-9827-5},
  timestamp    = {Thu, 21 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/22/S2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mc/AH2022,
  editor       = {Krzysztof R. Apt and
                  Tony Hoare},
  title        = {Edsger Wybe Dijkstra: His Life, Work, and Legacy},
  series       = {{ACM} Books},
  volume       = {45},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3544585},
  doi          = {10.1145/3544585},
  isbn         = {978-1-4503-9773-5},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/AH2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mc/LPT2022,
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David Traum},
  title        = {The Handbook on Socially Interactive Agents:20 years of Research on
                  Embodied Conversational Agents, Intelligent Virtual Agents, and Social
                  Robotics Volume 2: Interactivity, Platforms, Application},
  series       = {{ACM} Books},
  volume       = {48},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563659},
  doi          = {10.1145/3563659},
  isbn         = {978-1-4503-9896-1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/LPT2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/T21,
  author       = {Kim W. Tracy},
  title        = {Software: {A} Technical History},
  series       = {{ACM} Books},
  volume       = {38},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477339},
  doi          = {10.1145/3477339},
  isbn         = {978-1-4503-8724-8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/T21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/0001M21,
  author       = {Nicole Kr{\"{a}}mer and
                  Arne Manzeschke},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Social Reactions to Socially Interactive Agents and Their Ethical
                  Implications},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {77--104},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477326},
  doi          = {10.1145/3477322.3477326},
  timestamp    = {Sat, 30 Sep 2023 09:32:36 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/0001M21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/0001S21,
  author       = {Peter M{\"{u}}ller and
                  Natarajan Shankar},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {The First Fifteen Years of the Verified Software Project},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {93--124},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477362},
  doi          = {10.1145/3477355.3477362},
  timestamp    = {Fri, 18 Aug 2023 18:15:50 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/0001S21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/AptO21,
  author       = {Krzysztof R. Apt and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Assessing the Success and Impact of Hoare's Logic},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {41--76},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477359},
  doi          = {10.1145/3477355.3477359},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/AptO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/AylettCC021,
  author       = {Matthew P. Aylett and
                  Leigh Clark and
                  Benjamin R. Cowan and
                  Ilaria Torre},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Building and Designing Expressive Speech Synthesis},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {173--212},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477329},
  doi          = {10.1145/3477322.3477329},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/AylettCC021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Broekens21,
  author       = {Joost Broekens},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Emotion},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {349--384},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477333},
  doi          = {10.1145/3477322.3477333},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Broekens21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Brookes021,
  author       = {Stephen D. Brookes and
                  A. W. Roscoe},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {{CSP:} {A} Practical Process Algebra},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {187--222},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477365},
  doi          = {10.1145/3477355.3477365},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Brookes021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Cassell21,
  author       = {Justine Cassell},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Foreword},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477323},
  doi          = {10.1145/3477322.3477323},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Cassell21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/GratchL21,
  author       = {Jonathan Gratch and
                  Gale M. Lucas},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Rapport Between Humans and Socially Interactive Agents},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {433--462},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477335},
  doi          = {10.1145/3477322.3477335},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/GratchL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Gray21,
  author       = {Margaret Gray},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Online Resources},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {411--412},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477376},
  doi          = {10.1145/3477355.3477376},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Gray21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Hayes021,
  author       = {Ian J. Hayes and
                  Steve King},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Software Specification},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {251--270},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477367},
  doi          = {10.1145/3477355.3477367},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Hayes021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Hoare21,
  author       = {Tony Hoare},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {The 1980 {ACM} Turing Award Lecture},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {1--22},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477357},
  doi          = {10.1145/3477355.3477357},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Hoare21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Hoare21a,
  author       = {C. A. R. Hoare},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Communicating Sequential Processes},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {157--186},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477364},
  doi          = {10.1145/3477355.3477364},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Hoare21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Hoare21b,
  author       = {Tony Hoare},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Envoi},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {347--356},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477371},
  doi          = {10.1145/3477355.3477371},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Hoare21b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/HoareM21,
  author       = {C. A. R. Hoare and
                  Jayadev Misra},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Preface to Special Issue on Software Verification},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {77--80},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477360},
  doi          = {10.1145/3477355.3477360},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/HoareM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/HoareMLS21,
  author       = {Tony Hoare and
                  Jayadev Misra and
                  Gary T. Leavens and
                  Natarajan Shankar},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {The Verified Software Initiative: {A} Manifesto},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {81--92},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477361},
  doi          = {10.1145/3477355.3477361},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/HoareMLS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Jones21,
  author       = {Cliff B. Jones},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {List of Tony Hoare's Publications},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {395--410},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477375},
  doi          = {10.1145/3477355.3477375},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Jones21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/JonesM21,
  author       = {Cliff B. Jones and
                  Jayadev Misra},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Preface},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477356},
  doi          = {10.1145/3477355.3477356},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/JonesM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/JonesM21a,
  author       = {Cliff B. Jones and
                  Jayadev Misra},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Finding Effective Abstractions},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {23--40},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477358},
  doi          = {10.1145/3477355.3477358},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/JonesM21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Lugrin21,
  author       = {Birgit Lugrin},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Introduction to Socially Interactive Agents},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {1--20},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477324},
  doi          = {10.1145/3477322.3477324},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Lugrin21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/LugrinR21,
  author       = {Birgit Lugrin and
                  Matthias Rehm},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Culture for Socially Interactive Agents},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {463--494},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477336},
  doi          = {10.1145/3477322.3477336},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/LugrinR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/May21,
  author       = {David May},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {CSP, Occam, and Inmos},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {271--284},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477368},
  doi          = {10.1145/3477355.3477368},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/21/May21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/McDonnellM21,
  author       = {Rachel McDonnell and
                  Bilge Mutlu},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Appearance},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {105--146},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477327},
  doi          = {10.1145/3477322.3477327},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/McDonnellM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Misra21,
  author       = {Jayadev Misra},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Cv},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {387--392},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477373},
  doi          = {10.1145/3477355.3477373},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Misra21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/PaivaCOSA21,
  author       = {Ana Paiva and
                  Filipa Correia and
                  Raquel Oliveira and
                  Fernando P. Santos and
                  Patr{\'{\i}}cia Arriaga},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Empathy and Prosociality in Social Agents},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {385--432},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477334},
  doi          = {10.1145/3477322.3477334},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/PaivaCOSA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/PelachaudBH21,
  author       = {Catherine Pelachaud and
                  Carlos Busso and
                  Dirk Heylen},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Multimodal Behavior Modeling for Socially Interactive Agents},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {259--310},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477331},
  doi          = {10.1145/3477322.3477331},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/PelachaudBH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Perez-OsorioWW21,
  author       = {Jairo P{\'{e}}rez{-}Osorio and
                  Eva Wiese and
                  Agnieszka Wykowska},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Theory of Mind and Joint Attention},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {311--348},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477332},
  doi          = {10.1145/3477322.3477332},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Perez-OsorioWW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Pieraccini21,
  author       = {Roberto Pieraccini},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Natural Language Understanding in Socially Interactive Agents},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {147--172},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477328},
  doi          = {10.1145/3477322.3477328},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Pieraccini21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/PuttenA21,
  author       = {Astrid M. Rosenthal{-}von der P{\"{u}}tten and
                  Anna M. H. Abrams},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Empirical Methods in the Social Science for Researching Socially Interactive
                  Agents},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {19--76},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477325},
  doi          = {10.1145/3477322.3477325},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/PuttenA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/SaundM21,
  author       = {Carolyn Saund and
                  Stacy Marsella},
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Gesture Generation},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {213--258},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477330},
  doi          = {10.1145/3477322.3477330},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/SaundM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Struth21,
  author       = {Georg Struth},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Trimming the Hedges: An Algebra to Tame Concurrency},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {317--346},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477370},
  doi          = {10.1145/3477355.3477370},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Struth21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Sufrin21,
  author       = {Bernard Sufrin},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Teaching at Belfast and Oxford},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {223--250},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477366},
  doi          = {10.1145/3477355.3477366},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/Sufrin21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/Woodcock21,
  author       = {Jim Woodcock},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Hoare and He's Unifying Theories of Programming},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {285--316},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477369},
  doi          = {10.1145/3477355.3477369},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/21/Woodcock21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/WoodcockBC0S21,
  author       = {Jim Woodcock and
                  Janet Barnes and
                  Rod Chapman and
                  Simon Foster and
                  Thomas Santen},
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Verification in the Grand Challenge},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {125--156},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477363},
  doi          = {10.1145/3477355.3477363},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/21/WoodcockBC0S21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/X21b,
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {{ACM} Interview},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {359--386},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477372},
  doi          = {10.1145/3477355.3477372},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/X21b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/X21c,
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Doctoral Students},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {393--394},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477374},
  doi          = {10.1145/3477355.3477374},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/X21c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/X21d,
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Authors' Biographies/Index},
  booktitle    = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  pages        = {413--420},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355.3477377},
  doi          = {10.1145/3477355.3477377},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/X21d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/21/X21e,
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {Authors' Biographies/Index},
  booktitle    = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  pages        = {495--518},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322.3477337},
  doi          = {10.1145/3477322.3477337},
  timestamp    = {Tue, 05 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/21/X21e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mc/JM2021,
  editor       = {Cliff B. Jones and
                  Jayadev Misra},
  title        = {Theories of Programming: The Life and Works of Tony Hoare},
  series       = {{ACM} Books},
  volume       = {39},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477355},
  doi          = {10.1145/3477355},
  isbn         = {978-1-4503-8728-6},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/JM2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mc/LPT2021,
  editor       = {Birgit Lugrin and
                  Catherine Pelachaud and
                  David R. Traum},
  title        = {The Handbook on Socially Interactive Agents: 20 Years of Research
                  on Embodied Conversational Agents, Intelligent Virtual Agents, and
                  Social Robotics Volume 1: Methods, Behavior, Cognition},
  series       = {{ACM} Books},
  volume       = {37},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2021},
  url          = {https://doi.org/10.1145/3477322},
  doi          = {10.1145/3477322},
  isbn         = {978-1-4503-8720-0},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/LPT2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/H20,
  author       = {Michael J. Halvorson},
  title        = {Code Nation: Personal Computing and the Learn to Program Movement
                  in America},
  series       = {{ACM} Books},
  volume       = {32},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3368274},
  doi          = {10.1145/3368274},
  isbn         = {978-1-4503-7758-4},
  timestamp    = {Fri, 08 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/H20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/IlyasC19,
  author       = {Ihab F. Ilyas and
                  Xu Chu},
  title        = {Data Cleaning},
  series       = {{ACM} Books},
  volume       = {28},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3310205},
  doi          = {10.1145/3310205},
  isbn         = {978-1-4503-7152-0},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/IlyasC19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/JacobsonLNMG19,
  author       = {Ivar Jacobson and
                  Harold "Bud" Lawson and
                  Pan{-}Wei Ng and
                  Paul E. McMahon and
                  Michael Goedicke},
  title        = {The Essentials of Modern Software Engineering: Free the Practices
                  from the Method Prisons!},
  series       = {{ACM} Books},
  volume       = {25},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3277669},
  doi          = {10.1145/3277669},
  isbn         = {978-1-94748-727-7},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/JacobsonLNMG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/MooreA19,
  author       = {Robert J. Moore and
                  Raphael Arar},
  title        = {Conversational {UX} Design: {A} Practitioner's Guide to the Natural
                  Conversation Framework},
  series       = {{ACM} Books},
  volume       = {27},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3304087},
  doi          = {10.1145/3304087},
  isbn         = {978-1-4503-6301-3},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/MooreA19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/Rubinstein19,
  author       = {Aviad Rubinstein},
  title        = {Hardness of Approximation Between {P} and {NP}},
  series       = {{ACM} Books},
  volume       = {24},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3241304},
  doi          = {10.1145/3241304},
  isbn         = {978-1-94748-723-9},
  timestamp    = {Sat, 19 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/Rubinstein19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/Zahran19,
  author       = {Mohamed Zahran},
  title        = {Heterogenous Computing: Hardware and Software Perspectives},
  series       = {{ACM} Books},
  volume       = {26},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3281649},
  doi          = {10.1145/3281649},
  isbn         = {978-1-4503-6097-5},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/Zahran19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Abadi14,
  author       = {Daniel J. Abadi},
  editor       = {Michael L. Brodie},
  title        = {C-store: through the eyes of a Ph.D. student},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {235--244},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226616},
  doi          = {10.1145/3226595.3226616},
  timestamp    = {Fri, 18 Aug 2023 18:10:49 +0200},
  biburl       = {https://dblp.org/rec/books/mc/19/Abadi14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/BalazinskaZ14,
  author       = {Magdalena Balazinska and
                  Stan Zdonik},
  editor       = {Michael L. Brodie},
  title        = {Databases meet the stream processing era},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {225--234},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226615},
  doi          = {10.1145/3226595.3226615},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/BalazinskaZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Bates-Haus14,
  author       = {Nikolaus Bates{-}Haus},
  editor       = {Michael L. Brodie},
  title        = {The Tamr codeline},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {357--366},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226628},
  doi          = {10.1145/3226595.3226628},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Bates-Haus14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Bernstein14,
  author       = {Philip A. Bernstein},
  editor       = {Michael L. Brodie},
  title        = {Leadership and advocacy},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {85--92},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226601},
  doi          = {10.1145/3226595.3226601},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Bernstein14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Brodie14,
  author       = {Michael L. Brodie},
  editor       = {Michael L. Brodie},
  title        = {The changing of the database guard},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {403--408},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226634},
  doi          = {10.1145/3226595.3226634},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Brodie14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Brodie19,
  author       = {Michael L. Brodie},
  editor       = {Michael L. Brodie},
  title        = {Introduction},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {1--11},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226597},
  doi          = {10.1145/3226595.3226597},
  timestamp    = {Tue, 08 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Brodie19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Brown14,
  author       = {Paul Brown},
  editor       = {Michael L. Brodie},
  title        = {Scaling mountains: SciDB and scientific data management},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {253--268},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226618},
  doi          = {10.1145/3226595.3226618},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Brown14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/ButterworthC14,
  author       = {Paul Butterworth and
                  Fred Carter},
  editor       = {Michael L. Brodie},
  title        = {The commercial Ingres codeline},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {301--310},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226622},
  doi          = {10.1145/3226595.3226622},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/ButterworthC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Carey14,
  author       = {Michael J. Carey},
  editor       = {Michael L. Brodie},
  title        = {The later Ingres years},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {191--203},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226613},
  doi          = {10.1145/3226595.3226613},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Carey14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/DeWitt14,
  author       = {David J. DeWitt},
  editor       = {Michael L. Brodie},
  title        = {A perspective of Mike from a 50-year vantage point},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {107--115},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226604},
  doi          = {10.1145/3226595.3226604},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/DeWitt14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Fernandez14,
  author       = {Raul Castro Fernandez},
  editor       = {Michael L. Brodie},
  title        = {Aurum: a story about research taste},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {387--391},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226631},
  doi          = {10.1145/3226595.3226631},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Fernandez14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Gadepally14,
  author       = {Vijay Gadepally},
  editor       = {Michael L. Brodie},
  title        = {The BigDAWG codeline},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {367--376},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226629},
  doi          = {10.1145/3226595.3226629},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Gadepally14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Haderle14,
  author       = {Don Haderle},
  editor       = {Michael L. Brodie},
  title        = {Michael Stonebraker: competitor, collaborator, friend},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {397--402},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226633},
  doi          = {10.1145/3226595.3226633},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Haderle14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Hamilton14,
  author       = {James R. Hamilton},
  editor       = {Michael L. Brodie},
  title        = {Perspectives: the 2014 {ACM} turing award},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {93--95},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226602},
  doi          = {10.1145/3226595.3226602},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Hamilton14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Hamilton14a,
  author       = {James R. Hamilton},
  editor       = {Michael L. Brodie},
  title        = {{IBM} relational database code bases},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {377--385},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226630},
  doi          = {10.1145/3226595.3226630},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Hamilton14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/HarizopoulosAMS14,
  author       = {Stavros Harizopoulos and
                  Daniel J. Abadi and
                  Samuel Madden and
                  Michael Stonebraker},
  editor       = {Michael L. Brodie},
  title        = {{OLTP} through the looking glass, and what we found there},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {409--439},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226635},
  doi          = {10.1145/3226595.3226635},
  timestamp    = {Tue, 08 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/19/HarizopoulosAMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Hearst14,
  author       = {Marti A. Hearst},
  editor       = {Michael L. Brodie},
  title        = {Nice: or what it was like to be Mike's student},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {393--396},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226632},
  doi          = {10.1145/3226595.3226632},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Hearst14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Held14,
  author       = {Jerry Held},
  editor       = {Michael L. Brodie},
  title        = {Birth of an industry: path to the Turing award},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {97--106},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226603},
  doi          = {10.1145/3226595.3226603},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Held14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Hellerstein14,
  author       = {Joseph M. Hellerstein},
  editor       = {Michael L. Brodie},
  title        = {Looking back at Postgres},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {205--224},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226614},
  doi          = {10.1145/3226595.3226614},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Hellerstein14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Hong14,
  author       = {Wei Hong},
  editor       = {Michael L. Brodie},
  title        = {The postgres and illustra codelines},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {311--319},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226623},
  doi          = {10.1145/3226595.3226623},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Hong14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Hugg14,
  author       = {John Hugg},
  editor       = {Michael L. Brodie},
  title        = {The VoltDB codeline},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {341--348},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226626},
  doi          = {10.1145/3226595.3226626},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Hugg14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Ilyas14,
  author       = {Ihab F. Ilyas},
  editor       = {Michael L. Brodie},
  title        = {Data unification at scale: data tamer},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {269--277},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226619},
  doi          = {10.1145/3226595.3226619},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Ilyas14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Lawande14,
  author       = {Shilpa Lawande},
  editor       = {Michael L. Brodie},
  title        = {The vertica codeline},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {333--340},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226625},
  doi          = {10.1145/3226595.3226625},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Lawande14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Madden14,
  author       = {Samuel Madden},
  editor       = {Michael L. Brodie},
  title        = {Make it happen: the life of Michael Stonebraker},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {39--56},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226599},
  doi          = {10.1145/3226595.3226599},
  timestamp    = {Tue, 08 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/19/Madden14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Madden14a,
  author       = {Samuel Madden},
  editor       = {Michael L. Brodie},
  title        = {Research contributions of Mike Stonebraker: an overview},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {181--189},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226612},
  doi          = {10.1145/3226595.3226612},
  timestamp    = {Tue, 08 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/19/Madden14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/MattsonRE14,
  author       = {Tim Mattson and
                  Jennie Rogers and
                  Aaron J. Elmore},
  editor       = {Michael L. Brodie},
  title        = {The BigDAWG polystore system},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {279--289},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226620},
  doi          = {10.1145/3226595.3226620},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/19/MattsonRE14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Naumann14,
  author       = {Felix Naumann},
  editor       = {Michael L. Brodie},
  title        = {The relational database management systems genealogy},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {173--179},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226611},
  doi          = {10.1145/3226595.3226611},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Naumann14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Olson14,
  author       = {Michael A. Olson},
  editor       = {Michael L. Brodie},
  title        = {Stonebraker and open source},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {165--171},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226610},
  doi          = {10.1145/3226595.3226610},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Olson14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Ouzzani0F14,
  author       = {Mourad Ouzzani and
                  Nan Tang and
                  Raul Castro Fernandez},
  editor       = {Michael L. Brodie},
  title        = {Data civilizer: end-to-end support for data discovery, integration,
                  and cleaning},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {291--300},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226621},
  doi          = {10.1145/3226595.3226621},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Ouzzani0F14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Ozsu19,
  author       = {M. Tamer {\"{O}}zsu},
  editor       = {Michael L. Brodie},
  title        = {Foreword},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226596},
  doi          = {10.1145/3226595.3226596},
  timestamp    = {Tue, 08 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Ozsu19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Palmer14,
  author       = {Andy Palmer},
  editor       = {Michael L. Brodie},
  title        = {How to create and run a Stonebraker startup: the \emph{real} story},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {129--138},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226606},
  doi          = {10.1145/3226595.3226606},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Palmer14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Pavlo14,
  author       = {Andy Pavlo},
  editor       = {Michael L. Brodie},
  title        = {In-memory, horizontal, and transactional: the H-store {OLTP} {DBMS}
                  project},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {245--251},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226617},
  doi          = {10.1145/3226595.3226617},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Pavlo14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/SharmaPK14,
  author       = {Kriti Sen Sharma and
                  Alex Poliakov and
                  Jason Kinchen},
  editor       = {Michael L. Brodie},
  title        = {The SciDB codeline: crossing the chasm},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {349--355},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226627},
  doi          = {10.1145/3226595.3226627},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/SharmaPK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Stonebraker0KH14,
  author       = {Michael Stonebraker and
                  Eugene Wong and
                  Peter Kreps and
                  Gerald Held},
  editor       = {Michael L. Brodie},
  title        = {The design and implementation of {INGRES}},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {561--605},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226640},
  doi          = {10.1145/3226595.3226640},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Stonebraker0KH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Stonebraker14,
  author       = {Michael Stonebraker},
  editor       = {Michael L. Brodie},
  title        = {The land sharks are on the squawk box},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {15--37},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226598},
  doi          = {10.1145/3226595.3226598},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Stonebraker14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Stonebraker14a,
  author       = {Michael Stonebraker},
  editor       = {Michael L. Brodie},
  title        = {How to start a company in five (not so) easy steps},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {117--128},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226605},
  doi          = {10.1145/3226595.3226605},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Stonebraker14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Stonebraker14b,
  author       = {Michael Stonebraker},
  editor       = {Michael L. Brodie},
  title        = {Where good ideas come from and how to exploit them},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {145--153},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226608},
  doi          = {10.1145/3226595.3226608},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Stonebraker14b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Stonebraker14c,
  author       = {Michael Stonebraker},
  editor       = {Michael L. Brodie},
  title        = {Where we have failed},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {155--164},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226609},
  doi          = {10.1145/3226595.3226609},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Stonebraker14c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/StonebrakerABCCFLLMOORTZ14,
  author       = {Mike Stonebraker and
                  Daniel J. Abadi and
                  Adam Batkin and
                  Xuedong Chen and
                  Mitch Cherniack and
                  Miguel Ferreira and
                  Edmond Lau and
                  Amerson Lin and
                  Sam Madden and
                  Elizabeth J. O'Neil and
                  Patrick E. O'Neil and
                  Alex Rasin and
                  Nga Tran and
                  Stan Zdonik},
  editor       = {Michael L. Brodie},
  title        = {C-store: a column-oriented {DBMS}},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {491--518},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226638},
  doi          = {10.1145/3226595.3226638},
  timestamp    = {Fri, 03 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/19/StonebrakerABCCFLLMOORTZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/StonebrakerC14,
  author       = {Michael Stonebraker and
                  Ugur {\c{C}}etintemel},
  editor       = {Michael L. Brodie},
  title        = {"One size fits all": an idea whose time has come and gone},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {441--462},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226636},
  doi          = {10.1145/3226595.3226636},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/StonebrakerC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/StonebrakerMAHHH14,
  author       = {Michael Stonebraker and
                  Samuel Madden and
                  Daniel J. Abadi and
                  Stavros Harizopoulos and
                  Nabil Hachem and
                  Pat Helland},
  editor       = {Michael L. Brodie},
  title        = {The end of an architectural era: it's time for a complete rewrite},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {463--489},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226637},
  doi          = {10.1145/3226595.3226637},
  timestamp    = {Tue, 08 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/19/StonebrakerMAHHH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/StonebrakerRH14,
  author       = {Michael Stonebraker and
                  Lawrence A. Rowe and
                  Michael Hirohama},
  editor       = {Michael L. Brodie},
  title        = {The implementation of {POSTGRES}},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {519--559},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226639},
  doi          = {10.1145/3226595.3226639},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/StonebrakerRH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Tango14,
  author       = {Jo Tango},
  editor       = {Michael L. Brodie},
  title        = {Getting grownups in the room: a {VC} perspective},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {139--144},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226607},
  doi          = {10.1145/3226595.3226607},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Tango14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Tatbul14,
  author       = {Nesime Tatbul},
  editor       = {Michael L. Brodie},
  title        = {The Aurora/Borealis/streambase codelines: a tale of three systems},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {321--332},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226624},
  doi          = {10.1145/3226595.3226624},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Tatbul14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/Winslett14,
  author       = {Marianne Winslett},
  editor       = {Michael L. Brodie},
  title        = {Mike Stonebraker speaks out: an interview},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {57--83},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226600},
  doi          = {10.1145/3226595.3226600},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/Winslett14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/X14,
  editor       = {Michael L. Brodie},
  title        = {The collected works of Michael Stonebraker},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {606--633},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226641},
  doi          = {10.1145/3226595.3226641},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/X14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/19/X14a,
  editor       = {Michael L. Brodie},
  title        = {References},
  booktitle    = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  pages        = {635--644},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595.3226642},
  doi          = {10.1145/3226595.3226642},
  timestamp    = {Sun, 13 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/mc/19/X14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mc/B2019,
  editor       = {Michael L. Brodie},
  title        = {Making Databases Work: the Pragmatic Wisdom of Michael Stonebraker},
  series       = {{ACM} Books},
  volume       = {22},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2019},
  url          = {https://doi.org/10.1145/3226595},
  doi          = {10.1145/3226595},
  isbn         = {978-1-94748-719-2},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/B2019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/Borraz-SanchezKPA18,
  author       = {Conrado Borraz{-}S{\'{a}}nchez and
                  Diego Klabjan and
                  Emir Pasalic and
                  Molham Aref},
  editor       = {Michael Kifer and
                  Yanhong Annie Liu},
  title        = {SolverBlox: algebraic modeling in datalog},
  booktitle    = {Declarative Logic Programming: Theory, Systems, and Applications},
  series       = {{ACM} Books},
  volume       = {20},
  pages        = {331--354},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191315.3191322},
  doi          = {10.1145/3191315.3191322},
  timestamp    = {Fri, 18 Aug 2023 18:13:14 +0200},
  biburl       = {https://dblp.org/rec/books/mc/18/Borraz-SanchezKPA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/Cat0BJD18,
  author       = {Broes De Cat and
                  Bart Bogaerts and
                  Maurice Bruynooghe and
                  Gerda Janssens and
                  Marc Denecker},
  editor       = {Michael Kifer and
                  Yanhong Annie Liu},
  title        = {Predicate logic as a modeling language: the {IDP} system},
  booktitle    = {Declarative Logic Programming: Theory, Systems, and Applications},
  series       = {{ACM} Books},
  volume       = {20},
  pages        = {279--323},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191315.3191321},
  doi          = {10.1145/3191315.3191321},
  timestamp    = {Thu, 27 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/18/Cat0BJD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/ChristiansenD18,
  author       = {Henning Christiansen and
                  Ver{\'{o}}nica Dahl},
  editor       = {Michael Kifer and
                  Yanhong Annie Liu},
  title        = {Natural language processing with (tabled and constraint) logic programming},
  booktitle    = {Declarative Logic Programming: Theory, Systems, and Applications},
  series       = {{ACM} Books},
  volume       = {20},
  pages        = {477--511},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191315.3191325},
  doi          = {10.1145/3191315.3191325},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/18/ChristiansenD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/Liu18,
  author       = {Yanhong A. Liu},
  editor       = {Michael Kifer and
                  Yanhong Annie Liu},
  title        = {Logic programming applications: what are the abstractions and implementations?},
  booktitle    = {Declarative Logic Programming: Theory, Systems, and Applications},
  series       = {{ACM} Books},
  volume       = {20},
  pages        = {519--548},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191315.3191326},
  doi          = {10.1145/3191315.3191326},
  timestamp    = {Thu, 27 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/18/Liu18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/MaierTKW18,
  author       = {David Maier and
                  K. Tuncay Tekle and
                  Michael Kifer and
                  David Scott Warren},
  editor       = {Michael Kifer and
                  Yanhong Annie Liu},
  title        = {Datalog: concepts, history, and outlook},
  booktitle    = {Declarative Logic Programming: Theory, Systems, and Applications},
  series       = {{ACM} Books},
  volume       = {20},
  pages        = {3--100},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191315.3191317},
  doi          = {10.1145/3191315.3191317},
  timestamp    = {Fri, 28 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/18/MaierTKW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/PaluDFP18,
  author       = {Alessandro Dal Pal{\`{u}} and
                  Agostino Dovier and
                  Andrea Formisano and
                  Enrico Pontelli},
  editor       = {Michael Kifer and
                  Yanhong Annie Liu},
  title        = {Exploring life: answer set programming in bioinformatics},
  booktitle    = {Declarative Logic Programming: Theory, Systems, and Applications},
  series       = {{ACM} Books},
  volume       = {20},
  pages        = {359--412},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191315.3191323},
  doi          = {10.1145/3191315.3191323},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/18/PaluDFP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/Ramakrishnan18,
  author       = {C. R. Ramakrishnan},
  editor       = {Michael Kifer and
                  Yanhong Annie Liu},
  title        = {State-space search with tabled logic programs},
  booktitle    = {Declarative Logic Programming: Theory, Systems, and Applications},
  series       = {{ACM} Books},
  volume       = {20},
  pages        = {427--472},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191315.3191324},
  doi          = {10.1145/3191315.3191324},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/18/Ramakrishnan18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/RiguzziS18,
  author       = {Fabrizio Riguzzi and
                  Theresa Swift},
  editor       = {Michael Kifer and
                  Yanhong Annie Liu},
  title        = {A survey of probabilistic logic programming},
  booktitle    = {Declarative Logic Programming: Theory, Systems, and Applications},
  series       = {{ACM} Books},
  volume       = {20},
  pages        = {185--228},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191315.3191319},
  doi          = {10.1145/3191315.3191319},
  timestamp    = {Thu, 27 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/18/RiguzziS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/Truszczynski18,
  author       = {Miroslaw Truszczynski},
  editor       = {Michael Kifer and
                  Yanhong Annie Liu},
  title        = {An introduction to the stable and well-founded semantics of logic
                  programs},
  booktitle    = {Declarative Logic Programming: Theory, Systems, and Applications},
  series       = {{ACM} Books},
  volume       = {20},
  pages        = {121--177},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191315.3191318},
  doi          = {10.1145/3191315.3191318},
  timestamp    = {Thu, 27 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/18/Truszczynski18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/Warren18,
  author       = {David Scott Warren},
  editor       = {Michael Kifer and
                  Yanhong Annie Liu},
  title        = {{WAM} for everyone: a virtual machine for logic programming},
  booktitle    = {Declarative Logic Programming: Theory, Systems, and Applications},
  series       = {{ACM} Books},
  volume       = {20},
  pages        = {237--277},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191315.3191320},
  doi          = {10.1145/3191315.3191320},
  timestamp    = {Thu, 27 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/18/Warren18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/X18,
  editor       = {Michael Kifer and
                  Yanhong Annie Liu},
  title        = {Preface},
  booktitle    = {Declarative Logic Programming: Theory, Systems, and Applications},
  series       = {{ACM} Books},
  volume       = {20},
  pages        = {xvii--xx},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191315.3191316},
  doi          = {10.1145/3191315.3191316},
  timestamp    = {Thu, 27 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/18/X18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mc/18/KL2018,
  editor       = {Michael Kifer and
                  Yanhong Annie Liu},
  title        = {Declarative Logic Programming: Theory, Systems, and Applications},
  series       = {{ACM} Books},
  volume       = {20},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2018},
  url          = {https://doi.org/10.1145/3191315},
  doi          = {10.1145/3191315},
  isbn         = {978-1-97000-199-0},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/mc/18/KL2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/Stump16,
  author       = {Aaron Stump},
  title        = {Verified Functional Programming in Agda},
  series       = {{ACM} Books},
  volume       = {9},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2841316},
  doi          = {10.1145/2841316},
  isbn         = {978-1-970001-27-3},
  timestamp    = {Sat, 19 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/Stump16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/acm/L15,
  author       = {Bernadette Longo},
  title        = {Edmund Berkeley and the Social Responsibility of Computer Professionals},
  series       = {{ACM} Books},
  volume       = {6},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2787754},
  doi          = {10.1145/2787754},
  isbn         = {978-1-97000-139-6},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/acm/L15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0034575,
  author       = {Bryan Parno},
  title        = {Trust Extension as a Mechanism for Secure Code Execution on Commodity
                  Computers (dissertation, updated version)},
  series       = {{ACM} Books},
  volume       = {2},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2014},
  url          = {https://dl.acm.org/doi/book/10.1145/2611399},
  doi          = {10.1145/2611399},
  isbn         = {978-1-62705-477-5},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0034575.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0034577,
  author       = {Seth Cooper},
  title        = {A Framework for Scientific Discovery through Video Games (dissertation,
                  updated version)},
  series       = {{ACM} Books},
  volume       = {3},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2014},
  url          = {https://dl.acm.org/doi/book/10.1145/2625848},
  doi          = {10.1145/2625848},
  isbn         = {978-1-627-05504-8},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0034577.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0034578,
  author       = {Shyamnath Gollakota},
  title        = {Embracing Interference in Wireless Systems (dissertation, updated
                  version)},
  series       = {{ACM} Books},
  volume       = {1},
  publisher    = {{ACM} / Morgan {\&} Claypool},
  year         = {2014},
  url          = {https://dl.acm.org/doi/book/10.1145/2611390},
  doi          = {10.1145/2611390},
  isbn         = {978-1-627-05474-4},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0034578.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics