Ian Mackie

Publication Activity (10 Years)

Years Active: 1993-2020
Publications (10 Years): 11

Top Topics

Logical Representation

Programming Language

Complex Systems

Authentication Scheme

Top Venues

J. Log. Comput.

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Maribel Fernández, Ian Mackie
A Reversible Operational Semantics for Imperative Programming Languages. ICFEM (2020)
Merve Yildirim, Ian Mackie
Encouraging users to improve password security and memorability. Int. J. Inf. Sec. 18 (6) (2019)
Maribel Fernández, Ian Mackie, Bhavani M. Thuraisingham
Specification and Analysis of ABAC Policies via the Category-based Metamodel. CODASPY (2019)
Ian Mackie
Linear Numeral Systems. J. Autom. Reason. 63 (4) (2019)
Ian Mackie, Merve Yildirim
A Novel Hybrid Password Authentication Scheme Based on Text and Image. DBSec (2018)
Ian Mackie
A Geometry of Interaction Machine for Gödel's System T. WoLLIC (2017)
Mauricio Ayala-Rincón, Ian Mackie, Ugo Montanari
Logical and Semantic Frameworks with Applications. Theor. Comput. Sci. 685 (2017)
Ian Mackie
Compiling Process Networks to Interaction Nets. TERMGRAPH (2016)
Rakan Alsowail, Ian Mackie
Controlling File Access with Types. LSFA (2016)
Ian Mackie, Shinya Sato
- Declarative Pearl. FLOPS (2016)
Ian Mackie, Shinya Sato
In-place Graph Rewriting with Interaction Nets. TERMGRAPH (2016)
Ian Mackie, Shinya Sato
Parallel Evaluation of Interaction Nets: Case Studies and Experiments. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015)
Manish Gaur, Simon J. Gay, Ian Mackie
A Routing Calculus with Flooding Updates. ICDCIT (2015)
Ian Mackie, Shinya Sato
Parallel Evaluation of Interaction Nets: Some Observations and Examples. GCM@ICGT (2015)
Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud
Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. CiE (2014)
Abubakar Hassan, Ian Mackie, Shinya Sato
An Implementation Model for Interaction Nets. TERMGRAPH (2014)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linearity: A Roadmap. J. Log. Comput. 24 (3) (2014)
Mário Florido, Ian Mackie
Linearity in Computation. J. Log. Comput. 24 (3) (2014)
Mauricio Ayala-Rincón, Ian Mackie
Preface. LSFA (2014)
Maribel Fernández, Ian Mackie, Matthew Walker
Bigraphical Nets TERMGRAPH (2013)
Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger
Preface. Electron. Notes Theor. Comput. Sci. 270 (1) (2011)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linearity and recursion in a typed Lambda-calculus. PPDP (2011)
Sandra Alves, Maribel Fernández, Ian Mackie
A new graphical calculus of proofs TERMGRAPH (2011)
Abubakar Hassan, Ian Mackie, Shinya Sato
A lightweight abstract machine for interaction nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linearity and iterator types for Gödel's System. High. Order Symb. Comput. 23 (1) (2010)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Gödel's system tau revisited. Theor. Comput. Sci. 411 (11-13) (2010)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linear Recursion CoRR (2010)
Ian Mackie
A Visual Model of Computation. TAMC (2010)
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça
Iterators, Recursors and Interaction Nets CoRR (2009)
Ian Mackie
A rewriting paradigm for program and algorithm animation. VL/HCC (2009)
Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker
Recursive Functions with Pattern Matching in Interaction Nets. Electron. Notes Theor. Comput. Sci. 253 (4) (2009)
Abubakar Hassan, Ian Mackie, Shinya Sato
Compilation of Interaction Nets. Electron. Notes Theor. Comput. Sci. 253 (4) (2009)
Ian Mackie, Detlef Plump
Preface. Electron. Notes Theor. Comput. Sci. 203 (1) (2008)
Ian Mackie
An Interaction Net Implementation of Closed Reduction. IFL (2008)
Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot
Minimality in a Linear Calculus with Iteration. Electron. Notes Theor. Comput. Sci. 204 (2008)
Ian Mackie, Shinya Sato
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. Electron. Notes Theor. Comput. Sci. 192 (3) (2008)
Abubakar Hassan, Ian Mackie, Shinya Sato
Interaction nets: programming language design and implementation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto
Visual Programming with Interaction Nets. Diagrams (2008)
Maribel Fernández, Ian Mackie, Jorge Sousa Pinto
A Higher-Order Calculus for Graph Transformation. Electron. Notes Theor. Comput. Sci. 72 (1) (2007)
Ian Mackie
Preface. Electron. Notes Theor. Comput. Sci. 176 (1) (2007)
Jean-Pierre Jouannaud, Ian Mackie
Preface. Electron. Notes Theor. Comput. Sci. 171 (3) (2007)
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça
Visual Programming with Recursion Patterns in Interaction Nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 6 (2007)
Ian Mackie, Detlef Plump
Preface. Electron. Notes Theor. Comput. Sci. 72 (1) (2007)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
The Power of Closed Reduction Strategies. Electron. Notes Theor. Comput. Sci. 174 (10) (2007)
Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot
From Functional Programs to Interaction Nets via the Rewriting Calculus. Electron. Notes Theor. Comput. Sci. 174 (10) (2007)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Iterator Types. FoSSaCS (2007)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
Linear Recursive Functions. Rewriting, Computation and Proof (2007)
Ian Mackie, Detlef Plump
Theory and applications of term graph rewriting: introduction. Math. Struct. Comput. Sci. 17 (3) (2007)
Maribel Fernández, Ian Mackie
More developments in computational models: introduction. Math. Struct. Comput. Sci. 17 (4) (2007)
Maribel Fernández, Ian Mackie
Preface. Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
The Power of Linear Functions. CSL (2006)
Maribel Fernández, Ian Mackie
Developments in computational models: introduction. Math. Struct. Comput. Sci. 16 (4) (2006)
Ian Mackie
Towards a Programming Language for Interaction Nets. Electron. Notes Theor. Comput. Sci. 127 (5) (2005)
Ian Mackie
Interaction Net Implementation of Additive and Multiplicative Structures. J. Log. Comput. 15 (2) (2005)
Ian Mackie
Encoding Strategies in the Lambda Calculus with Interaction Nets. IFL (2005)
Maribel Fernández, Ian Mackie, François-Régis Sinot
-calculus: Introducing Bigraphical Nets. EXPRESS (2005)
François-Régis Sinot, Ian Mackie
Macros for Interaction Nets: A Conservative Extension of Interaction Nets. Electron. Notes Theor. Comput. Sci. 127 (5) (2005)
Maribel Fernández, Ian Mackie, François-Régis Sinot
Closed reduction: explicit substitutions without alpha-conversion. Math. Struct. Comput. Sci. 15 (2) (2005)
Maribel Fernández, Ian Mackie, François-Régis Sinot
Lambda-Calculus with Director Strings. Appl. Algebra Eng. Commun. Comput. 15 (6) (2005)
Maribel Fernández, Murdoch Gabbay, Ian Mackie
Nominal rewriting systems. PPDP (2004)
Ian Mackie
Efficient lambda-Evaluation with Interaction Nets. RTA (2004)
Maribel Fernández, Ian Mackie
Operational equivalence for interaction nets. Theor. Comput. Sci. 297 (1-3) (2003)
Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz
Reduction Strategies for Program Extraction. CLEI Electron. J. 6 (1) (2003)
François-Régis Sinot, Maribel Fernández, Ian Mackie
Efficient Reductions with Director Strings. RTA (2003)
Maribel Fernández, Ian Mackie
Call-by-Value lambda-Graph Rewriting Without Rewriting. ICGT (2002)
Ian Mackie, Jorge Sousa Pinto
Encoding Linear Logic with Interaction Combinators. Inf. Comput. 176 (2) (2002)
Maribel Fernández, Ian Mackie, Jorge Sousa Pinto
Combining interaction nets with externally defined programs. APPIA-GULP-PRODE (2001)
Maribel Fernández, Ian Mackie
A Theory of Operational Equivalence for Interaction Nets. LATIN (2000)
Ian Mackie
Interaction nets for linear logic. Theor. Comput. Sci. 247 (1-2) (2000)
Maribel Fernández, Ian Mackie
A Calculus for Interaction Nets. PPDP (1999)
Maribel Fernández, Ian Mackie
Closed Reductions in the lambda-Calculus. CSL (1999)
Ian Mackie
Boxes. LICS (1998)
Ian Mackie
YALE: Yet Another Lambda Evaluator Based on Interaction Nets. ICFP (1998)
Maribel Fernández, Ian Mackie
Interaction Nets and Term-Rewriting Systems. Theor. Comput. Sci. 190 (1) (1998)
Maribel Fernández, Ian Mackie
Coinductive Techniques for Operational Equivalence of Interaction Nets. LICS (1998)
Ian Mackie
Static Analysis of Interaction Nets for Distributed Implementations. SAS (1997)
Thomas P. Jensen, Ian Mackie
Flow Analysis in the Geometry of Interaction. ESOP (1996)
Maribel Fernández, Ian Mackie
Interaction Nets and Term Rewriting Systems (Extended Abstract). CAAP (1996)
Maribel Fernández, Ian Mackie
From Term Rewriting to Generalised Interaction Nets. PLILP (1996)
Ian Mackie
The Geometry of Interaction Machine. POPL (1995)
Ian Mackie
A Lambda-Evaluator Based on Interaction Nets. Theory and Formal Methods (1994)
Ian Mackie
Lilac: A Functional Programming Language Based on Linear Logic. J. Funct. Program. 4 (4) (1994)
Chris Hankin, Ian Mackie, Rajagopal Nagarajan
Preface. Theory and Formal Methods (1994)
Ian Mackie, Leopoldo Román, Samson Abramsky
An Internal Language for Autonomous Categories. Theory and Formal Methods (1993)
Ian Mackie, Leopoldo Román, Samson Abramsky
An internal language for autonomous categories. Appl. Categorical Struct. 1 (3) (1993)