Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Hopfgartner, Frank; Scott, David; Wang, Hongyi et al.
Helping the helpers: How video retrieval can assist special interest groupsShipeng Li; Abdulmotaleb Saddik; Meng Wang; Tao Mei; Nicu Sebe; Shuicheng Yan; Richang Hong; Cathal Gurrin (Hrsg). Advances in Multimedia Modeling: 19th International Conference, MMM 2012; Huangshan, China; January 7-9, 2012, Proceedings, Part II. Berlin: Springer 2013 S. 493 - 495
Sofronie-Stokkermans, Viorica
Hierarchical Reasoning and Model Generation for the Verification of Parametric Hybrid SystemsMaria Paola Bonacina (Hrsg). Automated Deduction - CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings. Berlin: Springer 2013 S. 360 - 376
Jürjens, Jan
Hot Topics in Model-based Security (Invited Panel Contribution)2013
Scheglmann, Stefan; Gröner, Gerd; Staab, Steffen et al.
Incompleteness-aware Programming with RDF dataEvelyne Viegas; Karin Breitman; Judith Bishop (Hrsg). Proceedings of the ACM SIGPLAN Workshop on Data Driven Functional Programming DDFP 2013 co-located with 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages POPL 2013: January 22, 2013; Rome, Italy. New York, NY: ACM Association for Computing Machinery 2013 S. 11 - 14
Loepp, Benedikt; Hussein, Tim; Ziegler, Jürgen
Interaktive Empfehlungsgenerierung mit Hilfe latenter ProduktfaktorenSusanne Boll; Susanne Maaß; Rainer Malaka (Hrsg). Mensch & Computer 2013 – Tagungsband 13. fachübergreifende Konferenz für interaktive und kooperative Medien; 8. bis 11. September 2013 in Bremen. München: Oldenbourg 2013 S. 17 - 26
Jürjens, Jan
IT-Architekturen für auditierbare Geschäftsprozessanwendungen (Eingeladener Vortrag)Fraunhofer-Symposium Netzwert 2013. München. 2013
Funke, Rafael; Frey, Hannes
Iterative Sensor Node Deployment with Channel Quality FeedbackLisa O’Conner (Hrsg). Proceedings 9th IEEE International Conference on Distributed Computing in Sensor Systems: IEEE DCoSS 2013; 21-23 May 2013, Cambridge, Massachusetts. Los Alamitos, CA: IEEE Computer Society 2013 S. 402 - 408
Sofronie-Stokkermans, Viorica
Locality and Applications to Subsumption Testing in EL and Some of its ExtensionsScientific Annals of Computer Science. Bd. 23. H. 2. Iasi: Alexandru Ioan Cuza University of Iasi 2013 S. 251 - 284
Lu, Liwen; Teixeira, Vitor H.; Yuan, ZhengQiang et al.
LRIG1 regulates cadherin-dependent contact inhibition directing epithelial homeostasis and pre-invasive squamous cell carcinoma developmentThe journal of pathology. Bd. 229. H. 4. Bognor Regis: Wiley 2013 S. 608 - 620
Jürjens, Jan
Model-centric Security Verification subject to Evolution (Invited Talk)2013