( en | de | ru )

 

Disambiguation of "Gilbert, David R."

Author of the publication

copydeleteadd this publication to your clipboard
Specifying Concurrent Systems Using Logic.

. FORTE, page 245-260. North-Holland, (1989)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

David Johann Gilbert

David R Anderson

David R Wenger

David A R Forrester

Gilbert Schönfelder

 

Other publications of authors with the same name

Towards dynamic genome-scale models., , , and . Briefings Bioinform., 20 (4): 1167-1180 (2019)Hybrid modelling of biological systems: current progress and future prospects., , and . Briefings Bioinform., (2022)Computational models for inferring biochemical networks., , , , , and . Neural Comput. Appl., 26 (2): 299-311 (2015)Logics of Ignorance and Being Wrong., , , and . Log. J. IGPL, 30 (5): 870-885 (2022)Target driven biochemical network reconstruction based on petri nets and simulated annealing., , and . CMSB, page 33-42. ACM, (2010)A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets., , and . CMSB, volume 4695 of Lecture Notes in Computer Science, page 200-216. Springer, (2007)A Model for Interaction of Agents and Environments., and . WADT, volume 1827 of Lecture Notes in Computer Science, page 311-328. Springer, (1999)Biomodel Engineering - From Structure to Behavior., , , and . Trans. Computational Systems Biology, (2010)Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments., , , and . Trans. Computational Systems Biology, (2009)From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis., and . ICATPN, volume 4024 of Lecture Notes in Computer Science, page 181-200. Springer, (2006)