Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Jürjens, Jan

Zertifizierung für sichere Cyber-Physikalische Systeme

Tag der Informations- und Kommunikationswirtschaft Nordrhein-Westfalen (IuK-Tag NRW 2013). Paderborn (Germany). 2013


Chen, Jiming; Frey, Hannes; Li, Xu

(Special Issue) Wireless Sensor and Robot Networks: Algorithms and Experiments

Computer Communications. Bd. 35. H. 9. Amsterdam: Elsevier 2012 S. iii - iv


Chen, Jiming; Frey, Hannes; Li, Xu

(Special Issue) Wireless Sensor and Robot Networks: Algorithms and Experiments

Computer Communications. Bd. 35. H. 9. Amsterdam: Elsevier 2012


Wagner, Marco; Zöbel, Dieter; Meroth, Ansgar

A CAN-based Communication Model for Service-Oriented Driver Assistance Systems

Onur Altintas; Wai Chen; Geert Heijenk; Hyun Seo Oh (Hrsg). Proceedings of the 2012 IEEE Vehicular Networking Conference VNC: 14-16 November 2012; Seoul, Korea. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2012 S. 181 - 186


Mathews, Emi; Frey, Hannes

A Localized Link Removal and Addition based Planarization Algorithm

Luciano Bononi; Ajoy K. Datta; Stéphane Devismes; Archan Misra (Hrsg). Distributed Computing and Networking: 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012. Proceedings. Berlin: Springer 2012 S. 337 - 350


Ochoa, Martín; Jürjens, Jan; Warzecha, Daniel

A Sound Decision Procedure for the Compositionality of Secrecy

Gilles Barthe; Benjamin Livshits; Riccardo Scandariato (Hrsg). Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings. Berlin: Springer 2012 S. 97 - 105


Bailer, Werner; Schoeffmann, Klaus; Hopfgartner, Frank

A Survey of Advanced Content Management Tools for TV Post-Production

Yiannis Kompatsiaris;Bernard Merialdo;Shiguo Lian (Hrsg). TV Content Analysis: Techniques and Applications. New York: Auerbach Publications 2012 S. 529 - 566


Jürjens, Jan; Schneider, Kurt

Beyond One-Shot Security

Norbert Seyff;Anne Koziolek (Hrsg). Modelling and Quality in requirements Engineering: Essays Dedicated to Martin Glinz on the Occasion of His 60th Birthday. Münster: Monsenstein und Vannerdat 2012 S. 121 - 132


Hopfgartner, Frank

Capturing Long-Term User Interests in Online Television News Programs

Yiannis Kompatsiaris;Bernard Merialdo;Shiguo Lian (Hrsg). TV Content Analysis: Techniques and Applications. New York: Auerbach Publications 2012 S. 309 - 330


Lee, Alvin J. X.; Roylance, Rebecca; Sander, Jil et al.

CERT depletion predicts chemotherapy benefit and mediates cytotoxic and polyploid-specific cancer cell death through autophagy induction

The journal of pathology. Bd. 226. H. 3. Bognor Regis: Wiley 2012 S. 482 - 494