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.

3683 Publications


1996 | Book (Editor) | LibreCat-ID: 16702
Automata, Languages and Programming, 23rd International Colloquium, ICALP96
F. Meyer auf der Heide, B. Monien, eds., Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Berlin, Heidelberg, 1996.
LibreCat | DOI
 

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
 

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
 

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
 

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
 

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
 

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.)
 

1996 | Conference Paper | LibreCat-ID: 16896
An Experimental Comparison of 3D Display Modes
S. Volbracht, G. Domik-Kienegger, K. Shahrbabaki, G. Fels, in: Proceedings of IEEE Visualization , 1996, pp. 8–11.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17419
A lower bound for randomized algebraic decision trees
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide, R. Smolensky, in: Proc. of 28th ACM-STOC, Eurographics Symposium on Parallel Graphics and Visualization, 1996, pp. 612–621.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 17483
A Realistic Cost Model for the Communication Time in Parallel Programs
M. Fischer, J. Rethmann, A. Wachsmann, in: 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), IOS Press, Amsterdam, 1996, pp. 13–27.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 15293
A fuzzy simulation method
E. Hüllermeier, in: P.G. Anderson, K. Warwick (Eds.), International Symposium on Soft Computing, Reading U.K., ICSC Academic Press, 1996, pp. B230–B236.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 16816
Computer Visualization - Concepts, Trends and Current Research
G. Domik-Kienegger, in: K. G. Jeffery, J. Kr{\’{a}}l, M. Bartosek (Eds.), {SOFSEM} ’96: Theory and Practice of Informatics, 23rd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23-30, 1996, Proceedings, Springer, 1996, pp. 178–196.
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 16703
Fault-tolerant shared memory simulations
P. Berenbrink, F. Meyer auf der Heide, V. Stemann, in: STACS 96, Berlin, Heidelberg, 1996.
LibreCat | DOI
 

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
 

1996 | Journal Article | LibreCat-ID: 7406
A Hybrid Query Language for the Extended Entity Relationship Model
M. Andries, G. Engels, Journal of Visual Languages and Computing 7 (1996) 321–352.
LibreCat | DOI
 

1996 | Book Chapter | LibreCat-ID: 7514
Tight Integration on One Document: The Programming Environment
G. Engels, M. Nagl, W. Schäfer, B. Westfechtel, in: Building Tightly Integrated Software Development Environments: The IPSEN Approach, Springer, Berlin/Heidelberg, 1996, pp. 170–177.
LibreCat
 

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
 

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
 

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
 

1996 | Conference Paper | LibreCat-ID: 15167
An Experimental Comparison of 3-D Display Modes
S. Volbracht, G. Domik, K. Shahrbabaki, G. Fels, in: IEEE Visualization, 1996, pp. 8–11.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed