Multicast Algebraic Formal Modelling using ACP - Study on PIM Dense Mode and Sparse Mode. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly (DCNET, 2017)

FTP Algebraic Formal Modelling using ACP - Study on FTP Active Mode and Passive Mode. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly (SIMULTECH, 2017)

OSPF Algebraic Formal Modelling using ACP - A Formal Description on OSPF Routing Protocol. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Carlos Juiz (ICETE (1), 2018)

Algebraic Formal Modelling for EIGRP using ACP - Formal Description Modelling on EIGRP Routing Protocol. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Carlos Juiz (SIMULTECH, 2018)

Fat Tree Algebraic Formal Modelling Applied to Fog Computing. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Sonja Filiposka (ICT Innovations, 2020)

De Bruijn-Based and k-Ary n-Cube-Based Algebraic Models in Fog Environments. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Cristina Bernad; Sonja Filiposka (ICT Innovations, 2021)

Modeling of a Generic Edge Computing Application Design. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Cristina Bernad; Carlos Juiz (Sensors, 2021)

Edge Performance Analysis Challenges in Mobile Simulation Scenarios. - Cristina Bernad; Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Sonja Filiposka (EPEW, 2022)

Multi-access Edge Computing Smart Relocation Approach from an NFV Perspective. - Cristina Bernad; Vojdan Kjorveziroski; Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Sonja Filiposka (ICT Innovations, 2022)

Data Center Organization and Optimization Strategy as a K-Ary N-Cube Topology. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Cristina Bernad; Carlos Juiz (PASM, 2022)

Arithmetic Framework to Optimize Packet Forwarding among End Devices in Generic Edge Computing Environments. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Cristina Bernad; Carlos Juiz (Sensors, 2022)

Modeling an Edge Computing Arithmetic Framework for IoT Environments. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Cristina Bernad; Carlos Juiz (Sensors, 2022)

End-to-end simulation environment for mobile edge computing. - Katja Gilly; Cristina Bernad; Pedro Juan Roig; Salvador Alcaraz; Sonja Filiposka (Simul. Model. Pract. Theory, 2022)

Formal Algebraic Modelling for Fog Computing Network Architecture. - Pedro Juan Roig (2022)

Edge Data Center Organization and Optimization by Using Cage Graphs. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Cristina Bernad; Carlos Juiz (Network, 2023)

Formal Algebraic Model of an Edge Data Center with a Redundant Ring Topology. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Cristina Bernad; Carlos Juiz (Network, 2023)

Arithmetic Study about Efficiency in Network Topologies for Data Centers. - Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Cristina Bernad; Carlos Juiz (Network, 2023)

Relocation of Container-Based Services in a MEC-NFV Orchestrated Environment. - Cristina Bernad; Vojdan Kjorveziroski; Pedro Juan Roig; Salvador Alcaraz; Katja Gilly; Sonja Filiposka (IFIPIoT (1), 2024)

Addressing the necessity of cybersecurity literacy: the case of ETTCS CyberTeach project. - Apostolos Xenakis; Vasileios Vlachos; Pedro Juan Roig; Salvador Alcaraz (Inf. Comput. Secur., 2025)