AVÊÓƵ

Selected Publications

2020

• Fernández, M., & Mackie, I. (2020). A Reversible Operational Semantics for Imperative Programming Languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12531 LNCS (pp. 91-106). doi:10.1007/978-3-030-63406-3_6
  Conference publication. .

2019

• Yildirim, M., & Mackie, I. (n.d.). Encouraging users to improve password security and memorability. International Journal of Information Security, pages. doi:10.1007/s10207-019-00429-y
  Article. .
• Fernández, M., Mackie, I., & Thuraisingham, B. (2019). Specification and analysis of ABAC policies via the category-based metamodel. In CODASPY 2019 - Proceedings of the 9th ACM Conference on Data and Application Security and Privacy (pp. 173-184). doi:10.1145/3292006.3300033
  Conference publication. .
• Fernández, M., & Mackie, I. (2019). Preface. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 288.
  Conference publication.

2018

• Mackie, I., & Yildirim, M. (2018, July 16). A novel hybrid password authentication scheme based on text and image. In Data and Applications Security and Privacy (pp. 182-197). Italy: Springer Verlag. doi:10.1007/978-3-319-95729-6_12
  Conference publication. .
• Mackie, I. (2019). Linear numeral systems. Journal of Automated Reasoning, 63(4), 887-909. doi:10.1007/s10817-018-9456-6
  Article. .

2017

• Ayala-Rincón, M., Mackie, I., & Montanari, U. (2017). Logical and Semantic Frameworks with Applications. Theoretical Computer Science, 685, 1-2. doi:10.1016/j.tcs.2017.05.028
  Article. .
• Mackie, I. (2017). A geometry of interaction machine for Gödel's System T. In Proceedings of the 24th International Workshop on Logic, Language, Information, and Computation; London, UK; 18-21 July 2017 Vol. 10388 (pp. 229-241). Springer Verlag. doi:10.1007/978-3-662-55386-2_16
  Conference publication. .
• Alsowail, R., & Mackie, I. (2017). Controlling file access with types. Electronic Notes in Theoretical Computer Science, 332, 3-20. doi:10.1016/j.entcs.2017.04.002
  Article. .

2016

• Corradini, A., Fernández, M., Mackie, I., Plump, D., Van Raamsdonk, F., & Zantema, H. (2016). Preface. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 225 (pp. 1). doi:10.4204/EPTCS.225
  Conference publication. .
• Mackie, I. (2016). Compiling process networks to interaction nets. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 225 (pp. 5-14). doi:10.4204/EPTCS.225.3
  Conference publication. .
• Mackie, I., & Sato, S. (2016). In-place graph rewriting with interaction nets. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 225 (pp. 15-24). doi:10.4204/EPTCS.225.4
  Conference publication. .
• Mackie, I., & Sato, S. (2016). Parallel evaluation of interaction nets: Case studies and experiments. Electronic Communications of the EASST, 73(1), 1-20. doi:10.14279/tuj.eceasst.73.1034.1022
  Article. .
• Mackie, I., & Sato, S. (2016). An interaction net encoding of Gödel’s System T declarative pearl. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 9613 (pp. 80-93). doi:10.1007/978-3-319-29604-3_6
  Conference publication. .

2015

• Hassan, A., Mackie, I., & Sato, S. (2015). An implementation model for interaction nets. Electronic Proceedings in Theoretical Computer Science, EPTCS, 183, 66-80. doi:10.4204/EPTCS.183.5
  Article. .
• Ayala-Rincón, M., & Mackie, I. (2015). Preface. Electronic Notes in Theoretical Computer Science, 312, 1-2. doi:10.1016/j.entcs.2015.04.001
  Article. .
• Mackie, I., & Sato, S. (2015). Parallel evaluation of interaction nets: Some observations and examples (Work-in-progress). In CEUR Workshop Proceedings Vol. 1403 (pp. 50-65).
  Conference publication.
• Gaur, M., Gay, S. J., & Mackie, I. (2015). A routing calculus with flooding updates. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 8956 (pp. 181-186). doi:10.1007/978-3-319-14977-6_12
  Conference publication. .

2014

• Ayala-Rincón, M., Bonelli, E., & Mackie, I. (2014). Preface. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 144. doi:10.4204/EPTCS.144
  Conference publication. .
• Fernández, M., Kirchner, H., Mackie, I., & Pinaud, B. (2014). Visual modelling of complex systems: Towards an abstract machine for PORGY. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 8493 LNCS (pp. 183-193). doi:10.1007/978-3-319-08019-2_19
  Conference publication. .
• Florido, M., & Mackie, I. (2014). Linearity in computation. Journal of Logic and Computation, 24(3), 511-512. doi:10.1093/logcom/exs024
  Article. .
• Alves, S., Fernández, M., Florido, M., & Mackie, I. (2014). Linearity: A roadmap. Journal of Logic and Computation, 24(3), 513-529. doi:10.1093/logcom/exs020
  Article. .

2013

• Gay, S., & Mackie, I. (2013). Semantic techniques in quantum computation (Vol. 9780521513746). doi:10.1017/CBO9781139193313
  Book. .
• Gay, S., & Mackie, I. (2013). Preface (Vol. 9780521513746). doi:10.1017/CBO9781139193313.001
  Book. .

2011

• Mackie, I. (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 (pp. 173-182). ACM Press. doi:10.1145/2003476.2003500
  Chapter. .
• Coecke, B., MacKie, I., Panangaden, P., & Selinger, P. (2011). Electronic Notes in Theoretical Computer Science: Preface. Electronic Notes in Theoretical Computer Science, 270(1), 1-2. doi:10.1016/j.entcs.2011.01.001
  Article. .
• Mackie, I. (2011). An interaction net implementation of closed reduction. In Implementation and application of functional languages (pp. 43-59). Springer. doi:10.1007/978-3-642-24452-0
  Chapter. .
• Mackie, I. (2011). An interaction net implementation of closed reduction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 5836 LNCS (pp. 43-59). doi:10.1007/978-3-642-24452-0_3
  Conference publication. .

2010

• Moreira, A. M., & Mackie, I. (2010). Preface. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 21. doi:10.4204/EPTCS.21
  Conference publication. .
• Florido, M., & Mackie, I. (2010). Preface. In Electronic Proceedings in Theoretical Computer Science, EPTCS Vol. 22. doi:10.4204/EPTCS.22
  Conference publication. .
• Mackie, I. (2010). Gödel’s System T Revisited. Theoretical Computer Science, 411(11-13), 1484-1500. doi:10.1016/j.tcs.2009.11.014
  Article. .
• Alves, S., Fernández, M., Florido, M., & Mackie, I. (2010). Linearity and Iterator Types for Godel's System T. Higher-Order and Symbolic Computation, 23(1), 1-27. doi:10.1007/s10990-010-9060-x
  Article. .
• Hassan, A., Mackie, I., & Sato, S. (2010). A lightweight abstract machine for interaction nets. In Electronic Communications of the EASST Vol. 29. doi:10.14279/tuj.eceasst.29.416.382
  Conference publication. .
• Mackie, I. (2010). A visual model of computation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 6108 LNCS (pp. 350-360). doi:10.1007/978-3-642-13562-0_32
  Conference publication. .

2009

• Fernández, M., Mackie, I., Sato, S., & Walker, M. (2009). Recursive Functions with Pattern Matching in Interaction Nets. Electronic Notes in Theoretical Computer Science, 253(4), 55-71. doi:10.1016/j.entcs.2009.10.017
  Article. .
• Hassan, A., Mackie, I., & Sato, S. (2009). Compilation of Interaction Nets. Electronic Notes in Theoretical Computer Science, 253(4), 73-90. doi:10.1016/j.entcs.2009.10.018
  Article. .
• Mackie, I. (2009). A rewriting paradigm for program and algorithm animation. In IEEE Symposium on Visual Languages and Human-Centric Computing. Oregon State Univ, Corvallis, OR.
  Presentation. .

2008

• Mackie, I., & Sato, S. (2008). A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. Electronic Notes in Theoretical Computer Science, 192(3), 59-70. doi:10.1016/j.entcs.2008.10.027
  Article. .
• Mackie, I., Pinto, J. S., & Vilac, M. (2008). Visual Programming with Interaction Nets. In DIAGRAMS 2008.
  Presentation. .
• Alves, S., Florido, M., Mackie, I., & Sinot, F. -R. (2008). Minimality in a Linear Calculus with Iteration. In Electronic Notes in Theoretical Computer Science. doi:10.1016/j.entcs.2008.03.060
  Presentation. .
• Hassan, A., Mackie, I., & Sato, S. (2008). Interaction nets: Programming language design and implementation. In Electronic Communications of the EASST Vol. 10. doi:10.14279/tuj.eceasst.10.156.144
  Conference publication. .

2007

• Mackie, I., Pinto, J. S., & Vilaça, M. (2007). Visual programming with recursion patterns in interaction nets. In Electronic Communications of the EASST Vol. 6. doi:10.14279/tuj.eceasst.6.66.49
  Conference publication. .
• Alves, S., Fernández, M., Florido, M., & Mackie, I. (2007). Linear Recursive Functions. In Rewriting, computation and proof: Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday (pp. 182-195). Berlin: Springer.
  Chapter. .
• Alves, S., Fernández, M., Florido, M., & Mackie, I. (2007). The Power of Closed Reduction Strategies.. In the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006). Seattle, Washington.. doi:10.1016/j.entcs.2007.02.047
  Presentation. .
• Mackie, I., & Plump, D. (2007). Theory and applications of term graph rewriting: introduction. Mathematical Structures in Computer Science, 17(3), 361-362. doi:10.1017/S0960129507006081
  Article. .
• Fernández, M., Mackie, I., & Pinto, J. S. (2007). A Higher-Order Calculus for Graph Transformation. In Electronic Notes in Theoretical Computer Science. doi:10.1016/j.entcs.2002.09.005
  Presentation. .
• Cirstea, H., Faure, G., Fernández, M., Mackie, I., & Sinot, F. -R. (2007). From Functional Programs to Interaction Nets via the Rewriting Calculus.. In Electronic Notes in Theoretical Computer Science. doi:10.1016/j.entcs.2007.02.046
  Presentation. .
• Alves, S., Fernández, M., Florido, M., & Mackie, I. (2007). Iterator Types. In Lecture Notes in Computer Science.
  Presentation. .
• Fernández, M., & Mackie, I. (2007). More developments in computational models: introduction. Mathematical Structures in Computer Science, 17(4), 585-586. doi:10.1017/S0960129507006196
  Article. .

2006

• Cirstea, H., Faure, G., Fernández, M., Mackie, I., & Sinot, F. R. (2006). New evaluation strategies for functional languages. In Electronic Notes in Theoretical Computer Science (pp. 80-95).
  Conference publication.
• Alves, S., Fernández, M., Florido, M., & Mackie, I. (2006). The Power of Linear Functions. In Lecture Notes in Computer Science.
  Presentation. .
• Fernández, M., & Mackie, I. (2006). Developments in computational models: introduction. Mathematical Structures in Computer Science, 16(4), 553-555. doi:10.1017/S0960129506005305
  Article. .
• Fernández, M., Mackie, I., & Sinot, F. -R. (2006). Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. In Electronic Notes in Theoretical Computer Science.
  Presentation. .

2005

• Fernández, M., Mackie, I., & Sinot, F. -R. (2005). Lambda-Calculus with Director Strings. Journal of Applicable Algebra in Engineering, Communication and Computing, 15(6), 393-437. doi:10.1007/s00200-005-0169-9
  Article. .
• Fernández, M., Mackie, I., & Sinot, F. -R. (2005). Closed Reduction: explicit substitutions without alpha conversion. Mathematical Structures in Computer Science, 15(2), 343-381. doi:10.1017/S0960129504004633
  Article. .
• Mackie, I. (2005). Encoding strategies in the lambda calculus with interaction nets. In Lecture Notes in Computer Science. doi:10.1007/11964681_2
  Presentation. .
• Mackie, I. (2005). Interaction Net Implementation of Additive and Multiplicative Structures. Journal of Logic and Computation, 15(2), 219-237. doi:10.1093/logcom/exi011
  Article. .
• Mackie, I. (2005). Towards a Programming Language for Interaction Nets. Electronic Notes in Theoretical Computer Science, 127(5), 133-151. doi:10.1016/j.entcs.2005.02.015
  Article. .
• Sinot, F. -R., & Mackie, I. (2005). Macros for Interaction Nets: A Conservative Extension of Interaction Nets. In Electronic Notes in Theoretical Computer Science.
  Presentation. .

2004

• Mackie, I. (2004). Efficient lambda-Evaluation with Interaction Nets. In Lecture Notes in Computer Science.
  Presentation. .
• Fernández, M., Gabbay, M., & Mackie, I. (2004). Nominal rewriting systems. In Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming.
  Presentation. .

2003

• Fernández, M., & Mackie, I. (2003). Operational Equivalence for Interaction Nets. Theoretical Computer Science, 297(1-3), 157-181. doi:10.1016/S0304-3975(02)00637-0
  Article. .
• Sinot, F. -R., Fernández, M., & Mackie, I. (2003). Efficient Reductions with Director Strings. In Lecture Notes in Computer Science. doi:10.1007/3-540-44881-0_5
  Presentation. .
• Fernández, M., Mackie, I., Severi, P., & Szasz, N. (2003). Reduction Strategies for Program Extraction. CLEI Electronic Journal, 6(1), pages.
  Article. .

2002

• Mackie, I., & Pinto, J. S. (2002). Encoding Linear Logic with Interaction Combinators. Information and Computation, 176(2), 153-186. doi:10.1006/inco.2002.3163
  Article. .
• Fernández, M., & Mackie, I. (2002). Call-by-Value lambda-Graph Rewriting Without Rewriting. In Lecture Notes in Computer Science.
  Presentation. .

2000

• Fernández, M., & Mackie, I. (2000). A theory of operational equivalence for interaction nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1776 LNCS (pp. 447-456). doi:10.1007/10719839_44
  Conference publication. .
• Mackie, I. (2000). Interaction nets for linear logic. Theoretical Computer Science, 247(1-2), 83-140. doi:10.1016/S0304-3975(00)00198-5
  Article. .

1999

• Mackie, I. (1999). YALE: Yet another lambda evaluator based on interaction nets. SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 34(1), 117-128. doi:10.1145/291251.289434
  Article. .
• Fernández, M., & Mackie, I. (1999). A calculus for interaction nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1702 (pp. 170-187). doi:10.1007/10704567_10
  Conference publication. .
• Fernandez, M., & Mackie, I. (1999). Closed reductions in the λ -calculus (Extended abstract). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1683 (pp. 220-234). doi:10.1007/3-540-48168-0_16
  Conference publication. .

1998

• Fernández, M., & Mackie, I. (1998). Interaction nets and term-rewriting systems. Theoretical Computer Science, 190(1), 3-39. doi:10.1016/S0304-3975(97)00082-0
  Article. .
• Mackie, I. (1998). YALE: Yet another lambda evaluator based on interaction nets. Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP, 117-128.
  Article.
• Fernández, M., & Mackie, I. (1998). Coinductive techniques for operational equivalence of interaction nets. In Proceedings - Symposium on Logic in Computer Science Vol. 1998-June (pp. 321-332). doi:10.1109/LICS.1998.705668
  Conference publication. .
• Mackie, I. (1998). Linear logic with boxes. In Proceedings - Symposium on Logic in Computer Science Vol. 1998-June (pp. 309-320). doi:10.1109/LICS.1998.705667
  Conference publication. .

1997

• Mackie, I. (1997). Static analysis of interaction nets for distributed implementations. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1302 LNCS (pp. 217-231). doi:10.1007/bfb0032744
  Conference publication. .
• Goubault-Larrecq, J., & Mackie, I. (1997). Proof Theory and Automated Deduction. Kluwer Academic Pub.
  Book.

1996

• Fernández, M., & Mackie, I. (1996). From term rewriting to generalised interaction nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1140 (pp. 319-333). doi:10.1007/3-540-61756-6_94
  Conference publication. .
• Fernández, M., & Mackie, I. (1996). Interaction nets and term rewriting systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1059 (pp. 149-164). doi:10.1007/3-540-61064-2_35
  Conference publication. .
• Jensen, T. P., & Mackie, I. (1996). Flow analysis in the Geometry of Interaction. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 1058 (pp. 188-203). doi:10.1007/3-540-61055-3_37
  Conference publication. .

1995

• Mackie, I. (1995). Geometry of interaction machine. In Conference Record of the Annual ACM Symposium on Principles of Programming Languages (pp. 198-208). doi:10.1145/199448.199483
  Conference publication. .

1994

• Mackie, I. (1994). Lilac: A functional Programming Language Based On Linear Logic. Journal of Functional Programming, 4(4), 395-433. doi:10.1017/S0956796800001131
  Article. .

1993

• Mackie, I., Román, L., & Abramsky, S. (1993). An internal language for autonomous categories. Applied Categorical Structures, 1(3), 311-343. doi:10.1007/BF00873993
  Article. .