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