Doktorand:in
ACM Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)
International Conference on Autonomous Agents and Multiagent Systems (AAMAS)
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)