FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Jürjens, Jan; Yu, Yijun; Bauer, Andreas
Tools for Traceable Security VerificationSamson Abramsky; Erol Gelenbe; Vladimiro Sassone (Hrsg). Visions of Computer Science - BCS Research Conference: Proceedings of Visions of Computer Science BCS Research Conference; Imperial College, London, UK; 22–24 September 2008. Swindon: British Computer Society 2008 S. 367 - 378
Harbusch, Karin; Itsova, Gergana; Koch, Ulrich et al.
Toward accurate syntactic feedback in a writing lab for German speaking elementary schoolers: A generation-based approach2008
Kaune, Sebastian; Tyson, Gareth; Mauthe, Andreas et al.
Towards A Lightweight Incentive Scheme for Peer-to- Peer SystemsDarmstadt: Technische Universität Darmstadt, Fachbereich Elektrotechnik und Informationstechnik 2008 S. 1 - 19
Ratiu, Daniel; Feilkas, Martin; Deissenböck, Florian et al.
Towards a Repository of Common Programming Technologies KnowledgeInternational Workshop on Semantic Technologies in System Maintenance (STSM 2008). 2008 S. 1 - 24
Mondorf, Ansgar; Wimmer, Maria A.; Milani, Piero
Towards Interoperability in Public eProcurement: The Peppol Project and the Virtual Company DossierEnrico Ferro;H. Jochen Scholl;Maria A. Wimmer (Hrsg). Electronic Government: 7th International Conference EGOV 2008; Proceedings of ongoing Research, Project Contributions and Workshops ; Turin, Italy, 1-4 September, 2008. Linz: Tauner 2008 S. 223 - 232
Jürjens, Jan
Towards Verified Crypto-Protocol Implementations: The Java Secure Sockets ExtensionABZ 2008 VSRnet Workshop. 2008 S. 1 - 31
Yu, Yijun; Jürjens, Jan; Mylopoulos, John
Traceability for the Maintenance of Secure SoftwareFuqing Yang; Scott Tilley; Hong Mei; Kenny Wong (Hrsg). Proceedings of the 2008 IEEE International Conference on Software Maintenance ICSM 2008: September 28 - October 4, 2008 Beijing, China. Los Alamitos, CA: IEEE Computer Society 2008 S. 297 - 306
Lotzmann, Ulf
TRASS - A Framework for Agent-based Traffic Simulation2008
Vallet, David; Hopfgartner, Frank; Jose, Joemon M.
Use of Implicit Graph for Recommending Relevant Videos: A Simulated EvaluationMohand Boughanem; Catherine Berrut; Josiane Mothe; Chantal Soule-Dupuy (Hrsg). Advances in Information Retrieval: 31th European Conference on IR Research, ECIR 2009, Toulouse, France, April 6-9, 2009, Proceedings. Berlin: Springer 2008 S. 199 - 210
Scherer, Sabrina; Wimmer, Maria A.; Diedrich, Elisabeth
User requirements for legislative eParticipation applicationsJosef Makolm (Hrsg). Eastern European e-Gov Days 2008 - Tangible Results and New Perspectives: Conference Proceedings; Eastern European e-Gov days 2008 in Prague CZ and the Austrian eGovernment Konferenz 2008, Mautern an der Donau AT. Wien: Austrian Computer Society 2008 S. Keine Angaben