Items for Mackie, Ian

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 35.

Yildirim, M and Mackie, I (2019) Encouraging users to improve password security and memorability. International Journal of Information Security. ISSN 1615-5262

Mackie, Ian and Yildirim, Merve (2018) A novel hybrid password authentication scheme based on text and image. 32nd Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, Italy, 16-18 July 2018. Published in: Kerschbaum, Florian and Parboschi, Stefano, (eds.) Data and Applications Security and Privacy. 182-197. Springer Verlag ISSN 0302-9743 ISBN 978-3-319-95729-6

Mackie, Ian (2018) Linear numeral systems. Journal of Automated Reasoning. ISSN 0168-7433

Mackie, Ian (2017) A geometry of interaction machine for Gödel's System T. Published in: Kennedy, Juliette and de Queiroz, Ruy J G B, (eds.) Proceedings of the 24th International Workshop on Logic, Language, Information, and Computation; London, UK; 18-21 July 2017. 10388 229-241. Springer Verlag ISSN 9783662553855 ISBN 0302-9743

Alsowail, Rakan and Mackie, Ian (2017) Controlling file access with types. Electronic Notes in Theoretical Computer Science, 332. pp. 3-20. ISSN 1571-0661

Mackie, Ian (2011) Linearity and recursion in a typed lambda-calculus. In: PPDP '11 Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming. ACM Press, pp. 173-182. ISBN 978-1-4503-0776-5

Mackie, Ian (2011) An interaction net implementation of closed reduction. In: Scholz, Sven-Bodo and Chitil, Olaf (eds.) Implementation and application of functional languages. Lecture notes in computer science (5836). Springer, pp. 43-59. ISBN 9783642244513

Mackie, Ian (2010) Gödel’s System T Revisited. Theoretical Computer Science, 411 (11-13). pp. 1484-1500. ISSN 03043975

Alves, Sandra, Fernández, Maribel, Florido, Mário and Mackie, Ian (2010) Linearity and Iterator Types for Godel's System T. Higher-Order and Symbolic Computation, 23 (1). pp. 1-27. ISSN 13883690

Mackie, Ian (2009) A rewriting paradigm for program and algorithm animation. In: IEEE Symposium on Visual Languages and Human-Centric Computing, Oregon State Univ, Corvallis, OR.

Mackie, Ian, Pinto, Jorge Sousa and Vilac, Miguel (2008) Visual Programming with Interaction Nets. In: DIAGRAMS 2008.

Alves, Sandra, Florido, Mario, Mackie, Ian and Sinot, François-Régis (2008) Minimality in a Linear Calculus with Iteration. In: Electronic Notes in Theoretical Computer Science.

Cirstea, Horatiu, Faure, Germain, Fernández, Maribel, Mackie, Ian and Sinot, François-Régis (2007) From Functional Programs to Interaction Nets via the Rewriting Calculus. In: Electronic Notes in Theoretical Computer Science.

Fernández, Maribel, Mackie, Ian and Pinto, Jorge Sousa (2007) A Higher-Order Calculus for Graph Transformation. In: Electronic Notes in Theoretical Computer Science.

Alves, Sandra, Fernández, Maribel, Florido, Mario and Mackie, Ian (2007) Iterator Types. In: Lecture Notes in Computer Science.

Alves, Sandra, Fernández, Maribel, Florido, Mario and Mackie, Ian (2007) Linear Recursive Functions. In: Comon-Lundh, Hubert, Kirchner, Claude and Kirchner, Hélène (eds.) Rewriting, computation and proof: Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday. Lecture Notes in Computer Science (4600). Springer, Berlin, pp. 182-195. ISBN 9783540731467

Fernández, Maribel and Mackie, Ian (2007) More developments in computational models: introduction. Mathematical Structures in Computer Science, 17 (4). pp. 585-586. ISSN 0960-1295

Alves, Sandra, Fernández, Maribel, Florido, Mario and Mackie, Ian (2007) The Power of Closed Reduction Strategies. In: the Sixth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2006), August 11, 2006., Seattle, Washington..

Mackie, Ian and Plump, Detlef (2007) Theory and applications of term graph rewriting: introduction. Mathematical Structures in Computer Science, 17 (3). pp. 361-362.

Fernández, Maribel and Mackie, Ian (2006) Developments in computational models: introduction. Mathematical Structures in Computer Science, 16 (4). pp. 553-555.

Fernández, M, Mackie, Ian and Sinot, François-Régis (2006) Interaction Nets vs. the rho-calculus: Introducing Bigraphical Nets. In: Electronic Notes in Theoretical Computer Science.

Alves, Sandra, Fernández, Maribel, Florido, Mario and Mackie, Ian (2006) The Power of Linear Functions. In: Lecture Notes in Computer Science.

Fernández, M, Mackie, I and Sinot, F-R (2005) Closed Reduction: explicit substitutions without alpha conversion. Mathematical Structures in Computer Science, 15 (2). pp. 343-381. ISSN 0960-1295

Fernández, Maribel, Mackie, Ian and Sinot, François-Régis (2005) Lambda-Calculus with Director Strings. Journal of Applicable Algebra in Engineering, Communication and Computing, 15 (6). pp. 393-437. ISSN 0938-1279

Mackie, Ian (2005) Encoding strategies in the lambda calculus with interaction nets. In: Lecture Notes in Computer Science, 2006.

Mackie, Ian (2005) Interaction Net Implementation of Additive and Multiplicative Structures. Journal of Logic and Computation, 15 (2). pp. 219-237. ISSN 0955792X

Sinot, François-Régis and Mackie, Ian (2005) Macros for Interaction Nets: A Conservative Extension of Interaction Nets. In: Electronic Notes in Theoretical Computer Science.

Mackie, Ian (2005) Towards a Programming Language for Interaction Nets. Electronic Notes in Theoretical Computer Science, 127 (5). pp. 133-151. ISSN 15710661

Mackie, Ian (2004) Efficient lambda-Evaluation with Interaction Nets. In: Lecture Notes in Computer Science.

Fernández, Maribel, Gabbay, Murdoch and Mackie, Ian (2004) Nominal rewriting systems. In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming.

Fernández, Maribel and Mackie, Ian (2003) Operational Equivalence for Interaction Nets. Theoretical Computer Science, 297 (1-3). pp. 157-181. ISSN 0304-3975

Sinot, François-Régis, Fernández, Maribel and Mackie, Ian (2003) Efficient Reductions with Director Strings. In: Lecture Notes in Computer Science.

Fernández, Maribel, Mackie, Ian, Severi, Paula and Szasz, Nora (2003) Reduction Strategies for Program Extraction. CLEI Electronic Journal, 6 (1). ISSN 0717-5000

Mackie, Ian and Pinto, Jorge Sousa (2002) Encoding Linear Logic with Interaction Combinators. Information and Computation, 176 (2). pp. 153-186. ISSN 0960-1295

Fernández, Maribel and Mackie, Ian (2002) Call-by-Value lambda-Graph Rewriting Without Rewriting. In: Lecture Notes in Computer Science.

This list was generated on Sun Sep 15 18:08:03 2019 BST.