Ian Mackie

100 papers A* 3A 2B 8C 9Misc 2Journal 26Unranked 36
YearRankTypeTitle / Venue / Authors
2024 C conf
Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language.
PPDP
Maribel Fernández, Ian Mackie
2024 — ed.
Proceedings 13th International Workshop on Developments in Computational Models, DCM 2023, Rome, Italy, 2 July 2023.
DCM
Sandra Alves, Ian Mackie
2020 C conf
A Reversible Operational Semantics for Imperative Programming Languages.
ICFEM
Maribel Fernández, Ian Mackie
2019 J jnl
Encouraging users to improve password security and memorability.
Int. J. Inf. Sec.
Merve Yildirim, Ian Mackie
2019 J jnl
Linear Numeral Systems.
J. Autom. Reason.
Ian Mackie
2019 — ed.
Proceedings Tenth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018.
TERMGRAPH@FSCD
Maribel Fernández, Ian Mackie
2019 — conf
Specification and Analysis of ABAC Policies via the Category-based Metamodel.
CODASPY
Maribel Fernández, Ian Mackie, Bhavani Thuraisingham
2018 B conf
A Novel Hybrid Password Authentication Scheme Based on Text and Image.
DBSec
Ian Mackie, Merve Yildirim
2017 C conf
A Geometry of Interaction Machine for Gödel's System T.
WoLLIC
Ian Mackie
2017 J jnl
Logical and Semantic Frameworks with Applications.
Theor. Comput. Sci.
Mauricio Ayala-Rincón, Ian Mackie, Ugo Montanari
2016 Misc conf
An Interaction Net Encoding of Gödel's System
FLOPS
Ian Mackie, Shinya Sato
2016 — conf
Compiling Process Networks to Interaction Nets.
TERMGRAPH
Ian Mackie
2016 — conf
Controlling File Access with Types.
LSFA
Rakan A. Alsowail, Ian Mackie
2016 — conf
In-place Graph Rewriting with Interaction Nets.
TERMGRAPH
Ian Mackie, Shinya Sato
2015 Misc conf
A Routing Calculus with Flooding Updates.
ICDCIT
Manish Gaur, Simon J. Gay, Ian Mackie
2015 — ed.
Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014
LSFA
Mauricio Ayala-Rincón, Ian Mackie
2015 J jnl
Parallel Evaluation of Interaction Nets: Case Studies and Experiments.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ian Mackie, Shinya Sato
2015 — conf
Parallel Evaluation of Interaction Nets: Some Observations and Examples.
GCM@ICGT
Ian Mackie, Shinya Sato
2014 — conf
An Implementation Model for Interaction Nets.
TERMGRAPH
Abubakar Hassan, Ian Mackie, Shinya Sato
2014 J jnl
Linearity in Computation.
J. Log. Comput.
Mário Florido, Ian Mackie
2014 J jnl
Linearity: A Roadmap.
J. Log. Comput.
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2014 — conf
Preface.
LSFA
Mauricio Ayala-Rincón, Ian Mackie
2014 — ed.
Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013.
DCM
Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie
2014 C conf
Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY.
CiE
Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud
2013 — conf
Bigraphical Nets
TERMGRAPH
Maribel Fernández, Ian Mackie, Matthew Walker
2012 — ed.
Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012.
LINEARITY
Sandra Alves, Ian Mackie
2011 — conf
A new graphical calculus of proofs
TERMGRAPH
Sandra Alves, Maribel Fernández, Ian Mackie
2011 C conf
Linearity and recursion in a typed Lambda-calculus.
PPDP
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2011 — ed.
Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, QPL/DCM@ICALP 2008, Reykjavik, Iceland, July 12-13, 2008
QPL/DCM@ICALP
Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger
2010 C conf
A Visual Model of Computation.
TAMC
Ian Mackie
2010 J jnl
A lightweight abstract machine for interaction nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Abubakar Hassan, Ian Mackie, Shinya Sato
2010 J jnl
Gödel's system tau revisited.
Theor. Comput. Sci.
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2010 J jnl
Linear Recursion
CoRR
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2010 J jnl
Linearity and iterator types for Gödel's System.
High. Order Symb. Comput.
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2009 B conf
A rewriting paradigm for program and algorithm animation.
VL/HCC
Ian Mackie
2009 — conf
Compilation of Interaction Nets.
TERMGRAPH@ETAPS
Abubakar Hassan, Ian Mackie, Shinya Sato
2009 J jnl
Iterators, Recursors and Interaction Nets
CoRR
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça
2009 — ed.
Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009.
LINEARITY
Mário Florido, Ian Mackie
2009 — ed.
Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009.
RULE
Ian Mackie, Anamaria Martins Moreira
2009 — conf
Recursive Functions with Pattern Matching in Interaction Nets.
TERMGRAPH@ETAPS
Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker
2008 — conf
An Interaction Net Implementation of Closed Reduction.
IFL
Ian Mackie
2008 J jnl
Interaction nets: programming language design and implementation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Abubakar Hassan, Ian Mackie, Shinya Sato
2008 — conf
Preface.
QPL/DCM@ICALP
Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger
2008 — ed.
Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2007, Braga, Portugal, March 31, 2007
TERMGRAPH@ETAPS
Ian Mackie, Detlef Plump
2008 C conf
Visual Programming with Interaction Nets.
Diagrams
Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto
2007 — conf
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine.
DCM@ICALP
Ian Mackie, Shinya Sato
2007 B conf
Iterator Types.
FoSSaCS
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2007 — conf
Linear Recursive Functions.
Rewriting, Computation and Proof
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2007 — conf
Minimality in a Linear Calculus with Iteration.
WRS@RDP
Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot
2007 J jnl
More developments in computational models: introduction.
Math. Struct. Comput. Sci.
Maribel Fernández, Ian Mackie
2007 — conf
Preface.
TERMGRAPH@ETAPS
Ian Mackie, Detlef Plump
2007 — ed.
Proceedings of the First International Workshop on Term Graph Rewriting, TERMGRAPH 2002, Barcelona, Spain, October 7, 2002
TERMGRAPH
Ian Mackie, Detlef Plump
2007 — ed.
Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006
DCM@ICALP
Jean-Pierre Jouannaud, Ian Mackie
2007 — ed.
Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006
TERMGRAPH@ETAPS
Ian Mackie
2007 J jnl
Theory and applications of term graph rewriting: introduction.
Math. Struct. Comput. Sci.
Ian Mackie, Detlef Plump
2007 J jnl
Visual Programming with Recursion Patterns in Interaction Nets.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça
2006 J jnl
Developments in computational models: introduction.
Math. Struct. Comput. Sci.
Maribel Fernández, Ian Mackie
2006 — conf
From Functional Programs to Interaction Nets via the Rewriting Calculus.
WRS@FLoC
Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot
2006 — conf
Preface.
DCM@ICALP
Jean-Pierre Jouannaud, Ian Mackie
2006 — conf
Preface.
TERMGRAPH@ETAPS
Ian Mackie
2006 — ed.
Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005
DCM@ICALP
Maribel Fernández, Ian Mackie
2006 — conf
The Power of Closed Reduction Strategies.
WRS@FLoC
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2006 B conf
The Power of Linear Functions.
CSL
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie
2005 J jnl
Closed reduction: explicit substitutions without alpha-conversion.
Math. Struct. Comput. Sci.
Maribel Fernández, Ian Mackie, François-Régis Sinot
2005 — conf
Encoding Strategies in the Lambda Calculus with Interaction Nets.
IFL
Ian Mackie
2005 J jnl
Interaction Net Implementation of Additive and Multiplicative Structures.
J. Log. Comput.
Ian Mackie
2005 — conf
Interaction Nets vs. the
EXPRESS
Maribel Fernández, Ian Mackie, François-Régis Sinot
2005 J jnl
Lambda-Calculus with Director Strings.
Appl. Algebra Eng. Commun. Comput.
Maribel Fernández, Ian Mackie, François-Régis Sinot
2005 — conf
Preface.
DCM@ICALP
Maribel Fernández, Ian Mackie
2004 — conf
Efficient lambda-Evaluation with Interaction Nets.
RTA
Ian Mackie
2004 — conf
Macros for Interaction Nets: A Conservative Extension of Interaction Nets.
TERMGRAPH
François-Régis Sinot, Ian Mackie
2004 C conf
Nominal rewriting systems.
PPDP
Maribel Fernández, Murdoch Gabbay, Ian Mackie
2004 — conf
Towards a Programming Language for Interaction Nets.
TERMGRAPH
Ian Mackie
2003 — conf
Efficient Reductions with Director Strings.
RTA
François-Régis Sinot, Maribel Fernández, Ian Mackie
2003 J jnl
Operational equivalence for interaction nets.
Theor. Comput. Sci.
Maribel Fernández, Ian Mackie
2003 J jnl
Reduction Strategies for Program Extraction.
CLEI Electron. J.
Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz
2002 — conf
A Higher-Order Calculus for Graph Transformation.
TERMGRAPH
Maribel Fernández, Ian Mackie, Jorge Sousa Pinto
2002 B conf
Call-by-Value lambda-Graph Rewriting Without Rewriting.
ICGT
Maribel Fernández, Ian Mackie
2002 J jnl
Encoding Linear Logic with Interaction Combinators.
Inf. Comput.
Ian Mackie, Jorge Sousa Pinto
2002 — conf
Preface.
TERMGRAPH
Ian Mackie, Detlef Plump
2001 — conf
Combining interaction nets with externally defined programs.
APPIA-GULP-PRODE
Maribel Fernández, Ian Mackie, Jorge Sousa Pinto
2000 B conf
A Theory of Operational Equivalence for Interaction Nets.
LATIN
Maribel Fernández, Ian Mackie
2000 J jnl
Interaction nets for linear logic.
Theor. Comput. Sci.
Ian Mackie
1999 C conf
A Calculus for Interaction Nets.
PPDP
Maribel Fernández, Ian Mackie
1999 B conf
Closed Reductions in the lambda-Calculus.
CSL
Maribel Fernández, Ian Mackie
1998 A* conf
Coinductive Techniques for Operational Equivalence of Interaction Nets.
LICS
Maribel Fernández, Ian Mackie
1998 J jnl
Interaction Nets and Term-Rewriting Systems.
Theor. Comput. Sci.
Maribel Fernández, Ian Mackie
1998 A* conf
Linear Logic
LICS
Ian Mackie
1998 A conf
YALE: Yet Another Lambda Evaluator Based on Interaction Nets.
ICFP
Ian Mackie
1997 B conf
Static Analysis of Interaction Nets for Distributed Implementations.
SAS
Ian Mackie
1996 A conf
Flow Analysis in the Geometry of Interaction.
ESOP
Thomas P. Jensen, Ian Mackie
1996 — conf
From Term Rewriting to Generalised Interaction Nets.
PLILP
Maribel Fernández, Ian Mackie
1996 — conf
Interaction Nets and Term Rewriting Systems (Extended Abstract).
CAAP
Maribel Fernández, Ian Mackie
1995 — ed.
Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, UK, 11-14 September 1994
Theory and Formal Methods
Chris Hankin, Ian Mackie, Rajagopal Nagarajan
1995 A* conf
The Geometry of Interaction Machine.
POPL
Ian Mackie
1994 — conf
A Lambda-Evaluator Based on Interaction Nets.
Theory and Formal Methods
Ian Mackie
1994 J jnl
Lilac: A Functional Programming Language Based on Linear Logic.
J. Funct. Program.
Ian Mackie
1994 — conf
Preface.
Theory and Formal Methods
Chris Hankin, Ian Mackie, Rajagopal Nagarajan
1993 — conf
An Internal Language for Autonomous Categories.
Theory and Formal Methods
Ian Mackie, Leopoldo Román, Samson Abramsky
1993 J jnl
An internal language for autonomous categories.
Appl. Categorical Struct.
Ian Mackie, Leopoldo Román, Samson Abramsky
2023 — conf
Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection.
AISec
Kai Greshake, Sahar Abdelnabi, Shailesh Mishra, Christoph Endres, Thorsten Holz, Mario Fritz
2026 — preprint
CCX: Enabling Unmodified Intel SGX Applications on Arm CCA.
arXiv
Matti Schulze, Thorsten Holz, Felix C. Freiling