Muffy Calder

发表

Julie A. McCann, Michael Fisher, Simon A. Dobson, 2018, Comput..
Muffy Calder, Alastair F. Donaldson, Alice Miller, 2006, CSUR.
Muffy Calder, Mark A. Girolami, Oana Andrei, 2014, QEST.
Muffy Calder, Oana Andrei, 2010, Electron. Notes Theor. Comput. Sci..
Muffy Calder, Oana Andrei, 2018, J. Log. Algebraic Methods Program..
David Gilbert, Muffy Calder, Vladislav Vyshemirsky, 2005 .
Muffy Calder, Valerie Barr, Suw Charman-Anderson, 2015, Ada Lovelace Symposium '15.
Julie A. McCann, Michael Fisher, Simon A. Dobson, 2018, ArXiv.
Mandayam K. Srivas, Muffy Calder, George Cleland, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Muffy Calder, Philip D. Gray, Chris Unsworth, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Muffy Calder, Michele Sevegnani, Joseph S. Sventek, 2014, Sci. Comput. Program..
Savi Maharaj, Carron Shankland, Muffy Calder, 2001, FME.
Muffy Calder, Andrea Degasperi, 2010, Electron. Notes Theor. Comput. Sci..
Matthew Chalmers, Alistair Morrison, Mattias Rost, 2015, IFM.
Muffy Calder, Jane Hillston, Muffy Calder, 2009, Trans. Comp. Sys. Biology.
Muffy Calder, Alice Miller, Douglas Graham, 2009, Electron. Notes Theor. Comput. Sci..
Evan H. Magill, Muffy Calder, Stephan Reiff-Marganiec, 2002 .
Stephen Gilmore, Muffy Calder, Jane Hillston, 2010 .
Savi Maharaj, Carron Shankland, Muffy Calder, 2002, Comput. J..
Julie A. McCann, Muffy Calder, Michele Sevegnani, 2018, 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS).
David R. Gilbert, Muffy Calder, Vladislav Vyshemirsky, 2006, Trans. Comp. Sys. Biology.
Muffy Calder, Oana Andrei, 2017, SEFM Workshops.
Muffy Calder, Alice Miller, Alice Miller, 2001, SPIN '01.
Muffy Calder, Phil Watson, P. Watson, 1991, Theor. Comput. Sci..
Muffy Calder, Robin Donaldson, R. Donaldson, 2010, FBTC.
Muffy Calder, Klaus P. Jantke, K. Jantke, 1989, AII.
Carolyn L. Talcott, Muffy Calder, Merrill Knapp, 2010, CMSB '10.
Muffy Calder, Oana Andrei, Muffy Calder, 2012, Trans. Comp. Sys. Biology.
Muffy Calder, Andrea Degasperi, Muffy Calder, 2010, Electron. Notes Theor. Comput. Sci..
Stephen Gilmore, Muffy Calder, Jane Hillston, 2005 .
Stephen Gilmore, Muffy Calder, Jane Hillston, 2006, Trans. Comp. Sys. Biology.
Muffy Calder, Michele Sevegnani, 2012, Formal Aspects of Computing.
Muffy Calder, Alice Miller, 2003, FIW.
Muffy Calder, Michele Sevegnani, Blair Archibald, 2020, ICGT.
Muffy Calder, Alice Miller, 2009, Electron. Notes Theor. Comput. Sci..
Steve Benford, Tom Rodden, Muffy Calder, 2016, ACM Trans. Comput. Hum. Interact..
Muffy Calder, Alice Miller, Alice Miller, 2006, Formal Methods Syst. Des..
Muffy Calder, Peter Saffrey, 2003, FASE.
Muffy Calder, Alice Miller, Alice Miller, 2003, Objects, Agents, and Features.
Muffy Calder, Alastair F. Donaldson, Alice Miller, 2005, Electron. Notes Theor. Comput. Sci..
Muffy Calder, Oana Andrei, Alice Miller, 2012 .
Muffy Calder, Alice Miller, 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Michel Cosnard, Muffy Calder, Eric Brewer, 2013 .
Mario Kolberg, Evan H. Magill, Muffy Calder, 2003, Comput. Networks.
Muffy Calder, Alastair F. Donaldson, Alice Miller, 2005, Electron. Notes Theor. Comput. Sci..
Muffy Calder, Alice Miller, Philip D. Gray, 2010, FACS.
Bruce Edmonds, Bridget Rosewell, Muffy Calder, 2018, Royal Society Open Science.
Carron Shankland, Muffy Calder, C. Shankland, 2001, FORTE.
Muffy Calder, Andrea Degasperi, A. Degasperi, 2013, Theor. Comput. Sci..
Muffy Calder, Jane Hillston, Andrea Degasperi, 2009, FBTC@ICALP.
Muffy Calder, Michele Sevegnani, Michele Sevegnani, 2015, Theor. Comput. Sci..
Muffy Calder, Robin Donaldson, R. Donaldson, 2012, Theor. Comput. Sci..
Mario Kolberg, Evan H. Magill, Muffy Calder, 2003, FIW.
Muffy Calder, 1992, FORTE.
Muffy Calder, Oana Andrei, Andrea Degasperi, 2010, CMSB '10.
Muffy Calder, Alice Miller, 2004, ISoLA.
Carron Shankland, Muffy Calder, C. Shankland, 1997, AMAST.
Muffy Calder, Michele Sevegnani, 2014, 2014 Tenth European Dependable Computing Conference.
Mark Ryan, Michael Fisher, Sven Schewe, 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Muffy Calder, Michele Sevegnani, Michele Sevegnani, 2016, CAV.
Muffy Calder, Phil Watson, 1990, Functional Programming.
Muffy Calder, Alice Miller, Alice Miller, 2008, Theor. Comput. Sci..
Muffy Calder, Carron Kirkwood, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Muffy Calder, J. Stuart Aitken, Thomas F. Melham, 1998, J. Symb. Comput..
Muffy Calder, Michele Sevegnani, 2019, IEEE Transactions on Dependable and Secure Computing.
Muffy Calder, Philip D. Gray, Chris Unsworth, 2013, Innovations in Systems and Software Engineering.
Muffy Calder, Michele Sevegnani, Blair Archibald, 2021, Formal Aspects Comput..
Muffy Calder, Blair Archibald, Mengwei Xu, 2021, FMAS.
Muffy Calder, Blair Archibald, Mengwei Xu, 2021, SEFM.
Muffy Calder, Michele Sevegnani, Blair Archibald, 2021, Sci. Comput. Program..
Christl A. Donnelly, Spencer J. Sherwin, Muffy Calder, 2018 .
Muffy Calder, Michele Sevegnani, Chris Unsworth, 2010 .
Muffy Calder, Walter Kolch, Vladislav Vyshemirsky, 2010, Science Signaling.