M. Sheeran
发表
Mary Sheeran,
Satnam Singh,
Gunnar Stålmarck,
2000,
FMCAD.
Jonathan D. Hogg,
M. Sheeran,
Satnam Singh,
1996
.
Mary Sheeran,
Gunnar Stålmarck,
G. Stålmarck,
2000,
Formal Methods Syst. Des..
Mary Sheeran,
M. Sheeran,
1996
.
Mary Sheeran,
Satnam Singh,
Koen Claessen,
2003
.
Mary Sheeran,
M. Sheeran,
2007
.
Mary Sheeran,
Ian Parberry,
I. Parberry,
2006
.
M. Sheeran,
K. Claessen,
John Hughes,
2010
.
M. Sheeran,
2011
.
Bo Joel Svensson,
Mary Sheeran,
Josef Svenningsson,
2013,
FHPC '13.
Mary Sheeran,
M. Sheeran,
2007
.
M. Sheeran,
2007
.
Jan Vitek,
Mary Sheeran,
Hidehiko Masuhara,
2015,
ARRAY@PLDI.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2008
.
Mary Sheeran,
Geraint Jones,
M. Sheeran,
1990
.
Mary Sheeran,
Abhiroop Sarkar,
M. Sheeran,
2020,
PPDP.
Mary Sheeran,
M. Sheeran,
2003,
CHARME.
Mary Sheeran,
Geraint Jones,
M. Sheeran,
1991
.
Mary Sheeran,
Markus Aronsson,
Emil Axelsson,
2014,
IFL.
Mary Sheeran,
Wouter Swierstra,
Koen Claessen,
2009
.
Mary Sheeran,
M. Sheeran,
1985,
FPCA.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
1998,
ICFP '98.
Mary Sheeran,
Koen Claessen,
Satnam Singh,
2001,
CHARME.
Mary Sheeran,
Geraint Jones,
M. Sheeran,
1992,
Functional Programming.
Mary Sheeran,
Wayne Luk,
Geraint Jones,
1990
.
Mary Sheeran,
Lars Svensson,
John Hughes,
2003
.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2012,
DAMP '12.
Mary Sheeran,
Koen Claessen,
Emil Axelsson,
2005,
CHARME.
Mary Sheeran,
M. Sheeran,
2010,
Journal of Functional Programming.
M. Sheeran,
M. Sheeran,
1990
.
Mary Sheeran,
M. Sheeran,
1989,
Functional Programming.
Mary Sheeran,
Koen Claessen,
M. Sheeran,
2000
.
M. Sheeran,
B. Anthony-Twarog,
B. Twarog,
1994
.
Bo Joel Svensson,
M. Sheeran,
Abhiroop Sarkar,
2022,
Dagstuhl Artifacts Ser..
Bo Joel Svensson,
Mary Sheeran,
Abhiroop Sarkar,
2021,
MPLR.
Zoltán Horváth,
Mary Sheeran,
Koen Claessen,
2010,
Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2010,
ICCS.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2010
.
Bo Joel Svensson,
Mary Sheeran,
Koen Claessen,
2008,
IFL.
Mary Sheeran,
Knut Åkesson,
Koen Claessen,
2009,
Discret. Event Dyn. Syst..
M. Sheeran,
K. Claessen,
N. Een,
2008,
2008 9th International Workshop on Discrete Event Systems.
S. Hazelhurst,
C. J.-H. Seger,
M. Sheeran,
2022
.
Mary Sheeran,
M. Sheeran,
1984,
LFP '84.
Mary Sheeran,
Geraint Jones,
M. Sheeran,
1988
.
Mary Sheeran,
Geraint Jones,
M. Sheeran,
1994,
Sci. Comput. Program..
Mary Sheeran,
Gunnar Stålmarck,
G. Stålmarck,
1998,
FMCAD.
M. Sheeran,
Satnam Singh,
K. Claessen,
1998,
ICFP '98.