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 (Lecture Notes in Computer Science)

Wimmel, Guido; Jürjens, Jan

ICFEM. 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

Jürjens, Jan

Jean-Marc Jézéquel;Heinrich Hussmann;Stephen Cook (Hrsg). ≪UML≫ 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference Dresden, Germany, September 30 – October 4, 2002 Proceedings. Berlin: Springer 2002 S. 412 - 425 (Lecture Notes in Computer Science)

Jürjens, Jan

UML. 2002 S. 412 - 425

Jürjens, Jan

SAC. 2002 S. 1026 - 1030

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. 1026 - 1030

Cengarle, Maria Victoria; Fernandez, Eduardo B.; Jürjens, Jan et al.

München: Technische Universität München, Institut für Informatik 2002 (TU München Technical Report TUM-I0208)

Jürjens, Jan

Antti Valmari;Alex Yakovlev (Hrsg). Proceedings of the Second International Conference on Application of Concurrency to System Design ACSD 2001: 25 - 29 June 2001; Newcastle upon Tyne, UK. Los Alamitos, CA: IEEE Computer Society 2001 S. 53 - 64

Jürjens, Jan

ACSD. 2001 S. 53

Jürjens, Jan

Vladimir I. Gorodetski;Victor A. Skormin;Leonard J. Popyack (Hrsg). Information Assurance in Computer Networks: Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21–23, 2001 Proceedings. Berlin: Springer 2001 S. 28 - 38 (Lecture Notes in Computer Science)

Jürjens, Jan

MMM-ACNS. 2001 S. 28 - 38

Jürjens, Jan

Dirk Fox;Marit Köhntopp;Andreas Pfitzmann (Hrsg). Verlässliche IT-Systeme 2001: Sicherheit in komplexen IT-Infrastrukturen. Wiesbaden: Vieweg + Teubner 2001 S. 151 - 161 (DuD-Fachbeiträge)

Jürjens, Jan

Security Protocols Workshop. 2001 S. 102 - 106

Jürjens, Jan

Bruce Christianson;James A. Malcolm;Bruno Crispo;Michael Roe (Hrsg). Security Protocols: 9th International Workshop Cambridge, UK, April 25–27, 2001 Revised Papers. Berlin: Springer 2001 S. 102 - 106 (Lecture Notes in Computer Science)

Jürjens, Jan

Security Protocols Workshop. 2001 S. 95 - 101

Jürjens, Jan

Workshop on Automated Verification of Critical Systems (AVoCS 2001). Oxford. 2001 S. 1 - 4

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 (Lecture Notes in Computer Science)

Abadi, Martín; Jürjens, Jan

TACS. 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

Jürjens, Jan; Wimmel, Guido

ASE. 2001 S. 408 - 411

Jürjens, Jan

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

Jürjens, Jan

SEC. 2001 S. 93 - 108

Jürjens, Jan

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