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
2003 | ||
---|---|---|
28 | EE | Aik Choon Tan, David Gilbert: An Empirical Comparison of Supervised Machine Learning Techniques in Bioinformatics. APBC 2003: 219-222 |
27 | EE | Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak: An Overview of Data Models for the Analysis of Biochemical Pathways. CMSB 2003: 174 |
26 | EE | Jean-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 | ||
25 | EE | David 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 | ||
24 | EE | Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský: Multi-agent Systems as Concurrent Constraint Processes. SOFSEM 2001: 201-210 |
23 | EE | Juris 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 | |
17 | EE | David Gilbert, Catuscia Palamidessi: Concurrent Constraint Programming with Process Mobility. Computational Logic 2000: 463-477 |
16 | EE | Jacques 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 |