]> mj.ucw.cz Git - saga.git/blobdiff - biblio.bib
Final final fixes to bibliography.
[saga.git] / biblio.bib
index 37f4677eb3a286fc77121eaf9320ef71ac9904ff..765bf723ce34b59f47b7c7315ee55a814b743992 100644 (file)
@@ -4,7 +4,8 @@
     booktitle = "Latin American Theoretical {INformatics}",
     pages = "88--94",
     year = "2000",
-    url = "citeseer.ist.psu.edu/bender00lca.html" }
+    url = "citeseer.ist.psu.edu/bender00lca.html"
+}
 
 @article{ frederickson:ambivalent,
   author = "Frederickson, Greg N.",
@@ -14,7 +15,6 @@
   number={2},
   pages={484--538},
   year={1997},
-  publisher={Society for Industrial and Applied Mathematics}
 }
 
 @inproceedings{ frederickson:ambifocs,
@@ -23,7 +23,8 @@
     booktitle = "{IEEE} Symposium on Foundations of Computer Science",
     pages = "632--641",
     year = "1991",
-    url = "citeseer.ist.psu.edu/frederickson91ambivalent.html" }
+    url = "citeseer.ist.psu.edu/frederickson91ambivalent.html"
+}
 
 @article{ tarjan:wcsetunion,
  author = {Robert E. Tarjan and Jan van Leeuwen},
@@ -35,8 +36,6 @@
  issn = {0004-5411},
  pages = {245--281},
  doi = {http://doi.acm.org/10.1145/62.2160},
- publisher = {ACM Press},
- address = {New York, NY, USA},
 }
 
 @article{ tarjan:setunion,
   number={2},
   pages={215--225},
   year={1975},
-  publisher={ACM Press New York, NY, USA}
 }
 
 @inproceedings { fw:transdich,
    author = "M. Fredman and D. E. Willard",
    title = "{Trans-dichotomous algorithms for minimum spanning trees and shortest paths}",
-   booktitle={FOCS '90: Proceedings of the 31st Annual Symposium on Foundations of Computer Science},
+   booktitle={FOCS '90: Proceedings of the 31st Annual IEEE Symposium on Foundations of Computer Science},
    pages = "719--725",
    year = "1990"
 }
 
 @article{ boas:vebt,
   author    = {Peter van Emde Boas},
-  title     = {Preserving Order in a Forest in Less Than Logarithmic Time
-               and Linear Space.},
-  journal   = {Inf. Process. Lett.},
+  title     = {Preserving Order in a Forest in Less Than Logarithmic Time and Linear Space},
+  journal   = {Information Processing Letters},
   volume    = {6},
   number    = {3},
   year      = {1977},
@@ -91,7 +88,7 @@
 @article{ chazelle:ackermann,
     author = "Bernard Chazelle",
     title = "{A Minimum Spanning Tree Algorithm with Inverse-Ackermann Type Complexity}",
-    journal = jacm,
+    journal = "Journal of the ACM",
     volume = "47",
     number = {6},
     pages = "1028--1047",
 
 @inproceedings{ chazelle:almostacker,
   title={{A faster deterministic algorithm for minimum spanning trees}},
-  author={Chazelle, B.},
-  booktitle={FOCS '97: Proceedings of the 38th Annual Symposium on Foundations of Computer Science},
+  author={Chazelle, Bernard},
+  booktitle={FOCS '97: Proceedings of the 38th Annual IEEE Symposium on Foundations of Computer Science},
   pages={22},
   year={1997},
 }
     author = "Jaroslav Ne{\v{s}}et{\v{r}}il",
     title = "{Some remarks on the history of MST-problem}",
     journal = "Archivum Mathematicum",
+    publisher = "Masaryk University",
+    address = "Brno, Czech Republic",
     volume = "33",
     pages = "15--22",
     year = "1997"
 @article { jarnik:ojistem,
     author = "Vojt\v{e}ch Jarn\'\i{}k",
     title = "{O jist\'em probl\'emu minim\'aln\'\i{}m (About a Certain Minimal Problem)}",
-    journal = "Pr\'ace mor. p\v{r}\'\i{}rodov\v{e}d. spol. v~Brn\v{e}",
+    journal = "Pr\'ace moravsk\'e p\v{r}\'\i{}rodov\v{e}deck\'e spole\v{c}nosti v~Brn\v{e}",
     volume = "VI",
     year = "1930",
     pages = "57--63",
 @book { tarjan:dsna,
     author = "Robert E. Tarjan",
     title = "{Data structures and network algorithms}",
-    series = "{CMBS-NSF Regional Conf. Series in Appl. Math.}",
+    series = "{CMBS-NSF Regional Conference Series in Applied Mathematics}",
     volume = 44,
     year = "1983",
-    publisher = "SIAM"
+    publisher = "Society for Industrial and Applied Mathematics"
 }
 
 @techreport { pettie:ackermann,
     author = "Seth Pettie",
-    title = "{Finding minimum spanning trees in $\O(m\alpha(m,n))$ time}",
-    institution = "Univ. of Texas at Austin",
+    title = "{Finding minimum spanning trees in $\O(m\timesalpha(m,n))$ time}",
+    institution = "University of Texas at Austin",
     year = "1999",
     number = "TR99-23",
     type = "Tech Report"
    title = "{An Optimal Minimum Spanning Tree Algorithm}",
    booktitle = "{Proceedings of ICALP 2000}",
    year = "2000",
-   publisher = "Springer Verlag",
    pages = "49--60"
 }
 
 @article { karger:randomized,
    author = "D. R. Karger and P. N. Klein and R. E. Tarjan",
    title = "{A Randomized Linear-Time Algorithm to Find Minimum Spanning Trees}",
-   journal = jacm,
+   journal = "Journal of the ACM",
    volume = "42",
    number = "2",
    pages = "321--328",
 @inproceedings { karger:sampling,
    title={Random sampling in matroids, with applications to graph connectivity and minimum spanning trees},
    author={Karger, D. R.},
-   booktitle={Proceedings of the 34th Annual Symposium on Foundations of Computer Science},
+   booktitle={FOCS '93: Proceedings of the 34th Annual IEEE Symposium on Foundations of Computer Science},
    year={1993},
    pages={84--93}
 }
   number={6},
   pages={303--304},
   year={1998},
-  publisher={Elsevier}
 }
 
 @article { frederickson:online,
    author = "Martin Mare\v{s}",
    title = "{Two linear time algorithms for MST on minor closed graph classes}",
    journal = "{Archivum Mathematicum}",
+   publisher = "Masaryk University",
+   address = "Brno, Czech Republic",
    volume = "40",
    pages = "315--320",
    year = "2004"
   booktitle = "Algorithms --- ESA 2007: 15th Annual European Symposium",
   location = "Eilat, Israel, October 8--10, 2007",
   volume = "4698",
-  series = "Lecture Notes in Computer Science",
+  series = {{Lecture Notes in Computer Science}},
   pages = "187--193",
-  publisher = "Springer",
+  publisher = "Springer Verlag",
   year = "2007",
 }
 
 @inproceedings{ king:verify,
     author = "Valerie King",
     title = "A Simpler Minimum Spanning Tree Verification Algorithm",
-    booktitle = "Workshop on Algorithms and Data Structures",
+    booktitle = "{Algorithms and Data Structures --- WADS '95: 4th International Workshop}",
     pages = "440--448",
     year = "1995",
-    url = "citeseer.ist.psu.edu/king95simpler.html" }
+    location = "Kingston, Canada",
+    volume = "955",
+    series = "Lecture Notes in Computer Science",
+    publisher = "Springer Verlag",
+    url = "citeseer.ist.psu.edu/king95simpler.html"
+}
 
 @article{ king:verifytwo,
   title={{A Simpler Minimum Spanning Tree Verification Algorithm}},
 @inproceedings{ thorup:aczero,
  author = {Mikkel Thorup},
  title = {{On ${\rm AC}^0$ Implementations of Fusion Trees and Atomic Heaps}},
- booktitle = {SODA '03: Proceedings of the 14th annual ACM-SIAM symposium on Discrete algorithms},
+ booktitle = {SODA 2003: Proceedings of the 14th annual ACM-SIAM Symposium on Discrete algorithms},
  year = {2003},
  isbn = {0-89871-538-5},
  pages = {699--707},
  location = {Baltimore, Maryland},
- publisher = {Society for Industrial and Applied Mathematics},
- address = {Philadelphia, PA, USA},
 }
 
 @article{ kruskal:mst,
   title={{On the Shortest Spanning Subtree of a Graph and the Traveling Salesman Problem}},
-  author={Kruskal Jr, J. B.},
+  author={Kruskal, Jr, J. B.},
   journal={Proceedings of the American Mathematical Society},
   volume={7},
   number={1},
   pages={48--50},
   year={1956},
-  publisher={JSTOR}
 }
 
 @book{ diestel:gt,
   title={{Graph Theory}},
   author={Diestel, R.},
   year={2005},
-  publisher={Springer-Verlag}
+  publisher={Springer Verlag}
 }
 
 @article{ graham:msthistory,
   number={1},
   pages={269--271},
   year={1959},
-  publisher={Springer}
+  publisher={Springer Verlag}
 }
 
 @article{ prim:mst,
   location={Tokyo, Japan},
   year={1999},
   pages={41--50},
-  publisher={Springer},
+  publisher={Springer Verlag},
   series={{Lecture Notes in Computer Science}},
   volume={1627}
 }
   location={Sydney, Australia},
   year={2000},
   pages={362--372},
-  publisher={Springer},
+  publisher={Springer Verlag},
   series={{Lecture Notes in Computer Science}},
   volume={1858}
 }
   author = "S. Pettie",
   title = "An inverse-{A}ckermann style lower bound for the online minimum spanning
     tree verification problem",
-  booktitle = "Proc. 43rd Annual Symp. on the Foundations of Computer Science, Vancouver, Canada",
+  booktitle = "FOCS 2002: Proceedings of the 43rd Annual IEEE Symposium on Foundations of Computer Science",
   year = "2002",
   url = "citeseer.ist.psu.edu/article/pettie02inverseackermann.html"
 }
 @inproceedings{ pettie:minirand,
  author = {Seth Pettie and Vijaya Ramachandran},
  title = {Minimizing randomness in minimum spanning tree, parallel connectivity, and set maxima algorithms},
- booktitle = {SODA '02: Proceedings of the 13th annual ACM-SIAM Symposium on Discrete Algorithms},
+ booktitle = {SODA 2002: Proceedings of the 13th annual ACM-SIAM Symposium on Discrete Algorithms},
  year = {2002},
  isbn = {0-89871-513-X},
  pages = {713--722},
  location = {San Francisco, California},
- publisher = {Society for Industrial and Applied Mathematics},
- address = {Philadelphia, PA, USA}
 }
 
 @inproceedings{ buchsbaum:verify,
   number={1},
   pages={57--74},
   year={1997},
-  publisher={Elsevier}
 }
 
 @inproceedings{ katriel:cycle,
   author = "I. Katriel and P. Sanders and J. Tr{\"a}ff",
   title = "A practical minimum spanning tree algorithm using the cycle property",
-  booktitle = "11th European Symposium on Algorithms (ESA)",
-  number = "2832",
-  series = "LNCS",
+  booktitle = "Algorithms --- ESA 2003: 11th European Symposium",
+  volume = "2832",
+  series = "Lecture Notes in Computer Science",
   pages = "679--690",
-  publisher = "Springer",
+  publisher = "Springer Verlag",
   year = "2003",
   url = "citeseer.ist.psu.edu/katriel03practical.html"
 }
 @article{ alstrup:nca,
   title={{Nearest Common Ancestors: A Survey and a new Distributed Algorithm}},
   author={Alstrup, S. and Gavoille, C. and Kaplan, H. and Rauhe, T.},
-  journal={Proceedings of the 14th annual ACM symposium on Parallel algorithms and architectures},
+  journal={Proceedings of the 14th annual ACM Symposium on Parallel algorithms and architectures},
   pages={258--264},
   year={2002},
 }
   number={2},
   pages={109--122},
   year={1986},
-  publisher={Springer}
 }
 
-@Unpublished{ eisner:tutorial,
+@online{ eisner:tutorial,
   author =      {Jason Eisner},
   title =       {{State-of-the-Art Algorithms for Minimum Spanning
                   Trees: A~Tutorial Discussion}},
-  note =        {Manuscript available online (78 pages), University of Pennsylvania}, 
+  note =        {Manuscript available online (78 pages), University of Pennsylvania},
   year =        1997,
-  url =                 {http://cs.jhu.edu/~jason/papers/#ms97},
+  url =                 {http://cs.jhu.edu/{\char126}jason/papers/\#ms97},
 }
 
 @article{ aho:lca,
  year = {1997},
  isbn = {0-201-89683-4},
  publisher = {Addison Wesley Longman Publishing Co., Inc.},
- address = {Redwood City, CA, USA},
 }
 
 @book{ knuth:seminalg,
  year = {1997},
  isbn = {978-0-201-89684-8},
  publisher = {Addison Wesley Longman Publishing Co., Inc.},
- address = {Redwood City, CA, USA},
 }
 
 @book{ knuth:sas,
   year = {1998},
   isbn = {978-0-201-89685-5},
   publisher = {Addison Wesley Longman Publishing Co., Inc.},
-  address = {Redwood City, CA, USA},
 }
 
 @inproceedings{ hagerup:wordram,
  author = {Torben Hagerup},
  title = {{Sorting and Searching on the Word RAM}},
- booktitle = {STACS '98: Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science},
+ booktitle = {STACS '98: Proceedings of the 15th annual Symposium on Theoretical Aspects of Computer Science},
  year = {1998},
  isbn = {3-540-64230-7},
  pages = {366--398},
   number={3},
   pages={538--544},
   year={1984},
-  publisher={ACM Press New York, NY, USA}
 }
 
 @book{ motwani:randalg,
   number={3},
   pages={424--436},
   year={1993},
-  publisher={Academic Press, Inc. Orlando, FL, USA}
 }
 
-@article{ han:detsort,
+@inproceedings{ han:detsort,
   title={{Deterministic sorting in $\O(n \log\log n)$ time and linear space}},
   author={Han, Y.},
-  journal={Proceedings of the 34th annual ACM Symposium on Theory of Computing},
+  booktitle={STOC 2002: Proceedings of the 34th annual ACM Symposium on Theory of Computing},
   pages={602--608},
   year={2002},
 }
 @inproceedings{ hanthor:randsort,
   title={{Integer Sorting in $\O(n\sqrt{\log\log n})$ Expected Time and Linear Space}},
   author={Han, Y. and Thorup, M.},
-  booktitle={Proceedings of the 43rd Symposium on Foundations of Computer Science},
+  booktitle={FOCS 2002: Proceedings of the 43rd Annual IEEE Symposium on Foundations of Computer Science},
   pages={135--144},
   year={2002},
 }
 
-@article{ ito:newrap,
+@inproceedings{ ito:newrap,
   title={{Efficient Initial Approximation and Fast Converging Methods for Division and Square Root}},
   author={Ito, M. and Takagi, N. and Yajima, S.},
-  journal={Proc. 12th IEEE Symp. Computer Arithmetic},
+  booktitle={Proceedings of the 12th IEEE Symposium on Computer Arithmetic},
   pages={2--9},
   year={1995}
 }
   number={4},
   pages={265--268},
   year={1967},
-  publisher={Springer},
+  publisher={Springer Verlag},
   note={In German}
 }
 
 @inproceedings{ gustedt:parallel,
     author = "Jens Gustedt",
     title = "Minimum Spanning Trees for Minor-Closed Graph Classes in Parallel",
-    booktitle = "Symposium on Theoretical Aspects of Computer Science",
+    booktitle = "STACS '98: Proceedings of the 15th annual Symposium on Theoretical Aspects of Computer Science",
     pages = "421-431",
     year = "1998",
     url = "citeseer.ist.psu.edu/223918.html"
 @article{ ruskey:ham,
   title={{The Hamiltonicity of directed-Cayley graphs (or: A tale of backtracking)}},
   author={Ruskey, F. and Jiang, M. and Weston, A.},
-  journal={Discrete Appl. Math},
+  journal={Discrete Applied Mathematics},
   volume={57},
   pages={75--83},
   year={1995}
 }
 
 @article{ ruskey:hce,
-  title={{Hamilton Cycles that Extend Transposition Matchings in Cayley Graphs of Sn}},
+  title={{Hamilton Cycles that Extend Transposition Matchings in Cayley Graphs of $S_n$}},
   author={Ruskey, F. and Savage, C. D.},
   journal={SIAM Journal on Discrete Mathematics},
   volume={6},
   title={{Combinatorial Algorithms: Theory and Practice}},
   author={Reingold, E. M.},
   year={1977},
-  publisher={Prentice Hall College Div}
+  publisher={Prentice Hall College Div.}
 }
 
 @inproceedings{ dietz:oal,
   number={2},
   pages={325--357},
   year={2004},
-  publisher={Academic Press, Inc. Orlando, FL, USA}
 }
 
 @book{ matnes:idm,
   publisher={Oxford University Press}
 }
 
-@article{ stanley:econe,
-  title={{Enumerative combinatorics. Vol. 1}},
+@book{ stanley:econe,
+  title={{Enumerative Combinatorics. Vol. 1 (2nd ed.)}},
   author={Stanley, R. P.},
-  journal={Cambridge Studies in Advanced Mathematics},
-  volume={49},
-  year={1997}
+  publisher={Cambridge University Press},
+  year={2000}
 }
 
 @article{ kaplansky:rooks,
   title={{The problem of the rooks and its applications}},
   author={Kaplansky, I. and Riordan, J.},
-  journal={Duke Math. J},
+  journal={Duke Mathematical Journal},
   volume={13},
   number={2},
   pages={259--268},
-  year={1946}
+  year={1946},
+  publisher={Duke University Press}
 }
 
 @article{ dinic:flow,
 @article{ even:dinic,
   author = {Shimon Even and Robert Endre Tarjan},
   title = {Network Flow and Testing Graph Connectivity},
-  publisher = {SIAM},
   year = {1975},
   journal = {SIAM Journal on Computing},
   volume = {4},
   year={2004}
 }
 
-@article{ kasteleyn:crystals,
+/* HACK: bibtex cannot handle a part of a book with its own name */
+@inproceedings{ kasteleyn:crystals,
   title={{Graph theory and crystal physics}},
   author={Kasteleyn, P. W.},
-  journal={Graph Theory and Theoretical Physics},
+  booktitle={Graph Theory and Theoretical Physics},
   publisher={Academic Press, London},
   pages={43--110},
   year={1967}
 }
 
-@article{ yuster:matching,
+@inproceedings{ yuster:matching,
   title={{Maximum matching in graphs with an excluded minor}},
   author={Yuster, R. and Zwick, U.},
-  journal={Proceedings of the 18th annual ACM-SIAM symposium on Discrete algorithms},
+  booktitle={SODA 2007: Proceedings of the 18th annual ACM-SIAM Symposium on Discrete Algorithms},
   pages={108--117},
   year={2007},
-  publisher={Society for Industrial and Applied Mathematics Philadelphia, PA, USA}
 }
 
 @article{ mucha:matching,
   number={1},
   pages={3--20},
   year={2006},
-  publisher={Springer}
 }
 
 @article {lovasz:minors,
   number={1-2},
   pages={337--344},
   year={1999},
-  publisher={Elsevier}
 }
 
 @article{ thorup:rampq,
   number={1},
   pages={86--109},
   year={2001},
-  publisher={Society for Industrial and Applied Mathematics}
 }
 
 @article{ thorup:pqsssp,
   title={{Integer priority queues with decrease key in constant time and the single source shortest paths problem}},
   author={Thorup, M.},
-  journal={Proceedings of the 35th ACM Symposium on Theory of Computing},
+  journal={STOC 2003: Proceedings of the 35th ACM Symposium on Theory of Computing},
   pages={149--158},
   year={2003},
 }
   volume={34},
   pages={1370},
   year={2005},
-  publisher={SIAM}
 }
 
 @inproceedings{ czumaj:metric,
  author = {Artur Czumaj and Christian Sohler},
  title = {Estimating the weight of metric minimum spanning trees in sublinear-time},
- booktitle = {STOC '04: Proceedings of the 36th annual ACM Symposium on Theory of Computing},
+ booktitle = {STOC 2004: Proceedings of the 36th annual ACM Symposium on Theory of Computing},
  year = {2004},
  isbn = {1-58113-852-0},
  pages = {175--183},
 
 @inproceedings{ czumaj:euclidean,
  author = {Artur Czumaj and Funda Erg\"{u}n and Lance Fortnow and Avner Magen and Ilan Newman and Ronitt Rubinfeld and Christian Sohler},
- title = {Sublinear-time approximation of Euclidean minimum spanning tree},
- booktitle = {SODA '03: Proceedings of the 14th annual ACM-SIAM symposium on Discrete algorithms},
+ title = {{Sublinear-time approximation of Euclidean minimum spanning tree}},
+ booktitle = {SODA 2003: Proceedings of the 14th annual ACM-SIAM Symposium on Discrete Algorithms},
  year = {2003},
  isbn = {0-89871-538-5},
  pages = {813--822},
- publisher = {Society for Industrial and Applied Mathematics},
 }
 
 @book{ ieee:binfp,
   number={2},
   pages={189--201},
   year={2000},
-  publisher={Academic Press}
 }
 
 @article{ shamos:closest,
   title={{Closest-point problems}},
   author={Shamos, M. I. and Hoey, D.},
-  journal={Proceedings of the 16th Annual IEEE Symposium on Foundations of Computer Science},
+  journal={FOCS '75: Proceedings of the 16th Annual IEEE Symposium on Foundations of Computer Science},
   pages={151--162},
   year={1975}
 }
   number={1},
   pages={153--174},
   year={1987},
-  publisher={Springer}
 }
 
 @article{ zhou:nodel,
   number={5},
   pages={271--276},
   year={2002},
-  publisher={Elsevier}
 }
 
 @techreport{ eppstein:spanning,
   number={2},
   pages={338--355},
   year={1984},
-  publisher={Society for Industrial and Applied Mathematics Philadelphia, PA, USA}
 }
 
 @article{ gomoryhu,
 
 @inproceedings{ bhalgat:ght,
  author = {Ramesh Hariharan and Telikepalli Kavitha and Debmalya Panigrahi and Anand Bhalgat},
- title = {{An $\widehat\O(mn)$ Gomory-Hu tree construction algorithm for unweighted graphs}},
- booktitle = {STOC '07: Proceedings of the 39th annual ACM Symposium on Theory of Computing},
+ title = {{An $\widetilde\O(mn)$ Gomory-Hu tree construction algorithm for unweighted graphs}},
+ booktitle = {STOC 2007: Proceedings of the 39th annual ACM Symposium on Theory of Computing},
  year = {2007},
  isbn = {978-1-59593-631-8},
  pages = {605--614},
   number={3},
   pages={362--391},
   year={1983},
-  publisher={Academic Press, Inc. Orlando, FL, USA}
 }
 
 @article{ chernoff,
  issn = {0196-6774},
  pages = {170--217},
  doi = {http://dx.doi.org/10.1006/jagm.1997.0917},
- publisher = {Academic Press, Inc.},
- address = {Duluth, MN, USA},
 }
 
 @article{ vuillemin:binheap,
   number={3},
   pages={141--146},
   year={1999},
-  publisher={Elsevier}
 }
 
 @inproceedings{ zemlay:treeiso,
   note={In Russian},
 }
 
-@article{ alstrup:marked,
+@inproceedings{ alstrup:marked,
   title={{Marked ancestor problems}},
   author={Alstrup, S. and Husfeldt, T. and Rauhe, T.},
-  journal={FOCS '98: Proceedings of the 39th Annual Symposium on Foundations of Computer Science},
+  booktitle={FOCS '98: Proceedings of the 39th Annual IEEE Symposium on Foundations of Computer Science},
   pages={534--543},
   year={1998}
 }
   number={1},
   pages={118--133},
   year={1928},
-  publisher={Springer},
+  publisher={Springer Verlag},
   notes={In German}
 }
 
   journal={INTEGERS: The Electronic Journal of Combinatorial Number Theory},
   volume={2},
   number={A11},
-  pages={2},
   year={2002}
 }
 
   pages = {345--354},
   location = {Seattle, Washington, United States},
   doi = {http://doi.acm.org/10.1145/73007.73040},
-  publisher = {ACM},
-  address = {New York, NY, USA},
 }
 
 @article{ henzinger:randdyn,
   number={4},
   pages={723--760},
   year={2001},
-  publisher={ACM Press New York, NY, USA}
 }
 
 @article{ frederickson:dynamic,
   number={5},
   pages={669--696},
   year={1997},
-  publisher={ACM Press New York, NY, USA}
 }
 
-@article{ henzinger:mst,
+@inproceedings{ henzinger:mst,
   title={{Maintaining minimum spanning trees in dynamic graphs}},
   author={Henzinger, M. R. and King, V.},
-  journal={Proceedings of the 24th International Colloquium on Automata, Languages and Programming},
+  booktitle={ICALP '97: Proceedings of the 24th International Colloquium on Automata, Languages and Programming},
   pages={594--604},
   year={1997},
-  publisher={Springer}
 }
 
 @mastersthesis { mares:dga,
-  title={{Dynamick\'e grafov\'e algoritmy}},
+  title={{Dynamick\'e grafov\'e algoritmy (Dynamic Graph Algorithms)}},
   author={Martin Mare\v{s}},
   school={Charles University in Prague, Faculty of Math and Physics},
   year={2000},
-  notes={In Czech}
+  note={In Czech}
 }
 
 @techreport{ henzinger:twoec,
   title = {Design of Dynamic Data Structures},
   year = {1987},
   isbn = {038712330X},
-  publisher = {Springer-Verlag New York, Inc.},
-  address = {Secaucus, NJ, USA},
+  publisher = {Springer Verlag},
   series={{Lecture Notes in Computer Science}},
   volume={156}
 }
   number={2},
   pages={237--248},
   year={1992},
-  publisher={Springer}
+  publisher={Springer Verlag}
 }
 
 @article{ katoh:ksmallest,
   volume={10},
   pages={247},
   year={1981},
-  publisher={SIAM}
 }
 
 @inproceedings{ thorup:nearopt,
  author = {Mikkel Thorup},
  title = {Near-optimal fully-dynamic graph connectivity},
- booktitle = {STOC '00: Proceedings of the 32nd annual ACM Symposium on Theory of Computing},
+ booktitle = {STOC 2000: Proceedings of the 32nd annual ACM Symposium on Theory of Computing},
  year = {2000},
  isbn = {1-58113-184-4},
  pages = {343--350},
  location = {Portland, Oregon, United States},
  doi = {http://doi.acm.org/10.1145/335305.335345},
- publisher = {ACM},
- address = {New York, NY, USA},
 }
 
 @article{ henzinger:lowerbounds,
   number={3},
   pages={351--362},
   year={1998},
-  publisher={Springer}
 }
 
 @article{ thorup:usssp,
   issn = {0022-0000},
   pages = {330--353},
   doi = {http://dx.doi.org/10.1016/j.jcss.2004.04.003},
-  publisher = {Academic Press, Inc.},
-  address = {Orlando, FL, USA},
 }
 
 @inproceedings{ hagerup:sssp,
   author = {Torben Hagerup},
   title = {{Improved Shortest Paths on the Word RAM}},
-  booktitle = {ICALP '00: Proceedings of the 27th International Colloquium on Automata, Languages and Programming},
+  booktitle = {ICALP 2000: Proceedings of the 27th International Colloquium on Automata, Languages and Programming},
   year = {2000},
   isbn = {3-540-67715-1},
   pages = {61--72},
 @article{ katoh:kmin,
   author = {N. Katoh and T. Ibaraki and H. Mine},
   title = {An Algorithm for Finding $K$ Minimum Spanning Trees},
-  publisher = {SIAM},
   year = {1981},
   journal = {SIAM Journal on Computing},
   volume = {10},
   issn = {0004-5411},
   pages = {297--323},
   doi = {http://doi.acm.org/10.1145/375827.375847},
-  publisher = {ACM},
-  address = {New York, NY, USA},
 }
 
 @article{ moret:expmst,
   number={1},
   pages={111--129},
   year={1986},
-  publisher={Springer}
 }
 
-@article{ pettie:pairing,
+@inproceedings{ pettie:pairing,
   author = {Seth Pettie},
   title = {Towards a Final Analysis of Pairing Heaps},
-  journal = {focs},
-  volume = {00},
+  booktitle = {FOCS 2005: Proceedings of the 46rd Annual IEEE Symposium on Foundations of Computer Science},
   year = {2005},
-  isbn = {0-7695-2468-0},
   pages = {174-183},
-  doi = {http://doi.ieeecomputersociety.org/10.1109/SFCS.2005.75},
-  publisher = {IEEE Computer Society},
-  address = {Los Alamitos, CA, USA},
 }
 
 @book{ jaja:parallel,
   title={{An introduction to parallel algorithms}},
   author={J{\'a}J{\'a}, J.},
   year={1992},
-  publisher={Addison Wesley Longman Publishing Co., Inc. Redwood City, CA, USA}
+  publisher={Addison Wesley Longman Publishing Co., Inc.}
 }
 
 @techreport { mm:ga,
   author = "Martin Mare\v{s}",
-  title = "{Krajinou grafov\'ych algoritm\accent23u}",
+  title = "{Krajinou grafov\'ych algoritm\accent23u (Through the Landscape of Graph Algorithms)}",
   institution = "Institut Teoretick\'e Informatiky",
   address = "Praha, Czech Republic",
   year = "2007",
 
 @book { horak:mofivefour,
   author = {Hor\'ak, Karel and Mare\v{s}, Martin and Novotn\'y, Peter and \v{S}im\v{s}a, Jarom\'\i{}r and \v{S}vr\v{c}ek, Jaroslav and T\"opfer, Pavel and Zhouf, Jaroslav},
-  title = {54.~ro\v{c}n\'\i{}k matematick\'e olympi\'ady na st\v{r}edn\'\i{}ch \v{s}kol\'ach},
+  title = {54.~ro\v{c}n\'\i{}k matematick\'e olympi\'ady na st\v{r}edn\'\i{}ch \v{s}kol\'ach (The 54th Year of the Math Olympiad at High Schools)},
   publisher = {Jednota \v{c}esk\'ych matematik\accent23u a fyzik\accent23u},
   address = {Praha},
   year = {2007},
  issn = {0004-5411},
  pages = {690--715},
  doi = {http://doi.acm.org/10.1145/322154.322161},
- publisher = {ACM},
- address = {New York, NY, USA},
 }
 
 @article{ kostochka:lbh,
-  title={{Lower bound of the hadwiger number of graphs by their average degree}},
+  title={{Lower bound of the Hadwiger number of graphs by their average degree}},
   author={Kostochka, A. V.},
   journal={Combinatorica},
   volume={4},
   number={4},
   pages={307--316},
   year={1984},
-  publisher={Springer}
 }
 
 @article{ thomason:efc,