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.

13308 Publications


1998 | Conference Paper | LibreCat-ID: 7847
Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by Graph Transformation.” Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), vol. 1382, Springer, 1998, pp. 138–53, doi:http://dx.doi.org/10.1007/BFb0053578.
LibreCat | DOI
 

1998 | Conference Abstract | LibreCat-ID: 6398
Weber, W., et al. Conference Proceedings: Sixth Conference on International Human Resource Management, Paderborn 1998. 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8289
Ehrig, Hartmut, et al. “Construction and Characterisation of Double-Pullback Graph Transitions.” 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, Volker. “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. 894.01010], Zbl. 894.01010, 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18292
Peckhaus, Volker. “Crossley, John N., ‘Kreisel’s Effectiveness’, in: P. Odifreddi (Ed.), Kreiseliana, Wellesley, MA 1996, 33–41.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01011], Zbl. 894.01011, 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18219
Peckhaus, Volker. “Deakin, Michael A.B., ‘Boole’s Mathematical Blindness’, Math. Gaz. 80 (1996), 511–518.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.01019], Zbl. 877.01019, 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18213
Peckhaus, Volker. “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. 876.12002], Zbl. 876.12002, 1998.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 1721
Krimphove, Dieter. “Der Einsatz Der Ökonomischen Analyse Des Rechts Als Notwendiges Instrument Der Europäischen Rechtsvergleichung  .” Zeitschrift Für Rechtsvergleichung -ZfRV, no. 39. Jg, Heft 5, MANZsche Verlags- und Universitätsbuchhandlung GmbH, 1998, pp. 185–205.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 10608
Platzner, Marco, and Bernhard Rinner. “Design and Implementation of a Parallel Constraint Satisfaction Algorithm.” International Journal of Computers & Their Applications, vol. 5, ISCA, 1998, pp. 106–16.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 8284
Ehrig, Hartmut, et al. “Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information.” Selected Papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), vol. 1764, Springer, 1998, pp. 85–102, doi:http://dx.doi.org/10.1007/b75045.
LibreCat | DOI
 

1998 | Conference Paper | LibreCat-ID: 8287
Gadducci, Fabio, et al. “DPO Derivations via Disconnected Rules.” 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, Gitta, and S. Vollbracht. “Dreidimensionale Welten Auf Flachen Bildschirmen.” Zeitschrift Forschungsforum Paderborn , 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18237
Peckhaus, Volker. “Dummett, Michael, ‘Introductory Remarks’, in: Czermak (Hg.) 1993 [9.4], 69–76.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.03004], Zbl. 878.03004, 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18293
Peckhaus, Volker. “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. 894.01012], Zbl. 894.01012, 1998.
LibreCat
 

1998 | Book | LibreCat-ID: 3382
Gries, Thomas, and Leena Suhl. Economic Aspects of Digital Information Technology. DUV, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 2169
Adler, Micah, and Christian Scheideler. “Efficient Communication Strategies for Ad-Hoc Wireless Networks (Extended Abstract).” SPAA, 1998, pp. 259--268.
LibreCat | Files available
 

1998 | Misc | LibreCat-ID: 13091
N. Yarmolik, Vyacheslav, et al. Efficient Consistency Checking for Embedded Memories. 1998.
LibreCat
 

1998 | Misc | LibreCat-ID: 13092
N. Yarmolik, Vyacheslav, et al. Efficient Consistency Checking for Embedded Memories. 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7843
Depke, Ralph, et al. “Ein Ansatz Zur Verbesserung Des Entwicklungsprozesses von Multimedia-Anwendungen.” Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), vol. 18, no. 3, GI, 1998, pp. 12–19.
LibreCat
 

1998 | Report | LibreCat-ID: 8202
Engels, Gregor, and Silvia Kolmschlag. 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: MLA

Export / Embed