3 papers
cs.ET2018
Fault Adaptive Routing in Metasurface Controller Networks
Taqwa Saeed, Constantinos Skitsas, Dimitrios Kouzapas +8
HyperSurfaces are a merge of structurally reconfigurable metasurfaces whose electromagnetic properties can be changed via a software interface, using an embedded miniaturized netwo…
cs.NI2018
Formal Verification of a Programmable Hypersurface
Panagiotis Kouvaros, Dimitris Kouzapas, Anna Philippou +3
A metasurface is a surface that consists of artificial material, called metamaterial, with configurable electromagnetic properties. This paper presents work in progress on the desi…
cs.LO2015
Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
This work proposes tractable bisimulations for the higher-order pi-calculus with session primitives (HOpi) and offers a complete study of the expressivity of its most significant s…