Publikationen

Zeige Ergebnisse 1 bis 10 von 11

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.

Zur Publikation

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.

Zur Publikation

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

Zur Publikation

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

Zur Publikation

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

Zur Publikation

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.

Zur Publikation

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.

Zur Publikation

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.

Zur Publikation

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.

Zur Publikation

Jahr

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence