Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Hirsch, Martin; Küster, J.-C.; Jürjens, Jan
Werkzeuggestützte Qualitätssicherung von Sicherheits- und Compliance-Anforderungen an den Einsatz von Cloud-Computing2011
Autenrieth, Marcus; Frey, Hannes; Groll, R. et al.
Wireless Sensor Actor Nodes for the Building Automation2011
Kschischo, Maik
A gentle introduction to the thermodynamics of biochemical stoichiometric networks in steady stateThe European Physical Journal Special Topics. Bd. 187. Berlin: Springer 2010 S. 255 - 274
Loose, Nico; Frey, Hannes
Accuracy over energy metrics for evaluating sensor network MAC protocolsChristian Becker; Marco Conti (Hrsg). Proceeding of the 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops); 29. March-2. April, 2010; Mannheim, Germany. Piscataway, NJ: IEEE Computer Society 2010 S. 74 - 80
Furbach, Ulrich; Glöckner, Ingo; Pelzer, Björn
An application of automated reasoning in natural language question answeringAI Communications. Bd. 23. H. 2-3. Amsterdam: IOS Press 2010 S. 241 - 265
Zöbel, Dieter; Weyand, Christian
An Integrated Software Concept for Autonomous Driving in the Context of Intermodal Freight TrafficMichael Bauer; Jaime Lloret Mauri; Oana Dini (Hrsg). Proceedings of the Sixth International Conference on Autonomic and Autonomous Systems ICAS 2010: 7-13 March 2010; Cancun, Mexico. Los Alamitos, CA: IEEE Computer Society 2010 S. 125 - 130
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex TopologiesDominique Méry; Stephan Merz (Hrsg). Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Berlin: Springer 2010 S. 152 - 167
Frey, Hannes
Best case energy analysis of localized euclidean minimum spanning tree based multicasting in ad hoc and sensor networksViolet R. Syrotiuk; Fatih Alag; Brahim Bensaou; Özgür B. Akan (Hrsg). MSWIM'10: Proceedings of the 13th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems; Bodrum, Turkey; October 17–21, 2010. New York, NY: ACM Association for Computing Machinery 2010 S. 195 - 204
Kschischo, Maik
Charge Balance matters: Lessons from modelling potassium homeostasis2010
Beckers, Kristian; Hirsch, Martin; Jürjens, Jan
Compliance in Clouds: A cloud computing security perspectiveGI SECMGT-Workshop. Frankfurt (Germany). 2010 S. 1 - 26