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.

9238 Publications


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
 

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
 

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
 

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
 

1997 | Conference Paper | LibreCat-ID: 2175 | OA
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
 

1997 | Conference Paper | LibreCat-ID: 2179 | OA
Simple, Efficient Routing Schemes for All-Optical Networks
M. Flammini, C. Scheideler, in: SPAA, 1997, pp. 170--179.
LibreCat | Files available
 

1997 | Conference (Editor) | LibreCat-ID: 7795
Themenheft: Softwaretechnik
G. Engels, ed., Themenheft: Softwaretechnik, Springer, Berlin/Heidelberg, 1997.
LibreCat | DOI
 

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
 

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
 

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
 

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
 

1997 | Conference Paper | LibreCat-ID: 8106
Das ECO–PV–System
S. Krauter, H. Duwe, in: Zwölftes Nationales Symposium Für Photovoltaische Energiewandlung, Staffelstein, 26.–28. Februar 1997, Band 1, S. 297–302., 1997.
LibreCat
 

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
 

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
 

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
 

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
 

1997 | Conference Paper | LibreCat-ID: 8279
Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration
R. Heckel, in: Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France), 1997.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 7402
Guest Editors' Introduction
G. Engels, H. Jürgen Schneider, International Journal on Software Engineering and Knowledge Engineering (IJSEKE) 7 (1997) 397–400.
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 7403
A Combined Reference Model- and View-Based Approach to System Specification
G. Engels, R. Heckel, G. Taentzer, H. Ehrig, Int. Journal of Software and Knowledge Engeneering 7 (1997) 457–477.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7515
Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach
H. Ehrig, R. Heckel, M. Korff, M. Löwe, L. Ribeiro, A. Wagner, A. Corradini, in: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations, World Scientific, Singapore, 1997, pp. 247–312.
LibreCat
 

Filters and Search Terms

isbn%3D978-1-59593-667-7

Search

Filter Publications

Display / Sort

Export / Embed