91Ó°ÊÓ

Eidhammer, I., Jonassen, J., Grindhaug, SH., Gilbert, D. and Ratnayake, M. (2001) ''. Constraints, 6 (2/3). pp. 173 - 200. ISSN: 1383-7133

Gilbert, D., Backofen, R. and Yap, RHC. (2001) ''. Constraints, 6 (2-3). pp. 139. ISSN: 1383-7133

Schroeder, M., Gilbert, D., Helden, JV. and Noy, P. (2001) ''. Information Sciences, 139 (1). pp. 19 - 57. ISSN: 0020-0255

Gilbert, DR., Schroeder, M. and Van Helden, J. (2000) ''. Trends in Biotechnology, 18 (12). pp. 487 - 494. ISSN: 0167-7799

Gilbert, D. and Schroeder, M. (2000) ''.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) ''. Journal of Biological Chemistry, 38 (9-10). pp. 921 - 935. ISSN: 0021-9258

Gilbert, D. and Palamidessi, C. (2000) ''.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) ''.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) ''. 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) ''. Electronic Notes in Theoretical Computer Science, 23 (3). pp. 352 - 369. ISSN: 1571-0661

Gilbert, D., Westhead, D., Nagano, N. and Thornton, J. (1999) ''. Bioinformatics, 15 (4). pp. 317 - 326. ISSN: 1367-4803

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, 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.

Brazma, A., Jonassen, I., Eidhammer, I. and Gilbert, DR. (1998) ''. J. Comput. Biol., 5. pp. 279 - 305.

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) ''. Journal of Computational Biology, 5 (2). pp. 279 - 305. ISSN: 1066-5277

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) ''.5th International Conference on Algebraic and Logic Programming (ALP96). Aachen, Germany. 24 - 27 September. Springer. pp. 165 - 178. ISSN: 0302-9743

Gilbert, D. (1996) ''. ACM Computing Surveys (CSUR), 28 (2). pp. 303 - 305. ISSN: 0360-0300

Jampel, M., Jacquet, JM., Gilbert, D. and Hunt, S. (1996) ''.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) ''.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) 'Specification and Implementation of Concurrent Systems using PARLOG.'. Springer. pp. 455 - 473.

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

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