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
U. Goltz and H. Wehrheim, “Modelling Causality via Action Dependencies in Branching Time Semantics,” Inf. Process. Lett., no. 4, pp. 179--184, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 3262
U. Goltz and H. Wehrheim, “Causal Testing,” in Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS’96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996, pp. 394--406.
LibreCat | DOI
 

1996 | Report | LibreCat-ID: 17418
A. Czumaj, F. Meyer auf der Heide, and V. Stemann, Contention Resolution in Hashing Based Shared Memory Simulations. 1996.
LibreCat
 

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

1996 | Conference Paper | LibreCat-ID: 17483
M. Fischer, J. Rethmann, and A. 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), 1996, pp. 13–27.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 17493
V. Peckhaus, “The Influence of Hermann Günther Grassmann and Robert Grassmann on Ernst Schröder’s Algebra of Logic,” in Hermann Günther Graßmann (1809–1877): Visionary Mathematician, Scientist and Neo-humanist Scholar. Papers from a Sesquicentennial Conference, 1996, vol. 187, pp. 217–227.
LibreCat
 

1996 | Book Chapter | LibreCat-ID: 17564
A. Bäumker, W. Dittrich, F. Meyer auf der Heide, and I. Rieping, “Realistic parallel algorithms: Priority queue operations and selection for the BSP* Model,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1996, pp. 369–376.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 1918
B. Dreier, A. Huber, M. Zahn, H. Karl, and T. Ungerer, “ReGTime - Rent Gigaflops someTimes,” in Proceedings Trends in Distributed Systems, 1996.
LibreCat
 

1996 | Report | LibreCat-ID: 18352
M. Fischer, J. Rethmann, and A. 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
C. Scheideler, Universal routing strategies. University of Paderborn, Germany, 1996.
LibreCat
 

1996 | Journal Article | LibreCat-ID: 2182
F. Meyer auf der Heide, C. Scheideler, and V. Stemann, “Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations,” Theor. Comput. Sci., no. 2, pp. 245--281, 1996.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 2183 | OA
F. Meyer auf der Heide and C. Scheideler, “Deterministic Routing with Bounded Buffers: Turning Offline into Online Protocols,” in FOCS, 1996, pp. 370--379.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 2184 | OA
F. Meyer auf der Heide and C. Scheideler, “Communication in Parallel Systems,” in SOFSEM, 1996, vol. 1175, pp. 16--33.
LibreCat | Files available
 

1996 | Conference Paper | LibreCat-ID: 2186 | OA
R. Cypher, F. Meyer auf der Heide, C. Scheideler, and B. Vöcking, “Universal Algorithms for Store-and-Forward and Wormhole Routing,” in STOC, 1996, pp. 356--365.
LibreCat | Files available
 

1996 | Conference (Editor) | LibreCat-ID: 7796
G. Engels, H. Ehrig, G. Rozenberg, and A. Skowron, Eds., Special Issue on Graph Transformations, vol. 26, no. 3–4. Amsterdam: IOS Press, 1996.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7834
H. Ehrig et al., “Synchronization of Views and Loose Semantics of Typed Graph Productions,” in Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, no. 155, pp. 11–12.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7835
R. Heckel, “Behavioral Constraints for Loose Graph Transformation Systems,” in Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, no. 155, pp. 12–13.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7836
T. de Bunje, G. Engels, L. Groenewegen, A. Matsinger, and M. Rijnbeek, “Industrial maintenance modelled in SOCCA: an experience report,” in Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK), 1996, pp. 13–26.
LibreCat | DOI
 

1996 | Conference Paper | LibreCat-ID: 7837
G. Engels, H. Ehrig, R. Heckel, G. Taentzer, and A. Corradini, “A View-Based Approach to System Modelling,” in Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science, 1996, vol. 155, p. 11.
LibreCat
 

1996 | Conference Paper | LibreCat-ID: 7838
G. Engels, L. Groenewegen, and G. Kappel, “Object-oriented specification of coordinated collaboration,” in Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia), 1996, pp. 437–452.
LibreCat
 

Filters and Search Terms

isbn%3D978-1-4503-0868-7

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed