ACM Transactions on Database Systems

Levene, Mark and Loizou, G. (1999) Database design for incomplete relations. ACM Transactions on Database Systems 24 (1), pp. 80-125. ISSN 0362-5915.

Levene, Mark and Loizou, G. (1993) Semantics for null extended nested relations. ACM Transactions on Database Systems 18 (3), pp. 414-459. ISSN 0362-5915.

Acta Informatica

Levene, Mark and Loizou, G. (1997) The additivity problem for functional dependencies in incomplete relations. Acta Informatica 34 (2), pp. 135-149. ISSN 0001-5903.

Levene, Mark and Loizou, G. (1991) Correction to null values in nested relational databases by M.A. Roth, H.F. Korth, and A. Silberschatz. Acta Informatica 28 (6), pp. 603-605. ISSN 0001-5903.

Fenner, Trevor and Loizou, G. (1981) An analysis of two related loop-free algorithms for generating integer partitions. Acta Informatica 16 , pp. 237-252. ISSN 0001-5903.

BIT Numerical Mathematics

Levene, Mark and Loizou, G. (1992) Inferring null join dependencies in relational databases. BIT Numerical Mathematics 32 (3), pp. 413-429. ISSN 0006-3835.

Fenner, Trevor and Loizou, G. (1984) Loop-free algorithms for traversing binary trees. BIT Numerical Mathematics 24 (1), pp. 33-44. ISSN 0006-3835.

Fenner, Trevor and Loizou, G. (1981) A note on traversal algorithms for triply linked binary trees. BIT Numerical Mathematics 21 (2), pp. 153-156. ISSN 0006-3835.

Discrete Mathematics

Fenner, Trevor and Loizou, G. (1977) Combinatorial aspects of rectangular non-negative matrices. Discrete Mathematics 20 , pp. 217-234. ISSN 0012-365X.

Fundamenta Informaticae

Levene, Mark and Loizou, G. (1996) Categorisation of computable data-base queries. Fundamenta Informaticae 27 (4), pp. 319-348. ISSN 0169-2968.

Levene, Mark and Loizou, G. (1993) A fully precise null extended nested relational algebra. Fundamenta Informaticae 19 (3/4), pp. 303-342. ISSN 0169-2968.

IEEE Transactions on Knowledge and Data Engineering

Levene, Mark and Loizou, G. (1995) A graph-based data model and its ramifications. IEEE Transactions on Knowledge and Data Engineering 7 (5), pp. 809-823. ISSN 1041-4347.

Information Processing Letters

Levene, Mark and Loizou, G. (1999) How to prevent interaction of functional and inclusion dependencies. Information Processing Letters 71 (3/4), pp. 115-125. ISSN 0020-0190.

Information Sciences

Levene, Mark and Loizou, G. (1999) A probabilistic approach to navigation in hypertext. Information Sciences 114 (1-4), pp. 165-186. ISSN 0020-0255.

Information and Computation

Levene, Mark and Loizou, G. (1997) Null inclusion dependencies in relational databases. Information and Computation 136 (2), pp. 67-108. ISSN 0890-5401.

International Journal of Computer Mathematics

Levene, Mark and Loizou, G. (1995) A correspondence between variable relations and three-valued propositional logic. International Journal of Computer Mathematics 55 (1-2), pp. 29-38. ISSN 0020-7160.

International Journal of Parallel, Emergent and Distributed Systems

Levene, Mark and Loizou, G. (1993) A modal logic formalism for distributed and parallel knowledge bases. International Journal of Parallel, Emergent and Distributed Systems 1 (1), pp. 11-27. ISSN 1744-5760.

Journal of Computer and System Sciences

Levene, Mark and Loizou, G. (1994) The nested universal relation data model. Journal of Computer and System Sciences 49 (3), pp. 683-717. ISSN 0022-0000.

Fenner, Trevor and Loizou, G. (1971) On fully indecomposable matrices. Journal of Computer and System Sciences 5 (6), pp. 607-622. ISSN 0022-0000.

Journal of the ACM

Fenner, Trevor and Loizou, G. (1974) Some new bounds on the condition numbers of optimally scaled matrices. Journal of the ACM 21 (3), pp. 514-524. ISSN 0004-5411.

Proceedings of the 2006 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology

Mirkin, Boris and da Silva Camargo, R. and Fenner, Trevor and Loizou, G. and Kellam, P. (2006) Aggregating homologous protein families in evolutionary reconstructions of herpesviruses. Proceedings of the 2006 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology , pp. 1-8.

RAIRO: Theoretical Informatics and Applications

Levene, Mark and Loizou, G. (2001) A generalisation of entity and referential integrity in relational databases. RAIRO: Theoretical Informatics and Applications 35 (12), pp. 113-127. ISSN 0988-3754.

SIAM Journal on Computing

Levene, Mark and Loizou, G. (1999) Navigation in hypertext is easy only sometimes. SIAM Journal on Computing 29 (3), pp. 728-760. ISSN 0097-5397.

Fenner, Trevor and Loizou, G. (1983) Tree traversal related algorithms for generating integer partitions. SIAM Journal on Computing 12 (3), pp. 551-564. ISSN 0097-5397.

The Computer Journal

Levene, Mark and Loizou, G. (1990) The nested relation type model: an application of domain theory to databases. The Computer Journal 33 (1), pp. 19-30. ISSN 0010-4620.

Fenner, Trevor and Loizou, G. (1980) A binary tree representation and related algorithms for generating partitions. The Computer Journal 23 (4), pp. 332-337. ISSN 0010-4620.

Theoretical Computer Science

Levene, Mark and Loizou, G. (1998) Axiomatisation of functional dependencies in incomplete relations. Theoretical Computer Science 206 (1-2), pp. 283-300. ISSN 0304-3975.