Publikationen

In: Journal of Logic and Algebraic Programming (JLAP) 67 1-2 Seiten 114-145 2006.

In: Proceedings of the 1st International Conference on Information Security and Computer Forensic. International Conference on Information Security and Computer Forensic (ISCF-2006) Chennai India Seiten 259-268 Allied Publisher Pvt. Ltd. 12/2006.

In: Proceedings of the 4th International Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods. International Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods Leeds AXMEDIS conference proceedings 2006.

In: Proceedings of First Workshop on Verification and Debugging at FloC2006. Federated Logic Conference (FloC) Electronic Notes in Theoretical Computer Science 2006.

In: Journal of Logic and Algebraic Programming (JLAP) 67 1--2 Seiten 114-145 2006.

In: Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International Verification Workshop (VERIFY) Seattle 2006.

In: Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. International Conference on Emerging Trends in Information and Communication Security (ETRICS) Springer-Verlag, LNCS 2006.

In: Proceedings of the International Conference on Emerging Trends in Information and Communication Security, ETRICS-2006. International Conference on Emerging Trends in Information and Communication Security (ETRICS) Springer-Verlag, LNCS 2006.

In: Proccedings of the 1st European Conference on eHealth (ECEH06). European Conference on eHealth (ECEH) Fribourg Lecture Notes in Informatics, Gesellschaft für Informatik 2006.

In: Proccedings of the 1st International Workshop on Privacy and Security in Agent-based Collaborative Environments. International Workshop on Privacy and Security in Agent-based Collaborative Environments (PSACE-2006) Privacy Considerations for Deployed Multi-Agent Systems AAMAS 2006 May 9 Hakodate Japan AAMAS 2006 2006.