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.

13550 Publications


1998 | Dissertation | LibreCat-ID: 7587
Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems
R. Heckel, Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems, 1998.
LibreCat
 

1998 | Conference Paper | LibreCat-ID: 7847
Compositional Verification of Reactive Systems Specified by Graph Transformation
R. Heckel, in: Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), Springer, Berlin/Heidelberg, 1998, pp. 138–153.
LibreCat | DOI
 

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

1998 | Conference Paper | LibreCat-ID: 8287
DPO Derivations via Disconnected Rules
F. Gadducci, R. Heckel, M. Llabrés, 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
Bridging the gap between distributed shared memory and message passing
H. Karl, Concurrency - Practice and Experience (1998) 887--900.
LibreCat | DOI
 

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

1998 | Conference Paper | LibreCat-ID: 16891
Teaching Spatial Orientation using Virtual Worlds
S. Vollbracht, G. Domik-Kienegger, D. Backe-Neuwald, H.-D. Rinkens, in: Proceedings of ED-MEDIA, 1998.
LibreCat
 

1998 | Journal Article | LibreCat-ID: 16536
An adaptive subdivision technique for the approximation of attractors and invariant measures
M. Dellnitz, O. Junge, Computing and Visualization in Science (1998) 63–68.
LibreCat | DOI
 

1998 | Encyclopedia Article | LibreCat-ID: 17647
Zermelo, Ernst (1871–1953)
V. Peckhaus, in: E. Craig (Ed.), Routledge Encyclopedia of Philosophy, Bd. 9: Sociology of Knowledge to Zoroastrianism, Routledge, London/ New York, 1998, pp. 853–855.
LibreCat
 
 

1998 | Report | LibreCat-ID: 18145
Multimediale Entdeckungsreisen unserer Welt mit dem Internet
M. Ziegler, M. Fischer, T. Lukovszki, Multimediale Entdeckungsreisen Unserer Welt Mit Dem Internet, 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18222
Russell, Bertrand, Introduction to Mathematical Philosophy. With a New Introduction by John G. Slater, Reprint der Ausgabe von 1919, Routledge: London/New York 1993
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.03001; Erstdruck Mit Falscher Bibliographischer Angabe Zbl. 865.03001] (1998).
LibreCat
 

1998 | Book Review | LibreCat-ID: 18241 LibreCat
 

1998 | Book Review | LibreCat-ID: 18246
Cobos, J., “A Mathematician out of his Time: Ventura Reyes Prosper”, Extr. Math. 11, Nr. 2 (1996), 306–314
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 883.01027] (1998).
LibreCat
 

1998 | Book Review | LibreCat-ID: 18239
Maddy, Penelope, “Wittgenstein’s Anti-Philosophy of Mathematics”, in: Puhl (Hg.) 1993 [9.5], 52–72
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.03006] (1998).
LibreCat
 

1998 | Book Review | LibreCat-ID: 18234
McGinn, Marie, Wittgenstein and the Philosophical Investigations, Routledge: London 1997
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.03002] (1998).
LibreCat
 
 

1998 | Book Review | LibreCat-ID: 18272 LibreCat
 

1998 | Book Review | LibreCat-ID: 18296
Takeuti, Gaisi, “Kreisel and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 107–109
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01015] (1998).
LibreCat
 

1998 | Book Review | LibreCat-ID: 18304 LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , First Author
Citation Style: Default

Export / Embed