Als Teil meiner wissenschaftlichen Tätigkeiten war ich Gutachter für verschiedene wissenschaftliche Arbeiten. Nachfolgend finden Sie eine Liste der Fachzeitschriften und Konferenzen, für welche ich eine oder mehrere Einreichungen begutachtet habe. Da alle diese Gutachten “(single) blind Gutachten” sind, werde ich natürlich nicht die Namen der Paper nennen.
Fachzeitschriften
- Logical Methods in Computer Science (LMCS)
- Fundamenta Informaticae (FI)
- Journal of Logical and Algebraic Methods in Programming (JLAMP)
Internationale Konferenzen
- Algebra and Coalgebra in Computer Science (CALCO): 2013, 2015
- Application to Concurrency of System Design (ACSD): 2012, 2013, 2014
- Concurrency Theory (CONCUR): 2012, 2014, 2017
- European Symposium on Research in Computer Security (ESORICS): 2017
- Fundamental Approaches to Software Engineering (FASE): 2016
- Logic in Computer Science (LICS): 2015
- Mathematical Foundations of Computer Science (MFCS): 2013
- Mathematical Foundations of Programming Semantics (MFPS): XXXI (2015)
- Tools and Algorithms for the Construction and Analysis of Systems (TACAS): 2013