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.

9333 Publications


1997 | Book | LibreCat-ID: 17447 | OA
V. Peckhaus, Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Berlin: Akademie-Verlag, 1997.
LibreCat | Files available
 

1996 | Book Chapter | LibreCat-ID: 19816
H. Kleine Büning and T. Lettmann, “Learning a representation for optimizable formulas,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1996.
LibreCat | DOI
 

1996 | Journal Article | LibreCat-ID: 19958
F. Schwarze, F. Meyer auf der Heide, and K. Schröder, “Routing on Networks of Optical Crossbars (Extended Abstract).,” Euro-Par 1996, vol. I, pp. 299–306, 1996.
LibreCat
 

1996 | Dissertation | LibreCat-ID: 3260
H. Wehrheim, Specifying reactive systems with action dependencies: modelling and hierarchical design. University of Hildesheim, Germany, 1996.
LibreCat
 

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
 

Filters and Search Terms

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

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed