Search dblp for Publications

export results for "toc:db/conf/cats/cats2007.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cats/AhnAABBCKNSW07,
  author       = {Hee{-}Kap Ahn and
                  Helmut Alt and
                  Tetsuo Asano and
                  Sang Won Bae and
                  Peter Brass and
                  Otfried Cheong and
                  Christian Knauer and
                  Hyeon{-}Suk Na and
                  Chan{-}Su Shin and
                  Alexander Wolff},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Constructing Optimal Highways},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {7--14},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Ahn.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/AhnAABBCKNSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/CheongHL07,
  author       = {Otfried Cheong and
                  Herman J. Haverkort and
                  Mira Lee},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Computing a Minimum-Dilation Spanning Tree is NP-hard},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {15--24},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Cheong.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/CheongHL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/ColemanT07,
  author       = {Tom Coleman and
                  Vanessa Teague},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {On The Complexity of Manipulating Elections},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {25--33},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Coleman.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/ColemanT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/DawsonG07,
  author       = {Jeremy E. Dawson and
                  Rajeev Gor{\'{e}}},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Termination of Abstract Reduction Systems},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {35--43},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Dawson.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/DawsonG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/ElmasryJK07,
  author       = {Amr Elmasry and
                  Claus Jensen and
                  Jyrki Katajainen},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {On the Power of Structural Violations in Priority Queues},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {45--53},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Elmasry.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/ElmasryJK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/GaoM07,
  author       = {Peng Gao and
                  Ron van der Meyden},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {A Linear Time Algorithm for Pricing European Sequential Barrier Options},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {55--62},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Gao.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/GaoM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/GebauerO07,
  author       = {Heidi Gebauer and
                  Yoshio Okamoto},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Fast Exponential-Time Algorithms for the Forest Counting in Graph
                  Classes},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {63--69},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Gebauer.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/GebauerO07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Harland07,
  author       = {James Harland},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Analysis of Busy Beaver Machines via Induction Proofs},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {71--78},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Harland.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Harland07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/HungT07,
  author       = {Regant Y. S. Hung and
                  Hing{-}Fung Ting},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {An Optimal Broadcasting Protocol for Mobile Video-on-Demand},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {79--84},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Hung.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/HungT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/HvamRWZ07,
  author       = {Kenneth Hvam and
                  Line Blander Reinhardt and
                  Pawel Winter and
                  Martin Zachariasen},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Some Structural and Geometric Properties of Two-Connected Steiner
                  Networks},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {85--90},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Hvam.html},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cats/HvamRWZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Ishii07,
  author       = {Toshimasa Ishii},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Minimum Augmentation of Edge-Connectivity with Monotone Requirements
                  in Undirected Graphs},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {91--100},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Ishii.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Ishii07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Josang07,
  author       = {Audun J{\o}sang},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Probabilistic Logic under Uncertainty},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {101--110},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Josang.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Josang07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/MorrisAG07,
  author       = {Peter Morris and
                  Thorsten Altenkirch and
                  Neil Ghani},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Constructing Strictly Positive Families},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {111--121},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Morris.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/MorrisAG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Nielsen07,
  author       = {Benny K. Nielsen},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {An efficient solution method for relaxed variants of the nesting problem},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {123--130},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Nielsen.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Nielsen07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Palsberg07,
  author       = {Jens Palsberg},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Register Allocation via Coloring of Chordal Graphs},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {3},
  publisher    = {Australian Computer Society},
  year         = {2007},
  timestamp    = {Wed, 18 Jun 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cats/Palsberg07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/SilvaDH07,
  author       = {Lavindra de Silva and
                  Anthony Dekker and
                  James Harland},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Planning with Time Limits in {BDI} Agent Programming Languages},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {131--139},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65deSilva.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/SilvaDH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/TangBLM07,
  author       = {Jianmin Tang and
                  Camino Balbuena and
                  Yuqing Lin and
                  Mirka Miller},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {An open problem: (4; g)-cages with odd g /gt;= 5 are tightly connected},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {141--144},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Tang.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/TangBLM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Taylor07,
  author       = {Richard Taylor},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Effective Prediction and its Computational Complexity},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {145--151},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Taylor.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Taylor07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Yamakami07,
  author       = {Tomoyuki Yamakami},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Quantum List Decoding from Quantumly Corrupted Codewords for Classical
                  Block Codes of Polynomially Small Rate},
  booktitle    = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  pages        = {153--162},
  publisher    = {Australian Computer Society},
  year         = {2007},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV65Yamakami.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Yamakami07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cats/2007,
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Theory of Computing 2007. Proceedings of the Thirteenth Computing:
                  The Australasian Theory Symposium {(CATS2007).} January 30 - Febuary
                  2, 2007, Ballarat, Victoria, Australia, Proceedings},
  series       = {{CRPIT}},
  volume       = {65},
  publisher    = {Australian Computer Society},
  year         = {2007},
  isbn         = {1-920-68246-5},
  timestamp    = {Thu, 23 Jun 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cats/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.