Doktorand:in
ACM Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)
International Journal on Software Tools for Technology Transfer
Automated Technology for Verification and Analysis
Formal Methods (FM)
Computer Aided Verification (CAV)
International Conference on Automated Planning and Scheduling (ICAPS)
International Conference on Autonomous Agents and Multiagent Systems (AAMAS)
International Conference on Autonomous Agents and Multiagent Systems (AAMAS)
National Conference of the American Association for Artificial Intelligence (AAAI)
Tools and Algorithms for Construction and Analysis of Systems (TACAS)