Jürjens, Jan

Gary B. Lamont; Hisham Haddad; George Papadopoulos; Brajendra Panda (Hrsg). Proceedings of the ACM Symposium on Applied Computing SAC 2002: Madrid, Spain; March 11 - 14, 2002. New York, NY: ACM Association for Computing Machinery 2002 S. 1009 - 1013

Jürjens, Jan

Bart Jacobs; Arend Rensink (Hrsg). Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems FMOODS 2002; March 20–22, 2002; Enschede, The Netherlands. New York: Kluwer Academic Publishers 2002 S. 29 - 43

Jürjens, Jan

Synthese. Bd. 133. H. 1-2. Dordrecht: Springer 2002 S. 131 - 158

Jürjens, Jan

Patrick Horster (Hrsg). Enterprise Security: Grundlagen, Strategien, Anwendungen, Realisierungen. Höhenkirchen: IT-Verlag für Informationstechnik 2002 S. 120 - 131

Jürjens, Jan

Oxford: University of Oxford, Mathematical and Physical Sciences Division 2002

Jürjens, Jan

Bart De Decker; Frank Piessens; Jan Smits; Els Van Herreweghen (Hrsg). Advances in Network and Distributed Systems Security: IFIP TC11 WG11.4; First Annual Working Conference on Network Security; November 26-27, 2001, Leuven, Belgium. New York: Kluwer Academic Publishers 2002 S. 107 - 124

Jürjens, Jan

CORAS Public Workshop. Regensburg. 2002

Wimmel, Guido; Jürjens, Jan

Chris George; Huaikou Miao (Hrsg). Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21. - 25., 2002 Proceedings. Berlin: Springer 2002 S. 471 - 482

Wimmel, Guido; Popp, Gerhard; Jürjens, Jan

7th European Conference on Pattern Languages of Programs (EuroPLoP 2002). Kloster Irsee. 2002

Jürjens, Jan

6th Annual Workshop on Distributed Objects and Components Security (DOCsec 2002). Baltimore, Maryland. 2002