Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
On Hierarchical Reasoning in Combinations of TheoriesJürgen Giesl; Reiner Hähnle (Hrsg). Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer 2010 S. 30 - 45
Jürjens, Jan
Outsourcing, SaaS & Clouds: Aber sicher! (... und compliant)Tag der Informations- und Kommunikationswirtschaft Nordrhein-Westfalen (IuK-Tag NRW 2010). Wuppertal (Germany). 2010
Hopfgartner, Frank
Personalised Video Retrieval: Application of Implicit Feedback and Semantic User ProfilesACM SIGMultimedia Records. Bd. 2. H. 4. New York, NY: ACM Association for Computing Machinery 2010 S. 6 - 7
Hopfgartner, Frank
Personalized Video Retrieval: Application of Implicit Feedback and Semantic User ProfilesSIGIR Forum. Bd. 44. H. 2. New York, NY: ACM Association for Computing Machinery 2010 S. 84 - 85
Lee, Seok-Won; Monga, Mattia; Jürjens, Jan
Proceeding of the 2010 ICSE Workshop on Software Engineering for Secure Systems SESS 2010: May 2, 2010; Cape Town, South Africa in conjunction with The 32nd ACM/IEEE International Conference on Software Engineering ICSE 2010; May 2–8, 2010New York, NY: ACM Association for Computing Machinery 2010
Peltier, Nicolas; Sofronie-Stokkermans, Viorica
Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009.CEUR-WS.org 2010
Funke, Rafael; Frey, Hannes
Revisiting Clustering Based Efficient Broadcast for Wireless Multihop Networks with Memory Limited NodesIoanis Nikolaidis; Kui Wu (Hrsg). Ad-Hoc, Mobile and Wireless Networks: 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings. Berlin: Springer 2010 S. 53 - 66
Bauer, Andreas; Jürjens, Jan
Runtime verification of cryptographic protocolsComputers & Security. Bd. 29. H. 3. Amsterdam: Elsevier 2010 S. 315 - 330
Beckers, Kristian; Jürjens, Jan
Security and Compliance in CloudsNorbert Pohlmann; Helmut Reimer; Wolfgang Schneider (Hrsg). ISSE 2010 - Securing Electronic Business Processes: Highlights of the Information Security Solutions Europe 2010 Conference, Berlin, Germany, October 5-7, 2010. Wiesbaden: Vieweg + Teubner 2010 S. 91 - 100
Jürjens, Jan
Security und Compliance in Clouds5. COMPARC Fokustag, Fraunhofer ISST, 20 May 2010, Dortmund, Germany. Fraunhofer ISST, Dortmund 2010