Ian Mackie

According to our database1, Ian Mackie authored at least 82 papers between 1993 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2019
Linear Numeral Systems.
J. Autom. Reasoning, 2019

Encouraging users to improve password security and memorability.
Int. J. Inf. Sec., 2019

Specification and Analysis of ABAC Policies via the Category-based Metamodel.
Proceedings of the Ninth ACM Conference on Data and Application Security and Privacy, 2019

2018
A Novel Hybrid Password Authentication Scheme Based on Text and Image.
Proceedings of the Data and Applications Security and Privacy XXXII, 2018

2017
Logical and Semantic Frameworks with Applications.
Theor. Comput. Sci., 2017

Controlling File Access with Types.
Electr. Notes Theor. Comput. Sci., 2017

A Geometry of Interaction Machine for Gödel's System T.
Proceedings of the Logic, Language, Information, and Computation, 2017

2016
In-place Graph Rewriting with Interaction Nets.
Proceedings of the Proceedings 9th International Workshop on Computing with Terms and Graphs, 2016

Compiling Process Networks to Interaction Nets.
Proceedings of the Proceedings 9th International Workshop on Computing with Terms and Graphs, 2016

An Interaction Net Encoding of Gödel's System T - Declarative Pearl.
Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015
Preface.
Electr. Notes Theor. Comput. Sci., 2015

Parallel Evaluation of Interaction Nets: Case Studies and Experiments.
ECEASST, 2015

A Routing Calculus with Flooding Updates.
Proceedings of the Distributed Computing and Internet Technology, 2015

Parallel Evaluation of Interaction Nets: Some Observations and Examples.
Proceedings of the 6th International Workshop on Graph Computation Models co-located with the 8th International Conference on Graph Transformation (ICGT 2015) part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015

2014
Linearity in Computation.
J. Log. Comput., 2014

Linearity: A Roadmap.
J. Log. Comput., 2014

An Implementation Model for Interaction Nets.
Proceedings of the Proceedings 8th International Workshop on Computing with Terms and Graphs, 2014

Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY.
Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2013
Bigraphical Nets
Proceedings of the Proceedings 7th International Workshop on Computing with Terms and Graphs, 2013

2011
Preface.
Electr. Notes Theor. Comput. Sci., 2011

A new graphical calculus of proofs
Proceedings of the Proceedings 6th International Workshop on Computing with Terms and Graphs, 2011

Linearity and recursion in a typed Lambda-calculus.
Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

2010
Gödel's system tau revisited.
Theor. Comput. Sci., 2010

Linearity and iterator types for Gödel's System.
Higher-Order and Symbolic Computation, 2010

A lightweight abstract machine for interaction nets.
ECEASST, 2010

Linear Recursion
CoRR, 2010

A Visual Model of Computation.
Proceedings of the Theory and Applications of Models of Computation, 7th Annual Conference, 2010

2009
Compilation of Interaction Nets.
Electr. Notes Theor. Comput. Sci., 2009

Recursive Functions with Pattern Matching in Interaction Nets.
Electr. Notes Theor. Comput. Sci., 2009

Iterators, Recursors and Interaction Nets
CoRR, 2009

A rewriting paradigm for program and algorithm animation.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

2008
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine.
Electr. Notes Theor. Comput. Sci., 2008

Preface.
Electr. Notes Theor. Comput. Sci., 2008

Minimality in a Linear Calculus with Iteration.
Electr. Notes Theor. Comput. Sci., 2008

Interaction nets: programming language design and implementation.
ECEASST, 2008

An Interaction Net Implementation of Closed Reduction.
Proceedings of the Implementation and Application of Functional Languages, 2008

Visual Programming with Interaction Nets.
Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2007
Theory and applications of term graph rewriting: introduction.
Mathematical Structures in Computer Science, 2007

More developments in computational models: introduction.
Mathematical Structures in Computer Science, 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

A Higher-Order Calculus for Graph Transformation.
Electr. Notes Theor. Comput. Sci., 2007

From Functional Programs to Interaction Nets via the Rewriting Calculus.
Electr. Notes Theor. Comput. Sci., 2007

The Power of Closed Reduction Strategies.
Electr. Notes Theor. Comput. Sci., 2007

Visual Programming with Recursion Patterns in Interaction Nets.
ECEASST, 2007

Iterator Types.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

Linear Recursive Functions.
Proceedings of the Rewriting, 2007

2006
Developments in computational models: introduction.
Mathematical Structures in Computer Science, 2006

Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets.
Electr. Notes Theor. Comput. Sci., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

The Power of Linear Functions.
Proceedings of the Computer Science Logic, 20th International Workshop, 2006

2005
Closed reduction: explicit substitutions without alpha-conversion.
Mathematical Structures in Computer Science, 2005

Interaction Net Implementation of Additive and Multiplicative Structures.
J. Log. Comput., 2005

Macros for Interaction Nets: A Conservative Extension of Interaction Nets.
Electr. Notes Theor. Comput. Sci., 2005

Towards a Programming Language for Interaction Nets.
Electr. Notes Theor. Comput. Sci., 2005

Lambda-Calculus with Director Strings.
Appl. Algebra Eng. Commun. Comput., 2005

Encoding Strategies in the Lambda Calculus with Interaction Nets.
Proceedings of the Implementation and Application of Functional Languages, 2005

2004
Efficient lambda-Evaluation with Interaction Nets.
Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004

Nominal rewriting systems.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

2003
Operational equivalence for interaction nets.
Theor. Comput. Sci., 2003

Reduction Strategies for Program Extraction.
CLEI Electron. J., 2003

Efficient Reductions with Director Strings.
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

2002
Encoding Linear Logic with Interaction Combinators.
Inf. Comput., 2002

Call-by-Value lambda-Graph Rewriting Without Rewriting.
Proceedings of the Graph Transformation, First International Conference, 2002

2001
Combining interaction nets with externally defined programs.
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000
Interaction nets for linear logic.
Theor. Comput. Sci., 2000

A Theory of Operational Equivalence for Interaction Nets.
Proceedings of the LATIN 2000: Theoretical Informatics, 2000

1999
A Calculus for Interaction Nets.
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Closed Reductions in the lambda-Calculus.
Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1998
Interaction Nets and Term-Rewriting Systems.
Theor. Comput. Sci., 1998

Linear Logic With Boxes.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Coinductive Techniques for Operational Equivalence of Interaction Nets.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

YALE: Yet Another Lambda Evaluator Based on Interaction Nets.
Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), 1998

1997
Static Analysis of Interaction Nets for Distributed Implementations.
Proceedings of the Static Analysis, 4th International Symposium, 1997

1996
From Term Rewriting to Generalised Interaction Nets.
Proceedings of the Programming Languages: Implementations, 1996

Flow Analysis in the Geometry of Interaction.
Proceedings of the Programming Languages and Systems, 1996

Interaction Nets and Term Rewriting Systems (Extended Abstract).
Proceedings of the Trees in Algebra and Programming, 1996

1995
The Geometry of Interaction Machine.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994
Lilac: A Functional Programming Language Based on Linear Logic.
J. Funct. Program., 1994

A Lambda-Evaluator Based on Interaction Nets.
Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

Preface.
Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993
An internal language for autonomous categories.
Applied Categorical Structures, 1993


  Loading...