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
1996 | Conference Paper | LibreCat-ID: 2183 | 
Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols
F. Meyer auf der Heide, C. Scheideler, in: FOCS, 1996, pp. 370--379.
LibreCat
| Files available
F. Meyer auf der Heide, C. Scheideler, in: FOCS, 1996, pp. 370--379.
1996 | Conference Paper | LibreCat-ID: 2184 |
Communication in Parallel Systems
F. Meyer auf der Heide, C. Scheideler, in: SOFSEM, Springer, 1996, pp. 16--33.
LibreCat
| Files available
F. Meyer auf der Heide, C. Scheideler, in: SOFSEM, Springer, 1996, pp. 16--33.
1996 | Conference Paper | LibreCat-ID: 2186 |
Universal Algorithms for Store-and-Forward and Wormhole Routing
R. Cypher, F. Meyer auf der Heide, C. Scheideler, B. Vöcking, in: STOC, ACM, 1996, pp. 356--365.
LibreCat
| Files available
R. Cypher, F. Meyer auf der Heide, C. Scheideler, B. Vöcking, in: STOC, ACM, 1996, pp. 356--365.
1996 | Conference (Editor) | LibreCat-ID: 7796
Special Issue on Graph Transformations
G. Engels, H. Ehrig, G. Rozenberg, A. Skowron, eds., Special Issue on Graph Transformations, IOS Press, Amsterdam, 1996.
LibreCat
G. Engels, H. Ehrig, G. Rozenberg, A. Skowron, eds., Special Issue on Graph Transformations, IOS Press, Amsterdam, 1996.
1996 | Conference Paper | LibreCat-ID: 7834
Synchronization of Views and Loose Semantics of Typed Graph Productions
H. Ehrig, R. Heckel, J. Padberg, G. Taentzer, U. Wolter, A. Corradini, G. Engels, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 11–12.
LibreCat
H. Ehrig, R. Heckel, J. Padberg, G. Taentzer, U. Wolter, A. Corradini, G. Engels, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 11–12.
1996 | Conference Paper | LibreCat-ID: 7835
Behavioral Constraints for Loose Graph Transformation Systems
R. Heckel, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 12–13.
LibreCat
R. Heckel, in: Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, pp. 12–13.
1996 | Conference Paper | LibreCat-ID: 7836
Industrial maintenance modelled in SOCCA: an experience report
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, M. Rijnbeek, in: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 1996, pp. 13–26.
LibreCat
| DOI
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, M. Rijnbeek, in: Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), IEEE Computer Society, Washington, DC, USA, 1996, pp. 13–26.
1996 | Conference Paper | LibreCat-ID: 7837
A View-Based Approach to System Modelling
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, A. Corradini, in: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, p. 11.
LibreCat
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, A. Corradini, in: Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, Technical University of Berlin, 1996, p. 11.
1996 | Conference Paper | LibreCat-ID: 7838
Object-oriented specification of coordinated collaboration
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), Chapman & Hall, 1996, pp. 437–452.
LibreCat
G. Engels, L. Groenewegen, G. Kappel, in: Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), Chapman & Hall, 1996, pp. 437–452.
1996 | Report | LibreCat-ID: 8197
Graph Transformation for Specification and Programming
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.
LibreCat
M. Andries, G. Engels, A. Habel, B. Hoffmann, H.-J. Kreowski, S. Kuske, D. Plump, A. Schürr, G. Taentzer, Graph Transformation for Specification and Programming, University of Bremen, Department of Mathematics and Computer Science, 1996.
1996 | Report | LibreCat-ID: 8198
Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.
G. Busatto, G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1., Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
G. Busatto, G. Engels, Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1., Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
1996 | Report | LibreCat-ID: 8199
Object-oriented Specification of Coordinated Collaboration
G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
LibreCat
G. Engels, L. Groenewegen, G. Kappel, Object-Oriented Specification of Coordinated Collaboration, Vakgroep Informatica, Rijksuniversiteit Leiden, 1996.
1996 | Report | LibreCat-ID: 8200
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
LibreCat
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Horizontal and Vertical Structuring of Typed Graph Transformation Systems, 1996.
1996 | Conference Paper | LibreCat-ID: 8271
Towards Measurable Process Models
T. de Bunje, G. Engels, L. Groenewegen, M. Heus, A. Matsinger, in: Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), Springer, Berlin/Heidelberg, 1996, pp. 183–187.
LibreCat
| DOI
T. de Bunje, G. Engels, L. Groenewegen, M. Heus, A. Matsinger, in: Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France), Springer, Berlin/Heidelberg, 1996, pp. 183–187.
1996 | Conference Paper | LibreCat-ID: 8272
Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems
H. Ehrig, G. Engels, in: Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), Springer, Berlin/Heidelberg, 1996, pp. 137–154.
LibreCat
| Download (ext.)
H. Ehrig, G. Engels, in: Selected Papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA), Springer, Berlin/Heidelberg, 1996, pp. 137–154.
1996 | Conference Paper | LibreCat-ID: 8273
Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper)
G. Engels, A. Zamperoni, in: Proceedings of the Workshop on Requirements Engineering in a Changing World (Satellite Event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.
LibreCat
G. Engels, A. Zamperoni, in: Proceedings of the Workshop on Requirements Engineering in a Changing World (Satellite Event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece), 1996, pp. 42–44.
1996 | Conference Paper | LibreCat-ID: 8274
Reuse of Software Process Fragments is Reuse of Software, too
L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington, DC, USA, 1996, p. 68.
LibreCat
L. Groenewegen, G. Engels, in: Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France), IEEE Computer Society, Washington, DC, USA, 1996, p. 68.
1996 | Conference Paper | LibreCat-ID: 8275
Automatic Integration of Safety Invariants into Z Specifications
R. Heckel, M. Conrad, G. Egger, J. Hiemer, in: Proceedings of the Workshop on Tools for System Development and Verifcation, Shaker Verlag, Bremen, Germany, 1996, pp. 70–83.
LibreCat
| Download (ext.)
R. Heckel, M. Conrad, G. Egger, J. Hiemer, in: Proceedings of the Workshop on Tools for System Development and Verifcation, Shaker Verlag, Bremen, Germany, 1996, pp. 70–83.
1996 | Journal Article | LibreCat-ID: 7404
Graph Grammars with Negative Application Conditions
A. Habel, R. Heckel, G. Taentzer, Fundamenta Informaticae 26 (1996) 287–313.
LibreCat
A. Habel, R. Heckel, G. Taentzer, Fundamenta Informaticae 26 (1996) 287–313.
1996 | Journal Article | LibreCat-ID: 7405
Horizontal and Vertical Structuring of Typed Graph Transformation Systems
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer Science 6 (1996) 613–648.
LibreCat
R. Heckel, A. Corradini, H. Ehrig, M. Löwe, Mathematical Structures in Computer Science 6 (1996) 613–648.