FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
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
Sifalakis, Manolis; Louca, Andreas; Bouabene, Ghazi et al.
Functional composition in future networksComputer Networks. Bd. 55. H. 4. Amsterdam: Elsevier 2011 S. 987 - 998
Bicking, Melanie; Wimmer, Maria A.
Future Internet for Collaborative Governance: Closing Gaps in ICT for governance and policy modellingHans Hellendoorn;Meng Chu Zhou (Hrsg). Proceeding of the International Conference on Networking, Sensing and Control ICNSC 2011; 11-13 April, 2011; Delft, Netherlands. Los Alamitos, CA: IEEE Computer Society 2011 S. 293 - 298
Schlich, Michaela
Gesund und Fit in Koblenz - Ernährungsbildung an Grundschulen im Raum KoblenzHaushalt & Bildung. Bd. 88. H. 2. Baltmannsweiler: Schneider Hohengehren 2011 S. 31 - 40
van der Beek, Kornelia; van der Beek, Gregor
Gesundheitsökonomik: EinführungMünchen: Oldenbourg 2011 200 S.