FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Williams, Susan P.
Enterprise 2.0 and Collaborative TechnologiesKoblenz: Universität Koblenz-Landau 2011 S. 1 - 12
Beierle, Christoph; Finthammer, Marc; Kern-Isberner, Gabriele et al.
Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge RepresentationJoscha Bach; Stefan Edelkamp (Hrsg). KI 2011 Advances in Artificial Intelligence: 34th Annual German Conference on AI, Berlin, Germany, October 4 -7,2011, Proceedings. Berlin: Springer 2011 S. 63 - 74
Scherer, Sabrina; Ventzke, Stefan; Wimmer, Maria A.
Evaluation of Open Source Content Management Systems for E-participationMarijn Janssen; Ann Macintosh; Hans Jochen Scholl; Efthimios Tambouris; Maria A. Wimmer; Hans de Bruijn; Yao-Hua Tan (Hrsg). Electronic Government and Electronic Participation: Joint Proceedings of Ongoing Research and Projects of IFIP EGOV and ePart 2011; Delft, The Netherlands; August 29 – September 1, 2011. Linz: Trauner 2011 S. 408 - 415 (Informatik)
Schaarschmidt, Mario; Bertram, Matthias; von Kortzfleisch, Harald F. O.
Exposing Differences of Governance Approaches in Single and Multi Vendor Open Source Software DevelopmentMarkus Nüttgens; Andreas Gadatsch; Karlheinz Kautz; Ingrid Schirmer; Nadine Blinn (Hrsg). Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of IT: IFIP WG 8.6 International Working Conference, Hamburg, Germany, September 22-24, 2011. Proceedings. Berlin: Springer 2011 S. 16 - 28
Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Extracting and verifying cryptographic models from C protocol code by symbolic executionYan Chen; George Danezis; Vitaly Shmatikov (Hrsg). Proceedings of the 18th ACM Conference on Computer and Communications Security CCS '11: October 17. - 21., 2011; Chicago, Illinois, USA. New York, NY: ACM Association for Computing Machinery 2011 S. 331 - 340
Dietrich, Hanns-Alexander; Steinhorst, Matthias; Becker, Jörg et al.
Fast Pattern Matching in Conceptual Models - Evaluating and Extending a Generic ApproachMarkus Nüttgens; Oliver Thomas; Barbara Weber (Hrsg). Enterprise Modelling and Information Systems Architectures EMISA 2011: Proceedings of the 4th International Workshop on Enterprise Modelling and Information Systems Architectures; Hamburg, Germany, September 22 - 23, 2011. Bonn: Gesellschaft für Informatik 2011 S. 79 - 92
Görlitz, Olaf; Staab, Steffen
Federated Data Management and Query Optimization for Linked Open DataAthena Vakali; Lakhmi C. Jain (Hrsg). New Directions in Web Data Management 1. Berlin: Springer 2011 S. 109 - 137
Furbach, Ulrich
First-Order Tableaux in Applications (Extended Abstract)Kai Brünnler; George Metclfe (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. Berlin: Springer 2011 S. 17 - 19
Becker, Jörg; Delfmann, Patrick; Knackstedt, Ralf et al.
Fostering Comparability in Research Dissemination: A Research Portal-based ApproachAbraham Bernstein; Gerhard Schwabe (Hrsg). Proceedings of the 10th International Conference on Wirtschaftsinformatik WI 2011; Volume 1: 16-18 February 2011; Zurich, Switzerland. Zürich: Lulu 2011 S. 365 - 374
Tinelli, Cesare; Sofronie-Stokkermans, Viorica
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. ProceedingsBerlin: Springer 2011