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.
37482 Publications
1980 | Book Chapter | LibreCat-ID: 16815
Klein P, Meyer auf der Heide F. Untere Zeitschranken für das Rucksack-Problem. In: GI - 10. Jahrestagung. Berlin, Heidelberg; 1980. doi:10.1007/978-3-642-67838-7_34
LibreCat
| DOI
1980 | Book (Editor) | LibreCat-ID: 15510
Hagengruber RE, ed. Inseln im Ich. Matthes & Seitz; 1980.
LibreCat
1981 | Report | LibreCat-ID: 8184
Engels G, Pletat U, Ehrich H-D. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück; 1981.
LibreCat
1981 | Report | LibreCat-ID: 8185
Pletat U, Engels G, Ehrich H-D. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science; 1981.
LibreCat
1981 | Book Chapter | LibreCat-ID: 16813
Meyer auf der Heide F, Rollik A. Random access machines and straight-line programs. In: Fundamentals of Computation Theory. Berlin, Heidelberg; 1981. doi:10.1007/3-540-10854-8_29
LibreCat
| DOI
1981 | Book Chapter | LibreCat-ID: 16814
Meyer auf der Heide F. Time-processor trade-offs for universal parallel computers. In: Lecture Notes in Computer Science. Berlin, Heidelberg; 1981. doi:10.1007/3-540-10856-4_111
LibreCat
| DOI
1981 | Journal Article | LibreCat-ID: 16820
Meyer auf der Heide F. A comparison of two variations of a pebble game on graphs. Theoretical Computer Science. 1981:315-322. doi:10.1016/s0304-3975(81)80004-7
LibreCat
| DOI
1981 | Book | LibreCat-ID: 30187 | 
Böcker J. Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin; 1981.
LibreCat
| Files available
1982 | Conference Paper | LibreCat-ID: 7811
Engels G, Schäfer W. 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). München/Leipzig: Hanser; 1982:47-62.
LibreCat
1982 | Conference Paper | LibreCat-ID: 7812
Pletat U, Engels G, Ehrich H-D. An Operational Approach to Conditional Algebraic Specifications. In: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France). Vol 82. ; 1982:254-270.
LibreCat
1982 | Book | LibreCat-ID: 29933 |
Böcker J. Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme. Institut für Regelungstechnik, TU Berlin; 1982.
LibreCat
| Files available
1983 | Conference Paper | LibreCat-ID: 8255
Nagl M, Engels G, Gall R, Schäfer W. Software Specification by Graph Grammars. In: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany). Vol 153. LNCS. Berlin/Heidelberg: Springer; 1983:267-287. doi:dx.doi.org/10.1007/BFb0000113
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 7411
Engels G, Gall R, Nagl M, Schäfer W. Software Specification Using Graph Grammars. Computing. 1983;31(4):317-346. doi:http://dx.doi.org/10.1007/BF02251236
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 7412
Engels G, Pletat U, Ehrich H-D. An Operational Semantics for Specifications of Abstract Data Types with Error Handling. Acta Informatica. 1983;9(3):235-254. doi:http://dx.doi.org/10.1007/BF00265557
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 16806
Meyer auf der Heide F. Efficiency of universal parallel computers. Acta Informatica. 1983:269-296. doi:10.1007/bf00265559
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 16807
Klein P, Meyer auf der Heide F. A lower time bound for the knapsack problem on random access machines. Acta Informatica. 1983:385-395. doi:10.1007/bf00290735
LibreCat
| DOI
1983 | Journal Article | LibreCat-ID: 16808
Meyer auf der Heide F. Infinite cube-connected cycles. Information Processing Letters. 1983:1-2. doi:10.1016/0020-0190(83)90001-7
LibreCat
| DOI
1983 | Conference Paper | LibreCat-ID: 16809
Meyer auf der Heide F. 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. doi:10.1145/800061.808734
LibreCat
| DOI
1983 | Book Chapter | LibreCat-ID: 16810
Meyer auf der Heide F. Efficiency of universal parallel computers. In: Lecture Notes in Computer Science. Berlin/Heidelberg; 1983. doi:10.1007/bfb0036483
LibreCat
| DOI
1984 | Conference Paper | LibreCat-ID: 21603
Domik G, Leberl F, Kobrick M. Radar Image Simulation and its Application in Image Analysis. In: International Archives of Photogrammetry and Remote Sensing. Vol 25A. ISPRS 1984, XVth congress, Rio de Janeiro, 1984. Rio de Janeiro, Brazil; 1984:99–108.
LibreCat