| 2025 | WoLLIC | Insensitive Games: Game Semantics for Modal Insensitivity. | Can Baskent, David R. Gilbert, Giorgio Venturi |
| 2024 | WoLLIC | A Logic of Isolation. | Can Baskent, David R. Gilbert, Giorgio Venturi |
| 2014 | WSC | Investigating the speedup of systems biology simulation using the sztaki desktop grid. | Simon J. E. Taylor, Mohammadmersad Ghorbani, Navonil Mustafee, Tams Kiss, Pter Borsody, Annette M. Payne, David R. Gilbert |
| 2013 | CEC | Evolving biochemical systems. | Silvia Rausanu, Crina Grosan, Zujian Wu, Ovidiu Parvu, David R. Gilbert |
| 2012 | PPSN | A Hybrid Approach to Piecewise Modelling of Biochemical Systems. | Zujian Wu, Shengxiang Yang, David R. Gilbert |
| 2012 | WSC | A machine learning approach for generating temporal logic classifications of complex model behaviours. | Daniele Maccagnola, Enza Messina, Qian Gao, David R. Gilbert |
| 2011 | DIS | Bootstrapping Parameter Estimation in Dynamic Systems. | Huma Lodhi, David R. Gilbert |
| 2009 | EDOC | Towards formalizing Virtual Enterprise Architecture. | Amit Goel, Heinz Schmidt, David R. Gilbert |
| 2007 | APBC | Fast Structural Similarity Search Based on Topology String Matching. | Sung-Hee Park, David R. Gilbert, Keun Ho Ryu |
| 2007 | IDEAL | Discriminating Microbial Species Using Protein Sequence Properties and Machine Learning. | Ali Al-Shahib, David R. Gilbert, Rainer Breitling |
| 2004 | IDEAL | An Assessment of Feature Relevance in Predicting Protein Function from Sequence. | Ali Al-Shahib, Chao He, Aik Choon Tan, Mark A. Girolami, David R. Gilbert |
| 2004 | ISMB | ISMB/ECCB 2004. | Janet M. Thornton, David R. Gilbert, Catherine Brooksbank |
| 2004 | ISMB | ISMB/ECCB 2004 Organization. | Janet M. Thornton, David R. Gilbert, Catherine Brooksbank |
| 2003 | APBC | An Empirical Comparison of Supervised Machine Learning Techniques in Bioinformatics. | Aik Choon Tan, David R. Gilbert |
| 2001 | SOFSEM | Multi-agent Systems as Concurrent Constraint Processes. | Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmr Kretnsk |
| 2001 | WABI | Pattern Matching and Pattern Discovery Algorithms for Protein Topologies. | Juris Viksna, David R. Gilbert |
| 2000 | BIBE | FURY: Fuzzy Unification and Resolution Based on Edit Distance. | David R. Gilbert, Michael Schroeder |
| 1996 | CP | Transformations Between HCLP and PCSP. | Michael Jampel, Jean-Marie Jacquet, David R. Gilbert, Sebastian Hunt |
| 1996 | ICLP | A General Framework for Integrating HCLP and PCSP (Poster Abstract). | Michael Jampel, Jean-Marie Jacquet, David R. Gilbert |
| 1994 | LOPSTR | Transforming Specifications of Observable Behaviour into Programs. | David R. Gilbert, Christopher J. Hogger, Jir Zlatuska |
| 1991 | ICLP | Deriving Logic Programs from Observations. | David R. Gilbert, Christopher J. Hogger |
| 1989 | FORTE | Specifying Concurrent Systems Using Logic. | David R. Gilbert |
| 1988 | FORTE | A LOTOS to PARLOG Translator. | David R. Gilbert |