Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
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
Wagner, Marco; Zöbel, Dieter; Meroth, Ansgar
Model-driven development of SOA-based Driver Assistance SystemsSIGBED Review. Bd. 10. H. 1. New York, NY: ACM Association for Computing Machinery 2013 S. 37 - 42
Jürjens, Jan
Modellbasiertes Sicherheits- und Compliance-Management2013 S. 1 - 26
Naujokat, Katharina
moFly mobile flight & preflight learning for you : Entwicklung eines mobilen MR-Systems zur Unterstützung von KompetenzentwicklungsprozessenKoblenz: Universität Koblenz-Landau, Campus Koblenz 2013
Hopfgartner, Frank
Multimedia Retrieval and Adaptive SystemsJustyna Zander;Pieter J. Mosterman (Hrsg). Computation for Humanity: Information Technology to Advance Society. New York, NY: Taylor & Francis 2013 S. 205 - 234
Horbach, Matthias; Sofronie-Stokkermans, Viorica
Obtaining Finite Local Theory Axiomatizations via SaturationPascal Fontaine; Christophe Ringeissen; Renate A. Schmidt (Hrsg). Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Berlin: Springer 2013 S. 198 - 213