Ian Mackie - RankMe

100 papers A* 3A 2B 8C 9Misc 2Journal 26Unranked 36

Year	Rank	Type	Title / 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