Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Ian Mackie

> Home > Persons

Person information

affiliation: École polytechnique, Palaiseau, LIX
affiliation: King's College London, Department of Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijisec/YildirimM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/YildirimM19
Merve Yildirim, Ian Mackie:
Encouraging users to improve password security and memorability. Int. J. Inf. Sec. 18(6): 741-759 (2019)
[j23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/Mackie19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Mackie19
Ian Mackie:
Linear Numeral Systems. J. Autom. Reason. 63(4): 887-909 (2019)
2017
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/Ayala-RinconMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Ayala-RinconMM17
Mauricio Ayala-Rincón, Ian Mackie, Ugo Montanari:
Logical and Semantic Frameworks with Applications. Theor. Comput. Sci. 685: 1-2 (2017)
2015
[j21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MackieS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MackieS15
Ian Mackie, Shinya Sato:
Parallel Evaluation of Interaction Nets: Case Studies and Experiments. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015)
2014
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/FloridoM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/FloridoM14
Mário Florido, Ian Mackie:
Linearity in Computation. J. Log. Comput. 24(3): 511-512 (2014)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AlvesFFM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AlvesFFM14
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity: A Roadmap. J. Log. Comput. 24(3): 513-529 (2014)
2010
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/HassanMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/HassanMS10
Abubakar Hassan, Ian Mackie, Shinya Sato:
A lightweight abstract machine for interaction nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/lisp/AlvesFFM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lisp/AlvesFFM10
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): 1-27 (2010)
[j16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlvesFFM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlvesFFM10
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Gödel's system tau revisited. Theor. Comput. Sci. 411(11-13): 1484-1500 (2010)
2008
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/HassanMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/HassanMS08
Abubakar Hassan, Ian Mackie, Shinya Sato:
Interaction nets: programming language design and implementation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
2007
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/eceasst/MackiePV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eceasst/MackiePV07
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)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/MackieP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/MackieP07
Ian Mackie, Detlef Plump:
Theory and applications of term graph rewriting: introduction. Math. Struct. Comput. Sci. 17(3): 361-362 (2007)
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FernandezM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FernandezM07
Maribel Fernández, Ian Mackie:
More developments in computational models: introduction. Math. Struct. Comput. Sci. 17(4): 585-586 (2007)
2006
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FernandezM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FernandezM06
Maribel Fernández, Ian Mackie:
Developments in computational models: introduction. Math. Struct. Comput. Sci. 16(4): 553-555 (2006)
2005
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/aaecc/FernandezMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aaecc/FernandezMS05
Maribel Fernández, Ian Mackie, François-Régis Sinot:
Lambda-Calculus with Director Strings. Appl. Algebra Eng. Commun. Comput. 15(6): 393-437 (2005)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/Mackie05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/Mackie05
Ian Mackie:
Interaction Net Implementation of Additive and Multiplicative Structures. J. Log. Comput. 15(2): 219-237 (2005)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FernandezMS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FernandezMS05
Maribel Fernández, Ian Mackie, François-Régis Sinot:
Closed reduction: explicit substitutions without alpha-conversion. Math. Struct. Comput. Sci. 15(2): 343-381 (2005)
2003
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cleiej/FernandezMSS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cleiej/FernandezMSS03
Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz:
Reduction Strategies for Program Extraction. CLEI Electron. J. 6(1) (2003)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FernandezM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FernandezM03
Maribel Fernández, Ian Mackie:
Operational equivalence for interaction nets. Theor. Comput. Sci. 297(1-3): 157-181 (2003)
2002
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/MackieP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/MackieP02
Ian Mackie, Jorge Sousa Pinto:
Encoding Linear Logic with Interaction Combinators. Inf. Comput. 176(2): 153-186 (2002)
2000
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Mackie00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Mackie00
Ian Mackie:
Interaction nets for linear logic. Theor. Comput. Sci. 247(1-2): 83-140 (2000)
1998
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FernandezM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FernandezM98
Maribel Fernández, Ian Mackie:
Interaction Nets and Term-Rewriting Systems. Theor. Comput. Sci. 190(1): 3-39 (1998)
1994
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jfp/Mackie94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jfp/Mackie94
Ian Mackie:
Lilac: A Functional Programming Language Based on Linear Logic. J. Funct. Program. 4(4): 395-433 (1994)
1993
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/acs/MackieRA93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acs/MackieRA93
Ian Mackie, Leopoldo Román, Samson Abramsky:
An internal language for autonomous categories. Appl. Categorical Struct. 1(3): 311-343 (1993)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/FernandezM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/FernandezM20
Maribel Fernández, Ian Mackie:
A Reversible Operational Semantics for Imperative Programming Languages. ICFEM 2020: 91-106
2019
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/codaspy/FernandezMT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codaspy/FernandezMT19
Maribel Fernández, Ian Mackie, Bhavani Thuraisingham:
Specification and Analysis of ABAC Policies via the Category-based Metamodel. CODASPY 2019: 173-184
2018
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/dbsec/MackieY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/MackieY18
Ian Mackie, Merve Yildirim:
A Novel Hybrid Password Authentication Scheme Based on Text and Image. DBSec 2018: 182-197
2017
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/Mackie17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/Mackie17
Ian Mackie:
A Geometry of Interaction Machine for Gödel's System T. WoLLIC 2017: 229-241
2016
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/flops/MackieS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flops/MackieS16
Ian Mackie, Shinya Sato:
An Interaction Net Encoding of Gödel's System T - Declarative Pearl. FLOPS 2016: 80-93
[c54]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Mackie16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Mackie16
Ian Mackie:
Compiling Process Networks to Interaction Nets. TERMGRAPH 2016: 5-14
[c53]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MackieS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MackieS16
Ian Mackie, Shinya Sato:
In-place Graph Rewriting with Interaction Nets. TERMGRAPH 2016: 15-24
[c52]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlsowailM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlsowailM17
Rakan Alsowail, Ian Mackie:
Controlling File Access with Types. LSFA 2016: 3-20
2015
[c51]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/gg/MackieS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/MackieS15
Ian Mackie, Shinya Sato:
Parallel Evaluation of Interaction Nets: Some Observations and Examples. GCM@ICGT 2015: 50-65
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/GaurGM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/GaurGM15
Manish Gaur, Simon J. Gay, Ian Mackie:
A Routing Calculus with Flooding Updates. ICDCIT 2015: 181-186
2014
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/cie/FernandezKMP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cie/FernandezKMP14
Maribel Fernández, Hélène Kirchner, Ian Mackie, Bruno Pinaud:
Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. CiE 2014: 183-193
[c48]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HassanMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HassanMS15
Abubakar Hassan, Ian Mackie, Shinya Sato:
An Implementation Model for Interaction Nets. TERMGRAPH 2014: 66-80
[c47]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Ayala-RinconM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Ayala-RinconM15
Mauricio Ayala-Rincón, Ian Mackie:
Preface. LSFA 2014: 1-2
2013
[c46]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1302-6339
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1302-6339
Maribel Fernández, Ian Mackie, Matthew Walker:
Bigraphical Nets. TERMGRAPH 2013: 74-81
2011
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/AlvesFFM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/AlvesFFM11
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182
[c44]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1102-2655
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-2655
Sandra Alves, Maribel Fernández, Ian Mackie:
A new graphical calculus of proofs. TERMGRAPH 2011: 69-84
2010
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/tamc/Mackie10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tamc/Mackie10
Ian Mackie:
A Visual Model of Computation. TAMC 2010: 350-360
2009
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/Mackie09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/Mackie09
Ian Mackie:
A rewriting paradigm for program and algorithm animation. VL/HCC 2009: 170-173
[c41]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FernandezMSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FernandezMSW09
Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker:
Recursive Functions with Pattern Matching in Interaction Nets. TERMGRAPH@ETAPS 2009: 55-71
[c40]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/HassanMS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/HassanMS09
Abubakar Hassan, Ian Mackie, Shinya Sato:
Compilation of Interaction Nets. TERMGRAPH@ETAPS 2009: 73-90
2008
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/diagrams/HassanMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/diagrams/HassanMP08
Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto:
Visual Programming with Interaction Nets. Diagrams 2008: 165-171
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Mackie08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Mackie08
Ian Mackie:
An Interaction Net Implementation of Closed Reduction. IFL 2008: 43-59
[c37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CoeckeMPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CoeckeMPS11
Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Preface. QPL/DCM@ICALP 2008: 1-2
2007
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AlvesFFM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AlvesFFM07
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/AlvesFFM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AlvesFFM07
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Iterator Types. FoSSaCS 2007: 17-31
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MackieP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MackieP08
Ian Mackie, Detlef Plump:
Preface. TERMGRAPH@ETAPS 2007: 1-2
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MackieS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MackieS08
Ian Mackie, Shinya Sato:
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. DCM@ICALP 2007: 59-70
[c32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlvesFMS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlvesFMS08
Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot:
Minimality in a Linear Calculus with Iteration. WRS@RDP 2007: 163-179
2006
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/AlvesFFM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/AlvesFFM06
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
The Power of Linear Functions. CSL 2006: 119-134
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/JouannaudM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/JouannaudM07
Jean-Pierre Jouannaud, Ian Mackie:
Preface. DCM@ICALP 2006: 1-2
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Mackie07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Mackie07
Ian Mackie:
Preface. TERMGRAPH@ETAPS 2006: 1-2
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CirsteaFFMS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CirsteaFFMS07
Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot:
From Functional Programs to Interaction Nets via the Rewriting Calculus. WRS@FLoC 2006: 39-56
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AlvesFFM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AlvesFFM07
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
The Power of Closed Reduction Strategies. WRS@FLoC 2006: 57-74
2005
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/ifl/Mackie05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifl/Mackie05
Ian Mackie:
Encoding Strategies in the Lambda Calculus with Interaction Nets. IFL 2005: 19-36
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FernandezM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FernandezM06
Maribel Fernández, Ian Mackie:
Preface. DCM@ICALP 2005: 1-2
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FernandezMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FernandezMS06
Maribel Fernández, Ian Mackie, François-Régis Sinot:
Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. EXPRESS 2005: 19-32
2004
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/FernandezGM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/FernandezGM04
Maribel Fernández, Murdoch Gabbay, Ian Mackie:
Nominal rewriting systems. PPDP 2004: 108-119
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/Mackie04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/Mackie04
Ian Mackie:
Efficient lambda-Evaluation with Interaction Nets. RTA 2004: 155-169
[c21]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Mackie05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Mackie05
Ian Mackie:
Towards a Programming Language for Interaction Nets. TERMGRAPH 2004: 133-151
[c20]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SinotM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SinotM05
François-Régis Sinot, Ian Mackie:
Macros for Interaction Nets: A Conservative Extension of Interaction Nets. TERMGRAPH 2004: 153-169
2003
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/rta/SinotFM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/SinotFM03
François-Régis Sinot, Maribel Fernández, Ian Mackie:
Efficient Reductions with Director Strings. RTA 2003: 46-60
2002
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/gg/FernandezM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gg/FernandezM02
Maribel Fernández, Ian Mackie:
Call-by-Value lambda-Graph Rewriting Without Rewriting. ICGT 2002: 75-89
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MackieP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MackieP07
Ian Mackie, Detlef Plump:
Preface. TERMGRAPH 2002: 1-2
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FernandezMP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FernandezMP07
Maribel Fernández, Ian Mackie, Jorge Sousa Pinto:
A Higher-Order Calculus for Graph Transformation. TERMGRAPH 2002: 45-58
2001
[c15]
- view
  - electronic edition @ uevora.pt (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/agp/FernandezMP01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/FernandezMP01
Maribel Fernández, Ian Mackie, Jorge Sousa Pinto:
Combining interaction nets with externally defined programs. APPIA-GULP-PRODE 2001: 297-312
2000
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/latin/FernandezM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latin/FernandezM00
Maribel Fernández, Ian Mackie:
A Theory of Operational Equivalence for Interaction Nets. LATIN 2000: 447-456
1999
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/FernandezM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/FernandezM99
Maribel Fernández, Ian Mackie:
Closed Reductions in the lambda-Calculus. CSL 1999: 220-234
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/FernandezM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/FernandezM99
Maribel Fernández, Ian Mackie:
A Calculus for Interaction Nets. PPDP 1999: 170-187
1998
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icfp/Mackie98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfp/Mackie98
Ian Mackie:
YALE: Yet Another Lambda Evaluator Based on Interaction Nets. ICFP 1998: 117-128
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Mackie98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Mackie98
Ian Mackie:
Linear Logic With Boxes. LICS 1998: 309-320
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/FernandezM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/FernandezM98
Maribel Fernández, Ian Mackie:
Coinductive Techniques for Operational Equivalence of Interaction Nets. LICS 1998: 321-332
1997
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Mackie97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Mackie97
Ian Mackie:
Static Analysis of Interaction Nets for Distributed Implementations. SAS 1997: 217-231
1996
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/caap/FernandezM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caap/FernandezM96
Maribel Fernández, Ian Mackie:
Interaction Nets and Term Rewriting Systems (Extended Abstract). CAAP 1996: 149-164
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/JensenM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/JensenM96
Thomas P. Jensen, Ian Mackie:
Flow Analysis in the Geometry of Interaction. ESOP 1996: 188-203
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/plilp/FernandezM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/plilp/FernandezM96
Maribel Fernández, Ian Mackie:
From Term Rewriting to Generalised Interaction Nets. PLILP 1996: 319-333
1995
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/Mackie95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/Mackie95
Ian Mackie:
The Geometry of Interaction Machine. POPL 1995: 198-208
1994
[c3]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/imperial/HankinMN94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imperial/HankinMN94
Chris Hankin, Ian Mackie, Rajagopal Nagarajan:
Preface. Theory and Formal Methods 1994
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/imperial/Mackie94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imperial/Mackie94
Ian Mackie:
A Lambda-Evaluator Based on Interaction Nets. Theory and Formal Methods 1994: 41-60
1993
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/imperial/MackieRA93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imperial/MackieRA93
Ian Mackie, Leopoldo Román, Samson Abramsky:
An Internal Language for Autonomous Categories. Theory and Formal Methods 1993: 235-246

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2019
[e13]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1902-01510
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1902-01510
Maribel Fernández, Ian Mackie:
Proceedings Tenth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018. EPTCS 288, 2019 [contents]
2015
[e12]
- view
- export record
  dblp key:
  - conf/lsfa/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lsfa/2014
Mauricio Ayala-Rincón, Ian Mackie:
Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014. Electronic Notes in Theoretical Computer Science 312, Elsevier 2015 [contents]
2014
[e11]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Ayala-RinconBM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Ayala-RinconBM14
Mauricio Ayala-Rincón, Eduardo Bonelli, Ian Mackie:
Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013. EPTCS 144, 2014 [contents]
2012
[e10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1211-3480
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1211-3480
Sandra Alves, Ian Mackie:
Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. EPTCS 101, 2012 [contents]
2011
[e9]
- view
- export record
  dblp key:
  - conf/qpl/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qpl/2008
Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
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. Electronic Notes in Theoretical Computer Science 270(1), Elsevier 2011 [contents]
2009
[e8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1003-5758
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-5758
Ian Mackie, Anamaria Martins Moreira:
Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009. EPTCS 21, 2009 [contents]
[e7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1003-5716
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1003-5716
Mário Florido, Ian Mackie:
Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009. EPTCS 22, 2009 [contents]
2008
[e6]
- view
- export record
  dblp key:
  - conf/termgraph/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/termgraph/2007
Ian Mackie, Detlef Plump:
Proceedings of the Fourth International Workshop on Computing with Terms and Graphs, TERMGRAPH@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 203(1), Elsevier 2008 [contents]
2007
[e5]
- view
- export record
  dblp key:
  - conf/dcm/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcm/2006
Jean-Pierre Jouannaud, Ian Mackie:
Proceedings of the Second International Workshop on Developments in Computational Models, DCM@ICALP 2006, Venice, Italy, July 16, 2006. Electronic Notes in Theoretical Computer Science 171(3), Elsevier 2007 [contents]
[e4]
- view
- export record
  dblp key:
  - conf/termgraph/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/termgraph/2002
Ian Mackie, Detlef Plump:
Proceedings of the First International Workshop on Term Graph Rewriting, TERMGRAPH 2002, Barcelona, Spain, October 7, 2002. Electronic Notes in Theoretical Computer Science 72(1), Elsevier 2007 [contents]
[e3]
- view
- export record
  dblp key:
  - conf/termgraph/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/termgraph/2006
Ian Mackie:
Proceedings of the Third International Workshop on Term Graph Rewriting, TERMGRAPH@ETAPS 2006, Vienna, Austria, 2006. Electronic Notes in Theoretical Computer Science 176(1), Elsevier 2007 [contents]
2006
[e2]
- view
- export record
  dblp key:
  - conf/dcm/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcm/2005
Maribel Fernández, Ian Mackie:
Proceedings of the First International Workshop on Developments in Computational Models, DCM@ICALP 2005, Lisbon, Portugal, July 10, 2005. Electronic Notes in Theoretical Computer Science 135(3), Elsevier 2006 [contents]
1995
[e1]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/imperial/1994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/imperial/1994
Chris Hankin, Ian Mackie, Rajagopal Nagarajan:
Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, UK, 11-14 September 1994. Imperial College Press 1995, ISBN 1-86094-003-X [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2010
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1001-3368
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-3368
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linear Recursion. CoRR abs/1001.3368 (2010)
2009
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0910-3321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0910-3321
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça:
Iterators, Recursors and Interaction Nets. CoRR abs/0910.3321 (2009)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.