Conference Service

• Program committee member, International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010)
• Program committee member, Computer-Aided Verification conference (CAV 2010)
• Program committee member, Satisfiability-Modulo Theories workshop (SMT 2009)
• Co-organizer and co-chair, Bit-Precise Reasoning workshop (BPR 2007)

Books

• Guide for Postgraduate Studies, a free guide for future Ph.D. students (in Croatian)