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.

10078 Publications


1997 | Conference Paper | LibreCat-ID: 8277
Gadducci, F., Heckel, R., & Koch, M. (1997). Combining Graph Transformations with Temporal Logic. In Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France). Bordeaux.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8278
Gadducci, F., & Heckel, R. (1997). 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, pp. 223–237). Berlin/Heidelberg: Springer.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 8279
Heckel, R. (1997). 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).
LibreCat
 

1997 | Journal Article | LibreCat-ID: 7402
Engels, G., & Jürgen Schneider, H. (1997). Guest Editors’ Introduction. International Journal on Software Engineering and Knowledge Engineering (IJSEKE), 7(4), 397–400. http://dx.doi.org/10.1142/S0218194097000230
LibreCat | DOI
 

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

1997 | Book Chapter | LibreCat-ID: 7515
Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., & Corradini, A. (1997). 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 (pp. 247–312). Singapore: World Scientific.
LibreCat
 

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

1997 | Book Chapter | LibreCat-ID: 7517
Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., & Löwe, M. (1997). Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach. In Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations (pp. 163–245). Singapore: World Scientific.
LibreCat
 

1997 | Journal Article | LibreCat-ID: 16564
Grigoriev, D., Karpinski, M., Meyer auf der Heide, F., & Smolensky, R. (1997). A lower bound for randomized algebraic decision trees. Computational Complexity, 357–375. https://doi.org/10.1007/bf01270387
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 16565
Czumaj, A., Meyer auf der Heide, F., & Stemann, V. (1997). Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures. Information and Computation, 103–120. https://doi.org/10.1006/inco.1997.2642
LibreCat | DOI
 

1997 | Journal Article | LibreCat-ID: 16567
Meyer auf der Heide, F., Storch, M., & Wanka, R. (1997). Optimal Tradeoffs Between Size and Slowdown for Universal Parallel Networks. Theory of Computing Systems, 627–644. https://doi.org/10.1007/s002240000071
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 16568
Fischer, M., Meyer auf der Heide, F., & Strothmann, W.-B. (1997). Dynamic data structures for realtime management of large geometric scenes. 5th Annual European Symposium on Algorithms (ESA ’97), 1284, 1157–1170. https://doi.org/10.1007/3-540-63397-9_13
LibreCat | DOI
 

1997 | Book Chapter | LibreCat-ID: 16569
Meyer auf der Heide, F., & Vöcking, B. (1997). Static and dynamic data management in networks. In Euro-Par’97 Parallel Processing. Berlin, Heidelberg. https://doi.org/10.1007/bfb0002716
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 16604
Berenbrink, P., Meyer auf der Heide, F., & Schröder, K. (1997). Allocating weighted jobs in parallel. In Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures  - SPAA ’97. https://doi.org/10.1145/258492.258522
LibreCat | DOI
 

1997 | Book Chapter | LibreCat-ID: 16605
Bäumker, A., & Meyer auf der Heide, F. (1997). Communication efficient parallel searching. In Solving Irregularly Structured Problems in Parallel. Berlin, Heidelberg. https://doi.org/10.1007/3-540-63138-0_21
LibreCat | DOI
 

1997 | Book Chapter | LibreCat-ID: 16687
Karaivazoglou, E., & Meyer auf der Heide, F. (1997). Routing on asyncronous processor networks. In Euro-Par’97 Parallel Processing. Berlin, Heidelberg. https://doi.org/10.1007/bfb0002741
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 16689
Maggs, B. M., Meyer auf der Heide, F., Vöcking, B., & Westermann, M. (1997). Exploiting locality for data management in systems of limited bandwidth. Proceedings 38th Annual Symposium on Foundations of Computer Science. https://doi.org/10.1109/sfcs.1997.646117
LibreCat | DOI
 

1997 | Book Chapter | LibreCat-ID: 16693
Meyer auf der Heide, F., & Decker, T. (1997). Parallel Computing in Paderborn: The SFB 376 “Massive Parallelism — Algorithms, Design Methods, Applications.” In Informatik ’97 Informatik als Innovationsmotor. Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60831-5_22
LibreCat | DOI
 

1997 | Conference Paper | LibreCat-ID: 16893
Thies, S., Gutkauf, B., & Domik, G. (1997). Demo eines Intelligenten Diagramm Assistenten (IDIAS). In Proceedings 5. GI Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. Saarbrücken.
LibreCat
 

1997 | Conference Paper | LibreCat-ID: 16894
Gutkauf, B., Thies, S., & Domik, G. (1997). User Adaptive Presentation of Information . In Proceedings 2nd International Symposium on Global Engineering Networking (pp. 115–127). Antwerp, Belgium.
LibreCat
 

Filters and Search Terms

isbn%3D978-0-9981331-5-7

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed