Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Lee, Seok-Won; Monga, Mattia; Jürjens, Jan
The 6th International Workshop on Software Engineering for Secure Systems SESS 2010Jeff Kramer; Judith Bishop; Prem Devanbu; Sebastian Uchitel (Hrsg). Proceeding of the 32nd International Conference on Software Engineering ICSE 2010: Volume 2; 1-8 May 2010 Cape Town, South Africa. New York, NY: ACM Association for Computing Machinery 2010 S. 433 - 434
Baumgartner, Peter; Furbach, Ulrich; Pelzer, Björn
The Hyper Tableaux Calculus with Equality and an Application to Finite Model ComputationJournal of Logic and Computation. Bd. 20. H. 1. Oxford: Oxford University Press 2010 S. 77 - 109
Montrieux, Lionel; Jürjens, Jan; B. Haley, Charles et al.
Tool Support for Code Generation from a UMLsec PropertyCharles Pecheur; Jamie Andrews; Elisabetta Di Nitto (Hrsg). Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering ASE 2010: September 20 - 24, 2010; Antwerp, Belgium. New York, NY: ACM Association for Computing Machinery 2010 S. 357 - 358