Starten Sie Ihre Suche...


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

FB 4: Informatik

Universität Koblenz

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

Pironti, Alfredo; Jürjens, Jan

Formally-Based Black-Box Monitoring of Security Protocols

Fabio Massacci; Dan Wallach; Nicola Zannone (Hrsg). Engineering Secure Software and Systems: Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings. Berlin: Springer 2010 S. 79 - 95


Mouratidis, Haralambos; Jürjens, Jan

From goal-driven security requirements engineering to secure design

International Journal of Intelligent Systems. Bd. 25. H. 8. New York, NY: Wiley 2010 S. 813 - 840




Grüntjens, Dominik; Rilling, Stefan; Wechselberger, Ulrich

Gamebasierte Motivationskonzepte für die Ausbildung an automatisierungstechnischen Anlagen

HNI Verlagsschriftenreihe, Paderborn. H. 274. Paderborn: Heinz-Nixdorf-Institut, Universität-GH Paderborn 2010 S. keine Angaben


Frey, Hannes

General lower and best case upper bounds on energy optimal multicasting in wireless ad hoc and sensor networks

Azzedine Boukerche; Giuseppe Bianchi (Hrsg). Digital Proceedings of the 2010 IEEE International Symposium on ”A World of Wireless, Mobile and Multimedia Networks” (WoWMoM); 14.-17. June, 2010; Montreal, QC, Canada. Piscataway, NJ: IEEE Computer Society 2010 S. 1 - 9


Zöbel, Dieter; Weyand, Christian

Generic Data Types for Planning and Control in Intermodal Freight Transshipment Applications

Changyun Wen; Danwei Wang; Eric Sung (Hrsg). Proceedings of the 11th International Conference on Control, Automation, Robotics, and Vision ICARCV 2010: 7.-10. December 2010; Singapore. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2010 S. 1991 - 1996


Hermes, Jan; Henrich, Niklas; Grosch, Thorsten et al.

Global Illumination using Parallel Global Ray-Bundles

Reinhard Koch;Andreas Kolb;Christof Rezk-Salama (Hrsg). Proceedings of the 15th International Workshop on Vision, Modeling and Visualization VMV 2010: Siegen, Germany; November 15.-17., 2010. Goslar: Eurographics Association 2010 S. 65 - 73


Kahm, Matthias; Hasenbrink, Guido; Lichtenberg-Fraté, Hella et al.

Grofit: fitting biological growth curves

Nature Precedings. London: Nature Publishing Group 2010


Kahm, Matthias; Hasenbrink, Guido; Lichtenberg-Fraté, Hella et al.

grofit: Fitting Biological Growth Curves with R

Journal of Statistical Software. Bd. 33. H. 7. Innsbruck: Foundation for Open Access Statistics 2010 S. 1 - 21