---
_id: '16815'
author:
- first_name: P.
full_name: Klein, P.
last_name: Klein
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: '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'
apa: Klein, P., & Meyer auf der Heide, F. (1980). Untere Zeitschranken für das
Rucksack-Problem. In GI - 10. Jahrestagung. Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67838-7_34
bibtex: '@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} }'
chicago: Klein, P., and Friedhelm Meyer auf der Heide. “Untere Zeitschranken Für
Das Rucksack-Problem.” In GI - 10. Jahrestagung. Berlin, Heidelberg, 1980.
https://doi.org/10.1007/978-3-642-67838-7_34.
ieee: P. Klein and F. Meyer auf der Heide, “Untere Zeitschranken für das Rucksack-Problem,”
in GI - 10. Jahrestagung, Berlin, Heidelberg, 1980.
mla: Klein, P., and Friedhelm Meyer auf der Heide. “Untere Zeitschranken Für Das
Rucksack-Problem.” GI - 10. Jahrestagung, 1980, doi:10.1007/978-3-642-67838-7_34.
short: 'P. Klein, F. Meyer auf der Heide, in: GI - 10. Jahrestagung, Berlin, Heidelberg,
1980.'
date_created: 2020-04-22T09:06:48Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1007/978-3-642-67838-7_34
language:
- iso: eng
place: Berlin, Heidelberg
publication: GI - 10. Jahrestagung
publication_identifier:
isbn:
- '9783540103882'
- '9783642678387'
issn:
- 0343-3005
publication_status: published
status: public
title: Untere Zeitschranken für das Rucksack-Problem
type: book_chapter
user_id: '15415'
year: '1980'
...
---
_id: '15510'
alternative_title:
- Ein Buch der Wünsche
citation:
ama: Hagengruber RE, ed. Inseln im Ich. Matthes & Seitz; 1980.
apa: Hagengruber, R. E. (Ed.). (1980). Inseln im Ich. Matthes & Seitz.
bibtex: '@book{Hagengruber_1980, place={München}, title={Inseln im Ich}, publisher={Matthes
& Seitz}, year={1980} }'
chicago: 'Hagengruber, Ruth Edith, ed. Inseln im Ich. München: Matthes &
Seitz, 1980.'
ieee: 'R. E. Hagengruber, Ed., Inseln im Ich. München: Matthes & Seitz,
1980.'
mla: Hagengruber, Ruth Edith, editor. Inseln im Ich. Matthes & Seitz,
1980.
short: R.E. Hagengruber, ed., Inseln im Ich, Matthes & Seitz, München, 1980.
date_created: 2020-01-13T13:07:39Z
date_updated: 2022-12-09T01:27:14Z
department:
- _id: '519'
editor:
- first_name: Ruth Edith
full_name: Hagengruber, Ruth Edith
id: '198'
last_name: Hagengruber
orcid: https://orcid.org/0000-0003-3360-6335
extern: '1'
language:
- iso: ger
place: München
publication_identifier:
isbn:
- '3882213183'
publisher: Matthes & Seitz
status: public
title: Inseln im Ich
type: book_editor
user_id: '49063'
year: '1980'
...
---
_id: '8184'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Udo
full_name: Pletat, Udo
last_name: Pletat
- first_name: Hans-Dietrich
full_name: Ehrich, Hans-Dietrich
last_name: Ehrich
citation:
ama: Engels G, Pletat U, Ehrich H-D. Handling Errors and Exceptions in the Algebraic
Specifications of Data Types. University of Osnabrück; 1981.
apa: Engels, G., Pletat, U., & Ehrich, H.-D. (1981). Handling Errors and
Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück.
bibtex: '@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}
}'
chicago: Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. Handling Errors
and Exceptions in the Algebraic Specifications of Data Types. University of
Osnabrück, 1981.
ieee: G. Engels, U. Pletat, and H.-D. Ehrich, Handling Errors and Exceptions
in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
mla: Engels, Gregor, et al. Handling Errors and Exceptions in the Algebraic Specifications
of Data Types. University of Osnabrück, 1981.
short: G. Engels, U. Pletat, H.-D. Ehrich, Handling Errors and Exceptions in the
Algebraic Specifications of Data Types, University of Osnabrück, 1981.
date_created: 2019-03-03T16:12:37Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Osnabrück
report_number: OSM-I-3
status: public
title: Handling Errors and Exceptions in the Algebraic Specifications of Data Types
type: report
user_id: '52534'
year: '1981'
...
---
_id: '8185'
author:
- first_name: Udo
full_name: Pletat, Udo
last_name: Pletat
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Hans-Dietrich
full_name: Ehrich, Hans-Dietrich
last_name: Ehrich
citation:
ama: Pletat U, Engels G, Ehrich H-D. Operational Semantics of Algebraic Specifications
with Conditional Equations. University of Dortmund, Department of Computer
Science; 1981.
apa: Pletat, U., Engels, G., & Ehrich, H.-D. (1981). Operational Semantics
of Algebraic Specifications with Conditional Equations. University of Dortmund,
Department of Computer Science.
bibtex: '@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} }'
chicago: Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. Operational Semantics
of Algebraic Specifications with Conditional Equations. University of Dortmund,
Department of Computer Science, 1981.
ieee: U. Pletat, G. Engels, and H.-D. Ehrich, Operational Semantics of Algebraic
Specifications with Conditional Equations. University of Dortmund, Department
of Computer Science, 1981.
mla: Pletat, Udo, et al. Operational Semantics of Algebraic Specifications with
Conditional Equations. University of Dortmund, Department of Computer Science,
1981.
short: U. Pletat, G. Engels, H.-D. Ehrich, Operational Semantics of Algebraic Specifications
with Conditional Equations, University of Dortmund, Department of Computer Science,
1981.
date_created: 2019-03-03T16:12:38Z
date_updated: 2022-01-06T07:03:51Z
department:
- _id: '66'
language:
- iso: eng
publisher: University of Dortmund, Department of Computer Science
report_number: '118'
status: public
title: Operational Semantics of Algebraic Specifications with Conditional Equations
type: report
user_id: '52534'
year: '1981'
...
---
_id: '16813'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Anton
full_name: Rollik, Anton
last_name: Rollik
citation:
ama: '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'
apa: Meyer auf der Heide, F., & Rollik, A. (1981). Random access machines and
straight-line programs. In Fundamentals of Computation Theory. Berlin,
Heidelberg. https://doi.org/10.1007/3-540-10854-8_29
bibtex: '@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} }'
chicago: Meyer auf der Heide, Friedhelm, and Anton Rollik. “Random Access Machines
and Straight-Line Programs.” In Fundamentals of Computation Theory. Berlin,
Heidelberg, 1981. https://doi.org/10.1007/3-540-10854-8_29.
ieee: F. Meyer auf der Heide and A. Rollik, “Random access machines and straight-line
programs,” in Fundamentals of Computation Theory, Berlin, Heidelberg, 1981.
mla: Meyer auf der Heide, Friedhelm, and Anton Rollik. “Random Access Machines and
Straight-Line Programs.” Fundamentals of Computation Theory, 1981, doi:10.1007/3-540-10854-8_29.
short: 'F. Meyer auf der Heide, A. Rollik, in: Fundamentals of Computation Theory,
Berlin, Heidelberg, 1981.'
date_created: 2020-04-22T09:03:21Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1007/3-540-10854-8_29
language:
- iso: eng
place: Berlin, Heidelberg
publication: Fundamentals of Computation Theory
publication_identifier:
isbn:
- '9783540108542'
- '9783540387657'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Random access machines and straight-line programs
type: book_chapter
user_id: '15415'
year: '1981'
...
---
_id: '16814'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: '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'
apa: Meyer auf der Heide, F. (1981). Time-processor trade-offs for universal parallel
computers. In Lecture Notes in Computer Science. Berlin, Heidelberg. https://doi.org/10.1007/3-540-10856-4_111
bibtex: '@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} }'
chicago: Meyer auf der Heide, Friedhelm. “Time-Processor Trade-Offs for Universal
Parallel Computers.” In Lecture Notes in Computer Science. Berlin, Heidelberg,
1981. https://doi.org/10.1007/3-540-10856-4_111.
ieee: F. Meyer auf der Heide, “Time-processor trade-offs for universal parallel
computers,” in Lecture Notes in Computer Science, Berlin, Heidelberg, 1981.
mla: Meyer auf der Heide, Friedhelm. “Time-Processor Trade-Offs for Universal Parallel
Computers.” Lecture Notes in Computer Science, 1981, doi:10.1007/3-540-10856-4_111.
short: 'F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin, Heidelberg,
1981.'
date_created: 2020-04-22T09:05:15Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1007/3-540-10856-4_111
language:
- iso: eng
place: Berlin, Heidelberg
publication: Lecture Notes in Computer Science
publication_identifier:
isbn:
- '9783540108566'
- '9783540387695'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Time-processor trade-offs for universal parallel computers
type: book_chapter
user_id: '15415'
year: '1981'
...
---
_id: '16820'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 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
apa: Meyer auf der Heide, F. (1981). A comparison of two variations of a pebble
game on graphs. Theoretical Computer Science, 315–322. https://doi.org/10.1016/s0304-3975(81)80004-7
bibtex: '@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} }'
chicago: Meyer auf der Heide, Friedhelm. “A Comparison of Two Variations of a Pebble
Game on Graphs.” Theoretical Computer Science, 1981, 315–22. https://doi.org/10.1016/s0304-3975(81)80004-7.
ieee: F. Meyer auf der Heide, “A comparison of two variations of a pebble game on
graphs,” Theoretical Computer Science, pp. 315–322, 1981.
mla: Meyer auf der Heide, Friedhelm. “A Comparison of Two Variations of a Pebble
Game on Graphs.” Theoretical Computer Science, 1981, pp. 315–22, doi:10.1016/s0304-3975(81)80004-7.
short: F. Meyer auf der Heide, Theoretical Computer Science (1981) 315–322.
date_created: 2020-04-22T09:33:31Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1016/s0304-3975(81)80004-7
language:
- iso: eng
page: 315-322
publication: Theoretical Computer Science
publication_identifier:
issn:
- 0304-3975
publication_status: published
status: public
title: A comparison of two variations of a pebble game on graphs
type: journal_article
user_id: '15415'
year: '1981'
...
---
_id: '30187'
author:
- first_name: Joachim
full_name: Böcker, Joachim
id: '66'
last_name: Böcker
orcid: 0000-0002-8480-7295
citation:
ama: Böcker J. Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf
mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin;
1981.
apa: Böcker, J. (1981). Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung
auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin.
bibtex: '@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} }'
chicago: Böcker, Joachim. Ein Kreiskriterium für Mehrgrößensysteme und seine
Anwendung auf mechanische Schwingungssysteme. Institut für Regelungstechnik,
TU Berlin, 1981.
ieee: J. Böcker, Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung
auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin,
1981.
mla: Böcker, Joachim. Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung
auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin,
1981.
short: J. Böcker, Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf
mechanische Schwingungssysteme, Institut für Regelungstechnik, TU Berlin, 1981.
date_created: 2022-03-02T08:05:13Z
date_updated: 2022-03-17T09:40:16Z
ddc:
- '620'
department:
- _id: '52'
extern: '1'
file:
- access_level: open_access
content_type: application/pdf
creator: boecker
date_created: 2022-03-02T08:03:56Z
date_updated: 2022-03-02T08:19:38Z
file_id: '30188'
file_name: Böcker 1981 Studienarbeit OCR.pdf
file_size: 9663083
relation: main_file
file_date_updated: 2022-03-02T08:19:38Z
has_accepted_license: '1'
language:
- iso: ger
oa: '1'
publication_status: published
publisher: Institut für Regelungstechnik, TU Berlin
status: public
title: Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische
Schwingungssysteme
type: book
user_id: '66'
year: '1981'
...
---
_id: '7811'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: '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.'
apa: 'Engels, G., & Schäfer, W. (1982). 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) (pp. 47–62). München/Leipzig:
Hanser.'
bibtex: '@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} }'
chicago: 'Engels, Gregor, and Wilhelm Schäfer. “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), 47–62. München/Leipzig:
Hanser, 1982.'
ieee: G. Engels and W. Schäfer, “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), 1982, pp. 47–62.
mla: Engels, Gregor, and Wilhelm Schäfer. “Specification of a Programming Support
Environment by Graph Grammars.” Proceedings of the Conference on Graphtheoretic
Concepts in Computer Science (WG`82), München (Germany), Hanser, 1982, pp.
47–62.
short: '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.'
date_created: 2019-02-20T13:37:37Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
language:
- iso: eng
page: 47-62
place: München/Leipzig
publication: Proceedings of the conference on Graphtheoretic Concepts in Computer
Science (WG`82), München (Germany)
publisher: Hanser
status: public
title: Specification of a Programming Support Environment by Graph Grammars
type: conference
user_id: '52534'
year: '1982'
...
---
_id: '7812'
abstract:
- lang: eng
text: We suppose to give conditional specifications of abstract data types hierarchically.
Considering algebraic specifications from an operational point of view this approach
enables us to present simple syntactic criteria for the Church-Rosser property,
which implies the welldefinedness of the operational semantics of a conditional
specification. Furthermore, these criteria are su?cient for the termination of
the full substitution reduction strategy.
author:
- first_name: Udo
full_name: Pletat, Udo
last_name: Pletat
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Hans-Dietrich
full_name: Ehrich, Hans-Dietrich
last_name: Ehrich
citation:
ama: '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.'
apa: Pletat, U., Engels, G., & Ehrich, H.-D. (1982). 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, pp.
254–270).
bibtex: '@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} }'
chicago: Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. “An Operational Approach
to Conditional Algebraic Specifications.” In Proceedings of the 7eme Colloque
Sur Les Arbres En Algebre et En Programmation, Lille (France), 82:254–70,
1982.
ieee: U. Pletat, G. Engels, and H.-D. Ehrich, “An Operational Approach to Conditional
Algebraic Specifications,” in Proceedings of the 7eme Colloque sur les Arbres
en Algebre et en Programmation, Lille (France), 1982, vol. 82, pp. 254–270.
mla: Pletat, Udo, et al. “An Operational Approach to Conditional Algebraic Specifications.”
Proceedings of the 7eme Colloque Sur Les Arbres En Algebre et En Programmation,
Lille (France), vol. 82, 1982, pp. 254–70.
short: '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.'
date_created: 2019-02-20T13:39:05Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
intvolume: ' 82'
language:
- iso: eng
page: 254-270
publication: Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation,
Lille (France)
status: public
title: An Operational Approach to Conditional Algebraic Specifications
type: conference
user_id: '52534'
volume: 82
year: '1982'
...
---
_id: '29933'
author:
- first_name: Joachim
full_name: Böcker, Joachim
id: '66'
last_name: Böcker
orcid: 0000-0002-8480-7295
citation:
ama: Böcker J. Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer
Regelungssysteme. Institut für Regelungstechnik, TU Berlin; 1982.
apa: Böcker, J. (1982). Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer
Regelungssysteme. Institut für Regelungstechnik, TU Berlin.
bibtex: '@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} }'
chicago: Böcker, Joachim. Untersuchungen zur L_inf-Stabilität für eine Klasse
nichtlinearer Regelungssysteme. Institut für Regelungstechnik, TU Berlin,
1982.
ieee: J. Böcker, Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer
Regelungssysteme. Institut für Regelungstechnik, TU Berlin, 1982.
mla: Böcker, Joachim. Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer
Regelungssysteme. Institut für Regelungstechnik, TU Berlin, 1982.
short: J. Böcker, Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer
Regelungssysteme, Institut für Regelungstechnik, TU Berlin, 1982.
date_created: 2022-02-21T14:04:55Z
date_updated: 2022-03-17T09:41:17Z
ddc:
- '620'
department:
- _id: '52'
extern: '1'
file:
- access_level: open_access
content_type: application/pdf
creator: boecker
date_created: 2022-02-21T14:10:37Z
date_updated: 2022-03-02T08:18:51Z
file_id: '29935'
file_name: Böcker 1982 Diplomarbeit.pdf
file_size: 2298515
relation: main_file
file_date_updated: 2022-03-02T08:18:51Z
has_accepted_license: '1'
language:
- iso: ger
oa: '1'
publication_status: published
publisher: Institut für Regelungstechnik, TU Berlin
status: public
title: Untersuchungen zur L_inf-Stabilität für eine Klasse nichtlinearer Regelungssysteme
type: book
user_id: '66'
year: '1982'
...
---
_id: '8255'
abstract:
- lang: eng
text: The following paper demonstrates that programmed sequential graph grammars
can be used in a systematic proceeding to specify the changes of high level intermediate
data structures arising in a programming support environment, in which all tools
work in an incremental and syntax-driven mode. In this paper we lay stress upon
the way to get the specification rather than on the result of this process. Therefore,
we give here some approach to specification engineering using graph grammars.
This approach is influenced by the syntactical definition of the underlying programming
language or module concept etc. to be supported but also by the idea of the user
interface.
author:
- first_name: Manfred
full_name: Nagl, Manfred
last_name: Nagl
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Rupert
full_name: Gall, Rupert
last_name: Gall
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: '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'
apa: 'Nagl, M., Engels, G., Gall, R., & Schäfer, W. (1983). 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,
pp. 267–287). Berlin/Heidelberg: Springer. https://doi.org/dx.doi.org/10.1007/BFb0000113'
bibtex: '@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} }'
chicago: 'Nagl, Manfred, Gregor Engels, Rupert Gall, and Wilhelm Schäfer. “Software
Specification by Graph Grammars.” In Proceedings of the 2nd International Workshop
on Graph-Grammars and Their Application to Computer Science, Osnabrück (Germany),
153:267–87. LNCS. Berlin/Heidelberg: Springer, 1983. https://doi.org/dx.doi.org/10.1007/BFb0000113.'
ieee: M. Nagl, G. Engels, R. Gall, and W. Schäfer, “Software Specification by Graph
Grammars,” in Proceedings of the 2nd International Workshop on Graph-Grammars
and Their Application to Computer Science, Osnabrück (Germany), 1983, vol.
153, pp. 267–287.
mla: Nagl, Manfred, et al. “Software Specification by Graph Grammars.” Proceedings
of the 2nd International Workshop on Graph-Grammars and Their Application to Computer
Science, Osnabrück (Germany), vol. 153, Springer, 1983, pp. 267–87, doi:dx.doi.org/10.1007/BFb0000113.
short: '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.'
date_created: 2019-03-04T11:52:04Z
date_updated: 2022-01-06T07:03:52Z
department:
- _id: '66'
doi: dx.doi.org/10.1007/BFb0000113
intvolume: ' 153'
language:
- iso: eng
page: 267-287
place: Berlin/Heidelberg
publication: Proceedings of the 2nd International Workshop on Graph-Grammars and Their
Application to Computer Science, Osnabrück (Germany)
publisher: Springer
series_title: LNCS
status: public
title: Software Specification by Graph Grammars
type: conference
user_id: '52534'
volume: 153
year: '1983'
...
---
_id: '7411'
abstract:
- lang: eng
text: The following paper,demonstrates that programmed sequential graph grammars
can be used in a systematic proceeding to specify tbe changes of high level intermediate
data structures arising in a programming support environment, in which all tools
work in an incremental and syntax-driven mode. In this paper we lay stress upon
the way to get the specification rather than on the result of this process. Therefore,
we give here some approach to "specification engineering" using graph grammars.
This approach is influenced by the syntactical definition of the underlying language
for Programming in the Small, the module concept etc. to be supported on one side
but also by the idea of the user interface.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Rupert
full_name: Gall, Rupert
last_name: Gall
- first_name: Manfred
full_name: Nagl, Manfred
last_name: Nagl
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 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
apa: Engels, G., Gall, R., Nagl, M., & Schäfer, W. (1983). Software Specification
Using Graph Grammars. Computing, 31(4), 317–346. http://dx.doi.org/10.1007/BF02251236
bibtex: '@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} }'
chicago: '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.'
ieee: G. Engels, R. Gall, M. Nagl, and W. Schäfer, “Software Specification Using
Graph Grammars,” Computing, vol. 31, no. 4, pp. 317–346, 1983.
mla: Engels, Gregor, et al. “Software Specification Using Graph Grammars.” Computing,
vol. 31, no. 4, 1983, pp. 317–46, doi:http://dx.doi.org/10.1007/BF02251236.
short: G. Engels, R. Gall, M. Nagl, W. Schäfer, Computing 31 (1983) 317–346.
date_created: 2019-01-31T15:55:42Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/BF02251236
intvolume: ' 31'
issue: '4'
language:
- iso: eng
page: 317-346
publication: Computing
status: public
title: Software Specification Using Graph Grammars
type: journal_article
user_id: '52534'
volume: 31
year: '1983'
...
---
_id: '7412'
abstract:
- lang: eng
text: A new approach to an operational treatment of errors and exceptions in specifications
of abstract data types is presented. Considering a specification as a term rewriting
system, we define an operational semantics and give conditions that are sufficient
for its well-definedness (Church-Rosser property). Also, we give conditions that
are sufficient for the termination of reduction strategies, respecting the specified
error and exception handling.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Udo
full_name: Pletat, Udo
last_name: Pletat
- first_name: Hans-Dietrich
full_name: Ehrich, Hans-Dietrich
last_name: Ehrich
citation:
ama: 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
apa: Engels, G., Pletat, U., & Ehrich, H.-D. (1983). An Operational Semantics
for Specifications of Abstract Data Types with Error Handling. Acta Informatica,
9(3), 235–254. http://dx.doi.org/10.1007/BF00265557
bibtex: '@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} }'
chicago: '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.'
ieee: G. Engels, U. Pletat, and H.-D. Ehrich, “An Operational Semantics for Specifications
of Abstract Data Types with Error Handling,” Acta Informatica, vol. 9,
no. 3, pp. 235–254, 1983.
mla: Engels, Gregor, et al. “An Operational Semantics for Specifications of Abstract
Data Types with Error Handling.” Acta Informatica, vol. 9, no. 3, 1983,
pp. 235–54, doi:http://dx.doi.org/10.1007/BF00265557.
short: G. Engels, U. Pletat, H.-D. Ehrich, Acta Informatica 9 (1983) 235–254.
date_created: 2019-01-31T15:56:22Z
date_updated: 2022-01-06T07:03:36Z
department:
- _id: '66'
doi: http://dx.doi.org/10.1007/BF00265557
intvolume: ' 9'
issue: '3'
language:
- iso: eng
page: 235-254
publication: Acta Informatica
status: public
title: An Operational Semantics for Specifications of Abstract Data Types with Error
Handling
type: journal_article
user_id: '52534'
volume: 9
year: '1983'
...
---
_id: '16806'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Meyer auf der Heide F. Efficiency of universal parallel computers. Acta
Informatica. 1983:269-296. doi:10.1007/bf00265559
apa: Meyer auf der Heide, F. (1983). Efficiency of universal parallel computers.
Acta Informatica, 269–296. https://doi.org/10.1007/bf00265559
bibtex: '@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} }'
chicago: Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.”
Acta Informatica, 1983, 269–96. https://doi.org/10.1007/bf00265559.
ieee: F. Meyer auf der Heide, “Efficiency of universal parallel computers,” Acta
Informatica, pp. 269–296, 1983.
mla: Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.”
Acta Informatica, 1983, pp. 269–96, doi:10.1007/bf00265559.
short: F. Meyer auf der Heide, Acta Informatica (1983) 269–296.
date_created: 2020-04-22T08:48:20Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1007/bf00265559
language:
- iso: eng
page: 269-296
publication: Acta Informatica
publication_identifier:
issn:
- 0001-5903
- 1432-0525
publication_status: published
status: public
title: Efficiency of universal parallel computers
type: journal_article
user_id: '15415'
year: '1983'
...
---
_id: '16807'
author:
- first_name: Peter
full_name: Klein, Peter
last_name: Klein
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 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
apa: Klein, P., & Meyer auf der Heide, F. (1983). A lower time bound for the
knapsack problem on random access machines. Acta Informatica, 385–395.
https://doi.org/10.1007/bf00290735
bibtex: '@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} }'
chicago: 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.
ieee: P. Klein and F. Meyer auf der Heide, “A lower time bound for the knapsack
problem on random access machines,” Acta Informatica, pp. 385–395, 1983.
mla: Klein, Peter, and Friedhelm Meyer auf der Heide. “A Lower Time Bound for the
Knapsack Problem on Random Access Machines.” Acta Informatica, 1983, pp.
385–95, doi:10.1007/bf00290735.
short: P. Klein, F. Meyer auf der Heide, Acta Informatica (1983) 385–395.
date_created: 2020-04-22T08:49:58Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1007/bf00290735
language:
- iso: eng
page: 385-395
publication: Acta Informatica
publication_identifier:
issn:
- 0001-5903
- 1432-0525
publication_status: published
status: public
title: A lower time bound for the knapsack problem on random access machines
type: journal_article
user_id: '15415'
year: '1983'
...
---
_id: '16808'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Meyer auf der Heide F. Infinite cube-connected cycles. Information Processing
Letters. 1983:1-2. doi:10.1016/0020-0190(83)90001-7
apa: Meyer auf der Heide, F. (1983). Infinite cube-connected cycles. Information
Processing Letters, 1–2. https://doi.org/10.1016/0020-0190(83)90001-7
bibtex: '@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} }'
chicago: 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.
ieee: F. Meyer auf der Heide, “Infinite cube-connected cycles,” Information Processing
Letters, pp. 1–2, 1983.
mla: Meyer auf der Heide, Friedhelm. “Infinite Cube-Connected Cycles.” Information
Processing Letters, 1983, pp. 1–2, doi:10.1016/0020-0190(83)90001-7.
short: F. Meyer auf der Heide, Information Processing Letters (1983) 1–2.
date_created: 2020-04-22T08:51:01Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1016/0020-0190(83)90001-7
language:
- iso: eng
page: 1-2
publication: Information Processing Letters
publication_identifier:
issn:
- 0020-0190
publication_status: published
status: public
title: Infinite cube-connected cycles
type: journal_article
user_id: '15415'
year: '1983'
...
---
_id: '16809'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: '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'
apa: Meyer auf der Heide, F. (1983). 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. https://doi.org/10.1145/800061.808734
bibtex: '@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} }'
chicago: 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.
ieee: F. Meyer auf der Heide, “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.
mla: Meyer auf der Heide, Friedhelm. “A Polynomial Linear Search Algorithm for the
N-Dimensional Knapsack Problem.” Proceedings of the Fifteenth Annual ACM Symposium
on Theory of Computing - STOC ’83, 1983, doi:10.1145/800061.808734.
short: 'F. Meyer auf der Heide, in: Proceedings of the Fifteenth Annual ACM Symposium
on Theory of Computing - STOC ’83, 1983.'
date_created: 2020-04-22T08:52:15Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1145/800061.808734
language:
- iso: eng
publication: Proceedings of the fifteenth annual ACM symposium on Theory of computing -
STOC '83
publication_identifier:
isbn:
- '0897910990'
publication_status: published
status: public
title: A polynomial linear search algorithm for the n-dimensional knapsack problem
type: conference
user_id: '15415'
year: '1983'
...
---
_id: '16810'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Meyer auf der Heide F. Efficiency of universal parallel computers. In: Lecture
Notes in Computer Science. Berlin/Heidelberg; 1983. doi:10.1007/bfb0036483'
apa: Meyer auf der Heide, F. (1983). Efficiency of universal parallel computers.
In Lecture Notes in Computer Science. Berlin/Heidelberg. https://doi.org/10.1007/bfb0036483
bibtex: '@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} }'
chicago: 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.
ieee: F. Meyer auf der Heide, “Efficiency of universal parallel computers,” in Lecture
Notes in Computer Science, Berlin/Heidelberg, 1983.
mla: Meyer auf der Heide, Friedhelm. “Efficiency of Universal Parallel Computers.”
Lecture Notes in Computer Science, 1983, doi:10.1007/bfb0036483.
short: 'F. Meyer auf der Heide, in: Lecture Notes in Computer Science, Berlin/Heidelberg,
1983.'
date_created: 2020-04-22T08:53:33Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1007/bfb0036483
language:
- iso: eng
place: Berlin/Heidelberg
publication: Lecture Notes in Computer Science
publication_identifier:
isbn:
- '3540119736'
publication_status: published
status: public
title: Efficiency of universal parallel computers
type: book_chapter
user_id: '15415'
year: '1983'
...
---
_id: '21603'
author:
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
- first_name: F.
full_name: Leberl, F.
last_name: Leberl
- first_name: M.
full_name: Kobrick, M.
last_name: Kobrick
citation:
ama: '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.'
apa: Domik, G., Leberl, F., & Kobrick, M. (1984). Radar Image Simulation and
its Application in Image Analysis. In International archives of photogrammetry
and remote sensing (Vol. 25A, pp. 99–108). Rio de Janeiro, Brazil.
bibtex: '@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} }'
chicago: 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.
ieee: G. Domik, F. Leberl, and M. Kobrick, “Radar Image Simulation and its Application
in Image Analysis,” in International archives of photogrammetry and remote
sensing, 1984, vol. 25A, no. 3, pp. 99–108.
mla: Domik, Gitta, et al. “Radar Image Simulation and Its Application in Image Analysis.”
International Archives of Photogrammetry and Remote Sensing, vol. 25A,
no. 3, 1984, pp. 99–108.
short: 'G. Domik, F. Leberl, M. Kobrick, in: International Archives of Photogrammetry
and Remote Sensing, Rio de Janeiro, Brazil, 1984, pp. 99–108.'
date_created: 2021-04-12T06:53:46Z
date_updated: 2022-01-06T06:55:07Z
department:
- _id: '65'
issue: '3'
language:
- iso: eng
page: 99–108
place: Rio de Janeiro, Brazil
publication: International archives of photogrammetry and remote sensing
publication_identifier:
issn:
- 0256-1840
series_title: ISPRS 1984, XVth congress, Rio de Janeiro, 1984
status: public
title: Radar Image Simulation and its Application in Image Analysis
type: conference
user_id: '90'
volume: 25A
year: '1984'
...
---
_id: '21604'
author:
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
- first_name: F.
full_name: Leberl, F.
last_name: Leberl
- first_name: J.
full_name: Raggam, J.
last_name: Raggam
citation:
ama: 'Domik G, Leberl F, Raggam J. Rectification of Radar Images Using Stereo- Derived
Height Models and Simulations. In: XVth Congress of the International Society
for Photogrammetry and Remote Sensing. Vol 25A. Rio de Janeiro; 1984:109–116.'
apa: Domik, G., Leberl, F., & Raggam, J. (1984). Rectification of Radar Images
Using Stereo- Derived Height Models and Simulations. In XVth Congress of the
International Society for Photogrammetry and Remote Sensing (Vol. 25A, pp.
109–116). Rio de Janeiro.
bibtex: '@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} }'
chicago: 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.
ieee: G. Domik, 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, 1984, vol. 25A, no. 3, pp.
109–116.
mla: Domik, Gitta, et al. “Rectification of Radar Images Using Stereo- Derived Height
Models and Simulations.” XVth Congress of the International Society for Photogrammetry
and Remote Sensing, vol. 25A, no. 3, 1984, pp. 109–116.
short: '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.'
date_created: 2021-04-12T06:53:48Z
date_updated: 2022-01-06T06:55:07Z
department:
- _id: '65'
issue: '3'
language:
- iso: eng
page: 109–116
place: Rio de Janeiro
publication: XVth Congress of the International Society for Photogrammetry and Remote
Sensing
status: public
title: Rectification of Radar Images Using Stereo- Derived Height Models and Simulations
type: conference
user_id: '90'
volume: 25A
year: '1984'
...
---
_id: '21605'
author:
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
citation:
ama: 'Domik G. 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.'
apa: 'Domik, G. (1984). Evaluation of radar stereo viewability by means of a simulation
technique. In ESA IGARSS 84: Remote Sensing: From Res. towards Operational
Use, (Vol. 2).'
bibtex: '@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}
}'
chicago: '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.'
ieee: 'G. Domik, “Evaluation of radar stereo viewability by means of a simulation
technique,” in ESA IGARSS 84: Remote Sensing: From Res. towards Operational
Use, 1984, vol. 2.'
mla: 'Domik, Gitta. “Evaluation of Radar Stereo Viewability by Means of a Simulation
Technique.” ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,
vol. 2, 1984.'
short: 'G. Domik, in: ESA IGARSS 84: Remote Sensing: From Res. towards Operational
Use, 1984.'
date_created: 2021-04-12T06:53:49Z
date_updated: 2022-01-06T06:55:07Z
department:
- _id: '65'
intvolume: ' 2'
language:
- iso: eng
publication: 'ESA IGARSS 84: Remote Sensing: From Res. towards Operational Use,'
status: public
title: Evaluation of radar stereo viewability by means of a simulation technique
type: conference
user_id: '14955'
volume: 2
year: '1984'
...
---
_id: '16785'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Meyer auf der Heide F. A Polynomial Linear Search Algorithm forr the n-Dimensional
Knapsack Problem. Journal of the ACM (JACM). 1984:668-676. doi:10.1145/828.322450
apa: Meyer auf der Heide, F. (1984). A Polynomial Linear Search Algorithm forr the
n-Dimensional Knapsack Problem. Journal of the ACM (JACM), 668–676. https://doi.org/10.1145/828.322450
bibtex: '@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} }'
chicago: Meyer auf der Heide, Friedhelm. “A Polynomial Linear Search Algorithm Forr
the N-Dimensional Knapsack Problem.” Journal of the ACM (JACM), 1984, 668–76.
https://doi.org/10.1145/828.322450.
ieee: F. Meyer auf der Heide, “A Polynomial Linear Search Algorithm forr the n-Dimensional
Knapsack Problem,” Journal of the ACM (JACM), pp. 668–676, 1984.
mla: Meyer auf der Heide, Friedhelm. “A Polynomial Linear Search Algorithm Forr
the N-Dimensional Knapsack Problem.” Journal of the ACM (JACM), 1984, pp.
668–76, doi:10.1145/828.322450.
short: F. Meyer auf der Heide, Journal of the ACM (JACM) (1984) 668–676.
date_created: 2020-04-21T11:25:52Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1145/828.322450
language:
- iso: eng
page: 668-676
publication: Journal of the ACM (JACM)
publication_identifier:
issn:
- 0004-5411
- 1557-735X
publication_status: published
status: public
title: A Polynomial Linear Search Algorithm forr the n-Dimensional Knapsack Problem
type: journal_article
user_id: '15415'
year: '1984'
...
---
_id: '16786'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: R.
full_name: Reischuk, R.
last_name: Reischuk
citation:
ama: 'Meyer auf der Heide F, Reischuk R. On The Limits To Speed Up Parallel Machines
By Large Hardware And Unbounded Communication. In: 25th Annual Symposium OnFoundations
of Computer Science, 1984. ; 1984. doi:10.1109/sfcs.1984.715901'
apa: Meyer auf der Heide, F., & Reischuk, R. (1984). On The Limits To Speed
Up Parallel Machines By Large Hardware And Unbounded Communication. In 25th
Annual Symposium onFoundations of Computer Science, 1984. https://doi.org/10.1109/sfcs.1984.715901
bibtex: '@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} }'
chicago: Meyer auf der Heide, Friedhelm, and R. Reischuk. “On The Limits To Speed
Up Parallel Machines By Large Hardware And Unbounded Communication.” In 25th
Annual Symposium OnFoundations of Computer Science, 1984., 1984. https://doi.org/10.1109/sfcs.1984.715901.
ieee: F. Meyer auf der Heide and R. Reischuk, “On The Limits To Speed Up Parallel
Machines By Large Hardware And Unbounded Communication,” in 25th Annual Symposium
onFoundations of Computer Science, 1984., 1984.
mla: Meyer auf der Heide, Friedhelm, and R. Reischuk. “On The Limits To Speed Up
Parallel Machines By Large Hardware And Unbounded Communication.” 25th Annual
Symposium OnFoundations of Computer Science, 1984., 1984, doi:10.1109/sfcs.1984.715901.
short: 'F. Meyer auf der Heide, R. Reischuk, in: 25th Annual Symposium OnFoundations
of Computer Science, 1984., 1984.'
date_created: 2020-04-21T11:27:07Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1109/sfcs.1984.715901
language:
- iso: eng
publication: 25th Annual Symposium onFoundations of Computer Science, 1984.
publication_identifier:
isbn:
- 081860591X
publication_status: published
status: public
title: On The Limits To Speed Up Parallel Machines By Large Hardware And Unbounded
Communication
type: conference
user_id: '15415'
year: '1984'
...
---
_id: '16787'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Meyer auf der Heide F. Efficient simulations among several models of parallel
computers (extended abstract). In: STACS 84. Berlin, Heidelberg; 1984.
doi:10.1007/3-540-12920-0_20'
apa: Meyer auf der Heide, F. (1984). Efficient simulations among several models
of parallel computers (extended abstract). In STACS 84. Berlin, Heidelberg.
https://doi.org/10.1007/3-540-12920-0_20
bibtex: '@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} }'
chicago: Meyer auf der Heide, Friedhelm. “Efficient Simulations among Several Models
of Parallel Computers (Extended Abstract).” In STACS 84. Berlin, Heidelberg,
1984. https://doi.org/10.1007/3-540-12920-0_20.
ieee: F. Meyer auf der Heide, “Efficient simulations among several models of parallel
computers (extended abstract),” in STACS 84, Berlin, Heidelberg, 1984.
mla: Meyer auf der Heide, Friedhelm. “Efficient Simulations among Several Models
of Parallel Computers (Extended Abstract).” STACS 84, 1984, doi:10.1007/3-540-12920-0_20.
short: 'F. Meyer auf der Heide, in: STACS 84, Berlin, Heidelberg, 1984.'
date_created: 2020-04-21T11:28:40Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1007/3-540-12920-0_20
language:
- iso: eng
place: Berlin, Heidelberg
publication: STACS 84
publication_identifier:
isbn:
- '9783540129202'
- '9783540388050'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Efficient simulations among several models of parallel computers (extended
abstract)
type: book_chapter
user_id: '15415'
year: '1984'
...
---
_id: '16922'
author:
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
- first_name: E.
full_name: Kienegger, E.
last_name: Kienegger
citation:
ama: 'Domik G, Kienegger E. Method to Relate Digital SAR Images and Map Information
in Mountainous Areas . In: Proceedings of the World Conference on Remote Sensing.
; 1984.'
apa: Domik, G., & Kienegger, E. (1984). Method to Relate Digital SAR Images
and Map Information in Mountainous Areas . In Proceedings of the World Conference
on Remote Sensing. Sensing, Bayreuth.
bibtex: '@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} }'
chicago: Domik, Gitta, and E. Kienegger. “Method to Relate Digital SAR Images and
Map Information in Mountainous Areas .” In Proceedings of the World Conference
on Remote Sensing, 1984.
ieee: G. Domik and E. Kienegger, “Method to Relate Digital SAR Images and Map Information
in Mountainous Areas ,” in Proceedings of the World Conference on Remote Sensing,
Sensing, Bayreuth, 1984.
mla: Domik, Gitta, and E. Kienegger. “Method to Relate Digital SAR Images and Map
Information in Mountainous Areas .” Proceedings of the World Conference on
Remote Sensing, 1984.
short: 'G. Domik, E. Kienegger, in: Proceedings of the World Conference on Remote
Sensing, 1984.'
conference:
location: Sensing, Bayreuth
date_created: 2020-04-29T09:29:19Z
date_updated: 2022-01-06T06:52:59Z
department:
- _id: '65'
language:
- iso: eng
publication: Proceedings of the World Conference on Remote Sensing
status: public
title: 'Method to Relate Digital SAR Images and Map Information in Mountainous Areas '
type: conference
user_id: '14955'
year: '1984'
...
---
_id: '15598'
author:
- first_name: H.
full_name: Rott, H.
last_name: Rott
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
citation:
ama: 'Rott H, Domik G. The SAR-580 experiment on snow and glaciers at the Austrian
test site. In: Proc. SAR-580 Investigators Workshop. Vol 2. ; 1984:217-232.'
apa: Rott, H., & Domik, G. (1984). The SAR-580 experiment on snow and glaciers
at the Austrian test site. In Proc. SAR-580 Investigators Workshop (Vol.
2, pp. 217–232).
bibtex: '@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} }'
chicago: Rott, H., and Gitta Domik. “The SAR-580 Experiment on Snow and Glaciers
at the Austrian Test Site.” In Proc. SAR-580 Investigators Workshop, 2:217–32,
1984.
ieee: H. Rott and G. Domik, “The SAR-580 experiment on snow and glaciers at the
Austrian test site,” in Proc. SAR-580 Investigators Workshop, 1984, vol.
2, pp. 217–232.
mla: Rott, H., and Gitta Domik. “The SAR-580 Experiment on Snow and Glaciers at
the Austrian Test Site.” Proc. SAR-580 Investigators Workshop, vol. 2,
1984, pp. 217–32.
short: 'H. Rott, G. Domik, in: Proc. SAR-580 Investigators Workshop, 1984, pp. 217–232.'
date_created: 2020-01-16T09:37:44Z
date_updated: 2022-01-06T06:52:30Z
department:
- _id: '65'
intvolume: ' 2'
language:
- iso: eng
page: 217-232
publication: Proc. SAR-580 Investigators Workshop
status: public
title: The SAR-580 experiment on snow and glaciers at the Austrian test site
type: conference
user_id: '15458'
volume: 2
year: '1984'
...
---
_id: '15600'
author:
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
- first_name: Franz
full_name: Leberl, Franz
last_name: Leberl
- first_name: Johannes
full_name: Raggam, Johannes
last_name: Raggam
citation:
ama: Domik G, Leberl F, Raggam J. Differential Rectification of SLR-Images Using
Map-Derived and Radar-Generated Digital Elevation Models. Graz Research Center;
1984.
apa: Domik, G., Leberl, F., & Raggam, J. (1984). Differential Rectification
of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models.
Graz Research Center.
bibtex: '@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} }'
chicago: Domik, Gitta, Franz Leberl, and Johannes Raggam. Differential Rectification
of SLR-Images Using Map-Derived and Radar-Generated Digital Elevation Models.
Final Report on Contract Nr. DAJA 45-83-C-0018, European Research Office of the
US Army and DIBAG Report Nr. 17. Graz Research Center, 1984.
ieee: G. Domik, F. Leberl, and J. Raggam, Differential Rectification of SLR-Images
Using Map-Derived and Radar-Generated Digital Elevation Models. Graz Research
Center, 1984.
mla: Domik, Gitta, et al. Differential Rectification of SLR-Images Using Map-Derived
and Radar-Generated Digital Elevation Models. Graz Research Center, 1984.
short: G. Domik, F. Leberl, J. Raggam, Differential Rectification of SLR-Images
Using Map-Derived and Radar-Generated Digital Elevation Models., Graz Research
Center, 1984.
date_created: 2020-01-16T09:41:21Z
date_updated: 2022-01-06T06:52:30Z
department:
- _id: '65'
language:
- iso: eng
publisher: Graz Research Center
series_title: Final Report on contract Nr. DAJA 45-83-C-0018, European Research Office
of the US Army and DIBAG Report Nr. 17
status: public
title: Differential Rectification of SLR-Images Using Map-Derived and Radar-Generated
Digital Elevation Models.
type: report
user_id: '90'
year: '1984'
...
---
_id: '15124'
author:
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
- first_name: M
full_name: Kobrick, M
last_name: Kobrick
- first_name: Franz
full_name: Leberl, Franz
last_name: Leberl
citation:
ama: Domik G, Kobrick M, Leberl F. Analyse von Radarbildern mittels digitaler Hoehenmodelle.
Bildmessung und luftbildwesen. 1984;52(5):249-263.
apa: Domik, G., Kobrick, M., & Leberl, F. (1984). Analyse von Radarbildern mittels
digitaler Hoehenmodelle. Bildmessung Und Luftbildwesen, 52(5), 249–263.
bibtex: '@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}
}'
chicago: 'Domik, Gitta, M Kobrick, and Franz Leberl. “Analyse von Radarbildern Mittels
Digitaler Hoehenmodelle.” Bildmessung Und Luftbildwesen 52, no. 5 (1984):
249–63.'
ieee: G. Domik, M. Kobrick, and F. Leberl, “Analyse von Radarbildern mittels digitaler
Hoehenmodelle,” Bildmessung und luftbildwesen, vol. 52, no. 5, pp. 249–263,
1984.
mla: Domik, Gitta, et al. “Analyse von Radarbildern Mittels Digitaler Hoehenmodelle.”
Bildmessung Und Luftbildwesen, vol. 52, no. 5, 1984, pp. 249–63.
short: G. Domik, M. Kobrick, F. Leberl, Bildmessung Und Luftbildwesen 52 (1984)
249–263.
date_created: 2019-11-22T08:10:02Z
date_updated: 2022-01-06T06:52:15Z
department:
- _id: '65'
intvolume: ' 52'
issue: '5'
language:
- iso: eng
page: 249-263
publication: Bildmessung und luftbildwesen
status: public
title: Analyse von Radarbildern mittels digitaler Hoehenmodelle
type: journal_article
user_id: '15458'
volume: 52
year: '1984'
...
---
_id: '17455'
abstract:
- lang: ger
text: "Online-Version (2001, 2014): http://publications.rwth-aachen.de/record/229987\r\n"
author:
- first_name: Volker
full_name: Peckhaus, Volker
id: '391'
last_name: Peckhaus
citation:
ama: Peckhaus V. 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.; 1984.
apa: Peckhaus, V. (1984). 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.
bibtex: '@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}
}'
chicago: Peckhaus, Volker. 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, 1984.
ieee: V. Peckhaus, 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. 1984.
mla: Peckhaus, Volker. 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. 1984.
short: V. Peckhaus, 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, 1984.
date_created: 2020-07-30T05:12:07Z
date_updated: 2022-03-07T10:14:32Z
department:
- _id: '520'
extern: '1'
language:
- iso: ger
main_file_link:
- open_access: '1'
url: http://publications.rwth-aachen.de/record/229987
oa: '1'
page: 256 + 2 unpag.
status: public
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
type: book
user_id: '59882'
year: '1984'
...
---
_id: '12793'
author:
- first_name: Ruth Edith
full_name: Hagengruber, Ruth Edith
id: '198'
last_name: Hagengruber
orcid: https://orcid.org/0000-0003-3360-6335
citation:
ama: Hagengruber RE. Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse
in Platons Symposion.; 1984.
apa: Hagengruber, R. E. (1984). Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse
in Platons Symposion.
bibtex: '@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} }'
chicago: Hagengruber, Ruth Edith. Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse
in Platons Symposion. München, 1984.
ieee: R. E. Hagengruber, Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse
in Platons Symposion. München, 1984.
mla: Hagengruber, Ruth Edith. Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse
in Platons Symposion. 1984.
short: R.E. Hagengruber, Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse
in Platons Symposion, München, 1984.
date_created: 2019-07-19T11:08:23Z
date_updated: 2022-12-21T11:47:31Z
department:
- _id: '519'
extern: '1'
language:
- iso: ger
place: München
status: public
title: Das Schöne Als Vollzug Der Liebe. Eros-Logos-Verhältnisse in Platons Symposion
type: mastersthesis
user_id: '49063'
year: '1984'
...
---
_id: '51461'
author:
- first_name: Joachim
full_name: Hilgert, Joachim
id: '220'
last_name: Hilgert
- first_name: K.H.
full_name: Hofmann, K.H.
last_name: Hofmann
citation:
ama: Hilgert J, Hofmann KH. Lie Theory of Semigroups. Semigroup Forum. 1984;30:243-251.
apa: Hilgert, J., & Hofmann, K. H. (1984). Lie Theory of Semigroups. Semigroup
Forum, 30, 243–251.
bibtex: '@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} }'
chicago: 'Hilgert, Joachim, and K.H. Hofmann. “Lie Theory of Semigroups.” Semigroup
Forum 30 (1984): 243–51.'
ieee: J. Hilgert and K. H. Hofmann, “Lie Theory of Semigroups,” Semigroup Forum,
vol. 30, pp. 243–251, 1984.
mla: Hilgert, Joachim, and K. H. Hofmann. “Lie Theory of Semigroups.” Semigroup
Forum, vol. 30, 1984, pp. 243–51.
short: J. Hilgert, K.H. Hofmann, Semigroup Forum 30 (1984) 243–251.
date_created: 2024-02-19T07:57:51Z
date_updated: 2024-02-20T13:38:42Z
department:
- _id: '91'
extern: '1'
intvolume: ' 30'
language:
- iso: eng
page: 243-251
publication: Semigroup Forum
publication_status: published
status: public
title: Lie Theory of Semigroups
type: journal_article
user_id: '49063'
volume: 30
year: '1984'
...
---
_id: '21606'
author:
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
citation:
ama: 'Domik G. Radar image simulation as a tool to analyze topographic effects on
geometry and radiometry of radar imagery. In: Machine Processing of Remotely
Sensed Data- Quantifying Global Process: Models, Sensor Systems, and Analytical
Methods. ; 1985:248–253.'
apa: 'Domik, G. (1985). Radar image simulation as a tool to analyze topographic
effects on geometry and radiometry of radar imagery. In Machine processing
of remotely sensed data- Quantifying global process: Models, sensor systems, and
analytical methods (pp. 248–253).'
bibtex: '@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}
}'
chicago: 'Domik, Gitta. “Radar Image Simulation as a Tool to Analyze Topographic
Effects on Geometry and Radiometry of Radar Imagery.” In Machine Processing
of Remotely Sensed Data- Quantifying Global Process: Models, Sensor Systems, and
Analytical Methods, 248–253, 1985.'
ieee: 'G. Domik, “Radar image simulation as a tool to analyze topographic effects
on geometry and radiometry of radar imagery,” in Machine processing of remotely
sensed data- Quantifying global process: Models, sensor systems, and analytical
methods, 1985, pp. 248–253.'
mla: 'Domik, Gitta. “Radar Image Simulation as a Tool to Analyze Topographic Effects
on Geometry and Radiometry of Radar Imagery.” Machine Processing of Remotely
Sensed Data- Quantifying Global Process: Models, Sensor Systems, and Analytical
Methods, 1985, pp. 248–253.'
short: 'G. Domik, in: Machine Processing of Remotely Sensed Data- Quantifying Global
Process: Models, Sensor Systems, and Analytical Methods, 1985, pp. 248–253.'
date_created: 2021-04-12T08:08:07Z
date_updated: 2022-01-06T06:55:07Z
department:
- _id: '65'
language:
- iso: eng
page: 248–253
publication: 'Machine processing of remotely sensed data- Quantifying global process:
Models, sensor systems, and analytical methods'
status: public
title: Radar image simulation as a tool to analyze topographic effects on geometry
and radiometry of radar imagery
type: conference
user_id: '14955'
year: '1985'
...
---
_id: '21607'
author:
- first_name: J
full_name: Raggam, J
last_name: Raggam
- first_name: Gerhard
full_name: Triebnig, Gerhard
last_name: Triebnig
- first_name: MF
full_name: Buchroithner, MF
last_name: Buchroithner
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
- first_name: Franz
full_name: Leberl, Franz
last_name: Leberl
citation:
ama: Raggam J, Triebnig G, Buchroithner M, Domik G, Leberl F. Radargrammetric aspects
of SAR data evaluation. Thematic Applications of SAR data. 1985:57.
apa: Raggam, J., Triebnig, G., Buchroithner, M., Domik, G., & Leberl, F. (1985).
Radargrammetric aspects of SAR data evaluation. Thematic Applications of SAR
Data, 57.
bibtex: '@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} }'
chicago: Raggam, J, Gerhard Triebnig, MF Buchroithner, Gitta Domik, and Franz Leberl.
“Radargrammetric Aspects of SAR Data Evaluation.” Thematic Applications of
SAR Data, 1985, 57.
ieee: J. Raggam, G. Triebnig, M. Buchroithner, G. Domik, and F. Leberl, “Radargrammetric
aspects of SAR data evaluation,” Thematic Applications of SAR data, p.
57, 1985.
mla: Raggam, J., et al. “Radargrammetric Aspects of SAR Data Evaluation.” Thematic
Applications of SAR Data, 1985, p. 57.
short: J. Raggam, G. Triebnig, M. Buchroithner, G. Domik, F. Leberl, Thematic Applications
of SAR Data (1985) 57.
conference:
location: Frascati, Italy
date_created: 2021-04-12T08:08:09Z
date_updated: 2022-01-06T06:55:07Z
department:
- _id: '79'
- _id: '7'
- _id: '65'
- _id: '69'
language:
- iso: eng
page: '57'
publication: Thematic Applications of SAR data
status: public
title: Radargrammetric aspects of SAR data evaluation
type: journal_article
user_id: '90'
year: '1985'
...
---
_id: '7813'
abstract:
- lang: eng
text: We introduce a method to specify the functional behaviour of software tools
in an incremental and integrated software development environment. This specification
method is based on graph grammars. It is an adequate method to specify the behaviour
of all software systems using graphs as internal data structures. We show that
a specification can be developed systematically by which the adaptability of the
environment is increased towards modification of tools or extension by new tools.
Furthermore, guidelines for the implementation can directly be derived from this
specification.
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Engels G, Schäfer W. Graph Grammar Engineering: A Method Used for the Development
of an Integrated Programming Support Environment. In: Proceedings of the International
Joint Conference on Theory and Practice of Software Development (TAPSOFT 1985),
Berlin (Germany). Vol 186. LNCS. Berlin/Heidelberg: Springer; 1985:179-193.'
apa: 'Engels, G., & Schäfer, W. (1985). Graph Grammar Engineering: A Method
Used for the Development of an Integrated Programming Support Environment. In
Proceedings of the International Joint Conference on Theory and Practice of
Software Development (TAPSOFT 1985), Berlin (Germany) (Vol. 186, pp. 179–193).
Berlin/Heidelberg: Springer.'
bibtex: '@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} }'
chicago: 'Engels, Gregor, and Wilhelm Schäfer. “Graph Grammar Engineering: A Method
Used for the Development of an Integrated Programming Support Environment.” In
Proceedings of the International Joint Conference on Theory and Practice of
Software Development (TAPSOFT 1985), Berlin (Germany), 186:179–93. LNCS. Berlin/Heidelberg:
Springer, 1985.'
ieee: 'G. Engels and W. Schäfer, “Graph Grammar Engineering: A Method Used for the
Development of an Integrated Programming Support Environment,” in Proceedings
of the International Joint Conference on Theory and Practice of Software Development
(TAPSOFT 1985), Berlin (Germany), 1985, vol. 186, pp. 179–193.'
mla: 'Engels, Gregor, and Wilhelm Schäfer. “Graph Grammar Engineering: A Method
Used for the Development of an Integrated Programming Support Environment.” Proceedings
of the International Joint Conference on Theory and Practice of Software Development
(TAPSOFT 1985), Berlin (Germany), vol. 186, Springer, 1985, pp. 179–93.'
short: 'G. Engels, W. Schäfer, in: Proceedings of the International Joint Conference
on Theory and Practice of Software Development (TAPSOFT 1985), Berlin (Germany),
Springer, Berlin/Heidelberg, 1985, pp. 179–193.'
date_created: 2019-02-20T13:39:53Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
intvolume: ' 186'
language:
- iso: eng
page: 179-193
place: Berlin/Heidelberg
publication: Proceedings of the International Joint Conference on Theory and Practice
of Software Development (TAPSOFT 1985), Berlin (Germany)
publisher: Springer
series_title: LNCS
status: public
title: 'Graph Grammar Engineering: A Method Used for the Development of an Integrated
Programming Support Environment'
type: conference
user_id: '52534'
volume: 186
year: '1985'
...
---
_id: '7814'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Wilhelm
full_name: Schäfer, Wilhelm
last_name: Schäfer
citation:
ama: 'Engels G, Schäfer W. The Design of an Adaptive and Portable Programming Support
Environment. In: Proceedings of the International Computing Symposium, Amsterdam
(The Netherlands). Florenz; 1985.'
apa: Engels, G., & Schäfer, W. (1985). The Design of an Adaptive and Portable
Programming Support Environment. In Proceedings of the International Computing
Symposium, Amsterdam (The Netherlands). Florenz.
bibtex: '@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} }'
chicago: Engels, Gregor, and Wilhelm Schäfer. “The Design of an Adaptive and Portable
Programming Support Environment.” In Proceedings of the International Computing
Symposium, Amsterdam (The Netherlands). Florenz, 1985.
ieee: G. Engels and W. Schäfer, “The Design of an Adaptive and Portable Programming
Support Environment,” in Proceedings of the International Computing Symposium,
Amsterdam (The Netherlands), 1985.
mla: Engels, Gregor, and Wilhelm Schäfer. “The Design of an Adaptive and Portable
Programming Support Environment.” Proceedings of the International Computing
Symposium, Amsterdam (The Netherlands), 1985.
short: 'G. Engels, W. Schäfer, in: Proceedings of the International Computing Symposium,
Amsterdam (The Netherlands), Florenz, 1985.'
date_created: 2019-02-20T13:40:50Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
language:
- iso: eng
place: Florenz
publication: Proceedings of the International Computing Symposium, Amsterdam (The
Netherlands)
status: public
title: The Design of an Adaptive and Portable Programming Support Environment
type: conference
user_id: '52534'
year: '1985'
...
---
_id: '16779'
author:
- first_name: Clemens
full_name: Lautemann, Clemens
last_name: Lautemann
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Lautemann C, Meyer auf der Heide F. Lower time bounds for integer programming
with two variables. Information Processing Letters. 1985:101-105. doi:10.1016/0020-0190(85)90042-0
apa: Lautemann, C., & Meyer auf der Heide, F. (1985). Lower time bounds for
integer programming with two variables. Information Processing Letters,
101–105. https://doi.org/10.1016/0020-0190(85)90042-0
bibtex: '@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} }'
chicago: Lautemann, Clemens, and Friedhelm Meyer auf der Heide. “Lower Time Bounds
for Integer Programming with Two Variables.” Information Processing Letters,
1985, 101–5. https://doi.org/10.1016/0020-0190(85)90042-0.
ieee: C. Lautemann and F. Meyer auf der Heide, “Lower time bounds for integer programming
with two variables,” Information Processing Letters, pp. 101–105, 1985.
mla: Lautemann, Clemens, and Friedhelm Meyer auf der Heide. “Lower Time Bounds for
Integer Programming with Two Variables.” Information Processing Letters,
1985, pp. 101–05, doi:10.1016/0020-0190(85)90042-0.
short: C. Lautemann, F. Meyer auf der Heide, Information Processing Letters (1985)
101–105.
date_created: 2020-04-21T10:15:46Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '63'
doi: 10.1016/0020-0190(85)90042-0
language:
- iso: eng
page: 101-105
publication: Information Processing Letters
publication_identifier:
issn:
- 0020-0190
publication_status: published
status: public
title: Lower time bounds for integer programming with two variables
type: journal_article
user_id: '15415'
year: '1985'
...
---
_id: '16780'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Meyer auf der Heide F. Lower bounds for solving linear diophantine equations
on random access machines. Journal of the ACM (JACM). 1985:929-937. doi:10.1145/4221.4250
apa: Meyer auf der Heide, F. (1985). Lower bounds for solving linear diophantine
equations on random access machines. Journal of the ACM (JACM), 929–937.
https://doi.org/10.1145/4221.4250
bibtex: '@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} }'
chicago: Meyer auf der Heide, Friedhelm. “Lower Bounds for Solving Linear Diophantine
Equations on Random Access Machines.” Journal of the ACM (JACM), 1985,
929–37. https://doi.org/10.1145/4221.4250.
ieee: F. Meyer auf der Heide, “Lower bounds for solving linear diophantine equations
on random access machines,” Journal of the ACM (JACM), pp. 929–937, 1985.
mla: Meyer auf der Heide, Friedhelm. “Lower Bounds for Solving Linear Diophantine
Equations on Random Access Machines.” Journal of the ACM (JACM), 1985,
pp. 929–37, doi:10.1145/4221.4250.
short: F. Meyer auf der Heide, Journal of the ACM (JACM) (1985) 929–937.
date_created: 2020-04-21T10:16:50Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '63'
doi: 10.1145/4221.4250
language:
- iso: eng
page: 929-937
publication: Journal of the ACM (JACM)
publication_identifier:
issn:
- 0004-5411
- 1557-735X
publication_status: published
status: public
title: Lower bounds for solving linear diophantine equations on random access machines
type: journal_article
user_id: '15415'
year: '1985'
...
---
_id: '16781'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Meyer auf der Heide F. Simulating probabilistic by deterministic algebraic
computation trees. Theoretical Computer Science. 1985:325-330. doi:10.1016/0304-3975(85)90079-9
apa: Meyer auf der Heide, F. (1985). Simulating probabilistic by deterministic algebraic
computation trees. Theoretical Computer Science, 325–330. https://doi.org/10.1016/0304-3975(85)90079-9
bibtex: '@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} }'
chicago: Meyer auf der Heide, Friedhelm. “Simulating Probabilistic by Deterministic
Algebraic Computation Trees.” Theoretical Computer Science, 1985, 325–30.
https://doi.org/10.1016/0304-3975(85)90079-9.
ieee: F. Meyer auf der Heide, “Simulating probabilistic by deterministic algebraic
computation trees,” Theoretical Computer Science, pp. 325–330, 1985.
mla: Meyer auf der Heide, Friedhelm. “Simulating Probabilistic by Deterministic
Algebraic Computation Trees.” Theoretical Computer Science, 1985, pp. 325–30,
doi:10.1016/0304-3975(85)90079-9.
short: F. Meyer auf der Heide, Theoretical Computer Science (1985) 325–330.
date_created: 2020-04-21T11:18:44Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '63'
doi: 10.1016/0304-3975(85)90079-9
language:
- iso: eng
page: 325-330
publication: Theoretical Computer Science
publication_identifier:
issn:
- 0304-3975
publication_status: published
status: public
title: Simulating probabilistic by deterministic algebraic computation trees
type: journal_article
user_id: '15415'
year: '1985'
...
---
_id: '16782'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Avi
full_name: Wigderson, Avi
last_name: Wigderson
citation:
ama: 'Meyer auf der Heide F, Wigderson A. The complexity of parallel sorting. In:
26th Annual Symposium on Foundations of Computer Science (Sfcs 1985). ;
1985. doi:10.1109/sfcs.1985.58'
apa: Meyer auf der Heide, F., & Wigderson, A. (1985). The complexity of parallel
sorting. In 26th Annual Symposium on Foundations of Computer Science (sfcs
1985). https://doi.org/10.1109/sfcs.1985.58
bibtex: '@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} }'
chicago: Meyer auf der Heide, Friedhelm, and Avi Wigderson. “The Complexity of Parallel
Sorting.” In 26th Annual Symposium on Foundations of Computer Science (Sfcs
1985), 1985. https://doi.org/10.1109/sfcs.1985.58.
ieee: F. Meyer auf der Heide and A. Wigderson, “The complexity of parallel sorting,”
in 26th Annual Symposium on Foundations of Computer Science (sfcs 1985),
1985.
mla: Meyer auf der Heide, Friedhelm, and Avi Wigderson. “The Complexity of Parallel
Sorting.” 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985),
1985, doi:10.1109/sfcs.1985.58.
short: 'F. Meyer auf der Heide, A. Wigderson, in: 26th Annual Symposium on Foundations
of Computer Science (Sfcs 1985), 1985.'
date_created: 2020-04-21T11:19:34Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '63'
doi: 10.1109/sfcs.1985.58
language:
- iso: eng
publication: 26th Annual Symposium on Foundations of Computer Science (sfcs 1985)
publication_identifier:
isbn:
- '0818606444'
publication_status: published
status: public
title: The complexity of parallel sorting
type: conference
user_id: '15415'
year: '1985'
...
---
_id: '16783'
author:
- first_name: F E
full_name: Fich, F E
last_name: Fich
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: P
full_name: Ragde, P
last_name: Ragde
- first_name: A
full_name: Wigderson, A
last_name: Wigderson
citation:
ama: 'Fich FE, Meyer auf der Heide F, Ragde P, Wigderson A. One, two, three . .
. infinity: lower bounds for parallel computation. In: Proceedings of the Seventeenth
Annual ACM Symposium on Theory of Computing - STOC ’85. ; 1985. doi:10.1145/22145.22151'
apa: 'Fich, F. E., Meyer auf der Heide, F., Ragde, P., & Wigderson, A. (1985).
One, two, three . . . infinity: lower bounds for parallel computation. In Proceedings
of the seventeenth annual ACM symposium on Theory of computing - STOC ’85.
https://doi.org/10.1145/22145.22151'
bibtex: '@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} }'
chicago: 'Fich, F E, Friedhelm Meyer auf der Heide, P Ragde, and A Wigderson. “One,
Two, Three . . . Infinity: Lower Bounds for Parallel Computation.” In Proceedings
of the Seventeenth Annual ACM Symposium on Theory of Computing - STOC ’85,
1985. https://doi.org/10.1145/22145.22151.'
ieee: 'F. E. Fich, F. Meyer auf der Heide, P. Ragde, and A. Wigderson, “One, two,
three . . . infinity: lower bounds for parallel computation,” in Proceedings
of the seventeenth annual ACM symposium on Theory of computing - STOC ’85,
1985.'
mla: 'Fich, F. E., et al. “One, Two, Three . . . Infinity: Lower Bounds for Parallel
Computation.” Proceedings of the Seventeenth Annual ACM Symposium on Theory
of Computing - STOC ’85, 1985, doi:10.1145/22145.22151.'
short: 'F.E. Fich, F. Meyer auf der Heide, P. Ragde, A. Wigderson, in: Proceedings
of the Seventeenth Annual ACM Symposium on Theory of Computing - STOC ’85, 1985.'
date_created: 2020-04-21T11:20:53Z
date_updated: 2022-01-06T06:52:55Z
department:
- _id: '63'
doi: 10.1145/22145.22151
language:
- iso: eng
publication: Proceedings of the seventeenth annual ACM symposium on Theory of computing -
STOC '85
publication_identifier:
isbn:
- '0897911512'
publication_status: published
status: public
title: 'One, two, three . . . infinity: lower bounds for parallel computation'
type: conference
user_id: '15415'
year: '1985'
...
---
_id: '16784'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Meyer auf der Heide F. Fast algorithms for n-dimensional restrictions of hard
problems. In: Proceedings of the Seventeenth Annual ACM Symposium on Theory
of Computing - STOC ’85. ; 1985. doi:10.1145/22145.22191'
apa: Meyer auf der Heide, F. (1985). Fast algorithms for n-dimensional restrictions
of hard problems. In Proceedings of the seventeenth annual ACM symposium on
Theory of computing - STOC ’85. https://doi.org/10.1145/22145.22191
bibtex: '@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} }'
chicago: Meyer auf der Heide, Friedhelm. “Fast Algorithms for N-Dimensional Restrictions
of Hard Problems.” In Proceedings of the Seventeenth Annual ACM Symposium on
Theory of Computing - STOC ’85, 1985. https://doi.org/10.1145/22145.22191.
ieee: F. Meyer auf der Heide, “Fast algorithms for n-dimensional restrictions of
hard problems,” in Proceedings of the seventeenth annual ACM symposium on Theory
of computing - STOC ’85, 1985.
mla: Meyer auf der Heide, Friedhelm. “Fast Algorithms for N-Dimensional Restrictions
of Hard Problems.” Proceedings of the Seventeenth Annual ACM Symposium on Theory
of Computing - STOC ’85, 1985, doi:10.1145/22145.22191.
short: 'F. Meyer auf der Heide, in: Proceedings of the Seventeenth Annual ACM Symposium
on Theory of Computing - STOC ’85, 1985.'
date_created: 2020-04-21T11:24:17Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1145/22145.22191
language:
- iso: eng
publication: Proceedings of the seventeenth annual ACM symposium on Theory of computing -
STOC '85
publication_identifier:
isbn:
- '0897911512'
publication_status: published
status: public
title: Fast algorithms for n-dimensional restrictions of hard problems
type: conference
user_id: '15415'
year: '1985'
...
---
_id: '16788'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Meyer auf der Heide F. Nondeterministic versus probabilistic linear search
algorithms. In: 26th Annual Symposium on Foundations of Computer Science (Sfcs
1985). ; 1985. doi:10.1109/sfcs.1985.38'
apa: Meyer auf der Heide, F. (1985). Nondeterministic versus probabilistic linear
search algorithms. In 26th Annual Symposium on Foundations of Computer Science
(sfcs 1985). https://doi.org/10.1109/sfcs.1985.38
bibtex: '@inproceedings{Meyer auf der Heide_1985, title={Nondeterministic versus
probabilistic linear search algorithms}, DOI={10.1109/sfcs.1985.38},
booktitle={26th Annual Symposium on Foundations of Computer Science (sfcs 1985)},
author={Meyer auf der Heide, Friedhelm}, year={1985} }'
chicago: Meyer auf der Heide, Friedhelm. “Nondeterministic versus Probabilistic
Linear Search Algorithms.” In 26th Annual Symposium on Foundations of Computer
Science (Sfcs 1985), 1985. https://doi.org/10.1109/sfcs.1985.38.
ieee: F. Meyer auf der Heide, “Nondeterministic versus probabilistic linear search
algorithms,” in 26th Annual Symposium on Foundations of Computer Science (sfcs
1985), 1985.
mla: Meyer auf der Heide, Friedhelm. “Nondeterministic versus Probabilistic Linear
Search Algorithms.” 26th Annual Symposium on Foundations of Computer Science
(Sfcs 1985), 1985, doi:10.1109/sfcs.1985.38.
short: 'F. Meyer auf der Heide, in: 26th Annual Symposium on Foundations of Computer
Science (Sfcs 1985), 1985.'
date_created: 2020-04-21T11:30:30Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1109/sfcs.1985.38
language:
- iso: eng
publication: 26th Annual Symposium on Foundations of Computer Science (sfcs 1985)
publication_identifier:
isbn:
- '0818606444'
publication_status: published
status: public
title: Nondeterministic versus probabilistic linear search algorithms
type: conference
user_id: '15415'
year: '1985'
...
---
_id: '16823'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Meyer auf der Heide F. Lower time bounds for solving linear diophantine equations
on several parallel computational models. Information and Control. 1985;67(1-3):195-211.
doi:10.1016/S0019-9958(85)80035-8
apa: Meyer auf der Heide, F. (1985). Lower time bounds for solving linear diophantine
equations on several parallel computational models. Information and Control,
67(1–3), 195–211. https://doi.org/10.1016/S0019-9958(85)80035-8
bibtex: '@article{Meyer auf der Heide_1985, title={Lower time bounds for solving
linear diophantine equations on several parallel computational models}, volume={67},
DOI={10.1016/S0019-9958(85)80035-8},
number={1–3}, journal={Information and Control}, author={Meyer auf der Heide,
Friedhelm}, year={1985}, pages={195–211} }'
chicago: 'Meyer auf der Heide, Friedhelm. “Lower Time Bounds for Solving Linear
Diophantine Equations on Several Parallel Computational Models.” Information
and Control 67, no. 1–3 (1985): 195–211. https://doi.org/10.1016/S0019-9958(85)80035-8.'
ieee: F. Meyer auf der Heide, “Lower time bounds for solving linear diophantine
equations on several parallel computational models,” Information and Control,
vol. 67, no. 1–3, pp. 195–211, 1985.
mla: Meyer auf der Heide, Friedhelm. “Lower Time Bounds for Solving Linear Diophantine
Equations on Several Parallel Computational Models.” Information and Control,
vol. 67, no. 1–3, 1985, pp. 195–211, doi:10.1016/S0019-9958(85)80035-8.
short: F. Meyer auf der Heide, Information and Control 67 (1985) 195–211.
date_created: 2020-04-22T09:58:17Z
date_updated: 2022-01-06T06:52:56Z
department:
- _id: '63'
doi: 10.1016/S0019-9958(85)80035-8
intvolume: ' 67'
issue: 1-3
language:
- iso: eng
page: 195-211
publication: Information and Control
status: public
title: Lower time bounds for solving linear diophantine equations on several parallel
computational models
type: journal_article
user_id: '15415'
volume: 67
year: '1985'
...
---
_id: '15314'
author:
- first_name: FW
full_name: Leberl, FW
last_name: Leberl
- first_name: M
full_name: Kobrick, M
last_name: Kobrick
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
citation:
ama: Leberl F, Kobrick M, Domik G. Mapping with aircraft and satellite radar images.
The Photogrammetric Record. 1985;11(66):647-665. doi:10.1111/j.1477-9730.1985.tb01315.x
apa: Leberl, F., Kobrick, M., & Domik, G. (1985). Mapping with aircraft and
satellite radar images. The Photogrammetric Record, 11(66), 647–665.
https://doi.org/10.1111/j.1477-9730.1985.tb01315.x
bibtex: '@article{Leberl_Kobrick_Domik_1985, title={Mapping with aircraft and satellite
radar images}, volume={11}, DOI={10.1111/j.1477-9730.1985.tb01315.x},
number={66}, journal={The Photogrammetric Record}, publisher={Wiley Online Library},
author={Leberl, FW and Kobrick, M and Domik, Gitta}, year={1985}, pages={647–665}
}'
chicago: 'Leberl, FW, M Kobrick, and Gitta Domik. “Mapping with Aircraft and Satellite
Radar Images.” The Photogrammetric Record 11, no. 66 (1985): 647–65. https://doi.org/10.1111/j.1477-9730.1985.tb01315.x.'
ieee: F. Leberl, M. Kobrick, and G. Domik, “Mapping with aircraft and satellite
radar images,” The Photogrammetric Record, vol. 11, no. 66, pp. 647–665,
1985.
mla: Leberl, FW, et al. “Mapping with Aircraft and Satellite Radar Images.” The
Photogrammetric Record, vol. 11, no. 66, Wiley Online Library, 1985, pp. 647–65,
doi:10.1111/j.1477-9730.1985.tb01315.x.
short: F. Leberl, M. Kobrick, G. Domik, The Photogrammetric Record 11 (1985) 647–665.
date_created: 2019-12-13T09:13:45Z
date_updated: 2022-01-06T06:52:20Z
department:
- _id: '65'
doi: 10.1111/j.1477-9730.1985.tb01315.x
intvolume: ' 11'
issue: '66'
language:
- iso: eng
page: 647-665
publication: The Photogrammetric Record
publisher: Wiley Online Library
status: public
title: Mapping with aircraft and satellite radar images
type: journal_article
user_id: '90'
volume: 11
year: '1985'
...
---
_id: '15316'
author:
- first_name: H
full_name: Rott, H
last_name: Rott
- first_name: Gitta
full_name: Domik, Gitta
id: '90'
last_name: Domik
- first_name: C
full_name: Mätzler, C
last_name: Mätzler
- first_name: H
full_name: Miller, H
last_name: Miller
citation:
ama: Rott H, Domik G, Mätzler C, Miller H. Towards a SAR system for snow and land
ice applications. ESA Proceedings of a Workshop on Thematic Applications of
SAR DATA p 29-39(SEE N 86-28488 19-42). 1985:29-39.
apa: Rott, H., Domik, G., Mätzler, C., & Miller, H. (1985). Towards a SAR system
for snow and land ice applications. ESA Proceedings of a Workshop on Thematic
Applications of SAR DATA p 29-39(SEE N 86-28488 19-42), 29–39.
bibtex: '@article{Rott_Domik_Mätzler_Miller_1985, title={Towards a SAR system for
snow and land ice applications}, journal={ESA Proceedings of a Workshop on Thematic
Applications of SAR DATA p 29-39(SEE N 86-28488 19-42)}, author={Rott, H and Domik,
Gitta and Mätzler, C and Miller, H}, year={1985}, pages={29–39} }'
chicago: Rott, H, Gitta Domik, C Mätzler, and H Miller. “Towards a SAR System for
Snow and Land Ice Applications.” ESA Proceedings of a Workshop on Thematic
Applications of SAR DATA p 29-39(SEE N 86-28488 19-42), 1985, 29–39.
ieee: H. Rott, G. Domik, C. Mätzler, and H. Miller, “Towards a SAR system for snow
and land ice applications,” ESA Proceedings of a Workshop on Thematic Applications
of SAR DATA p 29-39(SEE N 86-28488 19-42), pp. 29–39, 1985.
mla: Rott, H., et al. “Towards a SAR System for Snow and Land Ice Applications.”
ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p 29-39(SEE
N 86-28488 19-42), 1985, pp. 29–39.
short: H. Rott, G. Domik, C. Mätzler, H. Miller, ESA Proceedings of a Workshop on
Thematic Applications of SAR DATA p 29-39(SEE N 86-28488 19-42) (1985) 29–39.
conference:
location: Frascati, Italy
date_created: 2019-12-13T09:17:04Z
date_updated: 2022-01-06T06:52:20Z
department:
- _id: '65'
language:
- iso: eng
page: 29-39
publication: ESA Proceedings of a Workshop on Thematic Applications of SAR DATA p
29-39(SEE N 86-28488 19-42)
status: public
title: Towards a SAR system for snow and land ice applications
type: journal_article
user_id: '90'
year: '1985'
...
---
_id: '35399'
article_type: original
author:
- first_name: Claudia
full_name: Schmidt, Claudia
id: '466'
last_name: Schmidt
orcid: 0000-0003-3179-9997
- first_name: Karl J.
full_name: Kuhn, Karl J.
last_name: Kuhn
- first_name: Hans W.
full_name: Spiess, Hans W.
last_name: Spiess
citation:
ama: Schmidt C, Kuhn KJ, Spiess HW. Distribution of Correlation Times in Glassy
Polymers From Pulsed Deuteron NMR. Progress in Colloid and Polymer Science.
1985;71:71-76.
apa: Schmidt, C., Kuhn, K. J., & Spiess, H. W. (1985). Distribution of Correlation
Times in Glassy Polymers From Pulsed Deuteron NMR. Progress in Colloid and
Polymer Science, 71, 71–76.
bibtex: '@article{Schmidt_Kuhn_Spiess_1985, title={Distribution of Correlation Times
in Glassy Polymers From Pulsed Deuteron NMR}, volume={71}, journal={Progress in
Colloid and Polymer Science}, author={Schmidt, Claudia and Kuhn, Karl J. and Spiess,
Hans W.}, year={1985}, pages={71–76} }'
chicago: 'Schmidt, Claudia, Karl J. Kuhn, and Hans W. Spiess. “Distribution of Correlation
Times in Glassy Polymers From Pulsed Deuteron NMR.” Progress in Colloid and
Polymer Science 71 (1985): 71–76.'
ieee: C. Schmidt, K. J. Kuhn, and H. W. Spiess, “Distribution of Correlation Times
in Glassy Polymers From Pulsed Deuteron NMR,” Progress in Colloid and Polymer
Science, vol. 71, pp. 71–76, 1985.
mla: Schmidt, Claudia, et al. “Distribution of Correlation Times in Glassy Polymers
From Pulsed Deuteron NMR.” Progress in Colloid and Polymer Science, vol.
71, 1985, pp. 71–76.
short: C. Schmidt, K.J. Kuhn, H.W. Spiess, Progress in Colloid and Polymer Science
71 (1985) 71–76.
date_created: 2023-01-06T19:03:41Z
date_updated: 2023-01-07T10:45:55Z
department:
- _id: '2'
- _id: '315'
extern: '1'
external_id:
isi:
- A1985AVT4500010
intvolume: ' 71'
isi: '1'
language:
- iso: eng
page: 71-76
publication: Progress in Colloid and Polymer Science
publication_identifier:
issn:
- 0340-255X
publication_status: published
quality_controlled: '1'
status: public
title: Distribution of Correlation Times in Glassy Polymers From Pulsed Deuteron NMR
type: journal_article
user_id: '466'
volume: 71
year: '1985'
...
---
_id: '40399'
author:
- first_name: G
full_name: HEPPKE, G
last_name: HEPPKE
- first_name: Heinz-Siegfried
full_name: Kitzerow, Heinz-Siegfried
id: '254'
last_name: Kitzerow
- first_name: M
full_name: KRUMREY, M
last_name: KRUMREY
citation:
ama: HEPPKE G, Kitzerow H-S, KRUMREY M. ELECTROOPTICAL BEHAVIOR OF CHOLESTERIC BLUE
PHASES WITH NEGATIVE DIELECTRIC ANISOTROPY. MOLECULAR CRYSTALS AND LIQUID CRYSTALS.
1985;1(3-4):117-122.
apa: HEPPKE, G., Kitzerow, H.-S., & KRUMREY, M. (1985). ELECTROOPTICAL BEHAVIOR
OF CHOLESTERIC BLUE PHASES WITH NEGATIVE DIELECTRIC ANISOTROPY. MOLECULAR CRYSTALS
AND LIQUID CRYSTALS, 1(3–4), 117–122.
bibtex: '@article{HEPPKE_Kitzerow_KRUMREY_1985, title={ELECTROOPTICAL BEHAVIOR OF
CHOLESTERIC BLUE PHASES WITH NEGATIVE DIELECTRIC ANISOTROPY}, volume={1}, number={3–4},
journal={MOLECULAR CRYSTALS AND LIQUID CRYSTALS}, publisher={GORDON BREACH SCI
PUBL LTD}, author={HEPPKE, G and Kitzerow, Heinz-Siegfried and KRUMREY, M}, year={1985},
pages={117–122} }'
chicago: 'HEPPKE, G, Heinz-Siegfried Kitzerow, and M KRUMREY. “ELECTROOPTICAL BEHAVIOR
OF CHOLESTERIC BLUE PHASES WITH NEGATIVE DIELECTRIC ANISOTROPY.” MOLECULAR
CRYSTALS AND LIQUID CRYSTALS 1, no. 3–4 (1985): 117–22.'
ieee: G. HEPPKE, H.-S. Kitzerow, and M. KRUMREY, “ELECTROOPTICAL BEHAVIOR OF CHOLESTERIC
BLUE PHASES WITH NEGATIVE DIELECTRIC ANISOTROPY,” MOLECULAR CRYSTALS AND LIQUID
CRYSTALS, vol. 1, no. 3–4, pp. 117–122, 1985.
mla: HEPPKE, G., et al. “ELECTROOPTICAL BEHAVIOR OF CHOLESTERIC BLUE PHASES WITH
NEGATIVE DIELECTRIC ANISOTROPY.” MOLECULAR CRYSTALS AND LIQUID CRYSTALS,
vol. 1, no. 3–4, GORDON BREACH SCI PUBL LTD, 1985, pp. 117–22.
short: G. HEPPKE, H.-S. Kitzerow, M. KRUMREY, MOLECULAR CRYSTALS AND LIQUID CRYSTALS
1 (1985) 117–122.
date_created: 2023-01-26T14:30:04Z
date_updated: 2023-01-26T14:36:47Z
department:
- _id: '313'
extern: '1'
intvolume: ' 1'
issue: 3-4
language:
- iso: eng
page: 117-122
publication: MOLECULAR CRYSTALS AND LIQUID CRYSTALS
publication_identifier:
issn:
- 0140-6566
publisher: GORDON BREACH SCI PUBL LTD
status: public
title: ELECTROOPTICAL BEHAVIOR OF CHOLESTERIC BLUE PHASES WITH NEGATIVE DIELECTRIC
ANISOTROPY
type: journal_article
user_id: '254'
volume: 1
year: '1985'
...
---
_id: '40395'
author:
- first_name: G
full_name: HEPPKE, G
last_name: HEPPKE
- first_name: Heinz-Siegfried
full_name: Kitzerow, Heinz-Siegfried
id: '254'
last_name: Kitzerow
- first_name: M
full_name: KRUMREY, M
last_name: KRUMREY
citation:
ama: HEPPKE G, Kitzerow H-S, KRUMREY M. ELECTRIC-FIELD INDUCED VARIATION OF THE
REFRACTIVE-INDEX IN CHOLESTERIC BLUE PHASES. MOLECULAR CRYSTALS AND LIQUID
CRYSTALS. 1985;2(1-2):59-65.
apa: HEPPKE, G., Kitzerow, H.-S., & KRUMREY, M. (1985). ELECTRIC-FIELD INDUCED
VARIATION OF THE REFRACTIVE-INDEX IN CHOLESTERIC BLUE PHASES. MOLECULAR CRYSTALS
AND LIQUID CRYSTALS, 2(1–2), 59–65.
bibtex: '@article{HEPPKE_Kitzerow_KRUMREY_1985, title={ELECTRIC-FIELD INDUCED VARIATION
OF THE REFRACTIVE-INDEX IN CHOLESTERIC BLUE PHASES}, volume={2}, number={1–2},
journal={MOLECULAR CRYSTALS AND LIQUID CRYSTALS}, publisher={GORDON BREACH SCI
PUBL LTD}, author={HEPPKE, G and Kitzerow, Heinz-Siegfried and KRUMREY, M}, year={1985},
pages={59–65} }'
chicago: 'HEPPKE, G, Heinz-Siegfried Kitzerow, and M KRUMREY. “ELECTRIC-FIELD INDUCED
VARIATION OF THE REFRACTIVE-INDEX IN CHOLESTERIC BLUE PHASES.” MOLECULAR CRYSTALS
AND LIQUID CRYSTALS 2, no. 1–2 (1985): 59–65.'
ieee: G. HEPPKE, H.-S. Kitzerow, and M. KRUMREY, “ELECTRIC-FIELD INDUCED VARIATION
OF THE REFRACTIVE-INDEX IN CHOLESTERIC BLUE PHASES,” MOLECULAR CRYSTALS AND
LIQUID CRYSTALS, vol. 2, no. 1–2, pp. 59–65, 1985.
mla: HEPPKE, G., et al. “ELECTRIC-FIELD INDUCED VARIATION OF THE REFRACTIVE-INDEX
IN CHOLESTERIC BLUE PHASES.” MOLECULAR CRYSTALS AND LIQUID CRYSTALS, vol.
2, no. 1–2, GORDON BREACH SCI PUBL LTD, 1985, pp. 59–65.
short: G. HEPPKE, H.-S. Kitzerow, M. KRUMREY, MOLECULAR CRYSTALS AND LIQUID CRYSTALS
2 (1985) 59–65.
date_created: 2023-01-26T14:27:22Z
date_updated: 2023-01-26T14:36:30Z
department:
- _id: '313'
extern: '1'
intvolume: ' 2'
issue: 1-2
language:
- iso: eng
page: 59-65
publication: MOLECULAR CRYSTALS AND LIQUID CRYSTALS
publication_identifier:
issn:
- 0140-6566
publisher: GORDON BREACH SCI PUBL LTD
status: public
title: ELECTRIC-FIELD INDUCED VARIATION OF THE REFRACTIVE-INDEX IN CHOLESTERIC BLUE
PHASES
type: journal_article
user_id: '254'
volume: 2
year: '1985'
...
---
_id: '51456'
author:
- first_name: Joachim
full_name: Hilgert, Joachim
id: '220'
last_name: Hilgert
- first_name: K.H.
full_name: Hofmann, K.H.
last_name: Hofmann
- first_name: J.D.
full_name: Lawson, J.D.
last_name: Lawson
citation:
ama: Hilgert J, Hofmann KH, Lawson JD. Controllabilty of Systems on Nilpotent Lie
Groups. Beiträge Alg Geom. 1985;20:185-190.
apa: Hilgert, J., Hofmann, K. H., & Lawson, J. D. (1985). Controllabilty of
Systems on Nilpotent Lie Groups. Beiträge Alg. Geom., 20, 185–190.
bibtex: '@article{Hilgert_Hofmann_Lawson_1985, title={Controllabilty of Systems
on Nilpotent Lie Groups}, volume={20}, journal={Beiträge Alg. Geom.}, author={Hilgert,
Joachim and Hofmann, K.H. and Lawson, J.D.}, year={1985}, pages={185–190} }'
chicago: 'Hilgert, Joachim, K.H. Hofmann, and J.D. Lawson. “Controllabilty of Systems
on Nilpotent Lie Groups.” Beiträge Alg. Geom. 20 (1985): 185–90.'
ieee: J. Hilgert, K. H. Hofmann, and J. D. Lawson, “Controllabilty of Systems on
Nilpotent Lie Groups,” Beiträge Alg. Geom., vol. 20, pp. 185–190, 1985.
mla: Hilgert, Joachim, et al. “Controllabilty of Systems on Nilpotent Lie Groups.”
Beiträge Alg. Geom., vol. 20, 1985, pp. 185–90.
short: J. Hilgert, K.H. Hofmann, J.D. Lawson, Beiträge Alg. Geom. 20 (1985) 185–190.
date_created: 2024-02-19T07:54:02Z
date_updated: 2024-02-20T13:38:55Z
department:
- _id: '91'
extern: '1'
intvolume: ' 20'
language:
- iso: eng
page: 185-190
publication: Beiträge Alg. Geom.
publication_status: published
status: public
title: Controllabilty of Systems on Nilpotent Lie Groups
type: journal_article
user_id: '49063'
volume: 20
year: '1985'
...