FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Harbusch, Karin; Itsova, Gergana; Koch, Ulrich et al.
The Sentence Fairy: A natural-language generation system to support children's essay writingComputer Assisted Language Learning. Bd. 21. H. 4. London: Routledge 2008 S. 339 - 352
Tyson, Gareth; Grace, Paul; Mauthe, Andreas et al.
The survival of the fittest: an evolutionary approach to deploying adaptive functionality in peer-to-peer systemsFrançois Taïani; Renato Cerqueira (Hrsg). Proceedings of the 7th Workshop on Reflective and Adaptive Middleware ARM 2008 held at the ACM/IFIP/USENIX International Middleware Conference: December 1-5, 2008 Leuven, Belgium. New York, NY: ACM Association for Computing Machinery 2008 S. 23 - 28
Schneider, Christian; Scherer, Sabrina; Wimmer, Maria A.
The Virtual Resource Centre for eParticipation: Handling the vast Amount of dataEnrico 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. 257 - 264
Yu, Yijun; Jürjens, Jan; Schreck, Jörg
Tools for Traceability in Secure Software DevelopmentPaola Inverardi; Andrew Ireland; Willem Visser (Hrsg). Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering ASE 2008: 15-19 September, 2008; L’Aquila , Italy. Piscataway, NJ: IEEE Institute of Electrical and Electronics Engineers 2008 S. 503 - 504
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