IEEE Internet of Things Journal (IoTJ) Future Generation Computer Systems (FGCS) Lecture Notes in Computer Science (LNCS) Journal of Logical and Algebraic Methods in Programming (JLAMP) CEUR Workshop Proceedings (CEUR-WS.org) Science of Computer Programming (SCP)