Computational modelling of the receptor-tyrosine-kinase-activated MAPK pathwayModelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharingWhen kinases meet mathematics: the systems biology of MAPK signalling.The mammalian MAPK/ERK pathway exhibits properties of a negative feedback amplifier.Feature interaction: a critical review and considered forecastBigraphER: Rewriting and Analysis Engine for BigraphsBigraphs with sharingIs my configuration any good: checking usability in an interactive sensor-based activity monitorDo I Need to Fix a Failed Component Now, or Can I Wait Until Tomorrow?Probabilistic Model Checking of DTMC Models of User Activity PatternsReal-time verification of wireless home networks using bigraphs with sharingA process algebra framework for multi-scale modelling of biological systemsAn Introduction to Pervasive Interface AutomataModular modelling of signalling pathways and their cross-talkProcess Algebra for Event-Driven Runtime Verification: A Case Study of Wireless Network ManagementTrend-Based Analysis of a Population Model of the AKAP Scaffold ProteinMulti-scale modelling of biological systems in process algebra with multi-way synchronisationA Model and Analysis of the AKAP ScaffoldFormal Methods for Biochemical Signalling PathwaysProcess Algebra with Hooks for Models of Pattern FormationRelating PDEs in Cylindrical Coordinates and CTMCs with Levels of ConcentrationUnderstanding signalling networks as collections of signal transduction pathwaysAn Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised ProtocolsProcess Algebra Modelling Styles for Biomolecular ProcessesSome Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPAAn automatic abstraction technique for verifying featured, parameterised systemsPrefaceA template-based approach for the generation of abstractable and reducible models of featured networksFeature interaction detection by pairwise analysis of LTL properties—A case studySymmetry in temporal logic model checkingFinding Symmetry in Models of Concurrent Systems by Static Channel Diagram AnalysisSpin-to-Grape: A Tool for Analysing Symmetry in Promela ModelsUsing SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus (FireWire) ProtocolA Modal Logic for Full LOTOS based on Symbolic Transition SystemsSolving divergence in Knuth-Bendix completion by enriching signaturesMaking Sense of the World: Framing Models for Trustworthy Sensor-Driven Systems
P50
Q24534940-ABF6D2C3-D9AE-4D02-A3D1-C4EA3B9EF581Q29544202-C55180D9-89C9-441C-A372-D685A817AD03Q36069254-5DEC760F-9382-4E84-B1C6-B166FA46FA8CQ42773975-71E52267-2337-445D-A23F-D695D8997DFDQ56765578-98BEE77E-764A-4575-A57D-AC95887CD5D5Q59675295-966F9F3D-2E34-42E6-AC02-68054DA702B8Q59675298-A5126266-E421-495B-82C4-B8290308ABE9Q59675301-CD4DE9BE-EC3F-49B2-A995-6551AC75EED6Q59675305-D68F4A40-DD79-4D5E-BFA9-5AD8CC465D68Q59675311-B7A650E5-002D-4469-89ED-6174E5808E39Q59675314-2FFB4C42-4473-4111-A92B-C3AD4D392D37Q59675317-F3541261-8782-4474-A675-D3BBF5DAF8BCQ59675321-C418597E-6DE4-46AA-BF3E-8EC0DB197AF9Q59675324-DE8DE484-56F7-44A2-A222-091BA52F564BQ59675327-EB2CFAF4-F913-447F-AC74-5734120F9C20Q59675330-2C04C563-EFEE-4BBA-8E60-1E2965CA818CQ59675333-D4B3AE39-FFFC-47C0-BB48-86A1BF134E70Q59675336-B9CAE25A-6450-4DAE-8BD8-7749C7F59680Q59675339-126180F9-B5FB-415D-A5A8-AD76F246B246Q59675342-683209C6-199F-4D59-B99C-DC337449AC4CQ59675345-191C6EFC-13D5-441F-92A1-3752C0D8CCD8Q59675349-6368F0A1-8A25-40CE-936E-431465BF10DAQ59675351-26695FBA-A32A-425F-AA76-2E6476B5AC29Q59675354-EE451A8B-691A-47B4-BAAD-9A345E390965Q59675359-FA79F8A8-DCD7-41B9-B5CF-0AC1762C91B8Q59675362-1F0BEA50-1B77-4E00-99DB-7521C3ACC050Q59675365-5312A21B-5FAA-4F4A-81E3-5E2D619FDD8FQ59675369-9607632E-FDC7-42E7-8CAB-B1C5F50B3E83Q59675375-CD6066FC-4529-4DC1-A1F7-FA791969BD55Q59675381-F3558B1F-6A1C-437F-BFAF-8A3939C3749EQ59675387-F7CCF168-C47D-4485-B7AF-92F9194C871FQ59675390-9A84EE18-7E7D-41FF-BCB6-EB59D086D54DQ59675403-38548B2B-C769-4BC4-BE7C-DA0F123E57DFQ59675407-D51ECF2F-B0F4-42E2-A01A-52F63CE5F7DCQ59675416-7FEE2078-AA7E-4B28-8B0C-E65462A0AA74Q60332450-3966E1E8-C4A5-4955-ABD6-F889CFF3BC70
P50
description
Computer Scientist
@en
informaticus
@nl
шотландська фахівчиня в галузі інформатики
@uk
name
Muffy Calder
@ast
Muffy Calder
@de
Muffy Calder
@en
Muffy Calder
@es
Muffy Calder
@fr
Muffy Calder
@nl
Muffy Calder
@sl
Колдер, Маффи
@ru
Маффі Колдер
@uk
مافي كالدر
@ar
type
label
Muffy Calder
@ast
Muffy Calder
@de
Muffy Calder
@en
Muffy Calder
@es
Muffy Calder
@fr
Muffy Calder
@nl
Muffy Calder
@sl
Колдер, Маффи
@ru
Маффі Колдер
@uk
مافي كالدر
@ar
altLabel
Muffy Thomas
@en
Маффі Томас
@uk
prefLabel
Muffy Calder
@ast
Muffy Calder
@de
Muffy Calder
@en
Muffy Calder
@es
Muffy Calder
@fr
Muffy Calder
@nl
Muffy Calder
@sl
Колдер, Маффи
@ru
Маффі Колдер
@uk
مافي كالدر
@ar
P166
P101
P1153
35607955800
55472024600
P1556
calder.muffy
P166
P19
P1960
HvAfVsAAAAAJ
P21
P2456
c/MuffyCalder
P31
P496
0000-0001-5033-7232
P569
1958-05-21T00:00:00Z