Search results

• Privacy-preserving architecture for cloud-IoT platform

  Author: Jaimunk, J., 1 Nov 2021

  Supervisor: Fernandez, M. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• A port graph rewriting system for visual data modelling

  Author: Varga, J., 1 Oct 2020

  Supervisor: Fernandez, M. (Supervisor) & Tratt, L. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Enforcing Role-Based and Category-Based Access Control In Java: A Hybrid Approach

  Author: Ali, A., 2018

  Supervisor: Fernandez, M. I. (Supervisor), Urban, C. (Supervisor) & Barker, S. G. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Rewriting Formalisms With Binding Support: Comparing Combinatory Reduction Systems and Nominal Rewrite Systems with Atom Substitution

  Author: Dominguez, J., 2017

  Supervisor: Fernandez, M. I. (Supervisor) & Urban, C. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

• Rewriting Formalisms With Binding Support: Comparing Combinatory Reduction Systems and Nominal Rewrite Systems with Atom Substitution 


  Author: Dominguez Alvarez, J., 2017

  Supervisor: Fernandez, M. I. (Supervisor) & Urban, C. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Specification and Analysis of Service Oriented Architectures within the Calculus of Communicating Sequential Processes (CSP)

  Author: Al-Homaimeedi, A. S., 2016

  Supervisor: Fernandez, M. I. (Supervisor) & Lano, K. C. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Towards Lightweight Secure User-Transparent And Privacy-Preserving Web Metering

  Author: Alarifi, F. A., 2015

  Supervisor: Barker, S. G. (Supervisor), Fernandez, M. I. (Supervisor) & Tratt, L. R. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Type Systems for Nominal Terms

  Author: Fairweather, E. P. M., 2014

  Supervisor: Fernandez, M. I. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Ordered Model Transformations

  Author: Terrell, J. W., 2014

  Supervisor: Lano, K. C. (Supervisor), Fernandez, M. I. (Supervisor) & Poernomo, I. H. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File

• Strategic Modelling with Graph Rewriting Tools

  Author: Namet, O., Nov 2012

  Supervisor: Fernandez, M. I. (Supervisor), Mackie, I. (Supervisor) & Luck, M. M. (Supervisor)

  Student thesis: Doctoral Thesis › Doctor of Philosophy

  File