Article

Yildirim, M and Mackie, I (2019) Encouraging users to improve password security and memorability. International Journal of Information Security. ISSN 1615-5262 (Accepted)

Mackie, Ian (2018) Linear numeral systems. Journal of Automated Reasoning. ISSN 0168-7433

Alsowail, Rakan and Mackie, Ian (2017) Controlling file access with types. Electronic Notes in Theoretical Computer Science, 332. pp. 3-20. ISSN 1571-0661

Mackie, Ian (2010) Gödel’s System T Revisited. Theoretical Computer Science, 411 (11-13). pp. 1484-1500. ISSN 03043975

Alves, Sandra, Fernández, Maribel, Florido, Mário and Mackie, Ian (2010) Linearity and Iterator Types for Godel's System T. Higher-Order and Symbolic Computation, 23 (1). pp. 1-27. ISSN 13883690

Fernández, Maribel and Mackie, Ian (2007) More developments in computational models: introduction. Mathematical Structures in Computer Science, 17 (4). pp. 585-586. ISSN 0960-1295

Mackie, Ian and Plump, Detlef (2007) Theory and applications of term graph rewriting: introduction. Mathematical Structures in Computer Science, 17 (3). pp. 361-362.

Fernández, Maribel and Mackie, Ian (2006) Developments in computational models: introduction. Mathematical Structures in Computer Science, 16 (4). pp. 553-555.

Fernández, M, Mackie, I and Sinot, F-R (2005) Closed Reduction: explicit substitutions without alpha conversion. Mathematical Structures in Computer Science, 15 (2). pp. 343-381. ISSN 0960-1295

Fernández, Maribel, Mackie, Ian and Sinot, François-Régis (2005) Lambda-Calculus with Director Strings. Journal of Applicable Algebra in Engineering, Communication and Computing, 15 (6). pp. 393-437. ISSN 0938-1279

Mackie, Ian (2005) Interaction Net Implementation of Additive and Multiplicative Structures. Journal of Logic and Computation, 15 (2). pp. 219-237. ISSN 0955792X

Mackie, Ian (2005) Towards a Programming Language for Interaction Nets. Electronic Notes in Theoretical Computer Science, 127 (5). pp. 133-151. ISSN 15710661

Fernández, Maribel and Mackie, Ian (2003) Operational Equivalence for Interaction Nets. Theoretical Computer Science, 297 (1-3). pp. 157-181. ISSN 0304-3975

Fernández, Maribel, Mackie, Ian, Severi, Paula and Szasz, Nora (2003) Reduction Strategies for Program Extraction. CLEI Electronic Journal, 6 (1). ISSN 0717-5000

Mackie, Ian and Pinto, Jorge Sousa (2002) Encoding Linear Logic with Interaction Combinators. Information and Computation, 176 (2). pp. 153-186. ISSN 0960-1295

Book Section

Mackie, Ian (2011) Linearity and recursion in a typed lambda-calculus. In: PPDP '11 Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming. ACM Press, pp. 173-182. ISBN 978-1-4503-0776-5

Mackie, Ian (2011) An interaction net implementation of closed reduction. In: Scholz, Sven-Bodo and Chitil, Olaf (eds.) Implementation and application of functional languages. Lecture notes in computer science (5836). Springer, pp. 43-59. ISBN 9783642244513

Alves, Sandra, Fernández, Maribel, Florido, Mario and Mackie, Ian (2007) Linear Recursive Functions. In: Comon-Lundh, Hubert, Kirchner, Claude and Kirchner, Hélène (eds.) Rewriting, computation and proof: Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday. Lecture Notes in Computer Science (4600). Springer, Berlin, pp. 182-195. ISBN 9783540731467

Conference or Workshop Item

Mackie, Ian (2009) A rewriting paradigm for program and algorithm animation. In: IEEE Symposium on Visual Languages and Human-Centric Computing, Oregon State Univ, Corvallis, OR.

Mackie, Ian, Pinto, Jorge Sousa and Vilac, Miguel (2008) Visual Programming with Interaction Nets. In: DIAGRAMS 2008.

Alves, Sandra, Florido, Mario, Mackie, Ian and Sinot, François-Régis (2008) Minimality in a Linear Calculus with Iteration. In: Electronic Notes in Theoretical Computer Science.

Cirstea, Horatiu, Faure, Germain, Fernández, Maribel, Mackie, Ian and Sinot, François-Régis (2007) From Functional Programs to Interaction Nets via the Rewriting Calculus. In: Electronic Notes in Theoretical Computer Science.

Fernández, Maribel, Mackie, Ian and Pinto, Jorge Sousa (2007) A Higher-Order Calculus for Graph Transformation. In: Electronic Notes in Theoretical Computer Science.

Alves, Sandra, Fernández, Maribel, Florido, Mario and Mackie, Ian (2007) Iterator Types. In: Lecture Notes in Computer Science.

Alves, Sandra, Fernández, Maribel, Florido, Mario and Mackie, Ian (2007) The Power of Closed Reduction Strategies. In: the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006), August 11, 2006., Seattle, Washington..

Fernández, M, Mackie, Ian and Sinot, François-Régis (2006) Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. In: Electronic Notes in Theoretical Computer Science.

Alves, Sandra, Fernández, Maribel, Florido, Mario and Mackie, Ian (2006) The Power of Linear Functions. In: Lecture Notes in Computer Science.

Mackie, Ian (2005) Encoding strategies in the lambda calculus with interaction nets. In: Lecture Notes in Computer Science, 2006.

Sinot, François-Régis and Mackie, Ian (2005) Macros for Interaction Nets: A Conservative Extension of Interaction Nets. In: Electronic Notes in Theoretical Computer Science.

Mackie, Ian (2004) Efficient lambda-Evaluation with Interaction Nets. In: Lecture Notes in Computer Science.

Fernández, Maribel, Gabbay, Murdoch and Mackie, Ian (2004) Nominal rewriting systems. In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming.

Sinot, François-Régis, Fernández, Maribel and Mackie, Ian (2003) Efficient Reductions with Director Strings. In: Lecture Notes in Computer Science.

Fernández, Maribel and Mackie, Ian (2002) Call-by-Value lambda-Graph Rewriting Without Rewriting. In: Lecture Notes in Computer Science.

Conference Proceedings

Mackie, Ian and Yildirim, Merve (2018) A novel hybrid password authentication scheme based on text and image. 32nd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, Italy, 16-18 July 2018. Published in: Kerschbaum, Florian and Parboschi, Stefano, (eds.) Data and Applications Security and Privacy. 182-197. Springer Verlag ISSN 0302-9743 ISBN 978-3-319-95729-6

Mackie, Ian (2017) A geometry of interaction machine for Gödel's System T. Published in: Kennedy, Juliette and de Queiroz, Ruy J G B, (eds.) Proceedings of the 24th International Workshop on Logic, Language, Information, and Computation; London, UK; 18-21 July 2017. 10388 229-241. Springer Verlag ISSN 9783662553855 ISBN 0302-9743