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.
5719 Publications
1996 | Conference Paper | LibreCat-ID: 8275
Heckel, R., Conrad, M., Egger, G., & Hiemer, J. (1996). Automatic Integration of Safety Invariants into Z Specifications. In Proceedings of the Workshop on Tools for System Development and Verifcation (Vol. 1, pp. 70–83). Bremen, Germany: Shaker Verlag.
LibreCat
| Download (ext.)
1996 | Journal Article | LibreCat-ID: 7404
Habel, A., Heckel, R., & Taentzer, G. (1996). Graph Grammars with Negative Application Conditions. Fundamenta Informaticae, 26(3,4), 287–313.
LibreCat
1996 | Journal Article | LibreCat-ID: 7405
Heckel, R., Corradini, A., Ehrig, H., & Löwe, M. (1996). Horizontal and Vertical Structuring of Typed Graph Transformation Systems. Mathematical Structures in Computer Science, 6(6), 613–648.
LibreCat
1996 | Journal Article | LibreCat-ID: 7406
Andries, M., & Engels, G. (1996). A Hybrid Query Language for the Extended Entity Relationship Model. Journal of Visual Languages and Computing, 7(3), 321–352. http://dx.doi.org/10.1006/jvlc.1996.0017
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 7514
Engels, G., Nagl, M., Schäfer, W., & Westfechtel, B. (1996). Tight Integration on One Document: The Programming Environment. In Building Tightly Integrated Software Development Environments: The IPSEN Approach (Vol. 1170, pp. 170–177). Berlin/Heidelberg: Springer.
LibreCat
1996 | Conference Paper | LibreCat-ID: 880
Dreier, B., Huber, A., Karl, H., Ungerer, T., & Zahn, M. (1996). ReGTime - Rent Gigaflops someTimes. In Trends in Distributed Systems: CORBA and Beyond, International Workshop TreDS ’96, Aachen, Germany, October 1-2, 1996, Proceedings (pp. 84--93). https://doi.org/10.1007/3-540-61842-2_28
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16698
Ameur, F., Fischer, P., Höffgen, K.-U., & Meyer auf der Heide, F. (1996). Trial and error. A new approach to space-bounded learning. Acta Informatica, 621–630. https://doi.org/10.1007/bf03036467
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16699
Meyer auf der Heide, F., Oesterdiekhoff, B., & Wanka, R. (1996). Strongly adaptive token distribution. Algorithmica, 413–427. https://doi.org/10.1007/bf01955042
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16700
Karp, R. M., Luby, M., & Meyer auf der Heide, F. (1996). Efficient PRAM simulation on a distributed memory machine. Algorithmica, 517–542. https://doi.org/10.1007/bf01940878
LibreCat
| DOI
1996 | Journal Article | LibreCat-ID: 16701
Gil, J., Meyer auf der Heide, F., & Wigderson, A. (1996). The Tree Model for Hashing: Lower and Upper Bounds. SIAM Journal on Computing, 936–955. https://doi.org/10.1137/s0097539793255722
LibreCat
| DOI
1996 | Book (Editor) | LibreCat-ID: 16702
Meyer auf der Heide, F., & Monien, B. (Eds.). (1996). Automata, Languages and Programming, 23rd International Colloquium, ICALP96. Berlin, Heidelberg. https://doi.org/10.1007/3-540-61440-0
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 16703
Berenbrink, P., Meyer auf der Heide, F., & Stemann, V. (1996). Fault-tolerant shared memory simulations. In STACS 96. Berlin, Heidelberg. https://doi.org/10.1007/3-540-60922-9_16
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 16816
Domik, G. (1996). Computer Visualization - Concepts, Trends and Current Research. 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 (Vol. 1175, pp. 178–196). Springer. https://doi.org/10.1007/BFb0037404
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 16895
Gutkauf, B., & Domik, G. (1996). Benutzermodellierung als Basis für adaptive multimediale Präsentations- und Interaktionssysteme. In Proceedings 4. GI Workshop Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. Dortmund, Germany.
LibreCat
1996 | Conference Paper | LibreCat-ID: 16896
Volbracht, S., Domik, G., Shahrbabaki, K., & Fels, G. (1996). An Experimental Comparison of 3D Display Modes. In Proceedings of IEEE Visualization (pp. 8–11). San Francisco, USA.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15292
Hüllermeier, E. (1996). Approminate probabilistic reasoning with fuzzy constraints. In H. J. Zimmermann (Ed.), in Proceedings EUFIT-96 4th European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15293
Hüllermeier, E. (1996). A fuzzy simulation method. In P. G. Anderson & K. Warwick (Eds.), International Symposium on Soft Computing, Reading U.K. (pp. B230–B236). ICSC Academic Press.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15304
Hüllermeier, E. (1996). Hierarchical constraint propagation based on interval arithmetic. In in Proceedings Interval-96 international Conference on Interval Methods and Computer Aided Proofs in Science and Engineering, Würzburg (pp. 54–55).
LibreCat
1996 | Book | LibreCat-ID: 14894
Fosdick, L. D., Jessup, E. R., Schauble, C. J., & Domik, G. (1996). An introduction to high-performance scientific computing. MIT Press.
LibreCat
1996 | Conference Paper | LibreCat-ID: 15056
Volbracht, S., Shahrbabaki, K., Domik, G., & Fels, G. (1996). Perspective viewing, Anaglyph stereo or Shutter glass stereo? In Proceedings 1996 IEEE Symposium on Visual Languages (pp. 192–193).
LibreCat
1996 | Conference Paper | LibreCat-ID: 13602
Lind, E., Platzner, M., & Rinner, B. (1996). A Multi-DSP System with Dynamically Reconfigurable Processors. In Proceedings of the 7th International Conference on Signal Processing Applications & Technology (ICSPAT).
LibreCat
1996 | Conference Paper | LibreCat-ID: 39513
Aisch, H., Joosten, M., Müller, W., & Buijs, F. (1996). Interaktiver Produktdatenaustausch mit EDIFACT.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39521
Griebel, P., Lehrenfeld, G., Müller, W., Tahedl, C., & Uhr, H. (1996). Integrating a Constraint Solver into a Real-Time Animation Environment. Proceedings of the 1996 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1996.545262
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39517
Dücker, M., Lehrenfeld, G., & Müller, W. (1996). Specification and Analysis of Concurrent Systems in a Complete Visual Environment. Proceedings of the 10th European Simulation Multiconference (ESM’96).
LibreCat
1996 | Conference Paper | LibreCat-ID: 39526
Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl, C., & Weber, A. (1996). Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. Proceedings of the 1996 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1996.545302
LibreCat
| DOI
1995 | Dissertation | LibreCat-ID: 19623
Stemann, V. (1995). Contention Resolution in Hashing Based Shared Memory Simulations (Vol. 3). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
1995 | Dissertation | LibreCat-ID: 19627
Czumaj, A. (1995). Parallel Algorithmic Techniques: PRAM Algorithms and PRAM Simulations (Vol. 8). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
| Files available
1995 | Dissertation | LibreCat-ID: 19630
Wachsmann, A. (1995). Eine Bibliothek von Basisdiensten für Parallelrechner: Routing, Synchronisation, gemeinsamer Speicher (Vol. 6). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
1995 | Dissertation | LibreCat-ID: 19634
Ameur, F. (1995). Space-Bounded Learning Algorithms (Vol. 10). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
1995 | Journal Article | LibreCat-ID: 3037
Alt, H., Behrends, B., & Blömer, J. (1995). Approximate matching of polygonal shapes. Annals of Mathematics and Artificial Intelligence, 13(3).
LibreCat
1995 | Report | LibreCat-ID: 3038
Blömer, J., Kalfane, M., Karp, R., Karpinski, M., Luby, M., & Zuckerman, D. (1995). An XOR-based erasure-resilient coding scheme. Berkeley, USA.
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 17482
Czumaj, A., Meyer auf der Heide, F., & Stemann, V. (1995). Simulating shared memory in real time: On the computation power of reconfigurable meshes. In Proceedings of the 2nd IEEE Workshop on Reconfigurable Architectures (pp. 46--59).
LibreCat
1995 | Conference Paper | LibreCat-ID: 21786
Kienegger-Domik, G. (1995). Intelligent visualization systems in educational environments. In H. Maurer (Ed.), Proceedings of ED-MEDIA `95 (pp. 17–22). Graz, Austria: AACE.
LibreCat
1995 | Conference Paper | LibreCat-ID: 2187 | 
Meyer auf der Heide, F., & Scheideler, C. (1995). Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks. In ESA (pp. 341--354). https://doi.org/10.1007/3-540-60313-1_154
LibreCat
| Files available
| DOI
1995 | Conference Paper | LibreCat-ID: 2207 |
Meyer auf der Heide, F., & Scheideler, C. (1995). Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract). In SPAA (pp. 137--146).
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 2208 |
Meyer auf der Heide, F., Scheideler, C., & Stemann, V. (1995). Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations. In STACS (pp. 267--278).
LibreCat
| Files available
1995 | Conference Paper | LibreCat-ID: 7831
Heckel, R., Müller, J., Taentzer, G., & Wagner, A. (1995). Attributed Graph Transformations with Controlled Application of Rules. In Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science. Universitat de les Illes Balears.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7832
Thoben, W., Appelrath, H.-J., & Sauer, S. (1995). Record Linkage of Anonymous Data by Control Numbers. In Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany) (pp. 412–419). Berlin/Heidelberg: Springer.
LibreCat
1995 | Conference Paper | LibreCat-ID: 7833
Heckel, R. (1995). Embedding of Conditional Graph Transformations. In Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science. Universitat de les Illes Balears.
LibreCat
1995 | Report | LibreCat-ID: 8194
Conrad, M., Gajewsky, M., Holl-Biniasz, R., Rudolf, M., Demuth, J., Weber, S., … Wagner, A. (1995). Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem.
LibreCat
1995 | Report | LibreCat-ID: 8195
Ebert, J., & Engels, G. (1995). Specialization of Object Life Cycle Definitions. Koblenz: University of Koblenz-Landau.
LibreCat
1995 | Report | LibreCat-ID: 8196
Engels, G., & Schürr, A. (1995). Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. Vakgroep Informatica, Rijksuniversiteit Leiden.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8266
Groenewegen, L., & Engels, G. (1995). Coordination by Behavioural Views and Communication Patterns. In Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands) (Vol. 913, pp. 189–192). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-59205-9_56
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8267
Corradini, A., & Heckel, R. (1995). A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy) (Vol. 2, pp. 46–55). Elsevier.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8268
Bardohl, B., Bardohl, R., Castro, P., Ehrig, H., Heckel, R., Ribeiro, L., … Martini, A. (1995). GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany) (Vol. 26). Forschungszentrum Jülich GmbH.
LibreCat
1995 | Conference Paper | LibreCat-ID: 8269
Engels, G., & Schürr, A. (1995). Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy) (pp. 101–109). Amsterdam, The Netherlands: Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80186-0
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8270
Heckel, R., & Wagner, A. (1995). Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. In Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy) (Vol. 2, pp. 118–126). Elsevier. http://dx.doi.org/10.1016/S1571-0661(05)80188-4
LibreCat
| DOI
1995 | Journal Article | LibreCat-ID: 16566
Breslauer, D., Czumaj, A., Dubhashi, D. P., & Meyer auf der Heide, F. (1995). Transforming comparison model lower bounds to the parallel-random-access-machine. Information Processing Letters, 103–110. https://doi.org/10.1016/s0020-0190(97)00032-x
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16704
Meyer auf der Heide, F., & Vöcking, B. (1995). A packet routing protocol for arbitrary networks. In STACS 95. Berlin, Heidelberg. https://doi.org/10.1007/3-540-59042-0_81
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 16705
Czumaj, A., Meyer auf der Heide, F., & Stemann, V. (1995). Shared memory simulations with triple-logarithmic delay. In Lecture Notes in Computer Science. Berlin, Heidelberg. https://doi.org/10.1007/3-540-60313-1_133
LibreCat
| DOI