Centre for Discrete Mathematics and Theoretical Computer Science

Research Reports

1995 [10]

1996 [15]

1997 [49]

026	M.J. Dinneen, J.A. Ventura, M.C. Wilson and G. Zakeri	Compound Constructions of Minimal Broadcast Networks	01/1997
027	H. Ishihara, B. Khoussainov and A. Nerode	Decidable Kripke Models of Intuitionistic Theories	01/1997
028	N. Brand and M. Morton	Uniform Generalized Steinhaus Graphs	02/1997
029	R.J. Coles, R.G. Downey and B. Khoussainov	On Initial Segments of Computable Linear Orders	03/1997
030	S. Legg	Solomonoff Induction	03/1997
031	B. Khoussainov and R.A. Shore	Computable Isomorphisms, Degree Spectra of Relations, and Scott Families	04/1997
032	C.S. Calude, P.H. Hertling and B. Khoussainov	Do the Zeros of the Riemann's Zeta-Function Form a Random Sequence?	04/1997
033	Y. Wang	Randomness, Stochasticity and Approximations	04/1997
034	A. Arslanov	On a Conjecture of M. Van Lambalgen	05/1997
035	B. Khoussainov, A. Yakhnis and V. Yakhnis	Clusters of Two Player Games and Restricted Determinacy Theorem	05/1997
036	C.S. Calude, P.H. Hertling and K. Svozil	Embedding Quantum Universes into Classical Ones	05/1997
037	D.S. Bridges, F. Richman and P. Schuster	Linear Independence and Choice	05/1997
038	F. Richman and D.S. Bridges	A Constructive Proof of Gleason's Theorem	05/1997
039	C.S. Calude	A Genius' Story: Two Books on Godel	06/1997
040	E. Calude and M. Lipponen	Deterministic Incomplete Automata: Simulation, Universality and Complementarity	06/1997
041	M. Conder	Explicit Definition of the Binary Reflected Gray Codes	06/1997
042	M. Conder	Small Trivalent Graphs of Large Girth	06/1997
043	G. Alford	An Explicit Construction of a Universal Extended H System	08/1997
044	U. Guenther, P.H. Hertling, R. Nicolescu and M.R. Titchener	Representing Variable-Length Codes in Fixed-Length T-Depletion Format in Encoders and Decoders	08/1997
045	B. Khoussainov, A. Yakhnis and V. Yakhnis	Games with Unknown Past	08/1997
046	B. Khoussainov and A.M. Slinko	Nonassociative Computable Rings and Their Isomorphisms	08/1997
047	R.G. Downey	On the Universal Splitting Property	08/1997
048	R.G. Downey and A. Nies	Undecidability Results for Low Complexity Degree Structures	08/1997
049	R.G. Downey, M.R. Fellows and K.W. Regan	Parameterized Circuit Complexity and the W Hierarchy	08/1997
050	K. Cattell, M.J. Dinneen, R.G. Downey, M.R. Fellows and M.A. Langston	On Computing Graph Minors Obstruction Sets	08/1997
051	R.G. Downey and C.G. Jockusch Jr	Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1	08/1997
052	R.G. Downey, M.R. Fellows, A. Vardy and G. Whittle	The Parameterized Complexity of Some Fundamental Problems in Coding Theory	08/1997
053	C.S. Calude and M. Lipponen	Computational Complementarity and Sofic Shifts	08/1997
054	C.S. Calude, E. Calude and B. Khoussainov	Finite Nondeterministic Automata: Simulation and Minimality	09/1997
055	M.J. Dinneen	Practical Enumeration Methods for Graphs of Bounded Pathwidth and Treewidth	09/1997
056	D.S. Bridges and L.S. Dediu	Paradise Lost, or Paradise Regained?	09/1997
057	P.H. Hertling	The Real Number Structure is Effectively Categorical	09/1997
058	H.W. Guesgen	Imprecise Reasoning about Geographic Information	09/1997
059	C.S. Calude, P.H. Hertling, B. Khoussainov and Y. Wang	Recursively Enumerable Reals and Chaitin Omega Numbers	10/1997
060	E. Calude and M. Lipponen	Minimal Deterministic Incomplete Automata	10/1997
061	P.H. Hertling and Y. Wang	Invariance Properties of Random Sequences	10/1997
062	C.S. Calude and A. Nies	Chaitin Omega Numbers and Strong Reducibilities	10/1997
063	C.S. Calude, L. Priese and L. Staiger	Disjunctive Sequences: An Overview	10/1997
064	P.H. Hertling	Surjective Functions on Computably Growing Cantor Sets	10/1997
065	P.H. Hertling	Embedding Cellular Automata into Reversible Ones	10/1997
066	V.E. Cazanescu	Feedback for Relations	11/1997
067	P.H. Hertling	The Effective Riemann Mapping Theorem	11/1997
068	D.S. Bridges and S. Reeves	Constructive Mathematics, in Theory and Programming Practice	11/1997
069	D.S. Bridges, F. Richman and P. Schuster	Adjoints, Absolute Values and Polar Decompostions	11/1997
070	D.S. Bridges, C. Calude, B. Pavlov and D. Stefanescu	The Constructive Implicit Function Theorem and Applications in Mechanics	11/1997
071	C. Martin-Vide and G. Paun	Cooperating Distributed Splicing Systems	12/1997
072	G. Paun	DNA Computing Based on Splicing: Universality Results	12/1997
073	G. Paun	Two-Level Distributed H Systems	12/1997
074	C.S. Calude and P.H. Hertling	Computable Approximations of Reals: An Information-Theoretic Analysis	12/1997

1998 [18]

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