Centre for Discrete Mathematics and Theoretical Computer Science

Research Reports

1995 [10]

1996 [15]

1997 [49]

1998 [18]

1999 [26]

2000 [30]

118	M.J. Dinneen and L. Xiong	The Minor-Order Obstructions for The Graphs of Vertex Cover Six	01/2000
119	G. Paun	Computing with Membranes (P Systems): Twenty Six Research Topics	02/2000
120	G. Krenn, J. Summhammer and K. Svozil	Interferometric Information Gain Versus Interaction-Free Measurement	02/2000
121	H. Havlicek, G. Krenn, J. Summhammer and K. Svozil	On Coloring the Rational Quantum Sphere	02/2000
122	K. Svozil	Solution of Problem No. 10769	02/2000
123	J. Castellanos, G. Paun and A. Rodriguez-Paton	Computing with Membranes: P Systems with Worm-Objects	02/2000
124	S.S. Goncharov and B. Khoussainov	Open Problems in the Theory of Constructive Algebraic Systems	03/2000
125	B. Khoussainov	On Computable Theoretic Properties of Structures and Their Cartesian Products	03/2000
126	B. Khoussainov	Algebraic Constraints, Automata, and Regular Languages	03/2000
127	M.J. Dinneen and B. Khoussainov	Update Networks and Their Routing Strategies	03/2000
128	B. Khoussainov and S. Rubin	Finite Automata and Isomorphism Types	03/2000
129	B. Khoussainov and R.A. Shore	Solutions of the Goncharov-Millar and Degree Spectra Problems in The Theory of Computable Models	03/2000
130	C.S. Calude, M.J. Dinneen and K. Svozil	Reflections on Quantum Computing	03/2000
131	B. Khoussainov and R.A. Shore	Effective Model Theory: The Number of Models and Their Complexity	03/2000
132	C.S. Calude and B. Pavlov	The Poincare-Hardy Inequality on the Complement of a Cantor Set	05/2000
133	M.D. Kearse and P.B. Gibbons	Computational Methods and New Results for Chessboard Problems	05/2000
134	C.S. Calude and M.J. Dinneen (editors)	The 5th Anniversary Workshop on Discrete Mathematics and Theoretical Computer Science	05/2000
135	R.G. Downey and G.L. LaForte	Presentations of Computably Enumerable Reals	05/2000
136	K. Svozil	Quantum Interfaces	05/2000
137	K. Svozil	Science at the Crossroad Between Randomness and Determinism	05/2000
138	C. Areces and V. Becher	Analytic AGM Revision	06/2000
139		--skipped--	07/2000
140	C.S. Calude, M.J. Dinneen and G. Paun (editors)	Pre-Proceedings of the Workshop on Multiset Processing	08/2000
141	C.S. Calude	Real Numbers: From Computable to Random	08/2000
142	R. Pemantle and M.C. Wilson	Asymptotics of Multivariate Sequences II. Multiple Points of the Singular Variety	08/2000
143	C.S. Calude	Who Is Afraid of Randomness?	09/2000
144	R.G. Downey, D.R. Hirschfeldt and A. Nies	Randomness, Computability, and Density	09/2000
145	K. Svozil	Quantum Information: The New Frontier	09/2000
146	C.S. Calude, M.J. Dinneen and C.-K. Shu	Computing 80 Initial Bits of A Chaitin Omega Number	11/2000
147	I. Antoniou, C.S. Calude and M.J. Dinneen (editors)	Supplemental Papers for the 2nd Unconventional Models of Computation Conference	11/2000

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]