Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Ian Mackie

2010 – today

see FAQ

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

2013
[c29]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1302-6339
- ask others
Maribel Fernández, Ian Mackie, Matthew Walker: Bigraphical Nets. TERMGRAPH 2013: 74-81
2012
[e4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1211-3480
- ask others
Sandra Alves, Ian Mackie (Eds.): Proceedings 2nd International Workshop on Linearity. EPTCS 101, 2012
2011
[j34]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CoeckeMPS11
- ask others
Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger: Preface. Electr. Notes Theor. Comput. Sci. 270(1): 1-2 (2011)
[c28]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ppdp/AlvesFFM11
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182
[c27]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1102-2655
- ask others
Sandra Alves, Maribel Fernández, Ian Mackie: A new graphical calculus of proofs. TERMGRAPH 2011: 69-84
2010
[j33]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/HassanMS10
- ask others
Abubakar Hassan, Ian Mackie, Shinya Sato: A lightweight abstract machine for interaction nets. ECEASST 29 (2010)
[j32]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/lisp/AlvesFFM10
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linearity and iterator types for Gödel's System. Higher-Order and Symbolic Computation 23(1): 1-27 (2010)
[j31]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/AlvesFFM10
- ask others
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)
[c26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tamc/Mackie10
- ask others
Ian Mackie: A Visual Model of Computation. TAMC 2010: 350-360
[i2]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1001-3368
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursion. CoRR abs/1001.3368 (2010)

2000 – 2009

see FAQ

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

2009
[j30]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/FernandezMSW09
- ask others
Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker: Recursive Functions with Pattern Matching in Interaction Nets. Electr. Notes Theor. Comput. Sci. 253(4): 55-71 (2009)
[j29]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/HassanMS09
- ask others
Abubakar Hassan, Ian Mackie, Shinya Sato: Compilation of Interaction Nets. Electr. Notes Theor. Comput. Sci. 253(4): 73-90 (2009)
[c25]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/vl/Mackie09
- ask others
Ian Mackie: A rewriting paradigm for program and algorithm animation. VL/HCC 2009: 170-173
[e3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-5758
- ask others
Ian Mackie, Anamaria Martins Moreira (Eds.): Proceedings Tenth International Workshop on Rule-Based Programming. EPTCS 21, 2009
[e2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-1003-5716
- ask others
Mário Florido, Ian Mackie (Eds.): Proceedings First International Workshop on Linearity. EPTCS 22, 2009
[i1]
- view
  - electronic edition @ arxiv.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/corr/abs-0910-3321
- ask others
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça: Iterators, Recursors and Interaction Nets. CoRR abs/0910.3321 (2009)
2008
[j28]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/HassanMS08
- ask others
Abubakar Hassan, Ian Mackie, Shinya Sato: Interaction nets: programming language design and implementation. ECEASST 10 (2008)
[j27]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/MackieS08
- ask others
Ian Mackie, Shinya Sato: A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. Electr. Notes Theor. Comput. Sci. 192(3): 59-70 (2008)
[j26]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/MackieP08
- ask others
Ian Mackie, Detlef Plump: Preface. Electr. Notes Theor. Comput. Sci. 203(1): 1-2 (2008)
[j25]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AlvesFMS08
- ask others
Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot: Minimality in a Linear Calculus with Iteration. Electr. Notes Theor. Comput. Sci. 204: 163-179 (2008)
[c24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/diagrams/HassanMP08
- ask others
Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto: Visual Programming with Interaction Nets. Diagrams 2008: 165-171
[c23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifl/Mackie08
- ask others
Ian Mackie: An Interaction Net Implementation of Closed Reduction. IFL 2008: 43-59
2007
[j24]
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/MackiePV07
- ask others
Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça: Visual Programming with Recursion Patterns in Interaction Nets. ECEASST 6 (2007)
[j23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/MackieP07
- ask others
Ian Mackie, Detlef Plump: Preface. Electr. Notes Theor. Comput. Sci. 72(1): 1-2 (2007)
[j22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/FernandezMP07
- ask others
Maribel Fernández, Ian Mackie, Jorge Sousa Pinto: A Higher-Order Calculus for Graph Transformation. Electr. Notes Theor. Comput. Sci. 72(1): 45-58 (2007)
[j21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/JouannaudM07
- ask others
Jean-Pierre Jouannaud, Ian Mackie: Preface. Electr. Notes Theor. Comput. Sci. 171(3): 1-2 (2007)
[j20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/CirsteaFFMS07
- ask others
Horatiu Cirstea, Germain Faure, Maribel Fernández, Ian Mackie, François-Régis Sinot: From Functional Programs to Interaction Nets via the Rewriting Calculus. Electr. Notes Theor. Comput. Sci. 174(10): 39-56 (2007)
[j19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/AlvesFFM07
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Closed Reduction Strategies. Electr. Notes Theor. Comput. Sci. 174(10): 57-74 (2007)
[j18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Mackie07
- ask others
Ian Mackie: Preface. Electr. Notes Theor. Comput. Sci. 176(1): 1-2 (2007)
[j17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mscs/MackieP07
- ask others
Ian Mackie, Detlef Plump: Theory and applications of term graph rewriting: introduction. Mathematical Structures in Computer Science 17(3): 361-362 (2007)
[j16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mscs/FernandezM07
- ask others
Maribel Fernández, Ian Mackie: More developments in computational models: introduction. Mathematical Structures in Computer Science 17(4): 585-586 (2007)
[c22]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/AlvesFFM07
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195
[c21]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fossacs/AlvesFFM07
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: Iterator Types. FoSSaCS 2007: 17-31
2006
[j15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/FernandezM06
- ask others
Maribel Fernández, Ian Mackie: Preface. Electr. Notes Theor. Comput. Sci. 135(3): 1-2 (2006)
[j14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/FernandezMS06
- ask others
Maribel Fernández, Ian Mackie, François-Régis Sinot: Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. Electr. Notes Theor. Comput. Sci. 154(3): 19-32 (2006)
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mscs/FernandezM06
- ask others
Maribel Fernández, Ian Mackie: Developments in computational models: introduction. Mathematical Structures in Computer Science 16(4): 553-555 (2006)
[c20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/AlvesFFM06
- ask others
Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie: The Power of Linear Functions. CSL 2006: 119-134
2005
[j12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/aaecc/FernandezMS05
- ask others
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)
[j11]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/Mackie05
- ask others
Ian Mackie: Towards a Programming Language for Interaction Nets. Electr. Notes Theor. Comput. Sci. 127(5): 133-151 (2005)
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/entcs/SinotM05
- ask others
François-Régis Sinot, Ian Mackie: Macros for Interaction Nets: A Conservative Extension of Interaction Nets. Electr. Notes Theor. Comput. Sci. 127(5): 153-169 (2005)
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/logcom/Mackie05
- ask others
Ian Mackie: Interaction Net Implementation of Additive and Multiplicative Structures. J. Log. Comput. 15(2): 219-237 (2005)
[j8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/mscs/FernandezMS05
- ask others
Maribel Fernández, Ian Mackie, François-Régis Sinot: Closed reduction: explicit substitutions without alpha-conversion. Mathematical Structures in Computer Science 15(2): 343-381 (2005)
[c19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ifl/Mackie05
- ask others
Ian Mackie: Encoding Strategies in the Lambda Calculus with Interaction Nets. IFL 2005: 19-36
2004
[c18]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ppdp/FernandezGM04
- ask others
Maribel Fernández, Murdoch Gabbay, Ian Mackie: Nominal rewriting systems. PPDP 2004: 108-119
[c17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/Mackie04
- ask others
Ian Mackie: Efficient lambda-Evaluation with Interaction Nets. RTA 2004: 155-169
2003
[j7]
- view
  - electronic edition @ clei.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cleiej/FernandezMSS03
- ask others
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
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/FernandezM03
- ask others
Maribel Fernández, Ian Mackie: Operational equivalence for interaction nets. Theor. Comput. Sci. 297(1-3): 157-181 (2003)
[c16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/rta/SinotFM03
- ask others
François-Régis Sinot, Maribel Fernández, Ian Mackie: Efficient Reductions with Director Strings. RTA 2003: 46-60
2002
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/MackieP02
- ask others
Ian Mackie, Jorge Sousa Pinto: Encoding Linear Logic with Interaction Combinators. Inf. Comput. 176(2): 153-186 (2002)
[c15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/gg/FernandezM02
- ask others
Maribel Fernández, Ian Mackie: Call-by-Value lambda-Graph Rewriting Without Rewriting. ICGT 2002: 75-89
2000
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Mackie00
- ask others
Ian Mackie: Interaction nets for linear logic. Theor. Comput. Sci. 247(1-2): 83-140 (2000)
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/latin/FernandezM00
- ask others
Maribel Fernández, Ian Mackie: A Theory of Operational Equivalence for Interaction Nets. LATIN 2000: 447-456

1990 – 1999

see FAQ

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

1999
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/FernandezM99
- ask others
Maribel Fernández, Ian Mackie: Closed Reductions in the lambda-Calculus. CSL 1999: 220-234
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ppdp/FernandezM99
- ask others
Maribel Fernández, Ian Mackie: A Calculus for Interaction Nets. PPDP 1999: 170-187
1998
[j3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/FernandezM98
- ask others
Maribel Fernández, Ian Mackie: Interaction Nets and Term-Rewriting Systems. Theor. Comput. Sci. 190(1): 3-39 (1998)
[c11]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/icfp/Mackie98
- ask others
Ian Mackie: YALE: Yet Another Lambda Evaluator Based on Interaction Nets. ICFP 1998: 117-128
[c10]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/Mackie98
- ask others
Ian Mackie: Linear Logic With Boxes. LICS 1998: 309-320
[c9]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/FernandezM98
- ask others
Maribel Fernández, Ian Mackie: Coinductive Techniques for Operational Equivalence of Interaction Nets. LICS 1998: 321-332
1997
[c8]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/sas/Mackie97
- ask others
Ian Mackie: Static Analysis of Interaction Nets for Distributed Implementations. SAS 1997: 217-231
1996
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/caap/FernandezM96
- ask others
Maribel Fernández, Ian Mackie: Interaction Nets and Term Rewriting Systems (Extended Abstract). CAAP 1996: 149-164
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/JensenM96
- ask others
Thomas P. Jensen, Ian Mackie: Flow Analysis in the Geometry of Interaction. ESOP 1996: 188-203
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/plilp/FernandezM96
- ask others
Maribel Fernández, Ian Mackie: From Term Rewriting to Generalised Interaction Nets. PLILP 1996: 319-333
1995
[c4]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/popl/Mackie95
- ask others
Ian Mackie: The Geometry of Interaction Machine. POPL 1995: 198-208
[e1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/imperial/1994
- ask others
Chris Hankin, Ian Mackie, Rajagopal Nagarajan (Eds.): Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994. Imperial College Press 1995, ISBN 1-86094-003-X
1994
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jfp/Mackie94
- ask others
Ian Mackie: Lilac: A Functional Programming Language Based on Linear Logic. J. Funct. Program. 4(4): 395-433 (1994)
[c3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/imperial/HankinMN94
- ask others
Chris Hankin, Ian Mackie, Rajagopal Nagarajan: Preface. Theory and Formal Methods 1994
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/imperial/Mackie94
- ask others
Ian Mackie: A Lambda-Evaluator Based on Interaction Nets. Theory and Formal Methods 1994: 41-60
1993
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/acs/MackieRA93
- ask others
Ian Mackie, Leopoldo Román, Samson Abramsky: An internal language for autonomous categories. Applied Categorical Structures 1(3): 311-343 (1993)
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/imperial/MackieRA93
- ask others
Ian Mackie, Leopoldo Román, Samson Abramsky: An Internal Language for Autonomous Categories. Theory and Formal Methods 1993: 235-246

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?