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.

13543 Publications


1984 | Mastersthesis | LibreCat-ID: 15498
Das Schöne als Vollzug der Liebe. Eros-Logos-Verhältnisse in Platons Symposion
R. Hagengruber, Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse in Platons Symposion, München, 1984.
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 16922
Method to Relate Digital SAR Images and Map Information in Mountainous Areas
G. Domik-Kienegger, E. Kienegger, in: Proceedings of the World Conference on Remote Sensing, 1984.
LibreCat
 

1984 | Book Chapter | LibreCat-ID: 16787
Efficient simulations among several models of parallel computers (extended abstract)
F. Meyer auf der Heide, in: STACS 84, Berlin, Heidelberg, 1984.
LibreCat | DOI
 

1984 | Conference Paper | LibreCat-ID: 21604
Rectification of Radar Images Using Stereo- Derived Height Models and Simulations
G. Domik, F. Leberl, J. Raggam, in: 1984, pp. 109–116.
LibreCat
 

1983 | Journal Article | LibreCat-ID: 16808
Infinite cube-connected cycles
F. Meyer auf der Heide, Information Processing Letters (1983) 1–2.
LibreCat | DOI
 

1983 | Book Chapter | LibreCat-ID: 16810
Efficiency of universal parallel computers
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1983.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7412
An Operational Semantics for Specifications of Abstract Data Types with Error Handling
G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 16809
A polynomial linear search algorithm for the n-dimensional knapsack problem
F. Meyer auf der Heide, in: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing  - STOC ’83, 1983.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16806
Efficiency of universal parallel computers
F. Meyer auf der Heide, Acta Informatica (1983) 269–296.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16807
A lower time bound for the knapsack problem on random access machines
P. Klein, F. Meyer auf der Heide, Acta Informatica (1983) 385–395.
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7411
Software Specification Using Graph Grammars
G. Engels, R. Gall, M. Nagl, W. Schäfer, Computing 31 (1983) 317–346.
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 8255
Software Specification by Graph Grammars
M. Nagl, G. Engels, R. Gall, W. Schäfer, in: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany), Springer, Berlin/Heidelberg, 1983, pp. 267–287.
LibreCat | DOI
 

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

1982 | Conference Paper | LibreCat-ID: 7812
An Operational Approach to Conditional Algebraic Specifications
U. Pletat, G. Engels, H.-D. Ehrich, in: Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation, Lille (France), 1982, pp. 254–270.
LibreCat
 

1981 | Book Chapter | LibreCat-ID: 16813
Random access machines and straight-line programs
F. Meyer auf der Heide, A. Rollik, in: Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.
LibreCat | DOI
 

1981 | Journal Article | LibreCat-ID: 16820
A comparison of two variations of a pebble game on graphs
F. Meyer auf der Heide, Theoretical Computer Science (1981) 315–322.
LibreCat | DOI
 

1981 | Report | LibreCat-ID: 8184
Handling Errors and Exceptions in the Algebraic Specifications of Data Types
G. Engels, U. Pletat, H.-D. Ehrich, Handling Errors and Exceptions in the Algebraic Specifications of Data Types, University of Osnabrück, 1981.
LibreCat
 

1981 | Book Chapter | LibreCat-ID: 16814
Time-processor trade-offs for universal parallel computers
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.
LibreCat | DOI
 

1981 | Report | LibreCat-ID: 8185
Operational Semantics of Algebraic Specifications with Conditional Equations
U. Pletat, G. Engels, H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations, University of Dortmund, Department of Computer Science, 1981.
LibreCat
 

1980 | Book Chapter | LibreCat-ID: 16815
Untere Zeitschranken für das Rucksack-Problem
P. Klein, F. Meyer auf der Heide, in: GI - 10. Jahrestagung, Berlin, Heidelberg, 1980.
LibreCat | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed