Chris Hankin
发表
Carsten Maple,
Peter Davies,
Kerstin Eder,
2020,
ArXiv.
Chris Hankin,
Emmanouil A. Panaousis,
Andrew Fielder,
2015,
Decis. Support Syst..
Chris Hankin,
Peter Osmon,
Malcolm J. Shute,
1985,
FPCA.
Flemming Nielson,
Chris Hankin,
Hanne Riis Nielson,
1999,
Springer Berlin Heidelberg.
James R. Larus,
Chris Hankin,
Claude Kirchner,
2018
.
Chris Hankin,
C. Hankin,
1994,
Theory and Formal Methods.
Chris Hankin,
Sebastian Hunt,
C. Hankin,
1994
.
Measuring cyber-physical security in industrial control systems via minimum-effort attack strategies
Martín Barrère,
Thomas Parisini,
Chris Hankin,
2020,
J. Inf. Secur. Appl..
Chris Hankin,
C. Hankin,
2004
.
Chris Hankin,
Eric Goubault,
Marko van Eekelen,
1993
.
Chris Hankin,
Erwan Le Martelot,
C. Hankin,
2012,
ArXiv.
Chris Hankin,
Thomas P. Jensen,
Lindsay Errington,
1993,
Theory and Formal Methods.
Jens Palsberg,
Chris Hankin,
Hanne Riis Nielson,
1996,
CSUR.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2004
.
Chris Hankin,
Ovidiu Serban,
Nicholas A. Thapen,
2019,
Inf. Process. Manag..
Chris Hankin,
Samson Abramsky,
C. Hankin,
1987
.
Chris Hankin,
Andrew Fielder,
Pasquale Malacaria,
2016,
ESORICS.
Chris Hankin,
Erwan Le Martelot,
C. Hankin,
2011,
KDIR.
Chris Hankin,
Paul H. J. Kelly,
David Bolton,
1989,
PARLE.
Chris Hankin,
Samson Abramsky,
Geoffrey L. Burn,
1985
.
Chris Hankin,
Sakir Sezer,
Awais Rashid,
2018
.
Chris Hankin,
Paolo Ciancarini,
2002,
Lecture Notes in Computer Science.
Chris Hankin,
Samson Abramsky,
Geoffrey L. Burn,
1985,
Programs as Data Objects.
Chris Hankin,
1998,
Nord. J. Comput..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
Journal of Functional Programming.
James R. Larus,
Chris Hankin,
J. Larus,
2018,
Commun. ACM.
Chris Hankin,
Sergio Maffeis,
Kevin Jones,
2019,
ArXiv.
Chris Hankin,
Samson Abramsky,
Geoffrey L. Burn,
1986,
Sci. Comput. Program..
Chris Hankin,
Erwan Le Martelot,
C. Hankin,
2013,
ArXiv.
Chris Hankin,
Emmanouil A. Panaousis,
Andrew Fielder,
2014,
SEC.
Chris Hankin,
Pasquale Malacaria,
1998,
ICALP.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2007,
QAPL.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2004,
FMCO.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
FMCO.
Chris Hankin,
Pasquale Malacaria,
1998,
CC.
Chris Hankin,
Sebastian Hunt,
C. Hankin,
1992,
Sci. Comput. Program..
Chris Hankin,
2012
.
Chris Hankin,
David A. Schmidt,
Dave Schmidt,
2001,
ACM-SIGACT Symposium on Principles of Programming Languages.
Chris Hankin,
Emmanouil A. Panaousis,
Andrew Fielder,
2014,
GameSec.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2010,
SFM.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2006,
Mathematical Structures in Computer Science.
Flemming Nielson,
Chris Hankin,
Hanne Riis Nielson,
2010,
TGC.
Chris Hankin,
Paul H. J. Kelly,
David J. Pearce,
2003,
Proceedings Third IEEE International Workshop on Source Code Analysis and Manipulation.
Chris Hankin,
Andrew Fielder,
Tingting Li,
2016,
SAFECOMP.
Chris Hankin,
David Clark,
1993,
PLILP.
Chris Hankin,
1995
.
Chris Hankin,
Maria Grazia Vigliotti,
Donal Stephen Simmie,
2013,
SITIS.
Chris Hankin,
Daniel Le Métayer,
C. Hankin,
1994,
POPL '94.
Chris Hankin,
Ian Mackie,
Rajagopal Nagarajan,
1995
.
Flemming Nielson,
Chris Hankin,
Hanne Riis Nielson,
1999
.
Chris Hankin,
Tingting Li,
Cheng Feng,
2020,
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).
Chris Hankin,
Hanne Riis Nielson,
1996,
CSUR.
Chris Hankin,
Pasquale Malacaria,
C. Hankin,
2013,
Computation, Logic, Games, and Quantum Foundations.
Chris Hankin,
Pasquale Malacaria,
1999,
CSUR.
Chris Hankin,
C. Hankin,
1998,
International Journal on Software Tools for Technology Transfer.
Chris Hankin,
Tingting Li,
2016,
CRITIS.
Chris Hankin,
Tingting Li,
2015,
ICS-CSR.
Chris Hankin,
2016,
Semantics, Logics, and Calculi.
Chris Hankin,
Pasquale Malacaria,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2010,
Comput. J..
Chris Hankin,
Andrew Fielder,
Tingting Li,
2016,
ICS-CSR.
Chris Hankin,
Simon Peyton Jones,
Geoffrey L. Burn,
1988,
Theor. Comput. Sci..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2008,
ICICS.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
Theor. Comput. Sci..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2001,
APPIA-GULP-PRODE.
Chris Hankin,
C. Hankin,
1988
.
Mario Bravetti,
Chris Hankin,
Roberto Gorrieri,
2001,
FOSAD.
Chris Hankin,
2003
.
Chris Hankin,
Erwan Le Martelot,
C. Hankin,
2012,
ArXiv.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
SecCo.
Martín Barrère,
Thomas Parisini,
Chris Hankin,
2018,
2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Chris Hankin,
Sebastian Hunt,
C. Hankin,
1992,
Sci. Comput. Program..
Chris Hankin,
C. Hankin,
2013,
Festschrift for Dave Schmidt.
Chris Hankin,
David Sands,
Daniel Le Métayer,
1998,
Theor. Comput. Sci..
Chris Hankin,
Emmanouil A. Panaousis,
Andrew Fielder,
2015,
ArXiv.
Chris Hankin,
Paul H. J. Kelly,
David J. Pearce,
2007,
TOPL.
Martín Barrère,
Thomas Parisini,
Chris Hankin,
2019,
ArXiv.
Chris Hankin,
Erwan Le Martelot,
C. Hankin,
2013,
Int. J. Web Based Communities.
Flemming Nielson,
Chris Hankin,
Hanne Riis Nielson,
1999
.
Flemming Nielson,
Chris Hankin,
Hanne Riis Nielson,
2009,
2009 22nd IEEE Computer Security Foundations Symposium.
Chris Hankin,
2012
.
Chris Hankin,
Sergio Maffeis,
Kevin Jones,
2019,
ArXiv.
Chris Hankin,
Rajagopal Nagarajan,
Ian J. Mackie,
1995,
Theory and Formal Methods.
Simon L. Peyton Jones,
Chris Hankin,
Geoffrey L. Burn,
1986,
ESOP.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2002
.
Chris Hankin,
Ann Blandford,
Neesha Kodagoda,
2017
.
Farhad Arbab,
Chris Hankin,
Paolo Ciancarini,
1998,
Parallel Comput..
Chris Hankin,
1995
.
Chris Hankin,
C. Hankin,
1998
.
Chris Hankin,
Maria Grazia Vigliotti,
Donal Stephen Simmie,
2013,
2013 International Conference on Signal-Image Technology & Internet-Based Systems.
Chris Hankin,
Erwan Le Martelot,
C. Hankin,
2013,
Comput. J..
Chris Hankin,
Daniel Le Métayer,
C. Hankin,
1995,
Sci. Comput. Program..
Chris Hankin,
David Sands,
Daniel Le Métayer,
1992,
LCPC.
Chris Hankin,
Sebastian Nanz,
C. Hankin,
2004
.
Chris Hankin,
Sergio Maffeis,
Giulio Zizzo,
2019,
2019 56th ACM/IEEE Design Automation Conference (DAC).
Chris Hankin,
David Sands,
Daniel Le Métayer,
1992,
WSA.
Chris Hankin,
Paul H. J. Kelly,
Peter Osmon,
1987,
PARLE.
Chris Hankin,
Igor Siveroni,
C. Hankin,
2001
.
Chris Hankin,
C. Hankin,
1991,
PARLE.
Chris Hankin,
Panagiota Fatourou,
2019,
Commun. ACM.
Chris Hankin,
Sebastian Nanz,
2006,
Electron. Notes Theor. Comput. Sci..
Flemming Nielson,
Chris Hankin,
Fan Yang,
2013,
Sci. Comput. Program..
Chris Hankin,
Mart'in Barrere,
C. Hankin,
2020,
2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S).
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2006,
Math. Struct. Comput. Sci..
MaxSAT Evaluation 2020 - Benchmark: Identifying Maximum Probability Minimal Cut Sets in Fault Trees
pdf
Chris Hankin,
Mart'in Barrere,
C. Hankin,
2020,
ArXiv.
Chris Hankin,
Igor Siveroni,
C. Hankin,
2005
.
Jens Palsberg,
Chris Hankin,
Hanne Riis Nielson,
1997,
SIGP.
Martín Barrère,
Thomas Parisini,
Chris Hankin,
2019,
ArXiv.
Chris Hankin,
Maria Grazia Vigliotti,
C. Hankin,
2015,
Soc. Networks.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2003,
CONCUR.
Chris Hankin,
Daniel Le Métayer,
1994,
ESOP.
Chris Hankin,
Erwan Le Martelot,
2014,
Computing.
Chris Hankin,
Paolo Ciancarini,
C. Hankin,
1996
.
Chris Hankin,
Rajagopal Nagarajan,
Prahladavaradan Sampath,
2002,
The Essence of Computation.
Chris Hankin,
Igor Siveroni,
2005
.
Flemming Nielson,
Chris Hankin,
Fan Yang,
2012,
ArXiv.
Chris Hankin,
Nicholas A. Thapen,
Donal Stephen Simmie,
2015,
PloS one.
Chris Hankin,
Nicholas A. Thapen,
Donal Stephen Simmie,
2015,
Journal of Biomedical Semantics.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2006,
Program Analysis and Compilation.
Chris Hankin,
David Sands,
Daniel Le Métayer,
1993,
PARLE.
Chris Hankin,
1996
.
Chris Hankin,
C. Hankin,
1993,
J. Log. Comput..
Chris Hankin,
Chris Hankin,
2011
.
Chris Hankin,
David Clark,
Sebastian Hunt,
2000,
SAS.
Flemming Nielson,
Chris Hankin,
Hanne Riis Nielson,
1999
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005,
J. Log. Comput..
Chris Hankin,
Tingting Li,
Cheng Feng,
2018,
ArXiv.
Chris Hankin,
David Clark,
Lindsay Errington,
1994,
Theory and Formal Methods.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2011,
International Journal of Information Security.
Chris Hankin,
Thomas P. Jensen,
Lindsay Errington,
1993,
WSA.
Chris Hankin,
Roberto Gorrieri,
1998,
Theor. Comput. Sci..
Chris Hankin,
Paul H. J. Kelly,
David J. Pearce,
2004,
Software Quality Journal.
Chris Hankin,
Christian W. Probst,
René Rydhof Hansen,
2015
.
Chris Hankin,
Kevin Jones,
Sergio Maffeis,
2019,
DAC.
Chris Hankin,
David Clark,
Sebastian Hunt,
2002,
Comput. Lang. Syst. Struct..
Chris Hankin,
C. Hankin,
1998
.
Martín Barrère,
Chris Hankin,
2020,
CRITIS.
Chris Hankin,
Paul H. J. Kelly,
David Bolton,
1990,
Future Gener. Comput. Syst..
Chris Hankin,
Sebastian Nanz,
C. Hankin,
2006,
Theor. Comput. Sci..
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2002,
SAS.
Flemming Nielson,
Chris Hankin,
Fan Yang,
2008,
COORDINATION.
Chris Hankin,
Chris Martin,
C. Hankin,
1987,
FPCA.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2004,
COORDINATION.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2002,
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15.
Chris Hankin,
Paolo Ciancarini,
1996
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2007,
APLAS.
Chris Hankin,
Herbert Wiklicky,
C. Hankin,
2005,
Electron. Notes Theor. Comput. Sci..
MaxSAT Evaluation 2019 - Benchmark: Identifying Security-Critical Cyber-Physical Components in Weighted AND/OR Graphs
pdf
Martín Barrère,
Thomas Parisini,
Chris Hankin,
2019,
ArXiv.
Chris Hankin,
Herbert Wiklicky,
Igor Siveroni,
2007,
J. Log. Algebraic Methods Program..
Chris Hankin,
C. Hankin,
1990,
Functional Programming.
Chris Hankin,
Daniel Le Métayer,
1994,
SAS.
Chris Hankin,
M. D. de Jong,
C. Hankin,
1982,
SIGP.
Martín Barrère,
Chris Hankin,
C. Hankin,
2021,
ACM Trans. Cyber Phys. Syst..
Chris Hankin,
Sergio Maffeis,
Mathieu Sinn,
2021,
ArXiv.
Chris Hankin,
John Hughes,
Werner Damm,
2021
.
Chris Hankin,
Herbert Wiklicky,
Alessandra Di Pierro,
2005
.
Chris Hankin,
Hugh Glaser,
D. R. Till,
1987
.
Chris Hankin,
Alessandra Di Pierro,
2004
.