author : Ferruccio Damiani

Computers & Electrical Engineering (CEE)

Lecture Notes in Computer Science (LNCS)

ACM Transactions on Computational Logic (TOCL)

Journal of Logical and Algebraic Methods in Programming (JLAMP)

ACM Transactions on Modeling and Computer Simulation (TOMACS)

Science of Computer Programming (SCP)

Electronic Notes in Theoretical Computer Science (ENTCS)

ACM Transactions on Autonomous and Adaptive Systems (TAAS)

Logical Methods in Computer Science (LMCS)

Communications in Computer and Information Science (CCIS)

Scientific Annals of Computer Science (SACS)