FB 4: Informatik
Universität Koblenz
- 0261/287-2501
- 0261/287-2502
Kempen, Gerard; Harbusch, Karin
The Relationship between Grammaticality Ratings and Corpus Frequencies: A Case Study into Word Order Variability in the Midfield of German ClausesStephan Kepser; Marga Reis (Hrsg). Linguistic Evidence: Empirical, Theoretical, and Computational Perspectives. Berlin: Mouton De Gruyter 2005 S. 329 - 349
Birck, Hannes; Heckmann, Oliver; Mauthe, Andreas et al.
The Two-Step P2P Simulation Approach: A Framework for Message- and Packet-Level SimulationJournal Communications Software and Systems. Bd. 1. H. 1. Split: Croatian Communications and Information Society 2005 S. 4 - 12
Oberle, Daniel; Staab, Steffen; Volz, Raphael
Three Dimensions of Knowledge Representation in WonderWebKünstliche Intelligenz. Bd. 19. H. 1. Bremen: Böttcher IT 2005 S. 31
Liebau, Nicolas; Darlagiannis, Vasilios; Mauthe, Andreas et al.
Token-Based Accounting for P2P-SystemsPaul Müller; Reinhard Gotzhein; Jens B. Schmitt (Hrsg). Kommunikation in Verteilten Systemen KiVS 2005: 14. Fachtagung; Kaiserslautern, 28. Februar – 3. März 2005. Berlin: Springer 2005 S. 16 - 28
Jürjens, Jan
Tool-support for Model-Driven Development of Security- Critical Systems with UMLSami Beydeda;Matthias Book;Volker Gruhn (Hrsg). Model-Driven Software Development. Berlin: Springer 2005 S. 35 - 55
Jürjens, Jan; Shabalin, Pasha
Tools for Critical Systems Development with UML (Tool Demo)Nuno Jardim Nunes; Bran Selic; Alberto Rodrigues da Silva; Toval Ambrosio (Hrsg). UML Modeling Languages and Applications: 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers. Berlin: Springer 2005 S. 250 - 253
Jürjens, Jan; Shabalin, Pasha
Tools for Secure Systems Development with UML: Security Analysis with ATPsMaura Cerioli (Hrsg). Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Berlin: Springer 2005 S. 305 - 309
Kschischo, Maik; Lässig, Michael; Yu, Yi-Kuo
Toward an accurate statistics of gapped alignmentsBulletin of mathematical biology. Bd. 67. H. 1. New York, NY: Elsevier 2005 S. 169 - 192
Jürjens, Jan
Towards using game semantics for crypto protocol verification: Lorenzen gamesDan R. Ghica; Guy McCusker (Hrsg). 1st Workshop on Games for Logic and Programming Languages GaLoP 2005 part of ETAPS 2005, Edinburgh, UK, 2-3 April 2005. Edinburgh: University of Edinburgh 2005 S. 241 - 257
Jürjens, Jan
Understanding Security Goals Provided by Crypto- Protocol ImplementationsHarry M. Sneed; Tibor Gyimothy; Vaclav Rajlich (Hrsg). Proceedings of the 21st IEEE International Conference on Software Maintenance ICSM 2005: 26-29 September, 2005; Budapest, Hungary. Los Alamitos, CA: IEEE Computer Society 2005 S. 643 - 646