Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Ebert, Jürgen; Riediger, V.
The GUPRO C Preprocessor2001 S. 21
Jürjens, Jan
Towards Development of Secure Systems Using UMLsecHeinrich Hussmann (Hrsg). Fundamental Approaches to Software Engineering: 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings. Berlin: Springer 2001 S. 187 - 200
Jürjens, Jan
Transformations for Introducing Patterns - A Secure Systems Case StudyWorkshop on Transformations in UML (WTUML, ETAPS 2001 Satellite Event). Genova. 2001 S. 1 - 5
Frey, Hannes
Verteilter Datenabgleich in Spontanen NetzenTrier: Universität Trier, Fachbereich IV Informatik 2001
Jürjens, Jan
Bridging the gap: Formal vs. Complexity-Theoretical Reasoning about CryptographyDagstuhl Seminar Reports. Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2000 S. 10
Ganzinger, Harald; Sofronie-Stokkermans, Viorica
Chaining Techniques for Automated Theorem Proving in Many-Valued LogicsMarek Perkowski (Hrsg). Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic ISMVL 2000; May 23-25, 2000; Portland, Oregon, USA. Los Alamitos, CA: IEEE Computer Society 2000 S. 337 - 344
Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics IStudia Logica. Bd. 64. H. 1. Dordrecht: Springer 2000 S. 93 - 132
Sofronie-Stokkermans, Viorica
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics IIStudia Logica. Bd. 64. H. 2. Dordrecht: Springer 2000 S. 151 - 172
Kschischo, Maik; Lässig, Michael
Finite-temperature Sequence AlignmentRuss B. Altman;A. Keith Dunker;Lawrence Hunter;Teri E. Klein (Hrsg). Pacific Symposium on Biocomputing PSB 2000 On-Line Proceedings. Honolulu, Hawaii, USA 4-9 January 2000. Singapore: World Scientific Publishing 2000 S. 621 - 632
Steigner, Christoph; Steigner, Ch.; Wilke, J. et al.
Integrated Performance Monitoring of Client/Server SoftwareProceedings of the 1st IEEE European Conference on Universal Multiservice Networks (ECUMN´2000). Bd. Proceedings of the 1st IEEE European Conference on Universal Multiservice Networks (ECUMN´2000). Colmar, France. 2000