Andrea Schalk

A categorical setting for transition systems
Mroz, D. (Author), Schmidt, R. (Supervisor) & Schalk, A. (Supervisor), 1 Aug 2023
Student thesis: Phd

File
Focus Set Subontologies and Semantic Differences for Large ELH Ontologies
Alghamdi, G. (Author), Schmidt, R. (Supervisor) & Schalk, A. (Supervisor), 31 Dec 2022
Student thesis: Phd

File
Investigations into Contravariant Involutions
Osborne, T. (Author), Schmidt, R. (Supervisor) & Schalk, A. (Supervisor), 31 Dec 2022
Student thesis: Phd

File
Characterisation of Complex Networks from their Topologies
Blanthorn, O. (Author), Shapiro, J. (Supervisor), Schalk, A. (Supervisor) & Navarro Lopez, E. (Supervisor), 1 Aug 2020
Student thesis: Phd

File
Information Flow in Spatial Models of Computation
Razavi, J. (Author), Schalk, A. (Supervisor) & Pratt-Hartmann, I. (Supervisor), 1 Aug 2017
Student thesis: Phd

File
Ring constructions on spectral spaces
Tedd, C. (Author), Tressl, M. (Supervisor) & Schalk, A. (Supervisor), 1 Aug 2017
Student thesis: Phd

File
Multiversal Algebra
Meneres Pimentel Leite Lobo, F. (Author), Schalk, A. (Supervisor), 1 Aug 2014
Student thesis: Phd

File
Combinatorial Arguments for Linear Logic Full Completeness
Steele, H. (Author), Schalk, A. (Supervisor), 1 Aug 2013
Student thesis: Phd

File

Supervised Work