Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/cats/AsahiroMOZ06,
  author       = {Yuichi Asahiro and
                  Eiji Miyano and
                  Hirotaka Ono and
                  Kouhei Zenmyo},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Graph Orientation Algorithms to Minimize the Maximum Outdegree},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {11--20},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Asahiro.html},
  timestamp    = {Fri, 29 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/AsahiroMOZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Asano06,
  author       = {Tetsuo Asano},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Computational Geometric and Combinatorial Approaches to Digital Halftoning},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {3},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Asano.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Asano06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/AusielloGP06,
  author       = {Giorgio Ausiello and
                  Aristotelis Giannakos and
                  Vangelis Th. Paschos},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Greedy algorithms for on-line set-covering and related problems},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {145--151},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Ausiello.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/AusielloGP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/BlazewiczK06,
  author       = {Jacek Blazewicz and
                  Marta Kasprzak},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {On the complexity of the {DNA} Simplified Partial Digest Problem},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {93--100},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Blazewicz.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/BlazewiczK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/DessmarkJLLP06,
  author       = {Anders Dessmark and
                  Jesper Jansson and
                  Andrzej Lingas and
                  Eva{-}Marta Lundell and
                  Mia Persson},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {On the Approximability of Maximum and Minimum Edge Clique Partition
                  Problems},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {101--105},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Dessmark.html},
  timestamp    = {Tue, 17 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cats/DessmarkJLLP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Harland06,
  author       = {James Harland},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {The Busy Beaver, the Placid Platypus and other Crazy Creatures},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {79--86},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Harland.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Harland06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Hasunuma06,
  author       = {Toro Hasunuma},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Multilayer Grid Embeddings of Iterated Line Digraphs},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {21--26},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Hasunuma.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Hasunuma06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/HerlihySS06,
  author       = {Brian Herlihy and
                  Peter Schachte and
                  Harald S{\o}ndergaard},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Boolean equation solving as graph traversal},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {123--132},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Herlihy.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/HerlihySS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Kelarev06,
  author       = {Andrei V. Kelarev},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {A Polynomial Algorithm for Codes Based on Directed Graphs},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {87--92},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Kelarev.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Kelarev06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/KolanskiK06,
  author       = {Rafal Kolanski and
                  Gerwin Klein},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Formalising the {L4} microkernel {API}},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {53--68},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Kolanski.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/KolanskiK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Li06,
  author       = {Shuai Cheng Li},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Faster Algorithms for Finding Missing Patterns},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {107--111},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Li.html},
  timestamp    = {Wed, 07 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cats/Li06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Link06,
  author       = {Sebastian Link},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {On the Logical Implication of Multivalued Dependencies with Null Values},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {113--122},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Link.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Link06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/PoonZX06,
  author       = {Chung Keung Poon and
                  Feifeng Zheng and
                  Yinfeng Xu},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {On-demand Bounded Broadcast Scheduling with Tight Deadlines},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {139--143},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Poon.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/PoonZX06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Rao06,
  author       = {M. R. K. Krishna Rao},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Learnability of Term Rewrite Systems from Positive Examples},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {133--137},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Rao.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Rao06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/SaabasU06,
  author       = {Ando Saabas and
                  Tarmo Uustalu},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Compositional Type Systems for Stack-Based Low-Level Languages},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {27--39},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Saabas.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/SaabasU06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Smid06,
  author       = {Michiel H. M. Smid},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Geometric spanners with few edges and degree five},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {7--9},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Smid.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Smid06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/TakaokaV06,
  author       = {Tadao Takaoka and
                  Stephen Violich},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Combinatorial Generation by Fusing Loopless Algorithms},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {69--77},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Takaoka.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/TakaokaV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cats/Tian06,
  author       = {Ye Henry Tian},
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Mechanically Verifying Correctness of {CPS} Compilation},
  booktitle    = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  pages        = {41--51},
  publisher    = {Australian Computer Society},
  year         = {2006},
  url          = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV51Tian.html},
  timestamp    = {Mon, 08 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cats/Tian06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cats/2006,
  editor       = {Joachim Gudmundsson and
                  C. Barry Jay},
  title        = {Theory of Computing 2006, Proceedings of the Twelfth Computing: The
                  Australasian Theory Symposium {(CATS2006).} Hobart, Tasmania, Australia,
                  16-19 January 2006, Proceedings},
  series       = {{CRPIT}},
  volume       = {51},
  publisher    = {Australian Computer Society},
  year         = {2006},
  isbn         = {1-920682-33-3},
  timestamp    = {Fri, 13 Jun 2008 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cats/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.