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.
5848 Publications
1984 | Conference Paper | LibreCat-ID: 21603
Radar Image Simulation and its Application in Image Analysis
G. Domik, F. Leberl, M. Kobrick, in: International Archives of Photogrammetry and Remote Sensing, Rio de Janeiro, Brazil, 1984, pp. 99–108.
LibreCat
G. Domik, F. Leberl, M. Kobrick, in: International Archives of Photogrammetry and Remote Sensing, Rio de Janeiro, Brazil, 1984, pp. 99–108.
1984 | Conference Paper | LibreCat-ID: 21604
Rectification of Radar Images Using Stereo- Derived Height Models and Simulations
G. Domik, F. Leberl, J. Raggam, in: XVth Congress of the International Society for Photogrammetry and Remote Sensing, Rio de Janeiro, 1984, pp. 109–116.
LibreCat
G. Domik, F. Leberl, J. Raggam, in: XVth Congress of the International Society for Photogrammetry and Remote Sensing, Rio de Janeiro, 1984, pp. 109–116.
1984 | Conference Paper | LibreCat-ID: 21605
Evaluation of radar stereo viewability by means of a simulation technique
G. Domik, in: ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, 1984.
LibreCat
G. Domik, in: ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use, 1984.
1984 | Journal Article | LibreCat-ID: 16785
A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem
F. Meyer auf der Heide, Journal of the ACM (JACM) (1984) 668–676.
LibreCat
| DOI
F. Meyer auf der Heide, Journal of the ACM (JACM) (1984) 668–676.
1984 | Conference Paper | LibreCat-ID: 16786
On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication
F. Meyer auf der Heide, R. Reischuk, in: 25th Annual Symposium OnFoundations of Computer Science, 1984., 1984.
LibreCat
| DOI
F. Meyer auf der Heide, R. Reischuk, in: 25th Annual Symposium OnFoundations of Computer Science, 1984., 1984.
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
F. Meyer auf der Heide, in: STACS 84, Berlin, Heidelberg, 1984.
1984 | Conference Paper | LibreCat-ID: 16922
Method to Relate Digital SAR Images and Map Information in Mountainous Areas
G. Domik, E. Kienegger, in: Proceedings of the World Conference on Remote Sensing, 1984.
LibreCat
G. Domik, E. Kienegger, in: Proceedings of the World Conference on Remote Sensing, 1984.
1984 | Conference Paper | LibreCat-ID: 15598
The SAR-580 experiment on snow and glaciers at the Austrian test site
H. Rott, G. Domik, in: Proc. SAR-580 Investigators Workshop, 1984, pp. 217–232.
LibreCat
H. Rott, G. Domik, in: Proc. SAR-580 Investigators Workshop, 1984, pp. 217–232.
1984 | Report | LibreCat-ID: 15600
Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models.
G. Domik, F. Leberl, J. Raggam, Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models., Graz Research Center, 1984.
LibreCat
G. Domik, F. Leberl, J. Raggam, Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models., Graz Research Center, 1984.
1984 | Journal Article | LibreCat-ID: 15124
Analyse von Radarbildern mittels digitaler Hoehenmodelle
G. Domik, M. Kobrick, F. Leberl, Bildmessung Und Luftbildwesen 52 (1984) 249–263.
LibreCat
G. Domik, M. Kobrick, F. Leberl, Bildmessung Und Luftbildwesen 52 (1984) 249–263.
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
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.
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
G. Engels, R. Gall, M. Nagl, W. Schäfer, Computing 31 (1983) 317–346.
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
G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.
1983 | Journal Article | LibreCat-ID: 16806
Efficiency of universal parallel computers
F. Meyer auf der Heide, Acta Informatica (1983) 269–296.
LibreCat
| DOI
F. Meyer auf der Heide, Acta Informatica (1983) 269–296.
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
P. Klein, F. Meyer auf der Heide, Acta Informatica (1983) 385–395.
1983 | Journal Article | LibreCat-ID: 16808
Infinite cube-connected cycles
F. Meyer auf der Heide, Information Processing Letters (1983) 1–2.
LibreCat
| DOI
F. Meyer auf der Heide, Information Processing Letters (1983) 1–2.
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
F. Meyer auf der Heide, in: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing - STOC ’83, 1983.
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
F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg, 1983.
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
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.
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
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.