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.
5937 Publications
1996 | Dissertation | LibreCat-ID: 3260
Wehrheim, Heike. Specifying Reactive Systems with Action Dependencies: Modelling and Hierarchical Design. University of Hildesheim, Germany, 1996.
LibreCat
1996 | Journal Article | LibreCat-ID: 3261
Goltz, Ursula, and Heike Wehrheim. “Modelling Causality via Action Dependencies in Branching Time Semantics.” Inf. Process. Lett., no. 4, 1996, pp. 179--184, doi:10.1016/0020-0190(96)00111-1.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 3262
Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, edited by Wojciech Penczek and Andrzej Szalas, 1996, pp. 394--406, doi:10.1007/3-540-61550-4_165.
LibreCat
| DOI
1996 | Report | LibreCat-ID: 17418
Czumaj, Artur, et al. Contention Resolution in Hashing Based Shared Memory Simulations. 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev, Dima, et al. “A Lower Bound for Randomized Algebraic Decision Trees.” Proc. of 28th ACM-STOC, vol. 65453, Eurographics Symposium on Parallel Graphics and Visualization, 1996, pp. 612–21.
LibreCat
1996 | Conference Paper | LibreCat-ID: 17483
Fischer, Matthias, et al. “A Realistic Cost Model for the Communication Time in Parallel Programs.” 3rd Workshop on Abstract Machine Models for Parallel and Distributed Computing (AMW ’96), IOS Press, 1996, pp. 13–27.
LibreCat
| Files available
1996 | Book Chapter | LibreCat-ID: 17564
Bäumker, Armin, et al. “Realistic Parallel Algorithms: Priority Queue Operations and Selection for the BSP* Model.” Lecture Notes in Computer Science, 1996, pp. 369–76, doi:10.1007/bfb0024725.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 1918
Dreier, Bernd, et al. “ReGTime - Rent Gigaflops SomeTimes.” Proceedings Trends in Distributed Systems, 1996.
LibreCat
1996 | Report | LibreCat-ID: 18352
Fischer, Matthias, et al. A Realistic Cost Model for the Communication Time in Parallel Programs on Parallel Computers Using a Service Hardware. 1996.
LibreCat
| Files available
1996 | Dissertation | LibreCat-ID: 2181
Scheideler, Christian. Universal Routing Strategies. University of Paderborn, Germany, 1996.
LibreCat
1996 | Journal Article | LibreCat-ID: 2182
Meyer auf der Heide, Friedhelm, et al. “Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations.” Theor. Comput. Sci., no. 2, 1996, pp. 245--281, doi:10.1016/0304-3975(96)00032-1.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 2183 | 
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols.” FOCS, 1996, pp. 370--379.
LibreCat
| Files available
1996 | Conference Paper | LibreCat-ID: 2184 |
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Communication in Parallel Systems.” SOFSEM, vol. 1175, Springer, 1996, pp. 16--33.
LibreCat
| Files available
1996 | Conference Paper | LibreCat-ID: 2186 |
Cypher, Robert, et al. “Universal Algorithms for Store-and-Forward and Wormhole Routing.” STOC, ACM, 1996, pp. 356--365.
LibreCat
| Files available
1996 | Conference (Editor) | LibreCat-ID: 7796
Engels, Gregor, et al., editors. Special Issue on Graph Transformations. Vol. 26, no. 3–4, IOS Press, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
Ehrig, Hartmut, et al. “Synchronization of Views and Loose Semantics of Typed Graph Productions.” Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, no. 155, Technical University of Berlin, 1996, pp. 11–12.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7835
Heckel, Reiko. “Behavioral Constraints for Loose Graph Transformation Systems.” Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, no. 155, Technical University of Berlin, 1996, pp. 12–13.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
de Bunje, Tineke, et al. “Industrial Maintenance Modelled in SOCCA: An Experience Report.” Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), IEEE Computer Society, 1996, pp. 13–26, doi:http://dx.doi.org/10.1109/ICSP.1996.565021.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
Engels, Gregor, et al. “A View-Based Approach to System Modelling.” Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, vol. 155, Technical University of Berlin, 1996, p. 11.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
Engels, Gregor, et al. “Object-Oriented Specification of Coordinated Collaboration.” Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), Chapman & Hall, 1996, pp. 437–52.
LibreCat