Ã÷ÐÇ°ËØÔ

Skip to Content
Skip to main content
e

Professor David Gilbert
Emeritus Honorary Professor

Wilfred Brown Building 210

Filter

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

Journal article

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

Journal article

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

Journal article

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

Journal article

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.

Conference paper

Helden, JV., Naim, A., Mancuso, R., Eldridge, M., Wernisch, L., Gilbert, D. and et al. (2000) ''. Journal of Biological Chemistry, 38 (9-10). pp. 921 - 935. ISSN: 0021-9258

Journal article

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

Conference paper

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

Conference paper

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.

Conference paper

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.

Conference paper

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

Conference paper

Letichevsky, A. and Gilbert, D. (2000) ''. Springer Berlin Heidelberg. pp. 311 - 328. ISSN: 0302-9743

Conference paper

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.

Conference paper

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

Journal article

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

Conference paper

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

Journal article

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

Conference paper

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.

Conference paper

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

Journal article

Brazma, A., Jonassen, I., Eidhammer, I. and Gilbert, D. (1998) ''. Journal of Computational Biology, 5 (2). pp. 279 - 305. ISSN: 1066-5277

Journal article

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

Journal article

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.

Conference paper

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.

Conference paper

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.

Conference paper

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

Conference paper

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

Journal article

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

Conference paper

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

Conference paper

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

Conference paper

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

Conference paper

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

Conference paper

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

Conference paper

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

Conference paper

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

Conference paper

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

Conference paper

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

Conference paper

Ã÷ÐÇ°ËØÔ
Kingston Lane
Uxbridge
Middlesex UB8 3PH

Tel: +44 (0)1895 274000

Fax: +44 (0)1895 232806

Security: +44 (0)1895 255786

Directions to the campus

Ã÷ÐÇ°ËØÔ.ac.uk uses cookies to make our site better for you. By clicking on or navigating this site, you accept our use of cookies in accordance with our cookie policy.

Close this message