FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Damm, Werner; Ihlemann, Carsten; Sofronie-Stokkermans, Viorica
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid AutomataMathematics in Computer Science. Bd. 5. H. 4. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2011 S. 469 - 497
Cerqueira, Eduardo; Zeadally, Sherali; Leszczuk, Mikolaj et al.
Recent advances in multimedia networkingMultimedia Tools and Applications. Bd. 54. H. 3. Dordrecht: Springer 2011 S. 635 - 647
Bärz, Jakob; Hansen, Tina; Müller, Stefan
Reconstruction of Spectra Using Empirical Basis FunctionsGeorge Bebis;Richard Boyle;Bahram Parvin;Darko Koracin;Ronald Chung;Riad Hammoud;Muhammad Hussain;Tan Kar-Han;Roger Crawfis;Daniel Thalmann;David Kao;Lisa Avila (Hrsg). Advances in Visual Computing: 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010. Proceedings, Part I. Berlin: Springer 2011 S. 582 - 591
Scherer, Sabrina; Wimmer, Maria A.
Reference Framework for E-participation ProjectsEfthimios Tambouris;Ann Macintosh;Hans de Bruijn (Hrsg). Electronic Participation: Third IFIP WG 8.5 International Conference, ePart 2011, Delft, The Netherlands, August 29 – September 1, 2011 Proceedings. Berlin: Springer 2011 S. 145 - 156 (LNCS)
Von Kortzfleisch, Harald F. O.; Valcárcel, Sylvia; Lindermann, Nadine
Regionale KMU Netzwerke, Web 2.0-Anwendungen und kollaborative Innovationen: Arbeitshypothesen eines ForschungsprojektesHarald F. O. von Kortzfleisch; Rüdiger H. Jung; Markus Nüttgens (Hrsg). Web 2.0 für KMU-Netzwerke: Ein gestaltungsorientierter Ansatz zur Steigerung der Innovation und Selbstorganisation von Unternehmensverbünden. Siegburg: Josef Eul 2011 S. 99 - 112
Thimm, Matthias; Kern-Isberner, Gabriele; Fisseler, Jens
Relational Probabilistic Conditional Reasoning at Maximum EntropyWeiru Liu (Hrsg). Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 11th European Conference, ECSQARU 2011, Belfast, UK, June 29-July 1, 2011, Proceedings. Berlin: Springer 2011 S. 447 - 458
Roylance, Rebecca; Endesfelder, David; Gorman, Patricia et al.
Relationship of extreme chromosomal instability with superior long-term survival in a retrospective analysis of ER-negative primary breast cancerCancer epidemiology biomarkers & prevention. Bd. 20. H. 10. Philadelphia, PA: AACR 2011 S. 2183 - 2194
Thierfelder, Susanne; Seib, Viktor; Lang, Dagmar et al.
Robbie: A Message-based Robot Architecture for Autonomous Mobile SystemsHans-Ulrich Heiß;Peter Pepper;Holger Schlingloff;Jörg Schneider (Hrsg). INFORMATIK 2011 - Informatik schafft Communities, Abstract Proceedings: 41. Jahrestagung der Gesellschaft für Informatik e.V. (GI); October 4. - 7., 2011; Berlin. Bonn: Gesellschaft für Informatik 2011 S. 331 (Lecture Notes in Informatics (LNI))
Thierfelder, Susanne; Gossow, David; Navarro Luzón, Carmen et al.
RoboCup 2011 - homer@UniKoblenz (Germany)Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 2011 S. 1 - 8
Lang, Dagmar; Häselich, Marcel; Prinzen, Martin et al.
RoboCupRescue 2011 - Robot League Team resko@UniKoblenz (Germany)Koblenz: Universität Koblenz-Landau 2011 S. 1 - 11