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): 179--184. https://doi.org/10.1016/0020-0190(96)00111-1.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 3262
Goltz, Ursula, and Heike Wehrheim. “Causal Testing.” In 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, 394--406. Lecture Notes in Computer Science, 1996. https://doi.org/10.1007/3-540-61550-4_165.
LibreCat
| DOI
1996 | Report | LibreCat-ID: 17418
Czumaj, Artur, Friedhelm Meyer auf der Heide, and Volker Stemann. Contention Resolution in Hashing Based Shared Memory Simulations. Technical Report SFB, University of Paderborn, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 17419
Grigoriev, Dima, Marek Karpinski, Friedhelm Meyer auf der Heide, and Roman Smolensky. “A Lower Bound for Randomized Algebraic Decision Trees.” In Proc. of 28th ACM-STOC, 65453:612–21. Lecture Notes in Computer Science. Eurographics Symposium on Parallel Graphics and Visualization, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 17483
Fischer, Matthias, Jochen Rethmann, and Alf Wachsmann. “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), 13–27. Amsterdam: IOS Press, 1996.
LibreCat
| Files available
1996 | Book Chapter | LibreCat-ID: 17564
Bäumker, Armin, Wolfgang Dittrich, Friedhelm Meyer auf der Heide, and Ingo Rieping. “Realistic Parallel Algorithms: Priority Queue Operations and Selection for the BSP* Model.” In Lecture Notes in Computer Science, 369–76. Berlin, Heidelberg, 1996. https://doi.org/10.1007/bfb0024725.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 1918
Dreier, Bernd, Annja Huber, Markus Zahn, Holger Karl, and Theo Ungerer. “ReGTime - Rent Gigaflops SomeTimes.” In Proceedings Trends in Distributed Systems, 1996.
LibreCat
1996 | Report | LibreCat-ID: 18352
Fischer, Matthias, Jochen Rethmann, and Alf Wachsmann. A Realistic Cost Model for the Communication Time in Parallel Programs on Parallel Computers Using a Service Hardware. Universität Paderborn, 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, Christian Scheideler, and Volker Stemann. “Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations.” Theor. Comput. Sci., no. 2 (1996): 245--281. https://doi.org/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.” In FOCS, 370--379, 1996.
LibreCat
| Files available
1996 | Conference Paper | LibreCat-ID: 2184 |
Meyer auf der Heide, Friedhelm, and Christian Scheideler. “Communication in Parallel Systems.” In SOFSEM, 1175:16--33. Lecture Notes in Computer Science. Springer, 1996.
LibreCat
| Files available
1996 | Conference Paper | LibreCat-ID: 2186 |
Cypher, Robert, Friedhelm Meyer auf der Heide, Christian Scheideler, and Berthold Vöcking. “Universal Algorithms for Store-and-Forward and Wormhole Routing.” In STOC, 356--365. ACM, 1996.
LibreCat
| Files available
1996 | Conference (Editor) | LibreCat-ID: 7796
Engels, Gregor, Hartmut Ehrig, Grzegorz Rozenberg, and Andrzej Skowron, eds. Special Issue on Graph Transformations. Vol. 26. Fundamenta Informaticae. Amsterdam: IOS Press, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
Ehrig, Hartmut, Reiko Heckel, Julia Padberg, Gabriele Taentzer, Uwe Wolter, Andrea Corradini, and Gregor Engels. “Synchronization of Views and Loose Semantics of Typed Graph Productions.” In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 11–12. Technical University of Berlin, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7835
Heckel, Reiko. “Behavioral Constraints for Loose Graph Transformation Systems.” In Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 12–13. Dagstuhl-Seminar-Report. Technical University of Berlin, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
Bunje, Tineke de, Gregor Engels, Luuk Groenewegen, Aart Matsinger, and Martin Rijnbeek. “Industrial Maintenance Modelled in SOCCA: An Experience Report.” In Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), 13–26. Washington, DC, USA: IEEE Computer Society, 1996. http://dx.doi.org/10.1109/ICSP.1996.565021.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
Engels, Gregor, Hartmut Ehrig, Reiko Heckel, Gabriele Taentzer, and Andrea Corradini. “A View-Based Approach to System Modelling.” In Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 155:11. Dagstuhl-Seminar-Report. Technical University of Berlin, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. “Object-Oriented Specification of Coordinated Collaboration.” In Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), 437–52. Chapman & Hall, 1996.
LibreCat