CATS

Keyphrases

Publications

2013

volume 141, 2013

Nineteenth Computing: The Australasian Theory Symposium, CATS 2013, Adelaide, Australia, February 2013 CATS 141 (2013)

2012

Franz-Josef Brandenburg
On the Curve Complexity of Upward Planar Drawings. CATS (2012)
Yung H. Tsin
Decomposing a Multigraph into Split Components. CATS (2012)
Toshihiro Fujito, Takayoshi Sakamaki
How to guard a graph against tree movements. CATS (2012)
Cong Zhang, Hiroshi Nagamochi
The Next-to-Shortest Path in Undirected Graphs with Nonnegative Weights. CATS (2012)
Lee Naish, Harald Søndergaard, Benjamin Horsfall
Logic Programming: From Underspecification to Undefinedness. CATS (2012)
Tadao Takaoka
Efficient Algorithms for the All Pairs Shortest Path Problem with Limited Edge Costs. CATS (2012)
Pavel Valtr
On empty pentagons and hexagons in planar point sets. CATS (2012)
Meena Mahajan, Nitin Saurabh, Karteek Sreenivasaiah
Counting paths in planar width 2 branching programs. CATS (2012)
Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu
Solving infinite games on trees with back-edges. CATS (2012)
Kewen Liao, Hong Shen
Approximating the Reliable Resource Allocation Problem Using Inverse Dual Fitting. CATS (2012)
Radwa El Shawi, Joachim Gudmundsson, Christos Levcopoulos
Quickest Path Queries on Transportation Network. CATS (2012)
Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen
The Weak-Heap Family of Priority Queues in Theory and Praxis. CATS (2012)
Ken-ichi Kawarabayashi, David R. Wood
Cliques in Odd-Minor-Free Graphs. CATS (2012)
Naonori Kakimura, Mizuyo Takamatsu
Matching Problems with Delta-Matroid Constraints. CATS (2012)
Toshimasa Ishii
Augmenting Outerplanar Graphs to Meet Diameter Requirements. CATS (2012)
Martin Oslen
On Defining and Computing Communities. CATS (2012)
Chuzo Iwamoto, Kento Sasaki, Kenichi Morita
Computational Complexity of String Puzzles. CATS (2012)
Yuichi Asahiro, Jesper Jansson, Eiji Miyano, Hirotaka Ono
Upper and Lower Degree Bounded Graph Orientation with Minimum Penalty. CATS (2012)

volume 128, 2012

Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012 CATS 128 (2012)

2011

volume 119, 2011

Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011 CATS 119 (2011)

2010

volume 109, 2010

Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010 CATS 109 (2010)