2018
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, and Stefano Pio Zingaro: A Language-based Approach for Interoperability of IoT Platforms. Hawaii International Conference on System Sciences 2018, IEEE Computer Society 2018.