FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Beierle, Christoph; Finthammer, Marc; Kern-Isberner, Gabriele et al.
Automated Reasoning for Relational Probabilistic Knowledge RepresentationJürgen Giesl; Reiner Hähnle (Hrsg). Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Berlin: Springer 2010 S. 218 - 224
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
Louca, A.; Mauthe, Andreas; Hutchinson, David
Autonomic Network Management for Next Generation Networks2010 S. 1 - 6
Williams, Susan P.; Schubert, Petra
Benefits of Enterprise Systems UseRalph H. Sprague (Hrsg). Proceedings of the 43rd Annual Hawaii International Conference on System Sciences HICSS 2010: Koloa, Kauai, Hawaii; 5-8 January, 2010. Los Alamitos, CA: IEEE Computer Society 2010 S. 1 - 9
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
Rilling, Stefan; Wechselberger, Ulrich; Müller, Stefan
Bridging the Gap Between Didactical Requirements and Technological Challenges in Serious Game DesignAlexei Sourin; Olga Sourina (Hrsg). Proceedings of the 2010 International Conference on Cyberworlds CW 2010; Singapore; 20–22 October 2010. Los Alamitos, CA: IEEE Computer Society 2010 S. 126 - 133
Srebrny, Piotr; Plagemann, Thomas; Goebel, Vera et al.
CacheCast: Eliminating Redundant Link Traffic for Single Source Multiple Destination TransfersWojciech Cellary; Xiaodong Zhang; Franco Davoli; Tarek Abdelzaher (Hrsg). Proceedings of the 2010 International Conference on Distributed Computing Systems, ICDCS 2010, Genova, Italy, June 21-25, 2010. Los Alamitos, CA: IEEE Computer Society 2010 S. 209 - 220
Kschischo, Maik
Charge Balance matters: Lessons from modelling potassium homeostasis2010
Thimm, Matthias; Garcia, Alejandro J.
Classification and Strategical Issues of Argumentation Games on Structured Argumentation FrameworksWiebe van der Hoek; Gal A. Kaminka; Yves Lespérance; Michael Luck; Sandip Sen (Hrsg). Proceedings of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems AAMAS 2010: Toronto, Ontario, Canada; 10-14 May 2010; Volume 2. Red Hook, NY: Curran 2010 S. 1247 - 1254
Greve, Sönke; Grzegorzek, Marcin; Saathoff, Carsten et al.
Classification of Image Regions Using the Wavelet Standard Deviation DescriptorMaria Ganzha;Marcin Paprzycki (Hrsg). Proceedings of the International Multiconference on Computer Science and Information Technology IMCSIT: October 18–20, 2010. Wisła, Poland; Volume 5. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2010 S. 703 - 708