麻豆传媒社区入口

Foundations of Software Systems (FoSS)

Ian Mackie

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鈥檚 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鈥檚 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. .