Publication reviews

Moritz Hahn (Recipient)

Activity: Other activity typesOther

Description

Since November 2018 until December 2019, I have been reviewing papers submitted to several conferences and journals such as
- International Journal on Software Tools for Technology Transfer (STTT)
- tool competition report for TOOLympics'19 (https://tacas.info/toolympics.php)
- International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
- International Symposium on Automated Technology for Verification and Analysis (ATVA)
- International Conference on Concurrency Theory (CONCUR)
- European Journal of Control (EJCON)
- IEEE Transactions on Automatic Control (TAC)
- International Journal of Approximate Reasoning (IJA)
- Nonlinear Analysis: Hybrid Systems (NAHS)
- Software Testing, Verification and Reliability (STVR)
- Surfaces and Interfaces (SURFIN)
- IEEE Transactions on Automatic Control (TACON)
- Theoretical Computer Science (TCS)
Period01 Nov 201831 Dec 2019