Ian Stark
发表
Brian Campbell,
Ian Stark,
I. Stark,
2014,
Sci. Comput. Program..
Ian Stark,
Daniel D. Seaton,
Chris J. Banks,
2015,
CMSB.
Martin Hofmann,
Benjamin Grégoire,
Gilles Barthe,
2006,
TGC.
Igor Böhm,
Björn Franke,
Ian Stark,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2007
.
Andrzej S. Murawski,
Samson Abramsky,
Ian Stark,
2004,
LICS 2004.
Ian Stark,
Brian Campbell,
2014,
FMICS.
Ian Stark,
1997,
TLCA.
Gilles Barthe,
Erik Poll,
Lennart Beringer,
2006
.
Alan Bundy,
Ian Stark,
Alex Blewitt,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Ian Stark,
Chris J. Banks,
2017,
ArXiv.
Ulrich Schöpp,
Ian Stark,
2004,
CSL.
Alan Bundy,
Ian Stark,
Alex Blewitt,
2005,
ASE.
Allan Clark,
Stephen Gilmore,
Jane Hillston,
2013,
PASM/PDMC.
Ian Stark,
1996,
LISP Symb. Comput..
Ian Stark,
Brian Campbell,
2016,
2016 Formal Methods in Computer-Aided Design (FMCAD).
Kenneth MacKenzie,
Lennart Beringer,
Ian Stark,
2003,
Electron. Notes Theor. Comput. Sci..
Ian Stark,
Sam Lindley,
2005,
TLCA.
Nicholas Ayache,
Andrea Asperti,
Claudio Sacerdoti Coen,
2011,
FET.
David Aspinall,
Ian Stark,
2008
.
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2005
.
Ian Stark,
Thomas Wright,
2020,
RV.
Ian Stark,
I. Stark,
2008,
Theor. Comput. Sci..
Stephen Gilmore,
Ian Stark,
Martin Hofmann,
2004,
CASSIS.
Tom Chothia,
Ian Stark,
2000,
Electron. Notes Theor. Comput. Sci..
Ian Stark,
1999
.
Robert M. Norton,
Brian Campbell,
Ian Stark,
2019,
Proc. ACM Program. Lang..
Andrzej S. Murawski,
Samson Abramsky,
Dan R. Ghica,
2004,
LICS 2004.
Patrick Maier,
Ian Stark,
David Aspinall,
2008,
Electron. Notes Theor. Comput. Sci..
Ian Stark,
Thomas Wright,
I. Stark,
2018,
ArXiv.
Ian Stark,
Chris J. Banks,
2014,
Inf. Comput..
Stephen Gilmore,
Hans-Wolfgang Loidl,
Donald Sannella,
2007
.
Ian Stark,
James McKinna,
Craig McLaughlin,
2018,
CPP.
Patrick Maier,
David Aspinall,
Ian Stark,
2007,
FMCO.
Ian Stark,
1996
.
Glynn Winskel,
Ian Stark,
Gian Luca Cattani,
1997
.
Tom Chothia,
Ian Stark,
2001,
EXPRESS.
Ian Stark,
Marek Kwiatkowski,
I. Stark,
2008,
CMSB.
Martin Hofmann,
Stephen Gilmore,
Kenneth MacKenzie,
2005,
Trends in Functional Programming.
Ian Stark,
1998,
Fundam. Informaticae.
Ian Stark,
I. Stark,
2005,
FoSSaCS.
Ian Stark,
Thomas Wright,
I. Stark,
2020,
SASB.
Ian Stark,
I. Stark,
1997
.