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.

5786 Publications


1995 | Conference Paper | LibreCat-ID: 8267
Corradini A, Heckel R. A Compositional Approach to Structuring and Refinement of Typed Graph Grammars. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol 2. Electronic Notes in Theoretical Computer Science . Elsevier; 1995:46-55.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8268
Bardohl B, Bardohl R, Castro P, et al. GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development. In: Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany). Vol 26. Bilateral Seminars of the International Bureau. Forschungszentrum Jülich GmbH; 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 8269
Engels G, Schürr A. Encapsulated Hierarchical Graphs, Graph Types, and Meta Types. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier; 1995:101-109. doi:http://dx.doi.org/10.1016/S1571-0661(05)80186-0
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 8270
Heckel R, Wagner A. Ensuring Consistency of Conditional Graph Grammars - A constructive Approach. In: Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy). Vol 2. Electronic Notes in Theoretical Computer Science. Elsevier; 1995:118-126. doi:http://dx.doi.org/10.1016/S1571-0661(05)80188-4
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 16566
Breslauer D, Czumaj A, Dubhashi DP, Meyer auf der Heide F. Transforming comparison model lower bounds to the parallel-random-access-machine. Information Processing Letters. 1995:103-110. doi:10.1016/s0020-0190(97)00032-x
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16704
Meyer auf der Heide F, Vöcking B. A packet routing protocol for arbitrary networks. In: STACS 95. Berlin, Heidelberg; 1995. doi:10.1007/3-540-59042-0_81
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16705
Czumaj A, Meyer auf der Heide F, Stemann V. Shared memory simulations with triple-logarithmic delay. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1995. doi:10.1007/3-540-60313-1_133
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 16706
Meyer auf der Heide F, Storch M, Wanka R. Optimal trade-offs between size and slowdown for universal parallel networks. In: Proceedings of the Seventh Annual ACM Symposium on Parallel Algorithms and Architectures  - SPAA ’95. ; 1995. doi:10.1145/215399.215430
LibreCat | DOI
 

1995 | Conference Paper | LibreCat-ID: 16707
Czumaj A, Meyer auf der Heide F, Stemann V. Improved optimal shared memory simulations, and the power of reconfiguration. In: Proceedings Third Israel Symposium on the Theory of Computing and Systems. ; 1995. doi:10.1109/istcs.1995.377051
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16717
Meyer auf der Heide F, Westermann M. Hot-potato routing on multi-dimensional tori. In: Graph-Theoretic Concepts in Computer Science. Berlin, Heidelberg; 1995. doi:10.1007/3-540-60618-1_77
LibreCat | DOI
 

1995 | Book Chapter | LibreCat-ID: 16874
Bäumker A, Dittrich W, Meyer auf der Heide F. Truly efficient parallel algorithms: c-optimal multisearch for an extension of the BSP model. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1995. doi:10.1007/3-540-60313-1_131
LibreCat | DOI
 

1995 | Journal Article | LibreCat-ID: 10610
Platzner M, Rinner B, Weiss R. Exploiting Parallelism in Constraint Satisfaction for Qualitative Simulation. JUCS Journal of Universal Computer Science. 1995;12:811-820.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15294
Hüllermeier E. Towards modelling of fuzzy functions. In: Zimmermann HJ, ed. In Proceedings EUFIT-95 3rd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany. ; 1995:150-154.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15295
Hüllermeier E. Rule-based modelling in fuzzy simulation. In: In Proceedings ISFL-95 International Symposium on Logic, Zürich. ICSC Academic Press; 1995:B49-B56.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15305
Hüllermeier E. Fuzzy polynomial and spline interpolation. In: In Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin. Gordon and Breach Publishers; 1995:401-404.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 15272
Domik-Kienegger G, Owen G. Education for Visualization-Activities of the ACM-SIGGRAPH Education Committee. In: Proceedings of the Third Eurographics Workshop on Graphics and Visualization. ; 1995.
LibreCat
 

1995 | Book Chapter | LibreCat-ID: 16236
Hüllermeier E. Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung. In: Flemmig J, ed. Moderne Makroökonomie-Eine Kritische Bestandsaufnahme. Metropolis; 1995:413-454.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13469
Platzner M, Rinner B, Weiss R. A Distributed Computer Architecture for Qualitative Simulation based on a Multi-DSP and FPGAs. In: Proceedings of the 3rd Euromicro Workshop on Parallel and Distributed Processing . IEEE CS Press; 1995:311-318.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13470
Brenner E, Ginthör-Kalcsics R, Hranitzky R, et al. High-Performance Simulators Based on Multi-TMS320C40. In: Proceedings of the 5th Annual Texas Instruments TMS320 Educators Conference. ; 1995.
LibreCat
 

1995 | Conference Paper | LibreCat-ID: 13471
Friedl G, Platzner M, Rinner B. A Special-Purpose Coprocessor for Qualitative Simulation. In: Proceedings of the EURO-PAR’95 International Conference on Parallel Processing. Springer International Publishing; 1995:695-698.
LibreCat
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed