Ian Mackie - Concepedia

Author

Ian Mackie

Laboratoire d'Informatique de l'École Polytechnique ORCID

Also Known As

Fernandez, Maribel, I. MACKIE, I. Mackie, IAN MACKIE, Ian Mackie, Ian Mackie (4462138), Mackie, Ian, Mackie, Ian Craig

116

Publications

1.1K

Citations

H-Index

Concepts

All Affiliations

Laboratoire d'Informatique de l'École Polytechnique École Polytechnique Centre National de la Recherche Scientifique King's College London Imperial College London

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	11	345
2	Computer Science	10	10	323
3	Language Studies	3	3	94
4	Linguistics	3	3	94
5	Systems Engineering	2	2	31

Ian Mackie

Publications

631

Citations

H-Index

Page 1

	Year	Citations
The geometry of interaction machine Ian Mackie EngineeringGeometryInteraction MachineSemantic WebFormal Verification	1995	109
Encouraging users to improve password security and memorability Ian Mackie International Journal of Information Security	2019	108
YALE Ian Mackie	1998	58
Lilac: a functional programming language based on linear logic Ian Mackie Journal of Functional Programming Mathematical ProgrammingEngineeringAutomated ReasoningType TheoryFunctional Programming Language	1994	58
Nominal rewriting systems Maribel Fernández, Murdoch J. Gabbay, Ian Mackie EngineeringHigher-order LogicSemanticsSemantic WebNominal Rewriting	2004	54
Closed reduction: explicit substitutions without $\alpha$-conversion Maribel Fernández, Ian Mackie, F.-R. Sinot Mathematical Structures in Computer Science	2005	33
Gödel’s system <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi mathvariant="script">T</mml:mi></mml:math> revisited Sandra Alves, Maribel Fernández, Mário Florido, Theoretical Computer Science Math XmlnsComputer AlgebraMathematical FoundationsMathematical Model	2009	22
An internal language for autonomous categories Ian Mackie, L. Rom�n, Samson Abramsky Applied Categorical Structures Artificial IntelligenceEngineeringAutomated ReasoningIntelligent SystemsLanguage Studies	1993	22
Specification and Analysis of ABAC Policies via the Category-based Metamodel Maribel Fernández, Ian Mackie, Bhavani Thuraisingham EngineeringInformation SecurityVerificationSoftware EngineeringPolicy Analysis	2019	21
Interaction nets and term-rewriting systems Maribel Fernández, Ian Mackie Theoretical Computer Science SyntaxEngineeringAutomated ReasoningRegulated RewritingComputational Linguistics	1998	18

Page 1