Centre for Discrete Mathematics and Theoretical Computer Science


Research Reports


1995 [10]
1996 [15]
1997 [49]
1998 [17]
1999 [26]
2000 [30]
2001 [23]
2002 [35]
2003 [22]
2004 [31]
2005 [17]
2006 [18]
2007 [23]
2008 [27]
2009 [31]
2010 [22]
2011 [20]
2012 [15]
2013 [21]
2014 [24]
2015 [17]
2016 [10]
494L. Staiger

Bounds on the Kolmogorov complexity function for infinite words (Rev1)
(Archives)

01/2016
495M.J. Dinneen and R. Hua

Formulating Graph Covering Problems for Adiabatic Quatumn Computers (Name change Rong Wang -> Richard Hua)
(Archives)

02/2016
496H. Kohler and S. Link

SQL Schema Design: Foundations, Normal Forms, and Normalization

04/2016
497C.S. Calude and D. Thompson

Incompleteness, Undecidability and Automated Proofs

05/2016
498D.H. Bailey and J.M. Borwein

A Computational Mathematics View of Space, Time and Complexity

09/2016
499C.S. Calude, M.J. Dinneen and R. Hua

QUBO Formulations for the Graph Isomorphism Problem and Related Problems
(Archives)

10/2016
500C.S. Calude, S. Jain, B. Khoussainov, W. Li and F. Stephan

Deciding Parity Games in Quasipolynomial Time (Revision 2)
(Archives)

10/2016
501S. Hoffmann, S. Schwarz and L. Staiger

Shift-Invariant Topologies for the Cantor Space X^omega

11/2016
502L. Staiger

Exact Constructive and Computable Dimensions (Revision 1)
(Archives)
(502ludwigRev1.pdf)

11/2016
503Z. Yang and M.J. Dinneen

Graph Minor Embeddings for D-Wave Computer Architecture

11/2016
2017 [10]


Please give us your feedback or ask us a question

This message is...


My feedback or question is...


My email address is...

(Only if you need a reply)

A to Z Directory | Site map | Accessibility | Copyright | Privacy | Disclaimer | Feedback on this page