Good journals for which I have reviewed (nr. papers reviewed in the respective year appear at the end).
- Journal of Logical and Algebraic Methods in Programming (JLAMP – Elsevier) 2009(#2), 2010(1), 2011(1), 2014(2), 2015, 2017, 2019.
- Formal Aspects of Computing (FAOC – Springer) 2012(1), 2014(1), 2016(1).
- Science of Computer Programming (SCICO – Elsevier) 2015.
- Software and Systems Modeling (SOSYM – Springer) 2014, 2020.
- Information and Computation (IANDC – Elsevier) 2012.
- The Computer Journal (Oxford) 2013.
- Transactions on Computational Logic (ToCL – ACM) 2014.
- Theoretical Computer Science (TCS – Elsevier) 2015.
- Interacting with Computers (IWC – Oxford) 2018.
- ACM Computing Surveys (CSUR – ACM) 2018.
- Journal of Computer Security (JCS – IOS Press) 2021.