Concepedia

Ian Mackie

IM

Statistics

Publications

20

Citations

631

H-Index

13

Active since

1993

Affiliations

Laboratoire d'Informatique de l'École Polytechnique(Current)

École Polytechnique

Centre National de la Recherche Scientifique

King's College London

Imperial College London

Ian Mackie is an author at Laboratoire d'Informatique de l'École Polytechnique specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSemanticsLanguageLinguisticsLogic ProgrammingSyntax

Publications per year

1993–2019

20

Publications

20

The geometry of interaction machine

Ian Mackie · 1995 · 109 citations

Engineering, Geometry, Interaction Machine +18

Encouraging users to improve password security and memorability

Ian Mackie · International Journal of Information Security · 2019 · 108 citations · Full text

Ian Mackie · 1998 · 58 citations

Lilac: a functional programming language based on linear logic

Ian Mackie · Journal of Functional Programming · 1994 · 58 citations · Full text

Mathematical Programming, Engineering, Automated Reasoning +12

Nominal rewriting systems

Maribel Fernández, Murdoch J. Gabbay, Ian Mackie · 2004 · 54 citations

Engineering, Higher-order Logic, Semantics +19

1–5 of 20