Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

FB 4: Informatik

Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287-2501
  • 0261/287-2502
Publikationen
PDF | RTF
Ergebnisse pro Seite:  10

Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan

Extracting and verifying cryptographic models from C protocol code by symbolic execution

Yan 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 Approach

Markus 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 Data

Athena 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 Approach

Abraham 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



Sifalakis, Manolis; Louca, Andreas; Bouabene, Ghazi et al.

Functional composition in future networks

Computer 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 modelling

Hans 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 Koblenz

Haushalt & Bildung. Bd. 88. H. 2. Baltmannsweiler: Schneider Hohengehren 2011 S. 31 - 40


van der Beek, Kornelia; van der Beek, Gregor

Gesundheitsökonomik: Einführung

München: Oldenbourg 2011 200 S.