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.

10077 Publications


1980 | Book Chapter | LibreCat-ID: 16815
Klein, P., and Friedhelm Meyer auf der Heide. “Untere Zeitschranken Für Das Rucksack-Problem.” In GI - 10. Jahrestagung. Berlin, Heidelberg, 1980. https://doi.org/10.1007/978-3-642-67838-7_34.
LibreCat | DOI
 

1980 | Book (Editor) | LibreCat-ID: 15510
Hagengruber, Ruth, ed. Inseln im Ich. München: Matthes & Seitz, 1980.
LibreCat
 

1981 | Book Chapter | LibreCat-ID: 16813
Meyer auf der Heide, Friedhelm, and Anton Rollik. “Random Access Machines and Straight-Line Programs.” In Fundamentals of Computation Theory. Berlin, Heidelberg, 1981. https://doi.org/10.1007/3-540-10854-8_29.
LibreCat | DOI
 

1981 | Journal Article | LibreCat-ID: 16820
Meyer auf der Heide, Friedhelm. “A Comparison of Two Variations of a Pebble Game on Graphs.” Theoretical Computer Science, 1981, 315–22. https://doi.org/10.1016/s0304-3975(81)80004-7.
LibreCat | DOI
 

1981 | Report | LibreCat-ID: 8184
Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
LibreCat
 

1981 | Book Chapter | LibreCat-ID: 16814
Meyer auf der Heide, Friedhelm. “Time-Processor Trade-Offs for Universal Parallel Computers.” In Lecture Notes in Computer Science. Berlin, Heidelberg, 1981. https://doi.org/10.1007/3-540-10856-4_111.
LibreCat | DOI
 

1981 | Report | LibreCat-ID: 8185
Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7811
Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support Environment by Graph Grammars.” In Proceedings of the Conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany), 47–62. München/Leipzig: Hanser, 1982.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7812
Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. “An Operational Approach to Conditional Algebraic Specifications.” In Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 82:254–70, 1982.
LibreCat
 

1983 | Journal Article | LibreCat-ID: 16808
Meyer auf der Heide, Friedhelm. “Infinite Cube-Connected Cycles.” Information Processing Letters, 1983, 1–2. https://doi.org/10.1016/0020-0190(83)90001-7.
LibreCat | DOI
 

1983 | Book Chapter | LibreCat-ID: 16810
Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.” In Lecture Notes in Computer Science. Berlin/Heidelberg, 1983. https://doi.org/10.1007/bfb0036483.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7412
Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. “An Operational Semantics for Specifications of Abstract Data Types with Error Handling.” Acta Informatica 9, no. 3 (1983): 235–54. http://dx.doi.org/10.1007/BF00265557.
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 16809
Meyer auf der Heide, Friedhelm. “A Polynomial Linear Search Algorithm for the N-Dimensional Knapsack Problem.” In Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing  - STOC ’83, 1983. https://doi.org/10.1145/800061.808734.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16806
Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.” Acta Informatica, 1983, 269–96. https://doi.org/10.1007/bf00265559.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16807
Klein, Peter, and Friedhelm Meyer auf der Heide. “A Lower Time Bound for the Knapsack Problem on Random Access Machines.” Acta Informatica, 1983, 385–95. https://doi.org/10.1007/bf00290735.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7411
Engels, Gregor, Rupert Gall, Manfred Nagl, and Wilhelm Schäfer. “Software Specification Using Graph Grammars.” Computing 31, no. 4 (1983): 317–46. http://dx.doi.org/10.1007/BF02251236.
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 8255
Nagl, Manfred, Gregor Engels, Rupert Gall, and Wilhelm Schäfer. “Software Specification by Graph Grammars.” In Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), 153:267–87. LNCS. Berlin/Heidelberg: Springer, 1983. https://doi.org/dx.doi.org/10.1007/BFb0000113.
LibreCat | DOI
 

1984 | Journal Article | LibreCat-ID: 15124
Domik, Gitta, M Kobrick, and Franz Leberl. “Analyse von Radarbildern Mittels Digitaler Hoehenmodelle.” Bildmessung Und Luftbildwesen 52, no. 5 (1984): 249–63.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16920
Domik-Kienegger, Gitta, F. Leberl, and M. Kobrick. “Radar Image Simulation and Its Application in Image Analysis,” 99–108, 1984.
LibreCat
 

1984 | Journal Article | LibreCat-ID: 16785
Meyer auf der Heide, Friedhelm. “A Polynomial Linear Search Algorithm Forr the N-Dimensional Knapsack Problem.” Journal of the ACM (JACM), 1984, 668–76. https://doi.org/10.1145/828.322450.
LibreCat | DOI
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: Chicago

Export / Embed