Centre for Discrete Mathematics and Theoretical Computer Science

Research Reports

1995 [10]

1996 [15]

1997 [49]

1998 [18]

1999 [26]

092	C.S. Calude and E. Calude	Bisimulations and Behaviour of Nondeterministic Automata	02/1999
093	C.S. Calude	A Glimpse into Algorithmic Information Theory	02/1999
094	C.S. Calude and R.J. Coles	On a Theorem of Solovay	02/1999
095	C.S. Calude	A Characterization of C.E. Random Reals	03/1999
096	L. Staiger	The Kolmogorov Complexity of Liouville Numbers	03/1999
097	A.M. Kraegeloh	Unstable Dynamics on a Markov Background and Stability in Average	03/1999
098	G. Paun	Computing with Membranes: A Variant	03/1999
099	C.S. Calude, K. Salomaa and S. Yu	Metric Lexical Analysis	03/1999
100	C.S. Calude, P.H. Hertling, H. Juergensen and K. Weihrauch	Randomness on Full Shift Spaces	04/1999
101	G. Paun and G. Thierrin	Multiset Processing by means of Systems of Sequential Transducers	04/1999
102	G. Paun	P Systems with Active Membranes: Attacking NP Complete Problems	05/1999
103	B. Assanovich and U. Guenther	Variable-Length Codes for Sources with Equiprobable Symbols	05/1999
104	R.M. Solovay	A Version of Ω for which ZFC can not Predict a Single Bit	05/1999
105	M.J. Dinneen and B. Khoussainov	Update Games and Update Networks	06/1999
106	C.S. Calude, E. Calude and K. Svozil	Quantum Correlations Conundrum: An Automaton-Theoretic Approach	06/1999
107	C.S. Calude, M.J. Dinneen and K. Svozil	Counterfactual Effect, the Halting Problem, and the Busy Beaver Function	07/1999
108	C. Grozea	Free-Extendible Prefix-Free Sets and an Extension of the Kraft-Chaitin Theorem	07/1999
109	C.S. Calude, E. Calude, T. Chiou, M. Dumitrescu and R. Nicolescu	Testing Computational Complementarity for Mermin Automata	07/1999
110	D.S. Bridges, C.S. Calude and L.S. Dediu (editors)	Abstracts of Constructivity, Complexity, and Fuzziness (CCF '99)	07/1999
111	M.J. Dinneen and B. Khoussainov	Automata with Equational Constraints	08/1999
112	C.S. Calude, H. Juergensen and S. Legg	Solving Problems with Finite Test Sets	09/1999
113	C.S. Calude, E. Calude and K. Svozil	Computational Complementarity for Probabilistic Automata	09/1999
114	C.S. Calude	Chaitin &\Omega; Numbers, Solovay Machines, and Incompleteness	10/1999
115	G. Kapoulas	Computable $p$-adic Numbers	11/1999
116	C.S. Calude, H. Ishihara and T. Yamaguchi	Minimal Programs Are Almost Optimal	11/1999
117	C.S. Calude, G. Paun and M. Tataram	A Glimpse into Natural Computing	12/1999

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 [10]