Eidhammer, I., Jonassen, J., Grindhaug, SH., Gilbert, D. and Ratnayake, M. (2001) 'A constraint based structure description language for Biosequences'. Constraints, 6 (2/3). pp. 173 - 200. ISSN: 1383-7133

Gilbert, D., Backofen, R. and Yap, RHC. (2001) 'Introduction to the special issue on bioinformatics'. Constraints, 6 (2-3). pp. 139. ISSN: 1383-7133

Schroeder, M., Gilbert, D., Helden, JV. and Noy, P. (2001) 'Approaches to visualisation in bioinformatics: from dendrograms to space explorer'. Information Sciences, 139 (1). pp. 19 - 57. ISSN: 0020-0255

Gilbert, DR., Schroeder, M. and Van Helden, J. (2000) 'Interactive visualization and exploration of relationships between biological objects'. Trends in Biotechnology, 18 (12). pp. 487 - 494. ISSN: 0167-7799

Gilbert, D. and Schroeder, M. (2000) 'FURY: Fuzzy unification and resolution based on edit distance'.IEEE International Symposium on Bio-Informatics and Biomedical Engineering. Arlington, VA , USA. 8 - 10 November. IEEE. pp. 330 - 336.

Helden, JV., Naim, A., Mancuso, R., Eldridge, M., Wernisch, L., Gilbert, D. and Wodak, SJ. et al. (2000) 'Representing and analysing molecular and cellular function in the computer'. Journal of Biological Chemistry, 38 (9-10). pp. 921 - 935. ISSN: 0021-9258

Gilbert, D. and Palamidessi, C. (2000) 'Concurrent constraint programming with process mobility'.1st International Conference on Computational Logic (CL2000). London. 24 - 28 July. Springer. pp. 463 - 477. ISSN: 0302-9743

Helden, JV., Gilbert, D., Wernisch, L., Schroeder, M. and Wodak, SJ. (2000) 'Application of regulatory sequence analysis and metabolic network analysis to the interpretation of gene expression data'.1st International Conference on Computational Biology, Biology, Informatics, and Mathematics (JOBIM 2000). Montpellier, France. 3 - 5 May. Springer Berlin Heidelberg. pp. 147 - 163. ISSN: 0302-9743

Gilbert, D., Westhead, D., Viksna, J. and Thorton, J. (2000) 'Topology-based protein structure comparison using a pattern discovery technique'.Symposium on AI in Bioinformatics (AISB-00). University of Birmingham, England. 19 - 20 April.

Gilbert, D., Schroeder, M. and Helden, JV. (2000) 'Interactive visualisation and exploration of biological data'.2nd International Workshop on Biomolecular Informatics in Conjunction with the 5th Joint Conference on Information Sciences. Atlantic City, New Jersey, USA. 27 - 3 March. Proceedings of the Joint Conference on Information Sciences. pp. 823 - 826.

Gilbert, DR. (2000) 'Tutoriel I: Bioinformatique et contraintes.'. Hermes. pp. 13 - 13.

Letichevsky, A. and Gilbert, D. (2000) 'A model for interaction of agents and environments'. Springer Berlin Heidelberg. pp. 311 - 328. ISSN: 0302-9743

Gilbert, DR., Westhead, DR., Thornton, JM. and Yvon, K. (2000) 'Une technique déclarative pour filtrer des motifs topologiques de protéines.'. Hermes. pp. 165 - 165.

Letichevsky, AA., Kapitonova, JV., Volkov, VA., Chugayenko, A., Khomenko, V. and Gilbert, DR. (1999) 'The development of interactive algorithms for the Mathematical Environment'. Electronic Notes in Theoretical Computer Science, 23 (3). pp. 352 - 369. ISSN: 1571-0661

Helden, JV., Gilbert, DR., Wernisch, L., Mancuso, R., Eldridge, MD., Degtyarenko, K. and Wodak, SJ. et al. (1999) 'Logical Tools for Quering and Assisting Annotation of a Biochemical Pathway Database.'. German Conference on Bioinformatics. pp. 227 - 229.

Gilbert, D., Westhead, D., Nagano, N. and Thornton, J. (1999) 'Motif-based searching in TOPS protein topology databases'. Bioinformatics, 15 (4). pp. 317 - 326. ISSN: 1367-4803

Gilbert, DR. and Viksna, J. (1999) 'Pattern discovery methods for protein topology diagrams.'. German Conference on Bioinformatics. pp. 194 - 196.

Gilbert, D. and Letichevsky, A. (1998) 'Interaction of agents and environments'.International Scientific and Practical Conference on Programming Ukrprog'98'. Kiev, Ukraine. 2 - 4 September. National Academy of Sciences of Ukraine. pp. 225 - 232.

Letichevsky, AA. and Gilbert, D. (1998) 'A general theory of action languages'. Cybernetics and System Analysis, 1. pp. 16 - 37. ISSN: 0023-1274

Brazma, A., Jonassen, I., Eidhammer, I. and Gilbert, D. (1998) 'Approaches to the automatic discovery of patterns in biosequences'. Journal of Computational Biology, 5 (2). pp. 279 - 305. ISSN: 1066-5277

Brazma, A., Jonassen, I., Eidhammer, I. and Gilbert, DR. (1998) 'Approaches to the Automatic Discovery of Patterns in Biosequences.'. J. Comput. Biol., 5. pp. 279 - 305.

Kambi, M. and Gilbert, D. (1996) 'Timetabling in constraint logic programming'.INAP-96: Symposium and Exhibition on Industrial Applications of Prolog. Tokyo, Japan. 16 - 19 October. INAP. pp. 79 - 88.

Shankar, A., Gilbert, D. and Jampel, M. (1996) 'Transient analysis and synthesis of linear circuits using constraint logic programming'.INAP-96: The 9th Symposium and Exhibition on Industrial Applications of Prolog. Tokyo, Japan. 16 - 19 October. INAP.

Donovan, N. and Gilbert, D. (1996) 'Economic modelling using constraint logic programming'.9th Symposium and Exhibition on Industrial Applications of Prolog (INAP-96). Tokyo, Japan. 16 - 19 October. IF Computer.

Brim, L., Gilbert, D., Jacquet, JM. and Kretinsky, M. (1996) 'A process algebra for synchronous concurrent constraint programming'.5th International Conference on Algebraic and Logic Programming (ALP96). Aachen, Germany. 24 - 27 September. Springer. pp. 165 - 178. ISSN: 0302-9743

Gilbert, D. (1996) 'Can computational logic provide a paradigm for both the specification and implementation of concurrent systems?'. ACM Computing Surveys (CSUR), 28 (2). pp. 303 - 305. ISSN: 0360-0300

Jampel, M., Jacquet, JM., Gilbert, D. and Hunt, S. (1996) 'Transformations between HCLP and PCSP'.CP96: Second International Conference on Principles and Practice of Constraint Programming. Cambridge, Massachusetts, USA. Springer. pp. 252 - 266. ISSN: 0302-9743

Jampel, M., Jacquet, J-M. and Gilbert, DR. (1996) 'A General Framework for Integrating HCLP and PCSP (Poster Abstract).'. MIT Press. pp. 543 - 543.

Brim, L., Gilbert, DR., Jacquet, J-M. and Kretínský, M. (1995) 'Synchronisation in Scc.'. MIT Press. pp. 641 - 641.

Gilbert, D., Hogger, C. and Zlatuska, J. (1994) 'Transforming specifications of observable behaviour into programs'.4th International Workshop on Logic Programming Synthesis and Transformation (LOPSTR '94). Pisa, Italy. 19 - 21 June. Springer. pp. 88 - 103. ISSN: 0302-9743

GILBERT, DR. and HOGGER, CJ. (1992) 'LOGIC FOR REPRESENTING AND IMPLEMENTING KNOWLEDGE ABOUT SYSTEM BEHAVIOR'. Springer. pp. 42 - 49.

Gilbert, DR. and Hogger, CJ. (1991) 'Deriving Logic Programs from Observations.'. Wiley. pp. 113 - 126.

Gilbert, DR. (1989) 'Specifying Concurrent Systems Using Logic.'. North-Holland. pp. 245 - 260.

Gilbert, DR. (1988) 'A LOTOS to PARLOG Translator.'. North-Holland. pp. 31 - 44.

Gilbert, DR. (1988) 'Specification and Implementation of Concurrent Systems using PARLOG.'. Springer. pp. 455 - 473.

Gilbert, DR. (1987) 'Executable LOTOS: Using PARLOG to Implement an FDT.'. North-Holland. pp. 281 - 294.