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.

5786 Publications


1997 | Book Chapter | LibreCat-ID: 3029
Blömer J. Denesting by bounded degree radicals. In: Algorithms — ESA ’97. Berlin, Heidelberg: Springer Berlin Heidelberg; 1997:53-63. doi:10.1007/3-540-63397-9_5
LibreCat | Files available | DOI
 

1997 | Journal Article | LibreCat-ID: 3033
Blömer J, Karp R, Welzl E. The rank of sparse random matrices over finite fields. Random Structures \& Algorithms. 1997;(4):407-419. doi:10.1002/(SICI)1098-2418(199707)10:4<407::AID-RSA1>3.0.CO;2-Y
LibreCat | DOI
 

1997 | Report | LibreCat-ID: 18955
Strothmann W-B, Lukovszki T. Decremental Biconnectivity on Planar Graphs. Paderborn; 1997.
LibreCat | Files available
 

1997 | Conference Paper | LibreCat-ID: 18575
Sohler C, Denny M. Encoding a Triangulation as a Permutation of its Point Set. In: Proceedings of the 9th Canadian Conference on Computational Geometry. ; 1997:39-43.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 2175 | OA
Bock S, Meyer auf der Heide F, Scheideler C. Optimal Wormhole Routing in the (n, d)-Torus. In: IPPS. IEEE Computer Society; 1997:326--332.
LibreCat | Files available
 

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

1997 | Conference (Editor) | LibreCat-ID: 7795
Engels G, ed. Themenheft: Softwaretechnik. Vol 12. Berlin/Heidelberg: Springer; 1997. doi:http://dx.doi.org/10.1007/s004500050085
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7839
Engels G, Heckel R, Taentzer G, Ehrig H. A View-Oriented Approach to System Modelling Using Graph Transformations. In: Jazayeri M, Schauer H, eds. Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland). Vol 1301. Berlin/Heidelberg: Springer; 1997:327-343. doi:http://dx.doi.org/10.1007/3-540-63531-9
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7840
Depke R, Knoke S, Schöne W, Tünnermann A, Welling H. Thermooptische Effekte in Nd:YAG-Slablasern. In: Verhandlungen Der Deutschen Physikalischen Gesellschaft. Vol 32. Weinheim, Germany: Physik-Verlag; 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 7841
Heckel R, Ehrig H, Wolter U, Corradini A. Integrating the Specification Techniques of Graph Transformation and Temporal Logic. In: Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia). LNCS. London, UK: Springer; 1997:219-228. doi:http://dx.doi.org/10.1007/BFb0029965
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 7842
Knoke S, Depke R, Schöne W, Brozek OS, Tünnermann A, Welling H. Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung. In: Verhandlungen Der Deutschen Physikalischen Gesellschaft, Weinheim (Germany). Vol 32. Physik-Verlag; 1997.
LibreCat
 

1997 | Report | LibreCat-ID: 8201
Heckel R, Ehrig H, Wolter U, Corradini A. Loose Semantics and Constraints for Graph Transformation Systems.; 1997.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8276
Gadducci F, Heckel R. A 2-Categorical Presentation of Distributed Graph Transformation. 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
Gadducci F, Heckel R, Koch M. Combining Graph Transformations with Temporal Logic. 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
Gadducci F, Heckel R. An Inductive View of Graph Transformation. In: Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy). Vol 1376. LNCS. Berlin/Heidelberg: Springer; 1997:223-237.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8279
Heckel R. Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration. 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
Engels G, Jürgen Schneider H. Guest Editors’ Introduction. International Journal on Software Engineering and Knowledge Engineering (IJSEKE). 1997;7(4):397-400. doi:http://dx.doi.org/10.1142/S0218194097000230
LibreCat | DOI
 

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

1997 | Book Chapter | LibreCat-ID: 7515
Ehrig H, Heckel R, Korff M, et al. Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. Singapore: World Scientific; 1997:247-312.
LibreCat
 

1997 | Book Chapter | LibreCat-ID: 7516
Engels G, Rekers J, Andries M. How to represent a visual specification. In: Visual Language Theory. Berlin/Heidelberg: Springer; 1997:241-255.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed