Abadi, Martín; Jürjens, Jan

Naoki Kobayashi; Benjamin C. Pierce (Hrsg). Theoretical Aspects of Computer Software: 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings. Berlin: Springer 2001 S. 82 - 94

Wimmel, Guido; Jürjens, Jan

Debra Richardson; Martin S. Feather; Michael Goedicke (Hrsg). Proceedings of the16th Annual International Conference on Automated Software Engineering ASE 2001: 26-29 November 2001; Loew’s Coronado Bay Resort, Coronado Island, San Diego, California. Los Alamitos, CA: IEEE Computer Society 2001 S. 408 - 411

Ebert, Jürgen; Kamp, M.; Kullbach, B.

2001 S. 35

Baumgartner, P.

http://www.uni-koblenz.de/~peter/KMS-deliverable.pdf. 2001

Jürjens, Jan

Michel Dupuy; Pierre Paradinas (Hrsg). Trusted Information: The New Decade Challenge. Boston: Springer 2001 S. 93 - 107

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

2001

Jürjens, Jan

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

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

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.

2001 S. 20

Sofronie-Stokkermans, Viorica

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