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.

13548 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 Abstract | LibreCat-ID: 6398
Weber W, Festing M, Kabst R. Conference Proceedings: Sixth Conference on International Human Resource Management, Paderborn 1998. In: ; 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8289
Ehrig H, Heckel R, Llabrés M, Orejas F. Construction and Characterisation of Double-Pullback Graph Transitions. In: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany). ; 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18275
Peckhaus V. Crick, Francis, “Georg Kreisel: A Few Personal Recollections”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 25–32. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 89401010]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18292
Peckhaus V. Crossley, John N., “Kreisel’s Effectiveness”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 33–41. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 89401011]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18219
Peckhaus V. Deakin, Michael A.B., “Boole’s Mathematical Blindness”, Math. Gaz. 80 (1996), 511–518. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 87701019]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18213
Peckhaus V. Delzell, Charles N., “Kreisel’s Unwinding of Artin’s Proof”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 113–246. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 87612002]. 1998.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 1721
Krimphove D. Der Einsatz der Ökonomischen Analyse des Rechts als notwendiges Instrument der Europäischen Rechtsvergleichung  . Zeitschrift für Rechtsvergleichung -ZfRV. 1998;(39. Jg, Heft 5):185-205.
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
 

1998 | Conference Paper | LibreCat-ID: 8284
Ehrig H, Heckel R, Llabrés M, Orejas F, Padberg J, Rozenberg G. Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information. In: Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany). Vol 1764. LNCS. Berlin/Heidelberg: Springer; 1998:85-102. doi:http://dx.doi.org/10.1007/b75045
LibreCat | DOI
 

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 | Conference Paper | LibreCat-ID: 16890
Domik-Kienegger G, Vollbracht S. Dreidimensionale Welten auf flachen Bildschirmen. In: Zeitschrift Forschungsforum Paderborn . ; 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18237
Peckhaus V. Dummett, Michael, “Introductory Remarks”, in: Czermak (Hg.) 1993 [9.4], 69–76. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 87803004]. 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18293
Peckhaus V. Dyson, Freeman, “Addendum: ‘Thoughts on the Occasion of Georg Kreisel’s 70th Birthday’”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 75. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 89401012]. 1998.
LibreCat
 

1998 | Book | LibreCat-ID: 3382
Gries T, Suhl L. Economic Aspects of Digital Information Technology. DUV; 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 2169
Adler M, Scheideler C. Efficient Communication Strategies for Ad-Hoc Wireless Networks (Extended Abstract). In: SPAA. ; 1998:259--268.
LibreCat | Files available
 

1998 | Misc | LibreCat-ID: 13091
N. Yarmolik V, Hellebrand S, Wunderlich H-J. Efficient Consistency Checking for Embedded Memories. 5th IEEE International Test Synthesis Workshop, Santa Barbara, CA, USA; 1998.
LibreCat
 

1998 | Misc | LibreCat-ID: 13092
N. Yarmolik V, Hellebrand S, Wunderlich H-J. Efficient Consistency Checking for Embedded Memories. 10th GI/ITG/GMM/IEEE Workshop; 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7843
Depke R, Engels G, Mehner K, Sauer S, Wagner A. Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen. In: Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany). Vol 18. GI; 1998:12-19.
LibreCat
 

1998 | Report | LibreCat-ID: 8202
Engels G, Kolmschlag S. Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken. University of Paderborn, C-LAB; 1998.
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: AMA

Export / Embed