default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid R. Gilbert
David Roger Gilbert
Person information
- affiliation: Brunel University London, Department of Computer Science
- affiliation: University of Glasgow, School of Computing Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c56]Can Baskent, David R. Gilbert, Giorgio Venturi:
A Logic of Isolation. WoLLIC 2024: 36-46- 2022
- [j54]Fei Liu
, Monika Heiner, David R. Gilbert:
Hybrid modelling of biological systems: current progress and future prospects. Briefings Bioinform. 23(3) (2022) - [j53]David R. Gilbert, Ekaterina Kubyshkina, Mattia Petrolo, Giorgio Venturi:
Logics of Ignorance and Being Wrong. Log. J. IGPL 30(5): 870-885 (2022) - 2021
- [j52]Fei Liu, Wujie Sun, Monika Heiner, David R. Gilbert:
Hybrid modelling of biological systems using fuzzy continuous Petri nets. Briefings Bioinform. 22(1): 438-450 (2021) - [j51]David R. Gilbert, Giorgio Venturi:
Reflexive-Insensitive Logics, the Boxdot Translation, and the Modal Logic of Generic Absoluteness. Notre Dame J. Formal Log. 62(2) (2021) - [i5]Shannon Connolly, David R. Gilbert, Monika Heiner:
From Epidemic to Pandemic Modelling. CoRR abs/2107.00835 (2021) - 2020
- [j50]Fei Liu, Monika Heiner, David R. Gilbert:
Fuzzy Petri nets for modelling of uncertain biological systems. Briefings Bioinform. 21(1): 198-210 (2020) - [j49]David R. Gilbert, Giorgio Venturi:
A note on logics of essence and accident. Log. J. IGPL 28(5): 881-891 (2020)
2010 – 2019
- 2019
- [j48]Fei Liu, Monika Heiner, David R. Gilbert:
Coloured Petri nets for multilevel, multiscale and multidimensional modelling of biological systems. Briefings Bioinform. 20(3): 877-886 (2019) - [j47]David R. Gilbert, Monika Heiner, Yasoda Jayaweera, Christian Rohr:
Towards dynamic genome-scale models. Briefings Bioinform. 20(4): 1167-1180 (2019) - [j46]David R. Gilbert, Monika Heiner, Leila Ghanbar, Jacek Chodak:
Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking. BMC Bioinform. 20-S(4): 173:1-173:23 (2019) - 2018
- [j45]Riccardo Colombo, Chiara Damiani, David R. Gilbert, Monika Heiner, Giancarlo Mauri, Dario Pescini:
Emerging ensembles of kinetic parameters to characterize observed metabolic phenotypes. BMC Bioinform. 19-S(7): 45-59 (2018) - [j44]David R. Gilbert, Monika Heiner, Christian Rohr:
Petri-net-based 2D design of DNA walker circuits. Nat. Comput. 17(1): 161-182 (2018) - [c55]Timothy Self, David R. Gilbert, Monika Heiner:
Derivation of a Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models. CMSB 2018: 39-58 - 2016
- [j43]Juris Viksna, David R. Gilbert:
Gene Duplication Models and Reconstruction of Gene Regulatory Network Evolution from Network Structure. Balt. J. Mod. Comput. 4(4) (2016) - [j42]David R. Gilbert, Giorgio Venturi:
Reflexive-Insensitive Modal Logics. Rev. Symb. Log. 9(1): 167-180 (2016) - 2015
- [j41]Silvia Rausanu, Crina Grosan, Zujian Wu, Ovidiu Parvu, Ramona Stoica, David R. Gilbert:
Computational models for inferring biochemical networks. Neural Comput. Appl. 26(2): 299-311 (2015) - [j40]David R. Gilbert, Paolo Maffezioli:
Modular Sequent Calculi for Classical Modal Logics. Stud Logica 103(1): 175-217 (2015) - [j39]David R. Gilbert, Monika Heiner:
Advances in Computational Methods in Systems Biology. Theor. Comput. Sci. 599: 2-3 (2015) - [j38]Ovidiu Parvu, David R. Gilbert, Monika Heiner, Fei Liu, Nigel J. Saunders, Simon Shaw:
Spatial-Temporal Modelling and Analysis of Bacterial Colonies with Phase Variable Genes. ACM Trans. Model. Comput. Simul. 25(2): 13:1-13:25 (2015) - 2014
- [j37]Ovidiu Parvu, David R. Gilbert:
Automatic validation of computational models using pseudo-3D spatio-temporal model checking. BMC Syst. Biol. 8: 124 (2014) - [j36]Xuan Liu, Simon J. E. Taylor, Navonil Mustafee, Jun Wang, Qian Gao, David R. Gilbert:
Speeding up systems biology simulations of biochemical pathways using condor. Concurr. Comput. Pract. Exp. 26(17): 2727-2742 (2014) - [c54]Simon J. E. Taylor, Mohammadmersad Ghorbani, Navonil Mustafee, Tamás Kiss, Péter Borsody, Annette M. Payne, David R. Gilbert:
Investigating the speedup of systems biology simulation using the sztaki desktop grid. WSC 2014: 2774-2785 - [e4]Huiru Jane Zheng, Werner Dubitzky, Xiaohua Hu, Jin-Kao Hao, Daniel P. Berrar, Kwang-Hyun Cho, Yadong Wang, David R. Gilbert:
2014 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2014, Belfast, United Kingdom, November 2-5, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-5669-2 [contents] - [i4]David R. Gilbert, Monika Heiner, Koichi Takahashi, Adelinde M. Uhrmacher:
Multiscale Spatial Computational Systems Biology (Dagstuhl Seminar 14481). Dagstuhl Reports 4(11): 138-226 (2014) - 2013
- [j35]Eduard J. Kerkhoven, Fiona Achcar, Vincent P. Alibu, Richard J. Burchmore, Ian H. Gilbert, Maciej Trybilo, Nicole N. Driessen, David R. Gilbert, Rainer Breitling, Barbara M. Bakker, Michael P. Barrett:
Handling Uncertainty in Dynamic Models: The Pentose Phosphate Pathway in Trypanosoma brucei. PLoS Comput. Biol. 9(12) (2013) - [j34]Qian Gao, David R. Gilbert, Monika Heiner, Fei Liu, Daniele Maccagnola, David Tree:
Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila Wing. IEEE ACM Trans. Comput. Biol. Bioinform. 10(2): 337-351 (2013) - [c53]David R. Gilbert, Monika Heiner, Fei Liu, Nigel J. Saunders:
Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology. Petri Nets 2013: 230-249 - [c52]Silvia Rausanu, Crina Grosan, Zujian Wu, Ovidiu Parvu, David R. Gilbert:
Evolving biochemical systems. IEEE Congress on Evolutionary Computation 2013: 1602-1609 - [c51]Ovidiu Parvu, David R. Gilbert, Monika Heiner, Fei Liu, Nigel J. Saunders:
Modelling and Analysis of Phase Variation in Bacterial Colony Growth. CMSB 2013: 78-91 - [c50]Zujian Wu, Crina Grosan, David R. Gilbert:
Empirical Study of Computational Intelligence Strategies for Biochemical Systems Modelling. NICSO 2013: 245-260 - 2012
- [j33]David R. Gilbert, Edwin D. Mares:
Completeness Results for some two-Dimensional Logics of actuality. Rev. Symb. Log. 5(2): 239-258 (2012) - [c49]Larisa N. Soldatova, Qian Gao, David R. Gilbert:
Towards an Ontology of Biomodelling. CMSB 2012: 390-393 - [c48]Zujian Wu, Shengxiang Yang, David R. Gilbert:
A Hybrid Approach to Piecewise Modelling of Biochemical Systems. PPSN (1) 2012: 519-528 - [c47]Daniele Maccagnola, Enza Messina, Qian Gao, David R. Gilbert:
A machine learning approach for generating temporal logic classifications of complex model behaviours. WSC 2012: 294:1-294:12 - [e3]David R. Gilbert, Monika Heiner:
Computational Methods in Systems Biology - 10th International Conference, CMSB 2012, London, UK, October 3-5, 2012. Proceedings. Lecture Notes in Computer Science 7605, Springer 2012, ISBN 978-3-642-33635-5 [contents] - 2011
- [c46]Monika Heiner, David R. Gilbert:
How Might Petri Nets Enhance Your Systems Biology Toolkit. Petri Nets 2011: 17-37 - [c45]Qian Gao, Fei Liu, David R. Gilbert, Monika Heiner, David Tree:
A multiscale approach to modelling planar cell polarity in Drosophila wing using hierarchically coloured Petri nets. CMSB 2011: 209-218 - [c44]Huma Lodhi, David R. Gilbert:
Bootstrapping Parameter Estimation in Dynamic Systems. Discovery Science 2011: 194-208 - 2010
- [j32]Mallika Veeramalai, David R. Gilbert, Gabriel Valiente:
An optimized TOPS+ comparison method for enhanced TOPS models. BMC Bioinform. 11: 138 (2010) - [j31]Rainer Breitling, Robin Donaldson, David R. Gilbert, Monika Heiner:
Biomodel Engineering - From Structure to Behavior. Trans. Comp. Sys. Biology 12: 1-12 (2010) - [c43]Zujian Wu, Qian Gao, David R. Gilbert:
Target driven biochemical network reconstruction based on petri nets and simulated annealing. CMSB 2010: 33-42 - [c42]Amit Goel, Heinz Schmidt, David R. Gilbert:
Formal Models of Virtual Enterprise Architecture: Motivations and Approaches. PACIS 2010: 117 - [e2]Corrado Priami, Rainer Breitling, David R. Gilbert, Monika Heiner, Adelinde M. Uhrmacher:
Transactions on Computational Systems Biology XII, Special Issue on Modeling Methodologies. Lecture Notes in Computer Science 5945, Springer 2010, ISBN 978-3-642-11711-4 [contents]
2000 – 2009
- 2009
- [j30]Sung-Hee Park, José A. Reyes, David R. Gilbert, Ji Woong Kim, Sangsoo Kim:
Prediction of protein-protein interaction types using association rule based classification. BMC Bioinform. 10 (2009) - [j29]Richard J. Orton, Michiel E. Adriaens, Amelie Gormand, Oliver E. Sturm, Walter Kolch, David R. Gilbert:
Computational modelling of cancerous mutations in the EGFR/ERK signalling pathway. BMC Syst. Biol. 3: 100 (2009) - [j28]Monika Heiner, Sebastian Lehrack, David R. Gilbert, Wolfgang Marwan:
Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments. Trans. Comp. Sys. Biology 11: 138-163 (2009) - [c41]Amit Goel, Heinz Schmidt, David R. Gilbert:
Towards formalizing Virtual Enterprise Architecture. EDOCW 2009: 238-242 - [e1]Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
Formal Methods in Molecular Biology, 22.02. - 27.02.2009. Dagstuhl Seminar Proceedings 09091, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i3]Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
09091 Abstracts Collection - Formal Methods in Molecular Biology. Formal Methods in Molecular Biology 2009 - [i2]Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami:
09091 Executive Summary - Formal Methods in Molecular Biology. Formal Methods in Molecular Biology 2009 - [i1]David Roger Gilbert, Rainer Breitling, Monika Heiner:
BioModel Engineering: Its role in Systems Biology and Synthetic Biology. Formal Methods in Molecular Biology 2009 - 2008
- [j27]Rainer Breitling, David R. Gilbert, Monika Heiner, Richard J. Orton:
A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. Briefings Bioinform. 9(5): 404-421 (2008) - [j26]Fabien Jourdan, Rainer Breitling, Michael P. Barrett, David R. Gilbert:
MetaNetter: inference and visualization of high-resolution metabolomic networks. Bioinform. 24(1): 143-145 (2008) - [j25]Mallika Veeramalai, David R. Gilbert:
A novel method for comparing topological models of protein structures enhanced with ligand information. Bioinform. 24(23): 2698-2705 (2008) - [j24]Sebastian Oehm, David R. Gilbert, Andreas Tauch, Jens Stoye, Alexander Goesmann:
Comparative Pathway Analyzer - a web server for comparative analysis, clustering and visualization of metabolic networks in multiple organisms. Nucleic Acids Res. 36(Web-Server-Issue): 433-437 (2008) - [c40]Robin Donaldson, David R. Gilbert:
A Model Checking Approach to the Parameter Estimation of Biochemical Pathways. CMSB 2008: 269-287 - [c39]José A. Reyes, David R. Gilbert:
Combining One-Class Classification Models Based on Diverse Biological Data for Prediction of Protein-Protein Interactions. DILS 2008: 177-191 - [c38]Xuan Liu, Jipu Jiang, Oluwafemi O. Ajayi, Xu Gu, David R. Gilbert, Richard O. Sinnott:
BioNessieG - A Grid Enabled Biochemical Networks Simulation Environment. HealthGrid 2008: 147-157 - [c37]David R. Gilbert, Monika Heiner, Susan Rosser, Rachael Fulton, Xu Gu, Maciej Trybilo:
A Case Study in Model-driven Synthetic Biology. BICC 2008: 163-175 - [c36]David R. Gilbert, Rainer Breitling, Monika Heiner, Robin Donaldson:
An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways. Workshop on Membrane Computing 2008: 13-28 - [c35]Monika Heiner, David R. Gilbert, Robin Donaldson:
Petri Nets for Systems and Synthetic Biology. SFM 2008: 215-264 - 2007
- [j23]Juris Viksna, David R. Gilbert:
Assessment of the probabilities for evolutionary structural changes in protein folds. Bioinform. 23(7): 832-841 (2007) - [j22]Jean-Christophe Nebel, Pawel Herzyk, David R. Gilbert:
Automatic generation of 3D motifs for classification of protein binding sites. BMC Bioinform. 8 (2007) - [j21]Xu Gu, David R. Gilbert, Desmond J. Higham, Miles Houslay:
Modelling the cAMP pathway using BioNessie, and the use of BVP techniques for solving ODEs. BMC Syst. Biol. 1(S-1): P6 (2007) - [j20]José A. Reyes, David R. Gilbert:
Prediction of protein-protein interactions using one-class classification methods and integrating diverse biological data. J. Integr. Bioinform. 4(3) (2007) - [c34]Sung-Hee Park, David R. Gilbert, Keun Ho Ryu:
Fast Structural Similarity Search Based on Topology String Matching. APBC 2007: 341-351 - [c33]David R. Gilbert, Monika Heiner, Sebastian Lehrack:
A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. CMSB 2007: 200-216 - [c32]Ali Al-Shahib, David R. Gilbert, Rainer Breitling:
Discriminating Microbial Species Using Protein Sequence Properties and Machine Learning. IDEAL 2007: 890-897 - 2006
- [j19]David R. Gilbert, Hendrik Fuß, Xu Gu, Richard J. Orton, Steve Robinson, Vladislav Vyshemirsky, Mary Jo Kurth, C. Stephen Downes, Werner Dubitzky:
Computational methodologies for modelling, analysis and simulation of signalling networks. Briefings Bioinform. 7(4): 339-353 (2006) - [j18]Julie L. Morrison, Rainer Breitling, Desmond J. Higham, David R. Gilbert:
A lock-and-key model for protein-protein interactions. Bioinform. 22(16): 2012-2019 (2006) - [j17]Muffy Calder, Vladislav Vyshemirsky, David R. Gilbert, Richard J. Orton:
Analysis of Signalling Pathways Using Continuous Time Markov Chains. Trans. Comp. Sys. Biology 6: 44-67 (2006) - [c31]David R. Gilbert, Monika Heiner:
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis. ICATPN 2006: 181-200 - [r1]Rolf Backofen, David R. Gilbert:
Bioinformatics and Constraints. Handbook of Constraint Programming 2006: 905-944 - 2005
- [j16]Gilleain M. Torrance, David R. Gilbert, Ioannis Michalopoulos, David R. Westhead:
Protein structure topological comparison, discovery and matching service. Bioinform. 21(10): 2537-2538 (2005) - [j15]Julie L. Morrison, Rainer Breitling, Desmond J. Higham, David R. Gilbert:
GeneRank: Using search engine technology for the analysis of microarray experiments. BMC Bioinform. 6: 233 (2005) - [j14]Ali Al-Shahib, Rainer Breitling, David R. Gilbert:
Franksum: new feature selection method for protein function prediction. Int. J. Neural Syst. 15(4): 259-275 (2005) - [j13]Sung-Hee Park, Keun Ho Ryu, David R. Gilbert:
Fast similarity search for protein 3d structures using topological pattern matching based on spatial relations. Int. J. Neural Syst. 15(4): 287-296 (2005) - 2004
- [j12]Ioannis Michalopoulos, Gilleain M. Torrance, David R. Gilbert, David R. Westhead:
TOPS: an enhanced database of protein structural topology. Nucleic Acids Res. 32(Database-Issue): 251-254 (2004) - [c30]Ali Al-Shahib, Chao He, Aik Choon Tan, Mark A. Girolami, David R. Gilbert:
An Assessment of Feature Relevance in Predicting Protein Function from Sequence. IDEAL 2004: 52-57 - [c29]Janet M. Thornton, David R. Gilbert, Catherine Brooksbank:
ISMB/ECCB 2004. ISMB/ECCB (Supplement of Bioinformatics) 2004: 1-2 - [c28]Janet M. Thornton, David R. Gilbert, Catherine Brooksbank:
ISMB/ECCB 2004 Organization. ISMB/ECCB (Supplement of Bioinformatics) 2004: 3-5 - 2003
- [j11]Yves Deville, David R. Gilbert, Jacques van Helden, Shoshana J. Wodak:
An overview of data models for the analysis of biochemical pathways. Briefings Bioinform. 4(3): 246-259 (2003) - [c27]Aik Choon Tan, David R. Gilbert:
An Empirical Comparison of Supervised Machine Learning Techniques in Bioinformatics. APBC 2003: 219-222 - [c26]Yves Deville, David R. Gilbert, Jacques van Helden, Shoshana J. Wodak:
An Overview of Data Models for the Analysis of Biochemical Pathways. CMSB 2003: 174 - [c25]Aik Choon Tan, David R. Gilbert, Yves Deville:
Integrative machine learning approach for multi-class SCOP protein fold classification. German Conference on Bioinformatics 2003: 153-159 - [c24]Juris Viksna, David R. Gilbert, Gilleain M. Torrance:
Protein structure comparison based o n profiles of topological motifs: a feasible way to deal with information from negative examples. German Conference on Bioinformatics 2003: 159-165 - 2002
- [j10]Lubos Brim, Mojmír Kretínský, Jean-Marie Jacquet, David R. Gilbert:
Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. Comput. Artif. Intell. 21(6): 565-590 (2002) - [j9]David R. Gilbert, David R. Westhead, Juris Viksna, Janet M. Thornton:
A Computer System to Perform Structure Comparison using Representations of Protein Structure. Comput. Chem. 26(1): 23-30 (2002) - [c23]Jean-Marie Jacquet, Lubos Brim, David R. Gilbert, Mojmír Kretínský:
Coordination by Means of Synchronous and Asynchronous Communication in Concurrent Constraint Programming. FOCLASA 2002: 347-370 - 2001
- [j8]David R. Gilbert, Rolf Backofen, Roland H. C. Yap:
Introduction to the Special Issue on Bioinformatics. Constraints An Int. J. 6(2/3): 139 (2001) - [j7]Rolf Backofen, David R. Gilbert:
Bioinformatics and Constraints. Constraints An Int. J. 6(2/3): 141-156 (2001) - [j6]Ingvar Eidhammer, Inge Jonassen, Svenn Helge Grindhaug, David R. Gilbert, Madu Ratnayake:
A Constraint Based Structure Description Language for Biosequences. Constraints An Int. J. 6(2/3): 173-200 (2001) - [j5]Michael Schroeder, David R. Gilbert, Jacques van Helden, Penny Noy:
Approaches to visualisation in bioinformatics: from dendrograms to Space Explorer. Inf. Sci. 139(1-2): 19-57 (2001) - [c22]Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský:
Multi-agent Systems as Concurrent Constraint Processes. SOFSEM 2001: 201-210 - [c21]Juris Viksna, David R. Gilbert:
Pattern Matching and Pattern Discovery Algorithms for Protein Topologies. WABI 2001: 98-111 - 2000
- [c20]David R. Gilbert, Michael Schroeder:
FURY: Fuzzy Unification and Resolution Based on Edit Distance. BIBE 2000: 330-336 - [c19]David R. Gilbert, Catuscia Palamidessi:
Concurrent Constraint Programming with Process Mobility. Computational Logic 2000: 463-477 - [c18]David R. Gilbert:
Tutoriel I: Bioinformatique et contraintes. JFPLC 2000: 13- - [c17]David R. Gilbert, David R. Westhead, Janet M. Thornton, Karine Yvon:
Une technique déclarative pour filtrer des motifs topologiques de protéines. JFPLC 2000: 165- - [c16]Jacques van Helden, David R. 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
1990 – 1999
- 1999
- [j4]David R. Gilbert, David R. Westhead, Nozomi Nagano, Janet M. Thornton:
Motif-based searching in TOPS protein topology databases. Bioinform. 15(4): 317-326 (1999) - [c15]David R. Gilbert, Juris Viksna:
Pattern discovery methods for protein topology diagrams. German Conference on Bioinformatics 1999: 194-196 - [c14]Jacques van Helden, David R. Gilbert, Lorenz Wernisch, Renato Mancuso, Matthew D. Eldridge, Kirill Degtyarenko, Shoshana J. Wodak:
Logical Tools for Quering and Assisting Annotation of a Biochemical Pathway Database. German Conference on Bioinformatics 1999: 227-229 - [c13]Alexander A. Letichevsky, David R. Gilbert:
A Model for Interaction of Agents and Environments. WADT 1999: 311-328 - [c12]Alexander A. Letichevsky, Julia V. Kapitonova, Vladislav A. Volkov, A. Chugayenko, Victor Khomenko, David R. Gilbert:
The development of interactive algorithms for the Mathematical Environment. Calculemus 1999: 352-369 - 1998
- [j3]Alvis Brazma, Inge Jonassen, Ingvar Eidhammer, David R. Gilbert:
Approaches to the Automatic Discovery of Patterns in Biosequences. J. Comput. Biol. 5(2): 279-305 (1998) - 1997
- [j2]William M. Gelbart, Madeline A. Crosby, Beverley Matthews, W. P. Rindone, J. Chillemi, S. Russo Twombly, David B. Emmert, Michael Ashburner, Rachel A. Drysdale, E. Whitfield, Gillian H. Millburn, A. de Grey, Thomas C. Kaufman, K. Matthews, David R. Gilbert, Victor B. Strelets, C. Tolstoshev:
FlyBase: a Drosophila database. The FlyBase consortium. Nucleic Acids Res. 25(1): 63-66 (1997) - 1996
- [j1]David R. Gilbert:
Can Computational Logic Provide a Paradigm for Both the Specification and Implementation of Concurrent Systems? ACM Comput. Surv. 28(2): 303-305 (1996) - [c11]Lubos Brim, Jean-Marie Jacquet, David R. Gilbert, Mojmír Kretínský:
A Process Algebra for Synchronous Concurrent Constraint Programming. ALP 1996: 165-178 - [c10]Michael Jampel, Jean-Marie Jacquet, David R. Gilbert, Sebastian Hunt:
Transformations Between HCLP and PCSP. CP 1996: 252-266 - [c9]Michael Jampel, Jean-Marie Jacquet, David R. Gilbert:
A General Framework for Integrating HCLP and PCSP (Poster Abstract). JICSLP 1996: 543 - 1995
- [c8]Lubos Brim, David R. Gilbert, Jean-Marie Jacquet, Mojmír Kretínský:
Synchronisation in Scc. ILPS 1995: 641 - 1994
- [c7]David R. Gilbert, Christopher J. Hogger, Jirí Zlatuska:
Transforming Specifications of Observable Behaviour into Programs. LOPSTR 1994: 88-103 - 1992
- [c6]David R. Gilbert, Christopher J. Hogger:
Logic for Representing and Implementing Knowledge about System Behaviour. Advanced Topics in Artificial Intelligence 1992: 42-49 - 1991
- [c5]David R. Gilbert, Christopher J. Hogger:
Deriving Logic Programs from Observations. ICLP Workshop on Construction of Logic Programs 1991: 113-126 - 1990
- [b1]David Roger Gilbert:
Specifying and reasoning about concurrent systems in logic. Imperial College London, UK, 1990
1980 – 1989
- 1989
- [c4]David R. Gilbert:
Specifying Concurrent Systems Using Logic. FORTE 1989: 245-260 - 1988
- [c3]David R. Gilbert:
Specification and Implementation of Concurrent Systems using PARLOG. Specification and Verification of Concurrent Systems 1988: 455-473 - [c2]David R. Gilbert:
A LOTOS to PARLOG Translator. FORTE 1988: 31-44 - 1987
- [c1]David R. Gilbert:
Executable LOTOS: Using PARLOG to Implement an FDT. PSTV 1987: 281-294
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
