M. Calder
发表
Alice Miller,
Oana Andrei,
M. Calder,
2012
.
Muffy Calder,
Michele Sevegnani,
Chris Unsworth,
2010
.
Michele Sevegnani,
Mengwei Xu,
M. Calder,
2022,
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering.
Christl A. Donnelly,
Spencer J. Sherwin,
Muffy Calder,
2018
.
P. Gray,
M. Calder,
Chris Unsworth,
2015,
Innovations in Systems and Software Engineering.
Stephen Gilmore,
Muffy Calder,
S. Gilmore,
2007
.
Stephen Gilmore,
Muffy Calder,
Jane Hillston,
2005
.
Oliver E. Sturm,
Muffy Calder,
W. Kolch,
2005,
The Biochemical journal.
Muffy Calder,
W. Kolch,
D. Gilbert,
2005,
FEBS letters.
Muffy Calder,
Walter Kolch,
Vladislav Vyshemirsky,
2010,
Science Signaling.
Michael Fisher,
Muffy Calder,
Savas Konur,
2013
.
Muffy Calder,
Oana Andrei,
Muffy Calder,
2012,
Trans. Comp. Sys. Biology.
Muffy Calder,
Andrea Degasperi,
A. Degasperi,
2011,
CMSB.
Stephen Gilmore,
Muffy Calder,
Jane Hillston,
2010
.
Muffy Calder,
Alastair F. Donaldson,
Alice Miller,
2022
.
Muffy Calder,
J. Stuart Aitken,
Thomas F. Melham,
1998,
J. Symb. Comput..
Muffy Calder,
Alice Miller,
Alice Miller,
2008,
Theor. Comput. Sci..
Muffy Calder,
Alice Miller,
Alice Miller,
2005,
FIW.
Michael Fisher,
Alice Miller,
M. Ryan,
2009
.
Mark Ryan,
Michael Fisher,
Sven Schewe,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Michael Fisher,
Alice Miller,
M. Ryan,
2009
.
Muffy Calder,
Alastair F. Donaldson,
Alice Miller,
2006,
CSUR.
Muffy Calder,
Alice Miller,
Alice Miller,
2006,
Formal Methods Syst. Des..
Michele Sevegnani,
M. Calder,
2014,
Formal Aspects of Computing.
Muffy Calder,
Michele Sevegnani,
Blair Archibald,
2021,
Formal Aspects Comput..
Muffy Calder,
Michele Sevegnani,
Blair Archibald,
2021,
Sci. Comput. Program..
Muffy Calder,
Michele Sevegnani,
Blair Archibald,
2020,
ICGT.
Julie A. McCann,
Muffy Calder,
Michele Sevegnani,
2018,
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS).
Muffy Calder,
Michele Sevegnani,
Michele Sevegnani,
2016,
CAV.
Steve Benford,
Tom Rodden,
Muffy Calder,
2016,
ACM Trans. Comput. Hum. Interact..
Muffy Calder,
Michele Sevegnani,
Michele Sevegnani,
2015,
Theor. Comput. Sci..
Muffy Calder,
Alice Miller,
Alice Miller,
2003,
Formal Aspects of Computing.
Alice Miller,
Muffy Calder,
A. Donaldson,
2004
.
Mario Kolberg,
Evan H. Magill,
Muffy Calder,
2003,
Comput. Networks.
Muffy Calder,
Robin Donaldson,
R. Donaldson,
2010,
FBTC.
Muffy Calder,
Jane Hillston,
Andrea Degasperi,
2009,
FBTC@ICALP.
Muffy Calder,
Jane Hillston,
Muffy Calder,
2009,
Trans. Comp. Sys. Biology.
Muffy Calder,
Michele Sevegnani,
Joseph S. Sventek,
2014,
Sci. Comput. Program..
Stephen Gilmore,
Muffy Calder,
Jane Hillston,
2006,
Trans. Comp. Sys. Biology.
Muffy Calder,
Andrea Degasperi,
A. Degasperi,
2013,
Theor. Comput. Sci..
Adam Duguid,
Stephen Gilmore,
Muffy Calder,
2006,
CMSB.
C Priami,
S. Gilmore,
J. Hillston,
2006,
Trans. Comp. Sys. Biology.
Muffy Calder,
Robin Donaldson,
R. Donaldson,
2012,
Theor. Comput. Sci..
Mario Kolberg,
Evan H. Magill,
Muffy Calder,
2003,
FIW.
Carron Shankland,
Muffy Calder,
C. Shankland,
2001,
FORTE.
Carron Shankland,
Muffy Calder,
C. Shankland,
1997,
AMAST.
S. Gilmore,
M. Calder,
2003,
Transactions of the Royal Society of Edinburgh: Earth Sciences.
Bruce Edmonds,
Bridget Rosewell,
Muffy Calder,
2018,
Royal Society Open Science.
Muffy Calder,
Klaus P. Jantke,
K. Jantke,
1989,
AII.
Matthew Chalmers,
Alistair Morrison,
Mattias Rost,
2015,
IFM.
Muffy Calder,
Phil Watson,
P. Watson,
1991,
Theor. Comput. Sci..
Mandayam K. Srivas,
Muffy Calder,
George Cleland,
1995,
Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Muffy Calder,
Alice Miller,
Alice Miller,
2001,
SPIN '01.
Muffy Calder,
Alice Miller,
Alice Miller,
2003,
Objects, Agents, and Features.
Alice Miller,
Muffy Calder,
M. Calder,
2003
.
Muffy Calder,
Blair Archibald,
Mengwei Xu,
2021,
FMAS.
Muffy Calder,
Michele Sevegnani,
Mengwei Xu,
2023,
Softw. Syst. Model..
Muffy Calder,
Blair Archibald,
Mengwei Xu,
2021,
SEFM.