Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Hopfgartner, Frank; Jose, Joemon M.
Semantic User Modelling for Personal News Video RetrievalSusanne Boll;Qi Tian;Lei Zhang;Zili Zhang;Yi-Ping Phoebe Chen (Hrsg). Advances in Multimedia Modeling: 16th International Multimedia Modeling Conference, MMM 2010, Chongqing, China, January 6-8, 2010. Proceedings. Berlin: Springer 2010 S. 336 - 349
Hopfgartner, Frank; Jose, Joemon M.
Semantic user profiling techniques for personalised multimedia recommendationMultimedia Systems. Bd. 16. H. 4-5. Berlin: Springer 2010 S. 255 - 274
Jürjens, Jan
Sicherheit von Cloud Computing2010
Hopfgartner, Frank; Urruty, Thierry; Lopez, Pablo Bermejo et al.
Simulated evaluation of faceted browsing based on feature selectionMultimedia Tools and Applications. Bd. 47. H. 3. Dordrecht: Springer 2010 S. 631 - 662
Ghilardi, Silvio; Sofronie-Stokkermans, Viorica; Sattler, Ulrike et al.
Special issue on automated deduction: Decidability, complexity, tractabilityJournal of Symbolic Computation. Bd. 45. H. 2. Amsterdam: Elsevier 2010 S. 151 - 152