Qualitatively modelling and analysing genetic regulatory networks: a Petri net approach von Steggles, L. Jason, Banks, Richard, Shaw, Oliver, Wipat, Anil

Volltext

Revising basic theorem proving algorithms to cope with the logic of partial functions von Jones, Cliff B., Lovert, Matthew J., Steggles, L. Jason

Volltext

Compositional Techniques for Boolean Networks and Attractor Analysis von Abdulrahman, Hanin, Steggles, Jason

Volltext

An Abstraction Theory for Qualitative Models of Biological Systems von Banks, Richard, Steggles, L. Jason

Volltext

Strategy based semantics for mobility with time and access permissions von Ciobanu, Gabriel, Koutny, Maciej, Steggles, Jason

Volltext

Abstracting Asynchronous Multi-Valued Networks von Steggles, Jason

Volltext

A Formal Framework for Composing Qualitative Models of Biological Systems von Alkhudhayr, Hanadi, Steggles, Jason

Volltext

A High-Level Petri Net Framework for Genetic Regulatory Networks von Banks, Richard, Steggles, L. Jason

Volltext

Rewriting Logic and Elan: Prototyping Tools for Petri Nets with Time von Steggles, L. Jason

Volltext

A Timed Mobility Semantics Based on Rewriting Strategies von Ciobanu, Gabriel, Koutny, Maciej, Steggles, Jason

Volltext

An Abstraction Theory for Qualitative Models of Biological Systems von Banks, Richard, Steggles, L Jason

Volltext

A High-Level Petri Net Framework for Genetic Regulatory Networks von Banks, Richard, Steggles, L. Jason

Volltext

Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks von Shaw, Oliver, Steggles, Jason, Wipat, Anil

Volltext

A Semantic Analysis of Logics That Cope with Partial Terms von Jones, Cliff B., Lovert, Matthew J., Steggles, L. Jason

Volltext

Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation von Steggles, L. Jason

Volltext bestellen

A Case for Using Signal Transition Graphs for Analysing and Refining Genetic Networks von Banks, Richard, Khomenko, Victor, Steggles, L. Jason

Volltext