The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Gilbert: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Gilbert, Christopher J. Hogger
    Logic for Representing and Implementing Knwoledge about System Behaviour. [Citation Graph (0, 0)][DBLP]
    Advanced Topics in Artificial Intelligence, 1992, pp:42-49 [Conf]
  2. Lubos Brim, Jean-Marie Jacquet, David Gilbert, Mojmír Kretínský
    A Process Algebra for Synchronous Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:165-178 [Conf]
  3. Aik Choon Tan, David Gilbert
    An Empirical Comparison of Supervised Machine Learning Techniques in Bioinformatics. [Citation Graph (0, 0)][DBLP]
    APBC, 2003, pp:219-222 [Conf]
  4. Sung-Hee Park, David Gilbert, Keun Ho Ryu
    Fast Structural Similarity Search Based on Topology String Matching. [Citation Graph (0, 0)][DBLP]
    APBC, 2007, pp:341-351 [Conf]
  5. David Gilbert, Monika Heiner
    From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2006, pp:181-200 [Conf]
  6. David Gilbert, Michael Schroeder
    FURY: Fuzzy Unification and Resolution Based on Edit Distance. [Citation Graph (0, 0)][DBLP]
    BIBE, 2000, pp:330-336 [Conf]
  7. David Gilbert, Catuscia Palamidessi
    Concurrent Constraint Programming with Process Mobility. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:463-477 [Conf]
  8. Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak
    An Overview of Data Models for the Analysis of Biochemical Pathways. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:174- [Conf]
  9. Michael Jampel, Jean-Marie Jacquet, David Gilbert, Sebastian Hunt
    Transformations Between HCLP and PCSP. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:252-266 [Conf]
  10. David Gilbert
    Specification and Implementation of Concurrent Systems using PARLOG. [Citation Graph (0, 0)][DBLP]
    Specification and Verification of Concurrent Systems, 1988, pp:455-473 [Conf]
  11. David Gilbert
    A LOTOS to PARLOG Translator. [Citation Graph (0, 0)][DBLP]
    FORTE, 1988, pp:31-44 [Conf]
  12. David Gilbert
    Specifying Concurrent Systems Using Logic. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:245-260 [Conf]
  13. David Gilbert, Juris Viksna
    Pattern discovery methods for protein topology diagrams. [Citation Graph (0, 0)][DBLP]
    German Conference on Bioinformatics, 1999, pp:194-196 [Conf]
  14. Jacques van Helden, David Gilbert, Lorenz Wernisch, Renato Mancuso, Matthew Eldridge, Kirill Degtyarenko, Shoshana J. Wodak
    Logical Tools for Quering and Assisting Annotation of a Biochemical Pathway Database. [Citation Graph (0, 0)][DBLP]
    German Conference on Bioinformatics, 1999, pp:227-229 [Conf]
  15. Aik Choon Tan, David Gilbert, Yves Deville
    Integrative machine learning approach for multi-class SCOP protein fold classification. [Citation Graph (0, 0)][DBLP]
    German Conference on Bioinformatics, 2003, pp:153-159 [Conf]
  16. Juris Viksna, David Gilbert, Gilleain M. Torrance
    Protein structure comparison based o n profiles of topological motifs: a feasible way to deal with information from negative examples. [Citation Graph (0, 0)][DBLP]
    German Conference on Bioinformatics, 2003, pp:159-165 [Conf]
  17. David Gilbert, Christopher J. Hogger
    Deriving Logic Programs from Observations. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop on Construction of Logic Programs, 1991, pp:113-126 [Conf]
  18. Michael Jampel, Jean-Marie Jacquet, David Gilbert
    A General Framework for Integrating HCLP and PCSP (Poster Abstract). [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:543- [Conf]
  19. Ali Al-Shahib, Chao He, Aik Choon Tan, Mark Girolami, David Gilbert
    An Assessment of Feature Relevance in Predicting Protein Function from Sequence. [Citation Graph (0, 0)][DBLP]
    IDEAL, 2004, pp:52-57 [Conf]
  20. Janet M. Thornton, David Gilbert, Catherine Brooksbank
    ISMB/ECCB 2004. [Citation Graph (0, 0)][DBLP]
    ISMB/ECCB (Supplement of Bioinformatics), 2004, pp:1-2 [Conf]
  21. Janet M. Thornton, David Gilbert, Catherine Brooksbank
    ISMB/ECCB 2004 Organization. [Citation Graph (0, 0)][DBLP]
    ISMB/ECCB (Supplement of Bioinformatics), 2004, pp:3-5 [Conf]
  22. David Gilbert
    Tutoriel I: Bioinformatique et contraintes. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2000, pp:13-0 [Conf]
  23. David Gilbert, David R. Westhead, Janet M. Thornton, Karine Yvon
    Une technique déclarative pour filtrer des motifs topologiques de protéines. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2000, pp:165-0 [Conf]
  24. 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. [Citation Graph (0, 0)][DBLP]
    JOBIM, 2000, pp:147-164 [Conf]
  25. David Gilbert, Christopher J. Hogger, Jirí Zlatuska
    Transforming Specifications of Observable Behaviour into Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:88-103 [Conf]
  26. David Gilbert
    Executable LOTOS: Using PARLOG to Implement an FDT. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:281-294 [Conf]
  27. Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
    Synchronisation in Scc. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:641- [Conf]
  28. Lubos Brim, David Gilbert, Jean-Marie Jacquet, Mojmír Kretínský
    Multi-agent Systems as Concurrent Constraint Processes. [Citation Graph (0, 0)][DBLP]
    SOFSEM, 2001, pp:201-210 [Conf]
  29. Juris Viksna, David Gilbert
    Pattern Matching and Pattern Discovery Algorithms for Protein Topologies. [Citation Graph (0, 0)][DBLP]
    WABI, 2001, pp:98-111 [Conf]
  30. Alexander A. Letichevsky, David Gilbert
    A Model for Interaction of Agents and Environments. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:311-328 [Conf]
  31. Yves Deville, David Gilbert, Jacques van Helden, Shoshana J. Wodak
    An overview of data models for the analysis of biochemical pathways. [Citation Graph (0, 0)][DBLP]
    Briefings in Bioinformatics, 2003, v:4, n:3, pp:246-259 [Journal]
  32. David Gilbert, David R. Westhead, N. Nagano, Janet M. Thornton
    Motif-based searching in TOPS protein topology databases. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 1999, v:15, n:4, pp:317-326 [Journal]
  33. Juris Viksna, David Gilbert
    Assessment of the probabilities for evolutionary structural changes in protein folds. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2007, v:23, n:7, pp:832-841 [Journal]
  34. Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David Gilbert
    Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 2002, v:21, n:6, pp:- [Journal]
  35. David Gilbert, David R. Westhead, Juris Viksna, Janet M. Thornton
    A Computer System to Perform Structure Comparison using Representations of Protein Structure. [Citation Graph (0, 0)][DBLP]
    Computers & Chemistry, 2002, v:26, n:1, pp:23-30 [Journal]
  36. David Gilbert, Rolf Backofen, Roland H. C. Yap
    Introduction to the Special Issue on Bioinformatics. [Citation Graph (0, 0)][DBLP]
    Constraints, 2001, v:6, n:2/3, pp:139- [Journal]
  37. Rolf Backofen, David Gilbert
    Bioinformatics and Constraints. [Citation Graph (0, 0)][DBLP]
    Constraints, 2001, v:6, n:2/3, pp:141-156 [Journal]
  38. Ingvar Eidhammer, Inge Jonassen, Svenn Helge Grindhaug, David Gilbert, Madu Ratnayake
    A Constraint Based Structure Description Language for Biosequences. [Citation Graph (0, 0)][DBLP]
    Constraints, 2001, v:6, n:2/3, pp:173-200 [Journal]
  39. David Gilbert
    Can Computational Logic Provide a Paradigm for Both the Specification and Implementation of Concurrent Systems? [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:2, pp:303-305 [Journal]
  40. Jean-Marie Jacquet, Lubos Brim, David Gilbert, Mojmír Kretínský
    Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  41. Ali Al-Shahib, Rainer Breitling, David Gilbert
    Franksum: new feature selection method for protein function prediction. [Citation Graph (0, 0)][DBLP]
    Int. J. Neural Syst., 2005, v:15, n:4, pp:259-275 [Journal]
  42. Sung-Hee Park, Keun Ho Ryu, David Gilbert
    Fast similarity search for protein 3d structures using topological pattern matching based on spatial relations. [Citation Graph (0, 0)][DBLP]
    Int. J. Neural Syst., 2005, v:15, n:4, pp:287-296 [Journal]
  43. Michael Schroeder, David Gilbert, Jacques van Helden, Penny Noy
    Approaches to visualisation in bioinformatics: from dendrograms to Space Explorer. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 2001, v:139, n:1-2, pp:19-57 [Journal]
  44. Alvis Brazma, Inge Jonassen, Ingvar Eidhammer, David Gilbert
    Approaches to the Automatic Discovery of Patterns in Biosequences. [Citation Graph (0, 0)][DBLP]
    Journal of Computational Biology, 1998, v:5, n:2, pp:277-304 [Journal]
  45. William M. Gelbart, Madeline A. Crosby, B. Matthews, W. P. Rindone, J. Chillemi, S. Russo Twombly, David Emmert, M. Ashburner, Rachel A. Drysdale, E. Whitfield, G. H. Millburn, A. de Grey, T. Kaufman, K. Matthews, David Gilbert, Victor B. Strelets, C. Tolstoshev
    FlyBase: a Drosophila database. The FlyBase consortium. [Citation Graph (0, 0)][DBLP]
    Nucleic Acids Research, 1997, v:25, n:1, pp:63-66 [Journal]
  46. Muffy Calder, Vladislav Vyshemirsky, David Gilbert, Richard J. Orton
    Analysis of Signalling Pathways Using Continuous Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    , 2006, v:, n:, pp:44-67 [Journal]
  47. David Gilbert, Monika Heiner, Sebastian Lehrack
    A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. [Citation Graph (0, 0)][DBLP]
    CMSB, 2007, pp:200-216 [Conf]

  48. A Model Checking Approach to the Parameter Estimation of Biochemical Pathways. [Citation Graph (, )][DBLP]


  49. Combining One-Class Classification Models Based on Diverse Biological Data for Prediction of Protein-Protein Interactions. [Citation Graph (, )][DBLP]


  50. Discriminating Microbial Species Using Protein Sequence Properties and Machine Learning. [Citation Graph (, )][DBLP]


  51. An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways. [Citation Graph (, )][DBLP]


  52. Petri Nets for Systems and Synthetic Biology. [Citation Graph (, )][DBLP]


  53. A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. [Citation Graph (, )][DBLP]


  54. MetaNetter: inference and visualization of high-resolution metabolomic networks. [Citation Graph (, )][DBLP]


  55. A novel method for comparing topological models of protein structures enhanced with ligand information. [Citation Graph (, )][DBLP]


  56. An optimized TOPS+ comparison method for enhanced TOPS models. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.457secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002