thesis/bibliography.bib

% The example bibliographical entries below were borrowed from the
% <https://www.ctan.org/pkg/biblatex-iso690> package documentation.

@article{wavl,
    author = {Haeupler, Bernhard and Sen, Siddhartha and Tarjan, Robert E.},
    title = {Rank-Balanced Trees},
    year = {2015},
    issue_date = {June 2015},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    volume = {11},
    number = {4},
    issn = {1549-6325},
    url = {https://doi.org/10.1145/2689412},
    doi = {10.1145/2689412},
    abstract = {Since the invention of AVL trees in 1962, many kinds of binary search trees have been proposed. Notable are red-black trees, in which bottom-up rebalancing after an insertion or deletion takes O(1) amortized time and O(1) rotations worst-case. But the design space of balanced trees has not been fully explored. We continue the exploration. Our contributions are three: We systematically study the use of ranks and rank differences to define height-based balance in binary trees. Different invariants on rank differences yield AVL trees, red-black trees, and other kinds of balanced trees. By relaxing AVL trees, we obtain a new kind of balanced binary tree, the weak AVL tree (wavl tree), whose properties we develop. Bottom-up rebalancing after an insertion or deletion takes O(1) amortized time and at most two rotations, improving the three or more rotations per deletion needed in all other kinds of balanced trees of which we are aware. The height bound of a wavl tree degrades gracefully from that of an AVL tree as the number of deletions increases and is never worse than that of a red-black tree. Wavl trees also support top-down, fixed look-ahead rebalancing in O(1) amortized time. Finally, we use exponential potential functions to prove that in wavl trees rebalancing steps occur exponentially infrequently in rank. Thus, most of the rebalancing is at the bottom of the tree, which is crucial in concurrent applications and in those in which rotations take time that depends on the subtree size.},
    journal = {ACM Trans. Algorithms},
    month = {6},
    articleno = {30},
    numpages = {26},
    keywords = {data structures, exponential potential function, red-black trees, AVL trees, search trees, Balanced binary trees, amortized complexity}
}

@article{ravl,
    author = {Sen, Siddhartha and Tarjan, Robert E. and Kim, David Hong Kyun},
    title = {Deletion Without Rebalancing in Binary Search Trees},
    year = {2016},
    issue_date = {September 2016},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    volume = {12},
    number = {4},
    issn = {1549-6325},
    url = {https://doi.org/10.1145/2903142},
    doi = {10.1145/2903142},
    abstract = {We address the vexing issue of deletions in balanced trees. Rebalancing after a deletion is generally more complicated than rebalancing after an insertion. Textbooks neglect deletion rebalancing, and many B-tree--based database systems do not do it. We describe a relaxation of AVL trees in which rebalancing is done after insertions but not after deletions, yet worst-case access time remains logarithmic in the number of insertions. For any application of balanced trees in which the number of updates is polynomial in the tree size, our structure offers performance competitive with that of classical balanced trees. With the addition of periodic rebuilding, the performance of our structure is theoretically superior to that of many, if not all, classic balanced tree structures. Our structure needs lg lg m+ 1 bits of balance information per node, where m is the number of insertions and lg is the base-two logarithm, or lg lg n+ O(1) with periodic rebuilding, where n is the number of nodes. An insertion takes up to two rotations and O(1) amortized time, not counting the time to find the insertion position. This is the same as in standard AVL trees. Using an analysis that relies on an exponential potential function, we show that rebalancing steps occur with a frequency that is exponentially small in the height of the affected node. Our techniques apply to other types of balanced trees, notably B-trees, as we show in a companion article, and particularly red-black trees, which can be viewed as a special case of B-trees.},
    journal = {ACM Trans. Algorithms},
    month = {sep},
    articleno = {57},
    numpages = {31},
    keywords = {Balanced trees, exponential potential function, amortized complexity, algorithm, data structure, database access methods}
}

@INPROCEEDINGS{rbtree,
    author={Guibas, Leo J. and Sedgewick, Robert},
    booktitle={19th Annual Symposium on Foundations of Computer Science (sfcs 1978)}, 
    title={A dichromatic framework for balanced trees}, 
    year={1978},
    volume={},
    number={},
    pages={8-21},
    doi={10.1109/SFCS.1978.3}
}

@inproceedings{btree,
    author = {Bayer, R. and McCreight, E.},
    title = {Organization and Maintenance of Large Ordered Indices},
    year = {1970},
    isbn = {9781450379410},
    publisher = {Association for Computing Machinery},
    address = {New York, NY, USA},
    url = {https://doi.org/10.1145/1734663.1734671},
    doi = {10.1145/1734663.1734671},
    abstract = {Organization and maintenance of an index for a dynamic random access file is considered. It is assumed that the index must be kept on some pseudo random access backup store like a disc or a drum. The index organization described allows retrieval, insertion, and deletion of keys in time proportional to logk I where I is the size of the index and k is a device dependent natural number such that the performance of the scheme becomes near optimal. Storage utilization is at least 50\% but generally much higher. The pages of the index are organized in a special data-structure, so-called B-trees. The scheme is analyzed, performance bounds are obtained, and a near optimal k is computed. Experiments have been performed with indices up to 100,000 keys. An index of size 15,000 (100,000) can be maintained with an average of 9 (at least 4) transactions per second on an IBM 360/44 with a 2311 disc.},
    booktitle = {Proceedings of the 1970 ACM SIGFIDET (Now SIGMOD) Workshop on Data Description, Access and Control},
    pages = {107–141},
    numpages = {35},
    keywords = {key deletion, paging, information retrieval, data structures, key insertion, random access files, dynamic index maintenance, key retrieval},
    location = {Houston, Texas},
    series = {SIGFIDET '70}
}

@book{knuth1998art,
    title={The Art of Computer Programming: Volume 3: Sorting and Searching},
    author={Knuth, D.E.},
    isbn={9780321635785},
    url={https://books.google.cz/books?id=cYULBAAAQBAJ},
    year={1998},
    publisher={Pearson Education}
}

@Book{cormen2009introduction,
    author = {Cormen, Thomas},
    title = {Introduction to algorithms},
    publisher = {MIT Press},
    year = {2009},
    address = {Cambridge, Mass},
    isbn = {9780262033848}
 }

@Book{labyrint,
    author = {Mareš, Martin and Valla, Tomáš},
    title = {Průvodce labyrintem algoritmů},
    publisher = {CZ.NIC, z.s.p.o.},
    year = {2017},
    isbn = {9788088168225},
    url = {http://pruvodce.ucw.cz}
}

@article{hypothesis,
    author = {MacIver, David R. and Hatfield-Dodds, Zac and {many other contributors}},
    doi = {10.21105/joss.01891},
    month = {11},
    title = {{Hypothesis: A new approach to property-based testing}},
    year = {2019}
}

@ONLINE{ib002,
  title     = {Algoritmy a datové struktury I},
  url       = {https://is.muni.cz/predmet/fi/jaro2022/IB002},
  urldate   = {2022-05-01},
  location  = {Brno},
  langid    = {czech}
}

@ONLINE{ib111,
  title     = {Základy programování},
  url       = {https://is.muni.cz/predmet/fi/podzim2021/IB111},
  urldate   = {2022-05-01},
  location  = {Brno},
  langid    = {czech}
}

%% EXAMPLES FOLLOW %%

% BORGMAN, Christine L., 2003. From Gutenberg to the global information
% infrastructure: access to information in the networked world. First. Cambridge
% (Mass): The MIT Press. ISBN 0-262-52345-0 [xviii, 324]

@BOOK{borgman03,
  author    = {Borgman, Christine L.},
  date      = {2003},
  title     = {From Gutenberg to the global information infrastructure},
  subtitle  = {access to information in the networked world},
  edition   = {1}, % should not be stated
  location  = {Cambridge (Mass)},
  publisher = {The MIT Press},
  pagetotal = {xviii, 324},
  isbn      = {0-262-52345-0},
  langid    = {english}
}

% GREENBERG, David, 1998. Camel drivers and gatecrashers: quality control in
% the digital research library. In: HAWKINS, B.L et al. (eds.). The mirage of
% continuity: reconfiguring academic information resources for the 21st
% century.  Washington (D.C.): Council on Library and Information Resources;
% Association of American Universities, pp. 105–116

@INCOLLECTION{greenberg98,
  crossref  = {mirage98},
  author    = {Greenberg, David},
  title     = {Camel drivers and gatecrashers},
  subtitle  = {quality control in the digital research library},
  pages     = {105-116},
}

@COLLECTION{mirage98,
  title     = {The mirage of continuity},
  subtitle  = {reconfiguring academic information
               resources for the 21st century},
  editor    = {Hawkins, B.L and Battin, P},
  date      = {1998},
  location  = {Washington (D.C.)},
  publisher = {Council on Library and Information Resources;
               Association of American Universities},
  langid    = {english}
}

% LYNCH, C., 2005. Where do we go from here?: the next decade for digital
% libraries. DLib Magazine [online]. Vol. 11, no. 7/8 [visited on 2005-08-15].
% ISSN 1082-9873.  Available from:
% http://www.dlib.org/dlib/july05/lynch/07lynch.html

@ARTICLE{lynch05,
  crossref = {dlib},
  author   = {Lynch, C.},
  title    = {Where do we go from here?},
  subtitle = {the next decade for digital libraries},
  url      = {http://www.dlib.org/dlib/july05/lynch/07lynch.html},
  urldate  = {2005-08-15}
}

@PERIODICAL{dlib,
  journaltitle = {DLib Magazine},
  date         = {2005},
  volume       = {11},
  number       = {7/8},
  issn         = {1082-9873},
  langid       = {english},
}

% HÀN, Thé Thành, 2001. Micro-typographic extensions to the TEX type- setting
% system [online]. Brno [visited on 2016-12-09]. Available from:
% http://www.pragma-ade.nl/pdftex/thesis.pdf. PhD thesis. The Faculty of
% Informatics, Masaryk University.

@PHDTHESIS{thanh01,
  author      = {Hàn Thé, Thành},
  title       = {Micro-typographic extensions to the \TeX{} typesetting system},
  date        = {2001},
  institution = {The Faculty of Informatics, Masaryk University},
  location    = {Brno},
  url         = {http://www.pragma-ade.nl/pdftex/thesis.pdf},
  urldate     = {2016-12-09},
  langid      = {english}
}

% SHANNON, Claude Elwood, 1940. A symbolic analysis of relay and switching
% circuits. Available from DOI: 1721.1/11173. Master’s thesis.  Massachusetts
% Institute of Technology.

@MASTERSTHESIS{shannon40,
  author      = {Shannon, Claude Elwood},
  title       = {A symbolic analysis of relay and switching circuits},
  date        = {1940},
  institution = {Massachusetts Institute of Technology},
  langid      = {english},
  doi         = {1721.1/11173},
}

% EHLINGER JR., Philip Charles. Device for the treatment of hiccups. US.
% US Patent, 7062320.

@PATENT{ehlinger06,
  author   = {Ehlinger Jr., Philip Charles},
  title    = {Device for the treatment of hiccups},
  type     = {US Patent},
  location = {US},
  date     = {2006},
  number   = {7062320},
  langid   = {english}
}

% Masaryk University, 1996–2009 [online]. Brno: Masaryk University
% [visited on 2016-12-09]. Available from: https://www.muni.cz/en.

@ONLINE{muni,
  publisher = {Masaryk University},
  title     = {Masaryk University},
  date      = {1996/2009},
  url       = {https://www.muni.cz/en},
  urldate   = {2016-12-09},
  location  = {Brno},
  langid    = {english}
}