HTTP/1.1 200 OK Connection: close Date: Sat, 11 Oct 2003 19:09:14 GMT Accept-Ranges: bytes Server: Netscape-Enterprise/3.6 Content-Length: 12979 Content-Type: text/html Last-Modified: Thu, 09 Oct 2003 11:43:14 GMT Cache-Last-Checked: Mon, 20 Oct 2003 15:30:36 GMT Client-Date: Mon, 20 Oct 2003 15:30:33 GMT Client-Response-Num: 1 Proxy-Agent: Netscape-Proxy/3.52 Title: DBLP: David Gilbert DBLP: David Gilbert dblp.uni-trier.de

David Gilbert

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM - CiteSeer - CSB - Google - HomePageSearch
2003
28EEAik Choon Tan, David Gilbert: An Empirical Comparison of Supervised Machine Learning Techniques in Bioinformatics. APBC 2003: 219-222
27EEYves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak: An Overview of Data Models for the Analysis of Biochemical Pathways. CMSB 2003: 174
26EEJean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmír Kretínský: Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. ENTCS 68(3): (2003)
2002
25EEDavid Gilbert, David R. Westhead, Juris Viksna, Janet Thornton: A Computer System to Perform Structure Comparison using Representations of Protein Structure. Computers & Chemistry 26(1): 23-30 (2002)
2001
24EELubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský: Multi-agent Systems as Concurrent Constraint Processes. SOFSEM 2001: 201-210
23EEJuris Viksna, David Gilbert: Pattern Matching and Pattern Discovery Algorithms for Protein Topologies. WABI 2001: 98-111
22 David Gilbert, Rolf Backofen, Roland H. C. Yap: Introduction to the Special Issue on Bioinformatics. Constraints 6(2/3): 139 (2001)
21 Rolf Backofen, David Gilbert: Bioinformatics and Constraints. Constraints 6(2/3): 141-156 (2001)
20 Ingvar Eidhammer, Inge Jonassen, Svenn Helge Grindhaug, David Gilbert, Madu Ratnayake: A Constraint Based Structure Description Language for Biosequences. Constraints 6(2/3): 173-200 (2001)
19 Michael Schroeder, David Gilbert, Jacques van Helden, Penny Noy: Approaches to visualisation in bioinformatics: from dendrograms to Space Explorer. Information Sciences 139(1-2): 19-57 (2001)
2000
18 David Gilbert, Michael Schroeder: FURY: Fuzzy Unification and Resolution Based on Edit Distance. BIBE 2000: 330-336
17EEDavid Gilbert, Catuscia Palamidessi: Concurrent Constraint Programming with Process Mobility. Computational Logic 2000: 463-477
16EEJacques van Helden, David Gilbert, Lorenz Wernisch, Michael Schroeder, Shoshana J. Wodak: Application of Regulatory Sequence Analysis and Metabolic Network Analysis to the Interpretation of Gene Expression Data. JOBIM 2000: 147-164
1999
15 Alexander A. Letichevsky, David Gilbert: A Model for Interaction of Agents and Environments. WADT 1999: 311-328
14 David Gilbert, David R. Westhead, N. Nagano, Janet Thornton: Motif-based searching in TOPS protein topology databases. Bioinformatics 15(4): 317-326 (1999)
1998
13 Alvis Brazma, Inge Jonassen, Ingvar Eidhammer, David Gilbert: Approaches to the Automatic Discovery of Patterns in Biosequences. Journal of Computational Biology 5(2): 277-304 (1998)
1996
12 Lubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský: A Process Algebra for Synchronous Concurrent Constraint Programming. ALP 1996: 165-178
11 Michael Jampel, Jean-Marie Jacquet, David Gilbert, Sebastian Hunt: Transformations Between HCLP and PCSP. CP 1996: 252-266
10 Michael Jampel, Jean-Marie Jacquet, David Gilbert: A General Framework for Integrating HCLP and PCSP (Poster Abstract). JICSLP 1996: 543
9 David Gilbert: Can Computational Logic Provide a Paradigm for Both the Specification and Implementation of Concurrent Systems? ACM Computing Surveys 28(2): 303-305 (1996)
1995
8 Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský: Synchronisation in Scc. ILPS 1995: 641
1994
7 David Gilbert, Christopher J. Hogger, Jirí Zlatuska: Transforming Specifications of Observable Behaviour into Programs. LOPSTR 1994: 88-103
1992
6 David Gilbert, Christopher J. Hogger: Logic for Representing and Implementing Knwoledge about System Behaviour. Advanced Topics in Artificial Intelligence 1992: 42-49
1991
5 David Gilbert, Christopher J. Hogger: Deriving Logic Programs from Observations. ICLP Workshop on Construction of Logic Programs 1991: 113-126
1989
4 David Gilbert: Specifying Concurrent Systems Using Logic. FORTE 1989: 245-260
1988
3 David Gilbert: A LOTOS to PARLOG Translator. FORTE 1988: 31-44
2 David Gilbert: Specification and Implementation of Concurrent Systems using PARLOG. Specification and Verification of Concurrent Systems 1988: 455-473
1987
1 David Gilbert: Executable LOTOS: Using PARLOG to Implement an FDT. PSTV 1987: 281-294

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Thu Oct 9 03:19:44 2003