Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de Ian Mackie

Voir le profil Scopus

Ian Mackie

  • 756
    Citations
1993 …2024

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Ian Mackie est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau

  • 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert
    1 Citation (Scopus)

  • A Reversible Operational Semantics for Imperative Programming Languages

    Fernández, M. & Mackie, I., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    1 Citation (Scopus)

  • Encouraging users to improve password security and memorability

    Yıldırım, M. & Mackie, I., 1 déc. 2019, Dans: International Journal of Information Security. 18, 6, p. 741-759 19 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
    113 Citations (Scopus)

  • Linear Numeral Systems

    Mackie, I., 1 déc. 2019, Dans: Journal of Automated Reasoning. 63, 4, p. 887-909 23 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert

  • Specification and analysis of ABAC policies via the category-based metamodel

    Fernández, M., Mackie, I. & Thuraisingham, B., 13 mars 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    23 Citations (Scopus)

  • A novel hybrid password authentication scheme based on text and image

    Mackie, I. & Yıldırım, M., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert
    11 Citations (Scopus)

  • A geometry of interaction machine for gödel’s system t

    Mackie, I., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert
    3 Citations (Scopus)

  • Controlling File Access with Types

    Alsowail, R. & Mackie, I., 11 juin 2017, Dans: Electronic Notes in Theoretical Computer Science. 332, p. 3-20 18 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
    1 Citation (Scopus)

  • Logical and Semantic Frameworks with Applications

    Ayala-Rincón, M., Mackie, I. & Montanari, U., 15 juil. 2017, Dans: Theoretical Computer Science. 685, p. 1-2 2 p.

    Résultats de recherche: Contribution à un journal › Éditorial

    Accès ouvert

  • An interaction net encoding of Gödel’s System T declarative pearl

    Mackie, I. & Sato, S., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Tout afficher 80 résultat de recherche