Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Mathews, Emi; Frey, Hannes
Topological Cluster Based Geographic Routing in Multihop Ad Hoc NetworksJaime Lloret Mauri; Sergey Balandin; Cosmin Dini (Hrsg). UBICOMM 2010: The Fourth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies; October 25-30, 2010 - Florence, Italy. Red Hook, NY: Curran 2010 S. 342 - 345
Blanco, Carlos; Fernández-Medina, Eduardo; Trujillo, Juan et al.
Towards the Secure Modelling of OLAP Users’ BehaviourWillem Jonker; Milan Petković (Hrsg). Secure Data Management: 7th VLDB Workshop, SDM 2010, Singapore, September 17, 2010. Proceedings. Berlin: Springer 2010 S. 101 - 112
Misra, Hemant; Hopfgartner, Frank; Goyal, Anuj et al.
TV News Video Story Segmentation based on Semantic Coherence and Content SimilaritySusanne 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. 347 - 357
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan
Verifying authentication properties of C security protocol code using general verifiersFourth International Workshop on Analysis of Security APIs,. 2010
Schoeffmann, Klaus; Hopfgartner, Frank; Marques, Oge et al.
Video browsing interfaces and applications: a reviewSPIE Reviews. Bd. 1. H. 1. Boca Raton: SPIE 2010 S. 018004
Jürjens, Jan; Schmidt, Holger
Werkzeugunterstützung für UML- und Geschäftsprozessmodelle2010 S. 1 - 15
Jürjens, Jan
A domain-specific language for cryptographic protocols based on streamsThe Journal of Logic and Algebraic Programming. Bd. 78. H. 2. Amsterdam: Elsevier 2009 S. 54 - 73
Furbach, Ulrich; Günther, Heiko; Schon, Claudia
A Knowledge Compilation Technique for ALC TBoxesH. Chad Lane; Hans W. Guesgen (Hrsg). Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference: FLAIRS; 19 - 21 May 2009, Sanibel Island, Florida, USA. Menlo Park, CA: AAAI Press 2009 S. 39 - 44
Kschischo, Maik
A mathematical model of potassium homeostasis in Saccharomyce Cerevisiae2009