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.

9500 Publications


1998 | Conference Paper | LibreCat-ID: 7847
@inproceedings{Heckel_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Compositional Verification of Reactive Systems Specified by Graph Transformation}, volume={1382}, DOI={http://dx.doi.org/10.1007/BFb0053578}, booktitle={Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)}, publisher={Springer}, author={Heckel, Reiko}, year={1998}, pages={138–153}, collection={LNCS} }
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 3256
@inproceedings{Gehrke_Huhn_Rensink_Wehrheim_1998, series={{IFIP} Conference Proceedings}, title={An Algebraic Semantics for Message Sequence Chart Documents}, booktitle={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}, author={Gehrke, Thomas and Huhn, Michaela and Rensink, Arend and Wehrheim, Heike}, editor={Budkowski, Stanislaw and R. Cavalli, Ana and Najm, ElieEditors}, year={1998}, pages={3--18}, collection={{IFIP} Conference Proceedings} }
LibreCat
 

1998 | Journal Article | LibreCat-ID: 5606
@article{Friedrich_Kabst_Weber_Rodehuth_1998, title={Functional Flexibility: Merely Reacting or Acting Strategically}, volume={20}, number={5}, journal={Employee Relations.}, author={Friedrich, A and Kabst, R and Weber, W and Rodehuth, M}, year={1998}, pages={504–523} }
LibreCat
 

1998 | Working Paper | LibreCat-ID: 4829
@book{Pull_Schneider_1998, title={Beschäftigungs-und Lohndynamik in hochqualifizierten Unternehmen}, author={Pull, Kerstin and Schneider, Martin}, year={1998} }
LibreCat | Files available
 

1998 | Conference Paper | LibreCat-ID: 8282
@inproceedings{Heckel_Hoffmann_Knirsch_Kuske_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Simple Modules for Grace}, volume={1764}, booktitle={Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Heckel, Reiko and Hoffmann, Berthold and Knirsch, Peter and Kuske, Sabine}, year={1998}, pages={215–224}, collection={LNCS} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8287
@inproceedings{Gadducci_Heckel_Llabrés_1998, title={DPO Derivations via Disconnected Rules}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Gadducci, Fabio and Heckel, Reiko and Llabrés, Mercé}, year={1998} }
LibreCat
 

1998 | Journal Article | LibreCat-ID: 876
@article{Karl_1998, title={Bridging the gap between distributed shared memory and message passing}, DOI={10.1002/(SICI)1096-9128(199809/11)10:11/13<887::AID-CPE416>3.0.CO;2-0}, number={11–13}, journal={Concurrency - Practice and Experience}, author={Karl, Holger}, year={1998}, pages={887--900} }
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 8908
@inproceedings{Sextro_Popp_Wolter_1998, place={Honolulu, Hawaii, USA}, title={Three-Dimensional Vibration of Bladed Disk Assemblies with Friction Dampers}, volume={B}, booktitle={The 7th International Symposium on Transport Phenomena and Dynamics of Rotating Machinery, Proceedings of ISROMAC-7}, author={Sextro, Walter and Popp, Karl and Wolter, I}, year={1998}, pages={621–630} }
LibreCat
 

1998 | Book | LibreCat-ID: 3383
@book{Gries_1998, place={Wiesbaden}, title={Internationale Wettbewerbsfähigkeit - eine Fallstudie für Deutschland}, publisher={Gabler}, author={Gries, Thomas}, year={1998} }
LibreCat
 

1998 | Journal Article | LibreCat-ID: 10608
@article{Platzner_Rinner_1998, title={Design and Implementation of a Parallel Constraint Satisfaction Algorithm}, volume={5}, journal={International Journal of Computers & Their Applications}, publisher={ISCA}, author={Platzner, Marco and Rinner, Bernhard}, year={1998}, pages={106–116} }
LibreCat
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed