output publications or other works Algebraic formal modelling for FTP Conference Paper Algebraic formal modelling of EIGRP using ACP Conference Paper Formal algebraic description of a Fog Computing environment Conference Paper Review on de Bruijn shapes in 1, 2 and 3 dimensions Conference Paper