Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

7080 Publications


1998 | Conference Paper | LibreCat-ID: 7847
Compositional Verification of Reactive Systems Specified by Graph Transformation
R. Heckel, in: Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1998, pp. 138–153.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 3256
An Algebraic Semantics for Message Sequence Chart Documents
T. Gehrke, M. Huhn, A. Rensink, H. Wehrheim, in: S. Budkowski, A. R. Cavalli, E. Najm (Eds.), Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {XI} / {PSTV} XVIII’98, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XI)} and Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6 November, 1998, Paris, France, 1998, pp. 3--18.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 5606
Functional Flexibility: Merely Reacting or Acting Strategically
A. Friedrich, R. Kabst, W. Weber, M. Rodehuth, Employee Relations. 20 (1998) 504–523.
LibreCat
 

1998 | Working Paper | LibreCat-ID: 4829
Beschäftigungs-und Lohndynamik in hochqualifizierten Unternehmen
K. Pull, M. Schneider, Beschäftigungs-und Lohndynamik in hochqualifizierten Unternehmen, 1998.
LibreCat | Files available
 

1998 | Conference Paper | LibreCat-ID: 8282
Simple Modules for Grace
R. Heckel, B. Hoffmann, P. Knirsch, S. Kuske, in: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Springer, Berlin/Heidelberg, 1998, pp. 215–224.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8287
DPO Derivations via Disconnected Rules
F. Gadducci, R. Heckel, M. Llabrés, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), 1998.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 876
Bridging the gap between distributed shared memory and message passing
H. Karl, Concurrency - Practice and Experience (1998) 887--900.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 8908
Three-Dimensional Vibration of Bladed Disk Assemblies with Friction Dampers
W. Sextro, K. Popp, I. Wolter, in: The 7th International Symposium on Transport Phenomena and Dynamics of Rotating Machinery, Proceedings of ISROMAC-7, Honolulu, Hawaii, USA, 1998, pp. 621–630.
LibreCat
 

1998 | Book | LibreCat-ID: 3383
Internationale Wettbewerbsfähigkeit - eine Fallstudie für Deutschland
T. Gries, Internationale Wettbewerbsfähigkeit - Eine Fallstudie Für Deutschland, Gabler, Wiesbaden, 1998.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 3601
Welche Kompetenzen brauchen betriebliche Weiterbildner in Zukunft
C. Harteis, M. Prenzel, Zeitschrift Für Pädagogik, H (1998) 583--601.
LibreCat
 

Search

Filter Publications

Display / Sort

Export / Embed