Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Institut für Informatik

FB 4: Informatik / Universität Koblenz

Universitätsstraße 1, 56070 Koblenz
  • 0261/287 - 2720
  • 0261/287 - 2721
Publikationen
Ergebnisse pro Seite:  10

Baumgartner, P.; Blohm, A.; Gross - Hardt, M.

Omdoc in use -- experiences and issues in mathematical knowledge management

2001


Jürjens, Jan

On a problem of Gabriel and Ulmer

Journal of Pure and Applied Algebra. Bd. 158. H. 2-3. Amsterdam: Elsevier 2001 S. 183 - 196


Steigner, Christoph; Steigner, Ch.; Wilke, J.

Performance Tuning of Distributed Applications with CoSMoS

Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21). Bd. Proceedings of the 21st International Conference on Distributed Computing Systems (ICDCS-21). Phoenix, Arizona, USA. 2001


Ebert, Jürgen; Lange, C.

Program Slicing and Slicing Book Technology. A Comparison

2001 S. 20


Sofronie-Stokkermans, Viorica

Representation Theorems and the Semantics of (Semi)Lattice-Based Logics

Beata Konikowska; Bogusław Martyniak; Ewa Gąsiorowska-Wirpszo; Andrzej Szałas (Hrsg). Proceedings of the 31st IEEE International Symposium on Muliple-Valued Logic ISMVL 2001; 22-24 May 2001; Warsaw, Poland. Los Alamitos, CA: IEEE Computer Society 2001 S. 125 - 134


Jürjens, Jan

Secrecy-preserving Refinement

José Nuno Oliveira; Pamela Zave (Hrsg). FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings. Berlin: Springer 2001 S. 135 - 152


Jürjens, Jan; Wimmel, Guido

Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications

Beat Schmid; Katarina Stanoevska-Slabeva; Volker Tschammer (Hrsg). Towards the E-Society: E-Commerce, E-Business, and E-Government The First IFIP Conference on E-Commerce, E-Business, E-Government I3E 2001: October 3-5, 2001; Zürich, Switzerland. New York: Kluwer Academic Publishers 2001 S. 489 - 505


Jürjens, Jan; Wimmel, Guido

Specification-Based Testing of Firewalls

Dines Bjørner; Manfred Broy; Alexandre V. Zamulin (Hrsg). Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers. Berlin: Springer 2001 S. 308 - 316


Werr, U.; Wehling, C.; Ebert, J. et al.

TECHNOLOGIE-FORUM - Wissensmanagement -- interaktive keramische Fehlerdatenbank FGK-IST-CeraNet(R)

Keramische Zeitschrift. Bd. 53. H. 9. Düsseldorf: DVS-Verl. 2001 S. 802 - 807


Ebert, Jürgen; Riediger, V.

The GUPRO C Parser

2001 S. 8