default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIan Mackie
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
2020 – today
- 2024
[c60]Maribel Fernández
, Ian Mackie:
Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language. PPDP 2024: 8:1-8:14- [e14]Sandra Alves, Ian Mackie:
Proceedings 13th International Workshop on Developments in Computational Models, DCM 2023, Rome, Italy, 2 July 2023. EPTCS 408, 2024 [contents] - 2020
- [c59]Maribel Fernández, Ian Mackie:
A Reversible Operational Semantics for Imperative Programming Languages. ICFEM 2020: 91-106
2010 – 2019
- 2019
- [j24]Merve Yildirim, Ian Mackie:
Encouraging users to improve password security and memorability. Int. J. Inf. Sec. 18(6): 741-759 (2019) - [j23]Ian Mackie:
Linear Numeral Systems. J. Autom. Reason. 63(4): 887-909 (2019) - [c58]Maribel Fernández, Ian Mackie, Bhavani Thuraisingham:
Specification and Analysis of ABAC Policies via the Category-based Metamodel. CODASPY 2019: 173-184 - [e13]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] - 2018
- [c57]Ian Mackie, Merve Yildirim:
A Novel Hybrid Password Authentication Scheme Based on Text and Image. DBSec 2018: 182-197 - 2017
- [j22]Mauricio Ayala-Rincón, Ian Mackie, Ugo Montanari:
Logical and Semantic Frameworks with Applications. Theor. Comput. Sci. 685: 1-2 (2017) - [c56]Ian Mackie:
A Geometry of Interaction Machine for Gödel's System T. WoLLIC 2017: 229-241 - 2016
- [c55]Ian Mackie, Shinya Sato:
An Interaction Net Encoding of Gödel's System T - Declarative Pearl. FLOPS 2016: 80-93 - [c54]Ian Mackie:
Compiling Process Networks to Interaction Nets. TERMGRAPH 2016: 5-14 - [c53]Ian Mackie, Shinya Sato:
In-place Graph Rewriting with Interaction Nets. TERMGRAPH 2016: 15-24 - [c52]Rakan Alsowail, Ian Mackie:
Controlling File Access with Types. LSFA 2016: 3-20 - 2015
- [j21]Ian Mackie, Shinya Sato:
Parallel Evaluation of Interaction Nets: Case Studies and Experiments. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 73 (2015) - [c51]Ian Mackie, Shinya Sato:
Parallel Evaluation of Interaction Nets: Some Observations and Examples. GCM@ICGT 2015: 50-65 - [c50]Manish Gaur, Simon J. Gay, Ian Mackie:
A Routing Calculus with Flooding Updates. ICDCIT 2015: 181-186 - [e12]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
- [j20]Mário Florido, Ian Mackie:
Linearity in Computation. J. Log. Comput. 24(3): 511-512 (2014) - [j19]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity: A Roadmap. J. Log. Comput. 24(3): 513-529 (2014) - [c49]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]Abubakar Hassan, Ian Mackie, Shinya Sato:
An Implementation Model for Interaction Nets. TERMGRAPH 2014: 66-80 - [c47]Mauricio Ayala-Rincón, Ian Mackie:
Preface. LSFA 2014: 1-2 - [e11]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] - 2013
- [c46]Maribel Fernández, Ian Mackie, Matthew Walker:
Bigraphical Nets. TERMGRAPH 2013: 74-81 - 2012
- [e10]Sandra Alves, Ian Mackie:
Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. EPTCS 101, 2012 [contents] - 2011
- [c45]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linearity and recursion in a typed Lambda-calculus. PPDP 2011: 173-182 - [c44]Sandra Alves, Maribel Fernández, Ian Mackie:
A new graphical calculus of proofs. TERMGRAPH 2011: 69-84 - [e9]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] - 2010
- [j18]Abubakar Hassan, Ian Mackie, Shinya Sato:
A lightweight abstract machine for interaction nets. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 29 (2010) - [j17]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]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) - [c43]Ian Mackie:
A Visual Model of Computation. TAMC 2010: 350-360 - [i2]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linear Recursion. CoRR abs/1001.3368 (2010)
2000 – 2009
- 2009
- [c42]Ian Mackie:
A rewriting paradigm for program and algorithm animation. VL/HCC 2009: 170-173 - [c41]Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker:
Recursive Functions with Pattern Matching in Interaction Nets. TERMGRAPH@ETAPS 2009: 55-71 - [c40]Abubakar Hassan, Ian Mackie, Shinya Sato:
Compilation of Interaction Nets. TERMGRAPH@ETAPS 2009: 73-90 - [e8]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]Mário Florido, Ian Mackie:
Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009. EPTCS 22, 2009 [contents] - [i1]Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça:
Iterators, Recursors and Interaction Nets. CoRR abs/0910.3321 (2009) - 2008
- [j15]Abubakar Hassan, Ian Mackie, Shinya Sato:
Interaction nets: programming language design and implementation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [c39]Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto:
Visual Programming with Interaction Nets. Diagrams 2008: 165-171 - [c38]Ian Mackie:
An Interaction Net Implementation of Closed Reduction. IFL 2008: 43-59 - [c37]Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger:
Preface. QPL/DCM@ICALP 2008: 1-2 - [e6]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
- [j14]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]Ian Mackie, Detlef Plump:
Theory and applications of term graph rewriting: introduction. Math. Struct. Comput. Sci. 17(3): 361-362 (2007) - [j12]Maribel Fernández, Ian Mackie:
More developments in computational models: introduction. Math. Struct. Comput. Sci. 17(4): 585-586 (2007) - [c36]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Linear Recursive Functions. Rewriting, Computation and Proof 2007: 182-195 - [c35]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
Iterator Types. FoSSaCS 2007: 17-31 - [c34]Ian Mackie, Detlef Plump:
Preface. TERMGRAPH@ETAPS 2007: 1-2 - [c33]Ian Mackie, Shinya Sato:
A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine. DCM@ICALP 2007: 59-70 - [c32]Sandra Alves, Mário Florido, Ian Mackie, François-Régis Sinot:
Minimality in a Linear Calculus with Iteration. WRS@RDP 2007: 163-179 - [e5]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]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]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
- [j11]Maribel Fernández, Ian Mackie:
Developments in computational models: introduction. Math. Struct. Comput. Sci. 16(4): 553-555 (2006) - [c31]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
The Power of Linear Functions. CSL 2006: 119-134 - [c30]Jean-Pierre Jouannaud, Ian Mackie:
Preface. DCM@ICALP 2006: 1-2 - [c29]Ian Mackie:
Preface. TERMGRAPH@ETAPS 2006: 1-2 - [c28]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]Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie:
The Power of Closed Reduction Strategies. WRS@FLoC 2006: 57-74 - [e2]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] - 2005
- [j10]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]Ian Mackie:
Interaction Net Implementation of Additive and Multiplicative Structures. J. Log. Comput. 15(2): 219-237 (2005) - [j8]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) - [c26]Ian Mackie:
Encoding Strategies in the Lambda Calculus with Interaction Nets. IFL 2005: 19-36 - [c25]Maribel Fernández, Ian Mackie:
Preface. DCM@ICALP 2005: 1-2 - [c24]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]Maribel Fernández, Murdoch Gabbay, Ian Mackie:
Nominal rewriting systems. PPDP 2004: 108-119 - [c22]Ian Mackie:
Efficient lambda-Evaluation with Interaction Nets. RTA 2004: 155-169 - [c21]Ian Mackie:
Towards a Programming Language for Interaction Nets. TERMGRAPH 2004: 133-151 - [c20]François-Régis Sinot, Ian Mackie:
Macros for Interaction Nets: A Conservative Extension of Interaction Nets. TERMGRAPH 2004: 153-169 - 2003
- [j7]Maribel Fernández, Ian Mackie, Paula Severi, Nora Szasz:
Reduction Strategies for Program Extraction. CLEI Electron. J. 6(1) (2003) - [j6]Maribel Fernández, Ian Mackie:
Operational equivalence for interaction nets. Theor. Comput. Sci. 297(1-3): 157-181 (2003) - [c19]François-Régis Sinot, Maribel Fernández, Ian Mackie:
Efficient Reductions with Director Strings. RTA 2003: 46-60 - 2002
- [j5]Ian Mackie, Jorge Sousa Pinto:
Encoding Linear Logic with Interaction Combinators. Inf. Comput. 176(2): 153-186 (2002) - [c18]Maribel Fernández, Ian Mackie:
Call-by-Value lambda-Graph Rewriting Without Rewriting. ICGT 2002: 75-89 - [c17]Ian Mackie, Detlef Plump:
Preface. TERMGRAPH 2002: 1-2 - [c16]Maribel Fernández, Ian Mackie, Jorge Sousa Pinto:
A Higher-Order Calculus for Graph Transformation. TERMGRAPH 2002: 45-58 - 2001
- [c15]Maribel Fernández, Ian Mackie, Jorge Sousa Pinto:
Combining interaction nets with externally defined programs. APPIA-GULP-PRODE 2001: 297-312 - 2000
- [j4]Ian Mackie:
Interaction nets for linear logic. Theor. Comput. Sci. 247(1-2): 83-140 (2000) - [c14]Maribel Fernández, Ian Mackie:
A Theory of Operational Equivalence for Interaction Nets. LATIN 2000: 447-456
1990 – 1999
- 1999
- [c13]Maribel Fernández, Ian Mackie:
Closed Reductions in the lambda-Calculus. CSL 1999: 220-234 - [c12]Maribel Fernández, Ian Mackie:
A Calculus for Interaction Nets. PPDP 1999: 170-187 - 1998
- [j3]Maribel Fernández, Ian Mackie:
Interaction Nets and Term-Rewriting Systems. Theor. Comput. Sci. 190(1): 3-39 (1998) - [c11]Ian Mackie:
YALE: Yet Another Lambda Evaluator Based on Interaction Nets. ICFP 1998: 117-128 - [c10]Ian Mackie:
Linear Logic With Boxes. LICS 1998: 309-320 - [c9]Maribel Fernández, Ian Mackie:
Coinductive Techniques for Operational Equivalence of Interaction Nets. LICS 1998: 321-332 - 1997
- [c8]Ian Mackie:
Static Analysis of Interaction Nets for Distributed Implementations. SAS 1997: 217-231 - 1996
- [c7]Maribel Fernández, Ian Mackie:
Interaction Nets and Term Rewriting Systems (Extended Abstract). CAAP 1996: 149-164 - [c6]Thomas P. Jensen, Ian Mackie:
Flow Analysis in the Geometry of Interaction. ESOP 1996: 188-203 - [c5]Maribel Fernández, Ian Mackie:
From Term Rewriting to Generalised Interaction Nets. PLILP 1996: 319-333 - 1995
- [c4]Ian Mackie:
The Geometry of Interaction Machine. POPL 1995: 198-208 - [e1]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] - 1994
- [j2]Ian Mackie:
Lilac: A Functional Programming Language Based on Linear Logic. J. Funct. Program. 4(4): 395-433 (1994) - [c3]Chris Hankin, Ian Mackie, Rajagopal Nagarajan:
Preface. Theory and Formal Methods 1994 - [c2]Ian Mackie:
A Lambda-Evaluator Based on Interaction Nets. Theory and Formal Methods 1994: 41-60 - 1993
- [j1]Ian Mackie, Leopoldo Román, Samson Abramsky:
An internal language for autonomous categories. Appl. Categorical Struct. 1(3): 311-343 (1993) - [c1]Ian Mackie, Leopoldo Román, Samson Abramsky:
An Internal Language for Autonomous Categories. Theory and Formal Methods 1993: 235-246
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-22 20:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
