Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Marek Karpinski, Richard Schmied |
Improved Inapproximability Results for the Shortest Superstring and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Nineteenth Computing: The Australasian Theory Symposium, CATS 2013, Adelaide, Australia, February 2013, pp. 27-36, 2013, Australian Computer Society, 978-1-921770-26-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Peter Brass, Christian Knauer, Chan-Su Shin, Michiel H. M. Smid, Ivo Vigan |
Range-Aggregate Queries for Geometric Extent Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Nineteenth Computing: The Australasian Theory Symposium, CATS 2013, Adelaide, Australia, February 2013, pp. 3-10, 2013, Australian Computer Society, 978-1-921770-26-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | James Harland |
Busy Beaver Machines and the Observant Otter Heuristic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Nineteenth Computing: The Australasian Theory Symposium, CATS 2013, Adelaide, Australia, February 2013, pp. 53-52, 2013, Australian Computer Society, 978-1-921770-26-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Ho-Leung Chan, Sze-Hang Chan, Tak Wah Lam, Lap-Kei Lee, Rongbin Li, Chi-Man Liu |
Competitive Online Algorithms for Multiple-Machine Power Management and Weighted Flow Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Nineteenth Computing: The Australasian Theory Symposium, CATS 2013, Adelaide, Australia, February 2013, pp. 11-20, 2013, Australian Computer Society, 978-1-921770-26-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Anthony Wirth (eds.) |
Nineteenth Computing: The Australasian Theory Symposium, CATS 2013, Adelaide, Australia, February 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![Australian Computer Society, 978-1-921770-26-5 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Franky Lam, Raymond K. Wong 0001 |
Rotated Library Sort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Nineteenth Computing: The Australasian Theory Symposium, CATS 2013, Adelaide, Australia, February 2013, pp. 21-26, 2013, Australian Computer Society, 978-1-921770-26-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Kei Uchizawa, Zhenghong Wang, Hiroki Morizumi, Xiao Zhou 0001 |
Complexity of Counting Output Patterns of Logic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Nineteenth Computing: The Australasian Theory Symposium, CATS 2013, Adelaide, Australia, February 2013, pp. 37-43, 2013, Australian Computer Society, 978-1-921770-26-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
1 | Naonori Kakimura, Mizuyo Takamatsu |
Matching Problems with Delta-Matroid Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 83-92, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Pavel Valtr 0001 |
On empty pentagons and hexagons in planar point sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 47-48, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Ken-ichi Kawarabayashi, David R. Wood |
Cliques in Odd-Minor-Free Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 133-138, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Cong Zhang, Hiroshi Nagamochi |
The Next-to-Shortest Path in Undirected Graphs with Nonnegative Weights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 13-20, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Lee Naish, Harald Søndergaard, Benjamin Horsfall |
Logic Programming: From Underspecification to Undefinedness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 49-58, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Aniruddh Gandhi, Bakhadyr Khoussainov, Jiamou Liu |
Solving infinite games on trees with back-edges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 113-122, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Franz-Josef Brandenburg |
On the Curve Complexity of Upward Planar Drawings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 27-36, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Martin Oslen |
On Defining and Computing Communities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 97-102, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Radwa El Shawi, Joachim Gudmundsson, Christos Levcopoulos |
Quickest Path Queries on Transportation Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 37-46, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Yung H. Tsin |
Decomposing a Multigraph into Split Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 3-12, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Toshihiro Fujito, Takayoshi Sakamaki |
How to guard a graph against tree movements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 93-96, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Tadao Takaoka |
Efficient Algorithms for the All Pairs Shortest Path Problem with Limited Edge Costs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 21-26, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Julián Mestre (eds.) |
Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![Australian Computer Society, 978-1-921770-09-8 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Chuzo Iwamoto, Kento Sasaki, Kenichi Morita |
Computational Complexity of String Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 69-74, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Stefan Edelkamp, Amr Elmasry, Jyrki Katajainen |
The Weak-Heap Family of Priority Queues in Theory and Praxis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 103-112, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Yuichi Asahiro, Jesper Jansson 0001, Eiji Miyano, Hirotaka Ono 0001 |
Upper and Lower Degree Bounded Graph Orientation with Minimum Penalty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 139-146, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Toshimasa Ishii |
Augmenting Outerplanar Graphs to Meet Diameter Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 123-132, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Meena Mahajan, Nitin Saurabh, Karteek Sreenivasaiah |
Counting paths in planar width 2 branching programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 59-68, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Kewen Liao, Hong Shen 0001 |
Approximating the Reliable Resource Allocation Problem Using Inverse Dual Fitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Eighteenth Computing: The Australasian Theory Symposium, CATS 2012, Melbourne, Australia, January 2012, pp. 75-82, 2012, Australian Computer Society, 978-1-921770-09-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Alexandra Kolla, James Lee |
Sparsest Cut on Quotients of the Hypercube. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 11-22, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Simon Ware, Robi Malik |
A Process-Algebraic Semantics for Generalised Nonblocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 75-84, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Alex Potanin, Taso Viglas (eds.) |
Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![Australian Computer Society, 978-1-920682-98-9 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Aniruddh Gandhi, Nan Rosemary Ke, Bakhadyr Khoussainov |
Descriptional Complexity of Determinization and Complementation for Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 95-104, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | John Augustine, Qi Han 0001, Philip Loden, Sachin Lodha, Sasanka Roy |
Tight Analysis of Shortest Path Convergecast in Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 31-40, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Yoshiaki Nonaka, Hirotaka Ono 0001, Shuji Kijima, Masafumi Yamashita |
How Slow, or Fast, Are Standard Random Walks? - Analyses of Hitting and Cover Times on Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 63-68, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Peter Floderus, Andrzej Lingas, Mia Persson |
Towards More Efficient Infection and Fire Fighting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 69-74, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | N. S. Narayanaswamy, N. Sadagopan |
A Novel Data Structure for Biconnectivity, Triconnectivity, and k-Tree Augmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 45-54, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Ling-Ju Hung, Ton Kloks, Fernando Sánchez Villaamil |
Black-and-White Threshold Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 121-130, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Paraschos Koutris, Aris Pagourtzis |
Oblivious k-shot Broadcasting in Ad Hoc Radio Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 161-168, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Naoyuki Kamiyama, Tomomi Matsui |
Approximation Algorithms for Data Association Problem Arising from Multitarget Tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 137-144, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Eiji Miyano, Hirotaka Ono 0001 |
Maximum Domination Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 55-62, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Maram Alnafie, Igor Chikalov, Shahid Hussain 0004, Mikhail Ju. Moshkov |
Sequential Optimization of Binary Search Trees for Multiple Cost Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 41-44, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | James Harland |
Towards Methods for Discovering Universal Turing Machines (or How Universal Unicorns can be Discovered, not Created). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 151-160, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Michael J. Dinneen, Masoud Khosravani |
Hardness of Approximation and Integer Programming Frameworks for Searching for Caterpillar Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 145-150, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Guillaume Blin, Romeo Rizzi, Florian Sikora, Stéphane Vialette |
Minimum Mosaic Inference of a Set of Recombinants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 23-30, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Gianfranco Bilardi, Carlo Fantozzi |
New Area-Time Lower Bounds for the Multidimensional DFT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 111-120, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Akira Suzuki, Kei Uchizawa, Xiao Zhou 0001 |
Energy-Efficient Threshold Circuits Computing Mod Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 105-110, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Klaus Jansen, Lars Prädel, Ulrich M. Schwarz, Ola Svensson |
Faster Approximation Algorithms for Scheduling with Fixed Jobs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 3-10, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Tadao Takaoka, Mashitoh Hashim |
Sharing Information in All Pairs Shortest Path Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 131-136, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | John Christopher McCabe-Dansted |
On the Succinctness of RoCTL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Seventeenth Computing: The Australasian Theory Symposium, CATS 2011, Perth, Australia, January 2011, pp. 85-94, 2011, Australian Computer Society, 978-1-920682-98-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Faisal N. Abu-Khzam, Henning Fernau, Michael A. Langston, Serena Lee-Cultura, Ulrike Stege |
A Fixed-Parameter Algorithm for String-to-String Correction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010, pp. 31-38, 2010, Australian Computer Society, 978-1-920682-90-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Kazuyuki Amano |
On Directional vs. Undirectional Randomized Decision Tree Complexity for Read-Once Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010, pp. 25-30, 2010, Australian Computer Society, 978-1-920682-90-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Michael Johnson, Stefano Kasangian |
A Relational Model of Incomplete Data without NULLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010, pp. 89-94, 2010, Australian Computer Society, 978-1-920682-90-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Sze-Hang Chan, Tak Wah Lam, Lap-Kei Lee, Hing-Fung Ting, Peng Zhang 0008 |
Non-clairvoyant Scheduling for Weighted Flow Time and Energy on Speed Bounded Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010, pp. 3-10, 2010, Australian Computer Society, 978-1-920682-90-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Gábor Erdélyi, Jörg Rothe |
Control Complexity in Fallback Voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010, pp. 39-48, 2010, Australian Computer Society, 978-1-920682-90-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Zhou Xu 0001, Liang Xu |
Approximation Algorithms for Min-Max Capacitated Path Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010, pp. 11-18, 2010, Australian Computer Society, 978-1-920682-90-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Simon Doherty, Lindsay Groves |
Simpler Backward Simulation Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010, pp. 71-78, 2010, Australian Computer Society, 978-1-920682-90-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Simone Dantas, Luérbio Faria, Celina M. H. de Figueiredo, Sulamita Klein, Loana Tito Nogueira, Fábio Protti |
Advances on the List Stubborn Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010, pp. 65-70, 2010, Australian Computer Society, 978-1-920682-90-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Ling-Ju Hung, Ton Kloks |
Kruskalian Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010, pp. 49-54, 2010, Australian Computer Society, 978-1-920682-90-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Peter Finderup, Hans Hüttel, Jakob Svane Knudsen, Johannes Garm Nielsen |
Linear Uniform Receptiveness in a Pi-Calculus with Location Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010, pp. 79-88, 2010, Australian Computer Society, 978-1-920682-90-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Maw-Shang Chang, Ling-Ju Hung, Peter Rossmanith |
Probe Distance-Hereditary Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010, pp. 55-64, 2010, Australian Computer Society, 978-1-920682-90-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Vida Dujmovic, Joachim Gudmundsson, Pat Morin, Thomas Wolle |
Notes on Large Angle Crossing Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010, pp. 19-24, 2010, Australian Computer Society, 978-1-920682-90-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Taso Viglas, Alex Potanin (eds.) |
Theory of Computing 2010, CATS 2010, Brisbane, Australia, January 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![Australian Computer Society, 978-1-920682-90-3 The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Sumit Ganguly |
Distributing Frequency-Dependent Data Stream Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 161-167, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Kevin Henshall, Peter Schachte, Harald Søndergaard, Leigh Whiting |
Boolean Affine Approximation with Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 119-127, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Vladimir Estivill-Castro, Mahdi Parsa |
Computing Nash Equilibria Gets Harder: New Results Show Hardness Even for Parameterized Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 81-87, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Andras Farago |
Structural Properties of Random Graph Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 129-136, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Jing Cao, Albert Nymeyer |
Formal Model of a Protocol Converter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 107-117, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Koji Nakazawa, Makoto Tatsuta |
Type Checking and Inference for Polymorphic and Existential Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 61-69, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Adam R. Day |
On Process Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 29-34, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Wataru Matsubara, Shunsuke Inenaga, Ayumi Shinohara |
Testing Square-Freeness of Strings Compressed by Balanced Straight Line Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 19-28, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Mark Utting, Petra Malik, Ian Toyn |
Transformation Rules for Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 71-80, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Rod Downey, Prabhu Manyem (eds.) |
Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![Australian Computer Society, 978-1-920682-75-0 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Kira Vyatkina |
Linear Axis for Planar Straight Line Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 137-150, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | David J. Pearce 0001, Gary Haggard, Gordon F. Royle |
Edge-Selection Heuristics for Computing Tutte Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 151-159, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Nutan Limaye, Meena Mahajan, Prajakta Nimbhorkar |
Longest Paths in Planar DAGs in Unambiguous Logspace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 99-105, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Toshimasa Ishii, Kazuhisa Makino |
Augmenting Edge-Connectivity between Vertex Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 43-49, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Ukachukwu Ndukwu, Jeff W. Sanders |
Reasoning about a Distributed Probabilistic System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 35-42, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Hideaki Fukuhara, Eiji Takimoto |
Lower Bounds on Quantum Query Complexity for Read-Once Decision Trees with Parity Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 89-98, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Ching-Lueh Chang, Yuh-Dauh Lyuu |
Spreading of Messages in Random Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 3-7, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Mehdi Karimi 0001, Arvind Gupta |
Minimum Cost Homomorphism to Oriented Cycles with Some Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2009, Fifteenth Computing: The Australasian Theory Symposium, CATS 2009, Wellington, New Zealand, January 2009, pp. 7-17, 2009, Australian Computer Society, 978-1-920682-75-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Vadim E. Levit, Eugen Mandrescu |
Well-covered Graphs and Greedoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 87-91, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Olga Ohrimenko, Peter J. Stuckey |
Modelling for Lazy Clause Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 27-37, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Frank Ruskey, Aaron Williams |
Generating Balanced Parentheses and Binary Trees by Prefix Shifts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 107-115, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Eric Allender |
Chipping Away at P vs NP: How Far Are We from Proving Circuit Size Lower Bounds? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 3, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Shi Bai 0001, Richard P. Brent |
On the Efficiency of Pollard's Rho Method for Discrete Logarithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 125-131, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Yuichi Asahiro, Eiji Miyano, Hirotaka Ono 0001 |
Graph Classes and the Complexity of the Graph Orientation Minimizing the Maximum Weighted Outdegree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 97-106, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Marko Samer, Stefan Szeider |
Tractable Cases of the Extended Global Cardinality Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 67-74, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | James Harland, Prabhu Manyem (eds.) |
Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![Australian Computer Society, 978-1-920682-58-3 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Martin W. Bunder |
The Inhabitation Problem for Intersection Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 7-14, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Lindsay Groves |
Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 133-142, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Luke Mathieson, Stefan Szeider |
The Parameterized Complexity of Regular Subgraph Problems and Generalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 79-86, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Matthew Asquith, Joachim Gudmundsson, Damian Merrick |
An ILP for the metro-line crossing problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 49-56, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Xiaowei Huang 0001, Li Jiao, Weiming Lu |
Weak Parametric Failure Equivalences and Their Congruence Formats. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 15-26, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Nita H. Shah, Ajay S. Gor, Hui Wee |
Optimal Joint Vendor-Buyer Inventory Strategy for Deteriorating Items with Salvage Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 63-66, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Samuel J. Huston, Jakob Puchinger, Peter J. Stuckey |
The Core Concept for 0/1 Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 39-47, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Elena Morozova |
A Multidimensional Bisection Method for Unconstrained Minimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 57-62, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Ching-Lueh Chang, Yen-Wu Ti, Yuh-Dauh Lyuu |
Testing Embeddability Between Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 117-124, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Mirka Miller, Minh Hoang Nguyen, Guillermo Pineda-Villavicencio |
On the Non-existence of Even Degree Graphs with Diameter 2 and Defect 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 93-95, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Egbert Mujuni, Frances A. Rosamond |
Parameterized Complexity of the Clique Partition Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), Wollongong, NSW, Australia, January 22-25, 2008. Proceedings, pp. 75-78, 2008, Australian Computer Society, 978-1-920682-58-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Tom Coleman, Vanessa Teague |
On The Complexity of Manipulating Elections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30 - Febuary 2, 2007, Ballarat, Victoria, Australia, Proceedings, pp. 25-33, 2007, Australian Computer Society, 1-920-68246-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Otfried Cheong, Herman J. Haverkort, Mira Lee |
Computing a Minimum-Dilation Spanning Tree is NP-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30 - Febuary 2, 2007, Ballarat, Victoria, Australia, Proceedings, pp. 15-24, 2007, Australian Computer Society, 1-920-68246-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Peter Morris, Thorsten Altenkirch, Neil Ghani |
Constructing Strictly Positive Families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2007. Proceedings of the Thirteenth Computing: The Australasian Theory Symposium (CATS2007). January 30 - Febuary 2, 2007, Ballarat, Victoria, Australia, Proceedings, pp. 111-121, 2007, Australian Computer Society, 1-920-68246-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|