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.

9520 Publications


1998 | Conference Paper | LibreCat-ID: 7847
Heckel R. Compositional Verification of Reactive Systems Specified by Graph Transformation. In: Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal). Vol 1382. LNCS. Berlin/Heidelberg: Springer; 1998:138-153. doi:http://dx.doi.org/10.1007/BFb0053578
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 3256
Gehrke T, Huhn M, Rensink A, Wehrheim H. An Algebraic Semantics for Message Sequence Chart Documents. In: Budkowski S, R. Cavalli A, Najm E, 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. {IFIP} Conference Proceedings. ; 1998:3--18.
LibreCat
 

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

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

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

1998 | Conference Paper | LibreCat-ID: 8287
Gadducci F, Heckel R, Llabrés M. DPO Derivations via Disconnected Rules. 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
Karl H. Bridging the gap between distributed shared memory and message passing. Concurrency - Practice and Experience. 1998;(11-13):887--900. doi:10.1002/(SICI)1096-9128(199809/11)10:11/13<887::AID-CPE416>3.0.CO;2-0
LibreCat | DOI
 

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

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

1998 | Journal Article | LibreCat-ID: 10608
Platzner M, Rinner B. Design and Implementation of a Parallel Constraint Satisfaction Algorithm. International Journal of Computers & Their Applications. 1998;5:106-116.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed