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.
9995 Publications
1997 | Conference Paper | LibreCat-ID: 3259
Dependency-Based Action Refinement
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
LibreCat
| DOI
A. Rensink, H. Wehrheim, in: I. Pr{\’{\i}}vara, P. Ruzicka (Eds.), Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS’97, Bratislava, Slovakia, August 25-29, 1997, Proceedings, 1997, pp. 468--477.
1997 | Book Chapter | LibreCat-ID: 3029
Denesting by bounded degree radicals
J. Blömer, in: Algorithms — ESA ’97, Springer Berlin Heidelberg, Berlin, Heidelberg, 1997, pp. 53–63.
LibreCat
| Files available
| DOI
J. Blömer, in: Algorithms — ESA ’97, Springer Berlin Heidelberg, Berlin, Heidelberg, 1997, pp. 53–63.
1997 | Journal Article | LibreCat-ID: 3033
The rank of sparse random matrices over finite fields
J. Blömer, R. Karp, E. Welzl, Random Structures \& Algorithms (1997) 407–419.
LibreCat
| DOI
J. Blömer, R. Karp, E. Welzl, Random Structures \& Algorithms (1997) 407–419.
1997 | Book | LibreCat-ID: 17447
Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin, 1997.
LibreCat
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert, Akademie-Verlag, Berlin, 1997.
1997 | Report | LibreCat-ID: 18955
Decremental Biconnectivity on Planar Graphs
W.-B. Strothmann, T. Lukovszki, Decremental Biconnectivity on Planar Graphs, Paderborn, 1997.
LibreCat
| Files available
W.-B. Strothmann, T. Lukovszki, Decremental Biconnectivity on Planar Graphs, Paderborn, 1997.
1997 | Book | LibreCat-ID: 19019
Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800
N.O. Eke, Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800, Fink, München, 1997.
LibreCat
N.O. Eke, Signaturen der Revolution. Frankreich – Deutschland: deutsche Zeitgenossenschaft und deutsches Drama zur Französischen Revolution um 1800, Fink, München, 1997.
1997 | Journal Article | LibreCat-ID: 19410
Planziel Vernichtung. Zwei Versuche über das Unfaßbare des Völkermords: Franz Werfels Die vierzig Tage des Musa Dagh (1933) und Edgar Hilsenraths Das Märchen vom letzten Gedanken (1989)
N.O. Eke, Deutsche Vierteljahrsschrift für Literaturwissenschaft und Geistesgeschichte 71 (1997) 701–723.
LibreCat
N.O. Eke, Deutsche Vierteljahrsschrift für Literaturwissenschaft und Geistesgeschichte 71 (1997) 701–723.
1997 | Book Chapter | LibreCat-ID: 19411
„Sein Leben machen / ist nicht, / sein Glück machen / mein Herr“. Zum Verhältnis von Ästhetik und Politik in Herta Müllers Nachrichten aus Rumänien
N.O. Eke, in: W. Barner, W. Müller-Seidel, U. Ott (Eds.), Jahrbuch der Deutschen Schillergesellschaft, Metzler, Stuttgart, 1997, pp. 481–509.
LibreCat
N.O. Eke, in: W. Barner, W. Müller-Seidel, U. Ott (Eds.), Jahrbuch der Deutschen Schillergesellschaft, Metzler, Stuttgart, 1997, pp. 481–509.
1997 | Conference Paper | LibreCat-ID: 18575
Encoding a Triangulation as a Permutation of its Point Set
C. Sohler, M. Denny, in: Proceedings of the 9th Canadian Conference on Computational Geometry, 1997, pp. 39–43.
LibreCat
C. Sohler, M. Denny, in: Proceedings of the 9th Canadian Conference on Computational Geometry, 1997, pp. 39–43.
1997 | Conference Paper | LibreCat-ID: 2175 | 
Optimal Wormhole Routing in the (n, d)-Torus
S. Bock, F. Meyer auf der Heide, C. Scheideler, in: IPPS, IEEE Computer Society, 1997, pp. 326--332.
LibreCat
| Files available
S. Bock, F. Meyer auf der Heide, C. Scheideler, in: IPPS, IEEE Computer Society, 1997, pp. 326--332.
1997 | Conference Paper | LibreCat-ID: 2179 |
Simple, Efficient Routing Schemes for All-Optical Networks
M. Flammini, C. Scheideler, in: SPAA, 1997, pp. 170--179.
LibreCat
| Files available
M. Flammini, C. Scheideler, in: SPAA, 1997, pp. 170--179.
1997 | Conference (Editor) | LibreCat-ID: 7795
Themenheft: Softwaretechnik
G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.
LibreCat
| DOI
G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.
1997 | Conference Paper | LibreCat-ID: 7839
A View-Oriented Approach to System Modelling Using Graph Transformations
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.
LibreCat
| DOI
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, in: M. Jazayeri, H. Schauer (Eds.), Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland), Springer, Berlin/Heidelberg, 1997, pp. 327–343.
1997 | Conference Paper | LibreCat-ID: 7840
Thermooptische Effekte in Nd:YAG-Slablasern
R. Depke, S. Knoke, W. Schöne, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Physik-Verlag, Weinheim, Germany, 1997.
LibreCat
R. Depke, S. Knoke, W. Schöne, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Physik-Verlag, Weinheim, Germany, 1997.
1997 | Conference Paper | LibreCat-ID: 7841
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.
LibreCat
| DOI
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, in: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia), Springer, London, UK, 1997, pp. 219–228.
1997 | Conference Paper | LibreCat-ID: 7842
Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung
S. Knoke, R. Depke, W. Schöne, O.S. Brozek, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), Physik-Verlag, 1997.
LibreCat
S. Knoke, R. Depke, W. Schöne, O.S. Brozek, A. Tünnermann, H. Welling, in: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany), Physik-Verlag, 1997.
1997 | Report | LibreCat-ID: 8201
Loose Semantics and Constraints for Graph Transformation Systems
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems, 1997.
LibreCat
R. Heckel, H. Ehrig, U. Wolter, A. Corradini, Loose Semantics and Constraints for Graph Transformation Systems, 1997.
1997 | Conference Paper | LibreCat-ID: 8276
A 2-Categorical Presentation of Distributed Graph Transformation
F. Gadducci, R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.
LibreCat
F. Gadducci, R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.
1997 | Conference Paper | LibreCat-ID: 8277
Combining Graph Transformations with Temporal Logic
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.
LibreCat
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), Bordeaux, 1997.
1997 | Conference Paper | LibreCat-ID: 8278
An Inductive View of Graph Transformation
F. Gadducci, R. Heckel, in: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), Springer, Berlin/Heidelberg, 1997, pp. 223–237.
LibreCat
F. Gadducci, R. Heckel, in: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy), Springer, Berlin/Heidelberg, 1997, pp. 223–237.