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]
294G.J. Chaitin

How Much Information Can There Be in a Real Number

01/2007
295M.C. Wilson

Random and Exhaustive Generation of Permuations and Cycles

01/2007
296A. Raichev and M.C. Wilson

A New Method for Computing Asymptotics of Diagonal Coefficients of Multivariate Generating Functions

01/2007
297N.J. Hay, A. Shorin and J. Wang (editors)

University of Auckland Computer Science Graduate Workshop 20‍06

01/2007
298L. Staiger

Prefix-free Lukasiewicz Languages

01/2007
299K. Svozil

Physical Unknowables

01/2007
300N.J. Hay

Universal Semimeasures: An Introduction

02/2007
301G. Pritchard and M.C. Wilson

Asymptotics of the Minimum Manipulating Coalition Size for Positional Voting Rules under IC Behaviour

02/2007
302C.T. Chong, A. Nies and L. Yu

Higher Randomness Notions and Their Lowness Properties

03/2007
303A. Nies

Describing Groups

03/2007
304R.W. Doran

The Gray Code

03/2007
305G.J. Chaitin

An Algebraic Characterization of the Halting Probability

04/2007
306C.S. Calude and J. Gruska

Quantum Informatics and the Relations Between Informatics, Physics and Mathematics: A Dialogue

05/2007
307A. Raichev and M.C. Wilson

Asymptotics of Diagonal Coefficients of Multivariate Generating Functions

05/2007
308M. Zimand

Two Sources Are Better than One for Increasing the Kolmogorov Complexity of Infinite Sequences

05/2007
309C.S. Calude, E. Calude and S. Marcus

Proving and Programming

06/2007
310S. Drape

The Suitability of Different Binary Tree Obfuscations

06/2007
311S. Drape and A. Majumdar

Design and Evaluation of Slicing Obfuscation

06/2007
312C.S. Calude and L. Staiger

On Universal Computably Enumerable Prefix Codes

10/2007
313Y.-B. Kim and M.J. Dinneen

A Repository of Compound Graphs for use in Large Network Design

11/2007
314E. Goles, C. Littleand and I. Rapaport

The Underlying Optimal Protocol of Rule 218 Cellular Automaton

11/2007
315A. Leitsch, G. Schachner and K. Svozil

How to Acknowledge Hypercomputation?

12/2007
316B. Whitworth

The Physical World as a Virtual Reality

12/2007
2008 [27]
2009 [31]
2010 [22]
2011 [20]
2012 [15]
2013 [21]
2014 [24]
2015 [17]
2016 [10]
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