Research output per year
Research output per year
Fingerprint
Dive into the research topics where Ian Mackie is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language
Fernandez, M. & MacKie, I., 9 Sept 2024, Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Co-located with the 26th International Symposium on Formal Methods. Association for Computing Machinery, 6. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access1 Citation (Scopus) -
A Reversible Operational Semantics for Imperative Programming Languages
Fernández, M. & Mackie, I., 1 Jan 2020, Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Proceedings. Lin, S.-W., Hou, Z. & Mahoney, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 91-106 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12531 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Citation (Scopus) -
Encouraging users to improve password security and memorability
Yıldırım, M. & Mackie, I., 1 Dec 2019, In: International Journal of Information Security. 18, 6, p. 741-759 19 p.Research output: Contribution to journal › Article › peer-review
Open Access113 Citations (Scopus) -
Linear Numeral Systems
Mackie, I., 1 Dec 2019, In: Journal of Automated Reasoning. 63, 4, p. 887-909 23 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Specification and analysis of ABAC policies via the category-based metamodel
Fernández, M., Mackie, I. & Thuraisingham, B., 13 Mar 2019, CODASPY 2019 - Proceedings of the 9th ACM Conference on Data and Application Security and Privacy. Association for Computing Machinery, Inc, p. 173-184 12 p. (CODASPY 2019 - Proceedings of the 9th ACM Conference on Data and Application Security and Privacy).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
23 Citations (Scopus) -
A novel hybrid password authentication scheme based on text and image
Mackie, I. & Yıldırım, M., 1 Jan 2018, Data and Applications Security and Privacy XXXII - 32nd Annual IFIP WG 11.3 Conference, DBSec 2018, Proceedings. Paraboschi, S. & Kerschbaum, F. (eds.). Springer Verlag, p. 182-197 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10980 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access11 Citations (Scopus) -
A geometry of interaction machine for gödel’s system t
Mackie, I., 1 Jan 2017, Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, Proceedings. Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Springer Verlag, p. 229-241 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10388 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access3 Citations (Scopus) -
Controlling File Access with Types
Alsowail, R. & Mackie, I., 11 Jun 2017, In: Electronic Notes in Theoretical Computer Science. 332, p. 3-20 18 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Citation (Scopus) -
Logical and Semantic Frameworks with Applications
Ayala-Rincón, M., Mackie, I. & Montanari, U., 15 Jul 2017, In: Theoretical Computer Science. 685, p. 1-2 2 p.Research output: Contribution to journal › Editorial
Open Access -
An interaction net encoding of Gödel’s System T declarative pearl
Mackie, I. & Sato, S., 1 Jan 2016, Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Proceedings. Kiselyov, O. & King, A. (eds.). Springer Verlag, p. 80-93 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9613).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review