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.
9174 Publications
1996 | Journal Article | LibreCat-ID: 3261
Goltz, U., & Wehrheim, H. (1996). Modelling Causality via Action Dependencies in Branching Time Semantics. Inf. Process. Lett., (4), 179--184. https://doi.org/10.1016/0020-0190(96)00111-1
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 3262
Goltz, U., & Wehrheim, H. (1996). Causal Testing. In W. Penczek & A. Szalas (Eds.), Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings (pp. 394--406). https://doi.org/10.1007/3-540-61550-4_165
LibreCat
| DOI
1996 | Report | LibreCat-ID: 17418
Czumaj, A., Meyer auf der Heide, F., & Stemann, V. (1996). Contention Resolution in Hashing Based Shared Memory Simulations.
LibreCat
1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev, D., Karpinski, M., Meyer auf der Heide, F., & Smolensky, R. (1996). A lower bound for randomized algebraic decision trees. In Proc. of 28th ACM-STOC (Vol. 65453, pp. 612–621). Eurographics Symposium on Parallel Graphics and Visualization.
LibreCat
1996 | Conference Paper | LibreCat-ID: 17483
Fischer, M., Rethmann, J., & Wachsmann, A. (1996). A Realistic Cost Model for the Communication Time in Parallel Programs. In 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96) (pp. 13–27). Amsterdam: IOS Press.
LibreCat
| Files available
1996 | Conference Paper | LibreCat-ID: 17493
Peckhaus, V. (1996). The Influence of Hermann Günther Grassmann and Robert Grassmann on Ernst Schröder’s Algebra of Logic. In G. Schubring (Ed.), Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neo-humanist Scholar. Papers from a Sesquicentennial Conference (Vol. 187, pp. 217–227). Dordrecht/Boston/London: Kluwer.
LibreCat
1996 | Book Chapter | LibreCat-ID: 17564
Bäumker, A., Dittrich, W., Meyer auf der Heide, F., & Rieping, I. (1996). Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model. In Lecture Notes in Computer Science (pp. 369–376). Berlin, Heidelberg. https://doi.org/10.1007/bfb0024725
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 1918
Dreier, B., Huber, A., Zahn, M., Karl, H., & Ungerer, T. (1996). ReGTime - Rent Gigaflops someTimes. In Proceedings Trends in Distributed Systems.
LibreCat
1996 | Report | LibreCat-ID: 18352
Fischer, M., Rethmann, J., & Wachsmann, A. (1996). A Realistic Cost Model for the Communication Time in Parallel Programs on Parallel Computers Using a Service Hardware. Universität Paderborn.
LibreCat
| Files available
1996 | Dissertation | LibreCat-ID: 2181
Scheideler, C. (1996). Universal routing strategies. University of Paderborn, Germany.
LibreCat
1996 | Journal Article | LibreCat-ID: 2182
Meyer auf der Heide, F., Scheideler, C., & Stemann, V. (1996). Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations. Theor. Comput. Sci., (2), 245--281. https://doi.org/10.1016/0304-3975(96)00032-1
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 2183 | 
Meyer auf der Heide, F., & Scheideler, C. (1996). Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols. In FOCS (pp. 370--379).
LibreCat
| Files available
1996 | Conference Paper | LibreCat-ID: 2184 |
Meyer auf der Heide, F., & Scheideler, C. (1996). Communication in Parallel Systems. In SOFSEM (Vol. 1175, pp. 16--33). Springer.
LibreCat
| Files available
1996 | Conference Paper | LibreCat-ID: 2186 |
Cypher, R., Meyer auf der Heide, F., Scheideler, C., & Vöcking, B. (1996). Universal Algorithms for Store-and-Forward and Wormhole Routing. In STOC (pp. 356--365). ACM.
LibreCat
| Files available
1996 | Conference (Editor) | LibreCat-ID: 7796
Engels, G., Ehrig, H., Rozenberg, G., & Skowron, A. (Eds.). (1996). Special Issue on Graph Transformations (Vol. 26). Amsterdam: IOS Press.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
Ehrig, H., Heckel, R., Padberg, J., Taentzer, G., Wolter, U., Corradini, A., & Engels, G. (1996). Synchronization of Views and Loose Semantics of Typed Graph Productions. In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science (pp. 11–12). Technical University of Berlin.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7835
Heckel, R. (1996). Behavioral Constraints for Loose Graph Transformation Systems. In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science (pp. 12–13). Technical University of Berlin.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
de Bunje, T., Engels, G., Groenewegen, L., Matsinger, A., & Rijnbeek, M. (1996). Industrial maintenance modelled in SOCCA: an experience report. In Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK) (pp. 13–26). Washington, DC, USA: IEEE Computer Society. http://dx.doi.org/10.1109/ICSP.1996.565021
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
Engels, G., Ehrig, H., Heckel, R., Taentzer, G., & Corradini, A. (1996). A View-Based Approach to System Modelling. In Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science (Vol. 155, p. 11). Technical University of Berlin.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
Engels, G., Groenewegen, L., & Kappel, G. (1996). Object-oriented specification of coordinated collaboration. In Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia) (pp. 437–452). Chapman & Hall.
LibreCat