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.

36745 Publications


0000 | Encyclopedia Article | LibreCat-ID: 32360
@inbook{Ptashnyk, title={LEXIKON. Eintrag (Einzelartikel)}, booktitle={WSK Grammatik (online-Publikation)}, author={Ptashnyk, Stefaniya} }
LibreCat
 

0000 | Encyclopedia Article | LibreCat-ID: 32937
@inbook{Öhlschläger, place={Berlin, New York}, title={Bild/Bilderverbot (literaturwissenschaftlich)}, booktitle={Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther}, publisher={de Gruyter}, author={Öhlschläger, Claudia}, editor={Wischmeyer, Oda}, pages={98–99} }
LibreCat
 

0000 | Encyclopedia Article | LibreCat-ID: 32938
@inbook{Öhlschläger, place={Berlin, New York}, title={Ikonographie (literaturwissenschaftlich)}, booktitle={Lexikon der Bibelhermeneutik. Begriffe-Methoden. Theorien-Konzepte. Redaktion Susanne Luther}, publisher={de Gruyter}, author={Öhlschläger, Claudia}, editor={Wischmeyer, Oda}, pages={281–282} }
LibreCat
 

0000 | Book Chapter | LibreCat-ID: 32617
@inbook{Steigerwald, place={Wiesbaden}, title={Die Selbstverortung des Individuums zwischen Spätaufklärung und Romantik }, booktitle={Räume des Subjekts um 1800}, publisher={Harrassowitz}, author={Steigerwald, Jörn}, editor={Steigerwald, Jörn and Behrens, Rudolf} }
LibreCat
 

0000 | Book (Editor) | LibreCat-ID: 32882
@book{Öhlschläger, place={München, Paderborn}, title={Ethik-Text-Kultur}, publisher={Fink} }
LibreCat
 

1778 | Book | LibreCat-ID: 22111
@book{Reschetnik_Brüggemann_Kullmer_Risse, title={Beeinflussung des Risswachstums durch Kerben in additiv gefertigten Strukturen}, journal={Additive Fertigung von Bauteilen und Strukturen – Neue Erkenntnisse und Praxisbeispiele}, author={Reschetnik, W. and Brüggemann, J.P. and Kullmer, G. and Risse, L.} }
LibreCat
 

1778 | Book | LibreCat-ID: 22114
@book{Riemer_Leuders_Richard_Kullmer, title={Optimierung der Werkstoffperformance lasergeschmolzener metallischer Werkstoffe}, author={Riemer, A. and Leuders, S. and Richard, H.A. and Kullmer, G.} }
LibreCat
 

1979 | Journal Article | LibreCat-ID: 16812
@article{Meyer auf der Heide_1979, title={A comparison of two variations of a pebble game on graphs}, DOI={10.1007/3-540-09510-1_32 }, journal={Automata, Languages and Programming. ICALP 1979}, author={Meyer auf der Heide, Friedhelm}, year={1979}, pages={411–421} }
LibreCat | DOI
 

1980 | Book Chapter | LibreCat-ID: 16815
@inbook{Klein_Meyer auf der Heide_1980, place={Berlin, Heidelberg}, title={Untere Zeitschranken für das Rucksack-Problem}, DOI={10.1007/978-3-642-67838-7_34}, booktitle={GI - 10. Jahrestagung}, author={Klein, P. and Meyer auf der Heide, Friedhelm}, year={1980} }
LibreCat | DOI
 

1980 | Book (Editor) | LibreCat-ID: 15510
@book{Hagengruber_1980, place={München}, title={Inseln im Ich}, publisher={Matthes & Seitz}, year={1980} }
LibreCat
 

1981 | Report | LibreCat-ID: 8184
@book{Engels_Pletat_Ehrich_1981, title={Handling Errors and Exceptions in the Algebraic Specifications of Data Types}, publisher={University of Osnabrück}, author={Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich}, year={1981} }
LibreCat
 

1981 | Report | LibreCat-ID: 8185
@book{Pletat_Engels_Ehrich_1981, title={Operational Semantics of Algebraic Specifications with Conditional Equations}, publisher={University of Dortmund, Department of Computer Science}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1981} }
LibreCat
 

1981 | Book Chapter | LibreCat-ID: 16813
@inbook{Meyer auf der Heide_Rollik_1981, place={Berlin, Heidelberg}, title={Random access machines and straight-line programs}, DOI={10.1007/3-540-10854-8_29}, booktitle={Fundamentals of Computation Theory}, author={Meyer auf der Heide, Friedhelm and Rollik, Anton}, year={1981} }
LibreCat | DOI
 

1981 | Book Chapter | LibreCat-ID: 16814
@inbook{Meyer auf der Heide_1981, place={Berlin, Heidelberg}, title={Time-processor trade-offs for universal parallel computers}, DOI={10.1007/3-540-10856-4_111}, booktitle={Lecture Notes in Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1981} }
LibreCat | DOI
 

1981 | Journal Article | LibreCat-ID: 16820
@article{Meyer auf der Heide_1981, title={A comparison of two variations of a pebble game on graphs}, DOI={10.1016/s0304-3975(81)80004-7}, journal={Theoretical Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1981}, pages={315–322} }
LibreCat | DOI
 

1981 | Book | LibreCat-ID: 30187 | OA
@book{Böcker_1981, title={Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme}, publisher={Institut für Regelungstechnik, TU Berlin}, author={Böcker, Joachim}, year={1981} }
LibreCat | Files available
 

1982 | Conference Paper | LibreCat-ID: 7811
@inproceedings{Engels_Schäfer_1982, place={München/Leipzig}, title={Specification of a Programming Support Environment by Graph Grammars}, booktitle={Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany)}, publisher={Hanser}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1982}, pages={47–62} }
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7812
@inproceedings{Pletat_Engels_Ehrich_1982, title={An Operational Approach to Conditional Algebraic Specifications}, volume={82}, booktitle={Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France)}, author={Pletat, Udo and Engels, Gregor and Ehrich, Hans-Dietrich}, year={1982}, pages={254–270} }
LibreCat
 

1982 | Book | LibreCat-ID: 29933 | OA
@book{Böcker_1982, title={Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme}, publisher={Institut für Regelungstechnik, TU Berlin}, author={Böcker, Joachim}, year={1982} }
LibreCat | Files available
 

1983 | Conference Paper | LibreCat-ID: 8255
@inproceedings{Nagl_Engels_Gall_Schäfer_1983, place={Berlin/Heidelberg}, series={LNCS}, title={Software Specification by Graph Grammars}, volume={153}, DOI={dx.doi.org/10.1007/BFb0000113}, booktitle={Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany)}, publisher={Springer}, author={Nagl, Manfred and Engels, Gregor and Gall, Rupert and Schäfer, Wilhelm}, year={1983}, pages={267–287}, collection={LNCS} }
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7411
@article{Engels_Gall_Nagl_Schäfer_1983, title={Software Specification Using Graph Grammars}, volume={31}, DOI={http://dx.doi.org/10.1007/BF02251236}, number={4}, journal={Computing}, author={Engels, Gregor and Gall, Rupert and Nagl, Manfred and Schäfer, Wilhelm}, year={1983}, pages={317–346} }
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 7412
@article{Engels_Pletat_Ehrich_1983, title={An Operational Semantics for Specifications of Abstract Data Types with Error Handling}, volume={9}, DOI={http://dx.doi.org/10.1007/BF00265557}, number={3}, journal={Acta Informatica}, author={Engels, Gregor and Pletat, Udo and Ehrich, Hans-Dietrich}, year={1983}, pages={235–254} }
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16806
@article{Meyer auf der Heide_1983, title={Efficiency of universal parallel computers}, DOI={10.1007/bf00265559}, journal={Acta Informatica}, author={Meyer auf der Heide, Friedhelm}, year={1983}, pages={269–296} }
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16807
@article{Klein_Meyer auf der Heide_1983, title={A lower time bound for the knapsack problem on random access machines}, DOI={10.1007/bf00290735}, journal={Acta Informatica}, author={Klein, Peter and Meyer auf der Heide, Friedhelm}, year={1983}, pages={385–395} }
LibreCat | DOI
 

1983 | Journal Article | LibreCat-ID: 16808
@article{Meyer auf der Heide_1983, title={Infinite cube-connected cycles}, DOI={10.1016/0020-0190(83)90001-7}, journal={Information Processing Letters}, author={Meyer auf der Heide, Friedhelm}, year={1983}, pages={1–2} }
LibreCat | DOI
 

1983 | Conference Paper | LibreCat-ID: 16809
@inproceedings{Meyer auf der Heide_1983, title={A polynomial linear search algorithm for the n-dimensional knapsack problem}, DOI={10.1145/800061.808734}, booktitle={Proceedings of the fifteenth annual ACM symposium on Theory of computing  - STOC ’83}, author={Meyer auf der Heide, Friedhelm}, year={1983} }
LibreCat | DOI
 

1983 | Book Chapter | LibreCat-ID: 16810
@inbook{Meyer auf der Heide_1983, place={Berlin/Heidelberg}, title={Efficiency of universal parallel computers}, DOI={10.1007/bfb0036483}, booktitle={Lecture Notes in Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1983} }
LibreCat | DOI
 

1984 | Conference Paper | LibreCat-ID: 21603
@inproceedings{Domik_Leberl_Kobrick_1984, place={Rio de Janeiro, Brazil}, series={ISPRS 1984, XVth congress, Rio de Janeiro, 1984}, title={Radar Image Simulation and its Application in Image Analysis}, volume={25A}, number={3}, booktitle={International archives of photogrammetry and remote sensing}, author={Domik, Gitta and Leberl, F. and Kobrick, M.}, year={1984}, pages={99–108}, collection={ISPRS 1984, XVth congress, Rio de Janeiro, 1984} }
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 21604
@inproceedings{Domik_Leberl_Raggam_1984, place={Rio de Janeiro}, title={Rectification of Radar Images Using Stereo- Derived Height Models and Simulations}, volume={25A}, number={3}, booktitle={XVth Congress of the International Society for Photogrammetry and Remote Sensing}, author={Domik, Gitta and Leberl, F. and Raggam, J.}, year={1984}, pages={109–116} }
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 21605
@inproceedings{Domik_1984, title={Evaluation of radar stereo viewability by means of a simulation technique}, volume={2}, booktitle={ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,}, author={Domik, Gitta}, year={1984} }
LibreCat
 

1984 | Journal Article | LibreCat-ID: 16785
@article{Meyer auf der Heide_1984, title={A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem}, DOI={10.1145/828.322450}, journal={Journal of the ACM (JACM)}, author={Meyer auf der Heide, Friedhelm}, year={1984}, pages={668–676} }
LibreCat | DOI
 

1984 | Conference Paper | LibreCat-ID: 16786
@inproceedings{Meyer auf der Heide_Reischuk_1984, title={On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded Communication}, DOI={10.1109/sfcs.1984.715901}, booktitle={25th Annual Symposium onFoundations of Computer Science, 1984.}, author={Meyer auf der Heide, Friedhelm and Reischuk, R.}, year={1984} }
LibreCat | DOI
 

1984 | Book Chapter | LibreCat-ID: 16787
@inbook{Meyer auf der Heide_1984, place={Berlin, Heidelberg}, title={Efficient simulations among several models of parallel computers (extended abstract)}, DOI={10.1007/3-540-12920-0_20}, booktitle={STACS 84}, author={Meyer auf der Heide, Friedhelm}, year={1984} }
LibreCat | DOI
 

1984 | Conference Paper | LibreCat-ID: 16922
@inproceedings{Domik_Kienegger_1984, title={Method to Relate Digital SAR Images and Map Information in Mountainous Areas }, booktitle={Proceedings of the World Conference on Remote Sensing}, author={Domik, Gitta and Kienegger, E.}, year={1984} }
LibreCat
 

1984 | Conference Paper | LibreCat-ID: 15598
@inproceedings{Rott_Domik_1984, title={The SAR-580 experiment on snow and glaciers at the Austrian test site}, volume={2}, booktitle={Proc. SAR-580 Investigators Workshop}, author={Rott, H. and Domik, Gitta}, year={1984}, pages={217–232} }
LibreCat
 

1984 | Report | LibreCat-ID: 15600
@book{Domik_Leberl_Raggam_1984, series={Final Report on contract Nr. DAJA 45-83-C-0018, European Research Office of the US Army and DIBAG Report Nr. 17}, title={Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models.}, publisher={Graz Research Center}, author={Domik, Gitta and Leberl, Franz and Raggam, Johannes}, year={1984}, collection={Final Report on contract Nr. DAJA 45-83-C-0018, European Research Office of the US Army and DIBAG Report Nr. 17} }
LibreCat
 

1984 | Journal Article | LibreCat-ID: 15124
@article{Domik_Kobrick_Leberl_1984, title={Analyse von Radarbildern mittels digitaler Hoehenmodelle}, volume={52}, number={5}, journal={Bildmessung und luftbildwesen}, author={Domik, Gitta and Kobrick, M and Leberl, Franz}, year={1984}, pages={249–263} }
LibreCat
 

1984 | Book | LibreCat-ID: 17455 | OA
@book{Peckhaus_1984, title={Der nationalsozialistische „neue Begriff“ von Wissenschaft am Beispiel der „Deutschen Mathematik“ — Programm, Konzeption und politische Realisierung, Magisterarbeit an der Philosophischen Fakultät der Rheinisch-Westfälischen Technischen Hochschule Aachen, August 1984}, author={Peckhaus, Volker}, year={1984} }
LibreCat | Download (ext.)
 

1984 | Mastersthesis | LibreCat-ID: 12793
@book{Hagengruber_1984, place={München}, title={Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse in Platons Symposion}, author={Hagengruber, Ruth Edith}, year={1984} }
LibreCat
 

1984 | Journal Article | LibreCat-ID: 51461
@article{Hilgert_Hofmann_1984, title={Lie Theory of Semigroups}, volume={30}, journal={Semigroup Forum}, author={Hilgert, Joachim and Hofmann, K.H.}, year={1984}, pages={243–251} }
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 21606
@inproceedings{Domik_1985, title={Radar image simulation as a tool to analyze topographic effects on geometry and radiometry of radar imagery}, booktitle={Machine processing of remotely sensed data- Quantifying global process: Models, sensor systems, and analytical methods}, author={Domik, Gitta}, year={1985}, pages={248–253} }
LibreCat
 

1985 | Journal Article | LibreCat-ID: 21607
@article{Raggam_Triebnig_Buchroithner_Domik_Leberl_1985, title={Radargrammetric aspects of SAR data evaluation}, journal={Thematic Applications of SAR data}, author={Raggam, J and Triebnig, Gerhard and Buchroithner, MF and Domik, Gitta and Leberl, Franz}, year={1985}, pages={57} }
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 7813
@inproceedings{Engels_Schäfer_1985, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment}, volume={186}, booktitle={Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany)}, publisher={Springer}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1985}, pages={179–193}, collection={LNCS} }
LibreCat
 

1985 | Conference Paper | LibreCat-ID: 7814
@inproceedings{Engels_Schäfer_1985, place={Florenz}, title={The Design of an Adaptive and Portable Programming Support Environment}, booktitle={Proceedings of the International Computing Symposium, Amsterdam (The Netherlands)}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1985} }
LibreCat
 

1985 | Journal Article | LibreCat-ID: 16779
@article{Lautemann_Meyer auf der Heide_1985, title={Lower time bounds for integer programming with two variables}, DOI={10.1016/0020-0190(85)90042-0}, journal={Information Processing Letters}, author={Lautemann, Clemens and Meyer auf der Heide, Friedhelm}, year={1985}, pages={101–105} }
LibreCat | DOI
 

1985 | Journal Article | LibreCat-ID: 16780
@article{Meyer auf der Heide_1985, title={Lower bounds for solving linear diophantine equations on random access machines}, DOI={10.1145/4221.4250}, journal={Journal of the ACM (JACM)}, author={Meyer auf der Heide, Friedhelm}, year={1985}, pages={929–937} }
LibreCat | DOI
 

1985 | Journal Article | LibreCat-ID: 16781
@article{Meyer auf der Heide_1985, title={Simulating probabilistic by deterministic algebraic computation trees}, DOI={10.1016/0304-3975(85)90079-9}, journal={Theoretical Computer Science}, author={Meyer auf der Heide, Friedhelm}, year={1985}, pages={325–330} }
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 16782
@inproceedings{Meyer auf der Heide_Wigderson_1985, title={The complexity of parallel sorting}, DOI={10.1109/sfcs.1985.58}, booktitle={26th Annual Symposium on Foundations of Computer Science (sfcs 1985)}, author={Meyer auf der Heide, Friedhelm and Wigderson, Avi}, year={1985} }
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 16783
@inproceedings{Fich_Meyer auf der Heide_Ragde_Wigderson_1985, title={One, two, three . . . infinity: lower bounds for parallel computation}, DOI={10.1145/22145.22151}, booktitle={Proceedings of the seventeenth annual ACM symposium on Theory of computing  - STOC ’85}, author={Fich, F E and Meyer auf der Heide, Friedhelm and Ragde, P and Wigderson, A}, year={1985} }
LibreCat | DOI
 

1985 | Conference Paper | LibreCat-ID: 16784
@inproceedings{Meyer auf der Heide_1985, title={Fast algorithms for n-dimensional restrictions of hard problems}, DOI={10.1145/22145.22191}, booktitle={Proceedings of the seventeenth annual ACM symposium on Theory of computing  - STOC ’85}, author={Meyer auf der Heide, Friedhelm}, year={1985} }
LibreCat | DOI
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: BibTeX

Export / Embed