Obserwuj
Muffy Calder
Muffy Calder
Professor of Computing Science, University of Glasgow
Zweryfikowany adres z glasgow.ac.uk - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Feature interaction: a critical review and considered forecast
M Calder, M Kolberg, EH Magill, S Reiff-Marganiec
Computer Networks 41 (1), 115-141, 2003
5242003
Computational modelling of the receptor-tyrosine-kinase-activated MAPK pathway
RJ Orton, OE Sturm, V Vyshemirsky, M Calder, DR Gilbert, W Kolch
Biochemical Journal 392 (2), 249-261, 2005
4902005
The mammalian MAPK/ERK pathway exhibits properties of a negative feedback amplifier
OE Sturm, R Orton, J Grindlay, M Birtwistle, V Vyshemirsky, D Gilbert, ...
Science signaling 3 (153), ra90-ra90, 2010
2732010
When kinases meet mathematics: the systems biology of MAPK signalling
W Kolch, M Calder, D Gilbert
FEBS letters 579 (8), 1891-1895, 2005
2242005
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA
M Calder, S Gilmore, J Hillston
Transactions on computational systems biology VII, 1-23, 2006
2082006
Feature Interactions in Telecommunications and software systems VI
M Calder, E Magill
IOS Press, 2000
1822000
Analysis of signalling pathways using continuous time Markov chains
M Calder, V Vyshemirsky, D Gilbert, R Orton
Transactions on Computational Systems Biology VI, 44-67, 2006
174*2006
Symmetry in temporal logic model checking
A Miller, A Donaldson, M Calder
ACM Computing Surveys (CSUR) 38 (3), 8-es, 2006
1542006
Automatically deriving ODEs from process algebra models of signalling pathways
M Calder, S Gilmore, J Hillston
Proceedings of Computational Methods in Systems Biology (CMSB 2005) 204215, 2005
942005
In the realm of organization: essays for Robert Cooper
RCH Chia
Psychology Press, 1998
65*1998
Computational modelling for decision-making: where, why, what, who and how
M Calder, C Craig, D Culley, R De Cani, CA Donnelly, R Douglas, ...
Royal Society open science 5 (6), 172096, 2018
642018
Stronger computational modelling of signalling pathways using both continuous and discrete-state methods
M Calder, A Duguid, S Gilmore, J Hillston
International Conference on Computational Methods in Systems Biology, 63-77, 2006
602006
Using SPIN for feature interaction analysis-a case study
M Calder, A Miller
International SPIN workshop on Model Checking of Software, 143-162, 2001
592001
Bigraphs with sharing
M Sevegnani, M Calder
Theoretical Computer Science 577, 43-73, 2015
552015
A symbolic semantics and bisimulation for full LOTOS
M Calder, C Shankland
International Conference on Formal Techniques for Networked and Distributed …, 2001
542001
Feature interaction detection by pairwise analysis of LTL properties—a case study
M Calder, A Miller
Formal Methods in System Design 28 (3), 213-261, 2006
532006
Hybrid solutions to the feature interaction problem
M Calder, M Kolberg, E Magill, D Marples, S Reiff-Marganiec
IOS Press, 2003
462003
A modal logic for full LOTOS based on symbolic transition systems
M Calder, S Maharaj, C Shankland
The Computer Journal 45 (1), 55-61, 2002
452002
Modelling and analysing user views of telecommunications services
M Thomas
Feature Interactions in Telecommunication Networks IV, 168-182, 1997
431997
Some investigations concerning the CTMC and the ODE model derived from Bio-PEPA
F Ciocchetta, A Degasperi, J Hillston, M Calder
Electronic Notes in Theoretical Computer Science 229 (1), 145-163, 2009
422009
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20