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
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 | 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 | 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: 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 | 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 | 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
1984 | Conference Paper | LibreCat-ID: 21603
Domik, Gitta, F. Leberl, and M. Kobrick. “Radar Image Simulation and Its Application in Image Analysis.” In International Archives of Photogrammetry and Remote Sensing, 25A:99–108. ISPRS 1984, XVth Congress, Rio de Janeiro, 1984. Rio de Janeiro, Brazil, 1984.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21604
Domik, Gitta, F. Leberl, and J. Raggam. “Rectification of Radar Images Using Stereo- Derived Height Models and Simulations.” In XVth Congress of the International Society for Photogrammetry and Remote Sensing, 25A:109–116. Rio de Janeiro, 1984.
LibreCat
1984 | Conference Paper | LibreCat-ID: 21605
Domik, Gitta. “Evaluation of Radar Stereo Viewability by Means of a Simulation Technique.” In ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, Vol. 2, 1984.
LibreCat