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.

14238 Publications


1998 | Conference Paper | LibreCat-ID: 8285
@inproceedings{Ehrig_Engels_Heckel_Taentzer_1998, title={Classification and Comparison of Modularity Concepts for Graph Transformation Systems}, number={tr-ri-98-201}, booktitle={Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)}, publisher={University of Paderborn}, author={Ehrig, Hartmut and Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele}, year={1998}, pages={122–131} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18246
@article{Peckhaus_1998, title={Cobos, J., “A Mathematician out of his Time: Ventura Reyes Prosper”, Extr. Math. 11, Nr. 2 (1996), 306–314}, number={Zbl. 883.01027}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 883.01027]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Chapter | LibreCat-ID: 16562
@inbook{Meyer auf der Heide_Martinez_1998, place={Berlin, Heidelberg}, title={Communication-efficient parallel multiway and approximate minimum cut computation}, DOI={10.1007/bfb0054332}, booktitle={LATIN’98: Theoretical Informatics}, author={Meyer auf der Heide, Friedhelm and Martinez, Gabriel Terán}, year={1998} }
LibreCat | DOI
 

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 Abstract | LibreCat-ID: 6398
@inproceedings{Weber_Festing_Kabst_1998, title={Conference Proceedings: Sixth Conference on International Human Resource Management, Paderborn 1998.}, author={Weber, W and Festing, M and Kabst, Rüdiger}, year={1998} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8289
@inproceedings{Ehrig_Heckel_Llabrés_Orejas_1998, title={Construction and Characterisation of Double-Pullback Graph Transitions}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18275
@article{Peckhaus_1998, title={Crick, Francis, “Georg Kreisel: A Few Personal Recollections”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 25–32}, number={Zbl. 894.01010}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01010]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18292
@article{Peckhaus_1998, title={Crossley, John N., “Kreisel’s Effectiveness”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 33–41}, number={Zbl. 894.01011}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01011]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18219
@article{Peckhaus_1998, title={Deakin, Michael A.B., “Boole’s Mathematical Blindness”, Math. Gaz. 80 (1996), 511–518}, number={Zbl. 877.01019}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 877.01019]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18213
@article{Peckhaus_1998, title={Delzell, Charles N., “Kreisel’s Unwinding of Artin’s Proof”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 113–246}, number={Zbl. 876.12002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 876.12002]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Journal Article | LibreCat-ID: 1721
@article{Krimphove_1998, title={Der Einsatz der Ökonomischen Analyse des Rechts als notwendiges Instrument der Europäischen Rechtsvergleichung  }, number={39. Jg, Heft 5}, journal={Zeitschrift für Rechtsvergleichung -ZfRV}, publisher={MANZsche Verlags- und Universitätsbuchhandlung GmbH}, author={Krimphove, Dieter}, year={1998}, pages={185–205} }
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
 

1998 | Conference Paper | LibreCat-ID: 8284
@inproceedings{Ehrig_Heckel_Llabrés_Orejas_Padberg_Rozenberg_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information}, volume={1764}, DOI={http://dx.doi.org/10.1007/b75045}, booktitle={Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando and Padberg, Julia and Rozenberg, Grzegorz}, year={1998}, pages={85–102}, collection={LNCS} }
LibreCat | DOI
 

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: 21784
@article{Domik_Vollbracht_1998, title={Dreidimensionale Welten auf flachen Bildschirmen}, journal={Zeitschrift Forschungsforum Paderborn}, author={Domik, Gitta and Vollbracht, S.}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18237
@article{Peckhaus_1998, title={Dummett, Michael, “Introductory Remarks”, in: Czermak (Hg.) 1993 [9.4], 69–76}, number={Zbl. 878.03004}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 878.03004]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book Review | LibreCat-ID: 18293
@article{Peckhaus_1998, title={Dyson, Freeman, “Addendum: ‘Thoughts on the Occasion of Georg Kreisel’s 70th Birthday’”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 75}, number={Zbl. 894.01012}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 894.01012]}, author={Peckhaus, Volker}, year={1998} }
LibreCat
 

1998 | Book | LibreCat-ID: 3382
@book{Gries_Suhl_1998, title={Economic Aspects of Digital Information Technology}, publisher={DUV}, author={Gries, Thomas and Suhl, Leena}, year={1998} }
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 2169
@inproceedings{Adler_Scheideler_1998, title={Efficient Communication Strategies for Ad-Hoc Wireless Networks (Extended Abstract)}, booktitle={SPAA}, author={Adler, Micah and Scheideler, Christian}, year={1998}, pages={259--268} }
LibreCat | Files available
 

1998 | Misc | LibreCat-ID: 13091
@book{N. Yarmolik_Hellebrand_Wunderlich_1998, place={5th IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA}, title={Efficient Consistency Checking for Embedded Memories}, author={N. Yarmolik, Vyacheslav and Hellebrand, Sybille and Wunderlich, Hans-Joachim}, year={1998} }
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: BibTeX

Export / Embed