Emeritus Professor
Head of Department
Selected publications
Article
Mackie, Ian (2019) Journal of Automated Reasoning, 63 (4). pp. 887-909. ISSN 0168-7433
Yildirim, M and Mackie, I (2019) International Journal of Information Security. ISSN 1615-5262
Fernández, M, Mackie, I and Sinot, F-R (2005) 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) Journal of Applicable Algebra in Engineering, Communication and Computing, 15 (6). pp. 393-437. ISSN 0938-1279
Fernández, Maribel and Mackie, Ian (2003) Theoretical Computer Science, 297 (1-3). pp. 157-181. ISSN 0304-3975
Mackie, Ian and Pinto, Jorge Sousa (2002) Information and Computation, 176 (2). pp. 153-186. ISSN 0960-1295
Book Section
Mackie, Ian (2011) 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
Conference Proceedings
Mackie, Ian and Yildirim, Merve (2018) 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 (2017) 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