---
_id: '24598'
author:
- first_name: Roland
full_name: Czubayko, Roland
last_name: Czubayko
citation:
ama: Czubayko R. Rechnerinterne Repräsentation von informationsverarbeitenden
Lösungselementen für die verteilte kooperative Produktentwicklung in der Mechatronik.
Vol 111. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2002.
apa: Czubayko, R. (2002). Rechnerinterne Repräsentation von informationsverarbeitenden
Lösungselementen für die verteilte kooperative Produktentwicklung in der Mechatronik
(Vol. 111). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
bibtex: '@book{Czubayko_2002, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn}, title={Rechnerinterne Repräsentation von informationsverarbeitenden
Lösungselementen für die verteilte kooperative Produktentwicklung in der Mechatronik},
volume={111}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn},
author={Czubayko, Roland}, year={2002}, collection={Verlagsschriftenreihe des
Heinz Nixdorf Instituts, Paderborn} }'
chicago: Czubayko, Roland. Rechnerinterne Repräsentation von informationsverarbeitenden
Lösungselementen für die verteilte kooperative Produktentwicklung in der Mechatronik.
Vol. 111. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2002.
ieee: R. Czubayko, Rechnerinterne Repräsentation von informationsverarbeitenden
Lösungselementen für die verteilte kooperative Produktentwicklung in der Mechatronik,
vol. 111. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
mla: Czubayko, Roland. Rechnerinterne Repräsentation von informationsverarbeitenden
Lösungselementen für die verteilte kooperative Produktentwicklung in der Mechatronik.
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
short: R. Czubayko, Rechnerinterne Repräsentation von informationsverarbeitenden
Lösungselementen für die verteilte kooperative Produktentwicklung in der Mechatronik,
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
date_created: 2021-09-17T08:51:47Z
date_updated: 2022-01-06T06:56:29Z
department:
- _id: '26'
intvolume: ' 111'
language:
- iso: ger
publication_status: published
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Rechnerinterne Repräsentation von informationsverarbeitenden Lösungselementen
für die verteilte kooperative Produktentwicklung in der Mechatronik
type: dissertation
user_id: '60046'
volume: 111
year: '2002'
...
---
_id: '24599'
author:
- first_name: Stefan
full_name: Goldschmidt, Stefan
last_name: Goldschmidt
citation:
ama: Goldschmidt S. Anwendung mengenorientierter numerischer Methoden zur Analyse
nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik von Schienenfahrzeugen.
Vol 112. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2002.
apa: Goldschmidt, S. (2002). Anwendung mengenorientierter numerischer Methoden
zur Analyse nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik
von Schienenfahrzeugen (Vol. 112). Verlagsschriftenreihe des Heinz Nixdorf
Instituts, Paderborn.
bibtex: '@book{Goldschmidt_2002, series={Verlagsschriftenreihe des Heinz Nixdorf
Instituts, Paderborn}, title={Anwendung mengenorientierter numerischer Methoden
zur Analyse nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik
von Schienenfahrzeugen}, volume={112}, publisher={Verlagsschriftenreihe des Heinz
Nixdorf Instituts, Paderborn}, author={Goldschmidt, Stefan}, year={2002}, collection={Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn} }'
chicago: Goldschmidt, Stefan. Anwendung mengenorientierter numerischer Methoden
zur Analyse nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik
von Schienenfahrzeugen. Vol. 112. Verlagsschriftenreihe des Heinz Nixdorf
Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn,
2002.
ieee: S. Goldschmidt, Anwendung mengenorientierter numerischer Methoden zur Analyse
nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik von Schienenfahrzeugen,
vol. 112. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
mla: Goldschmidt, Stefan. Anwendung mengenorientierter numerischer Methoden zur
Analyse nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik
von Schienenfahrzeugen. Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn, 2002.
short: S. Goldschmidt, Anwendung mengenorientierter numerischer Methoden zur Analyse
nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik von Schienenfahrzeugen,
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
date_created: 2021-09-17T08:53:07Z
date_updated: 2022-01-06T06:56:29Z
department:
- _id: '26'
intvolume: ' 112'
language:
- iso: ger
publication_status: published
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Anwendung mengenorientierter numerischer Methoden zur Analyse nichtlinearer
dynamischer Systeme am Beispiel der Spurführungsdynamik von Schienenfahrzeugen
type: dissertation
user_id: '60046'
volume: 112
year: '2002'
...
---
_id: '24600'
author:
- first_name: Thomas
full_name: Lehmann, Thomas
last_name: Lehmann
- first_name: K.
full_name: Winter, K.
last_name: Winter
citation:
ama: Lehmann T, Winter K. Towards Device Driver Synthesis. Vol 113. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn; 2002.
apa: Lehmann, T., & Winter, K. (2002). Towards Device Driver Synthesis
(Vol. 113). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
bibtex: '@book{Lehmann_Winter_2002, series={Verlagsschriftenreihe des Heinz Nixdorf
Instituts, Paderborn}, title={Towards Device Driver Synthesis}, volume={113},
publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Lehmann,
Thomas and Winter, K.}, year={2002}, collection={Verlagsschriftenreihe des Heinz
Nixdorf Instituts, Paderborn} }'
chicago: Lehmann, Thomas, and K. Winter. Towards Device Driver Synthesis.
Vol. 113. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2002.
ieee: T. Lehmann and K. Winter, Towards Device Driver Synthesis, vol. 113.
Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2002.
mla: Lehmann, Thomas, and K. Winter. Towards Device Driver Synthesis. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2002.
short: T. Lehmann, K. Winter, Towards Device Driver Synthesis, Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2002.
date_created: 2021-09-17T08:54:19Z
date_updated: 2022-01-06T06:56:30Z
department:
- _id: '26'
intvolume: ' 113'
language:
- iso: eng
publication_status: published
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Towards Device Driver Synthesis
type: dissertation
user_id: '60046'
volume: 113
year: '2002'
...
---
_id: '24601'
author:
- first_name: Wulf
full_name: Härtel, Wulf
last_name: Härtel
citation:
ama: Härtel W. Issueorientierte Frühaufklärung. Vol 114. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn; 2002.
apa: Härtel, W. (2002). Issueorientierte Frühaufklärung (Vol. 114). Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn.
bibtex: '@book{Härtel_2002, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
Paderborn}, title={Issueorientierte Frühaufklärung}, volume={114}, publisher={Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn}, author={Härtel, Wulf}, year={2002}, collection={Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn} }'
chicago: Härtel, Wulf. Issueorientierte Frühaufklärung. Vol. 114. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf
Instituts, Paderborn, 2002.
ieee: W. Härtel, Issueorientierte Frühaufklärung, vol. 114. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2002.
mla: Härtel, Wulf. Issueorientierte Frühaufklärung. Verlagsschriftenreihe
des Heinz Nixdorf Instituts, Paderborn, 2002.
short: W. Härtel, Issueorientierte Frühaufklärung, Verlagsschriftenreihe des Heinz
Nixdorf Instituts, Paderborn, 2002.
date_created: 2021-09-17T08:55:46Z
date_updated: 2022-01-06T06:56:30Z
department:
- _id: '26'
intvolume: ' 114'
language:
- iso: ger
publication_status: published
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
title: Issueorientierte Frühaufklärung
type: dissertation
user_id: '60046'
volume: 114
year: '2002'
...
---
_id: '2589'
author:
- first_name: Stefan
full_name: Betz, Stefan
id: '54'
last_name: Betz
citation:
ama: Betz S. Das Lebensarbeitszeitkonzept als Alternative zur Mehrarbeitszeitzuschlagslösung.
Zeitschrift für Planung. 2002;13:47-71.
apa: Betz, S. (2002). Das Lebensarbeitszeitkonzept als Alternative zur Mehrarbeitszeitzuschlagslösung.
Zeitschrift für Planung, 13, 47–71.
bibtex: '@article{Betz_2002, title={Das Lebensarbeitszeitkonzept als Alternative
zur Mehrarbeitszeitzuschlagslösung}, volume={13}, journal={Zeitschrift für Planung},
author={Betz, Stefan}, year={2002}, pages={47–71} }'
chicago: 'Betz, Stefan. “Das Lebensarbeitszeitkonzept als Alternative zur Mehrarbeitszeitzuschlagslösung.”
Zeitschrift für Planung 13 (2002): 47–71.'
ieee: S. Betz, “Das Lebensarbeitszeitkonzept als Alternative zur Mehrarbeitszeitzuschlagslösung,”
Zeitschrift für Planung, vol. 13, pp. 47–71, 2002.
mla: Betz, Stefan. “Das Lebensarbeitszeitkonzept als Alternative zur Mehrarbeitszeitzuschlagslösung.”
Zeitschrift für Planung, vol. 13, 2002, pp. 47–71.
short: S. Betz, Zeitschrift für Planung 13 (2002) 47–71.
date_created: 2018-05-03T11:02:35Z
date_updated: 2022-01-06T06:57:13Z
department:
- _id: '193'
extern: '1'
intvolume: ' 13'
language:
- iso: ger
page: pp. 47-71
publication: Zeitschrift für Planung
publication_status: published
status: public
title: Das Lebensarbeitszeitkonzept als Alternative zur Mehrarbeitszeitzuschlagslösung
type: journal_article
user_id: '21811'
volume: 13
year: '2002'
...
---
_id: '2590'
author:
- first_name: Stefan
full_name: Betz, Stefan
id: '54'
last_name: Betz
citation:
ama: 'Betz S. Kontrollsystem. In: Küpper und A. Wagenhofer H-U, ed. Handwörterbuch
Unternehmensrechnung und Controlling. 4th ed. Stuttgart; 2002:986-995.'
apa: Betz, S. (2002). Kontrollsystem. In H.-U. Küpper und A. Wagenhofer (Ed.), Handwörterbuch
Unternehmensrechnung und Controlling (4th ed., pp. 986–995). Stuttgart.
bibtex: '@inbook{Betz_2002, place={Stuttgart}, edition={4}, title={Kontrollsystem},
booktitle={Handwörterbuch Unternehmensrechnung und Controlling}, author={Betz,
Stefan}, editor={Küpper und A. Wagenhofer, Hans-UlrichEditor}, year={2002}, pages={986–995}
}'
chicago: Betz, Stefan. “Kontrollsystem.” In Handwörterbuch Unternehmensrechnung
und Controlling, edited by Hans-Ulrich Küpper und A. Wagenhofer, 4th ed.,
986–95. Stuttgart, 2002.
ieee: S. Betz, “Kontrollsystem,” in Handwörterbuch Unternehmensrechnung und Controlling,
4th ed., H.-U. Küpper und A. Wagenhofer, Ed. Stuttgart, 2002, pp. 986–995.
mla: Betz, Stefan. “Kontrollsystem.” Handwörterbuch Unternehmensrechnung und
Controlling, edited by Hans-Ulrich Küpper und A. Wagenhofer, 4th ed., 2002,
pp. 986–95.
short: 'S. Betz, in: H.-U. Küpper und A. Wagenhofer (Ed.), Handwörterbuch Unternehmensrechnung
und Controlling, 4th ed., Stuttgart, 2002, pp. 986–995.'
date_created: 2018-05-03T11:09:04Z
date_updated: 2022-01-06T06:57:13Z
department:
- _id: '193'
edition: '4'
editor:
- first_name: Hans-Ulrich
full_name: Küpper und A. Wagenhofer, Hans-Ulrich
last_name: Küpper und A. Wagenhofer
extern: '1'
language:
- iso: ger
page: 986-995
place: Stuttgart
publication: Handwörterbuch Unternehmensrechnung und Controlling
publication_status: published
status: public
title: Kontrollsystem
type: book_chapter
user_id: '21811'
year: '2002'
...
---
_id: '26160'
abstract:
- lang: eng
text: Thermal charging of submicron and nanometer particles has been studied for
model aerosols of TiO2 and SiO2 as well as Al-Si (aluminosilicate) at 1 000 °C
with a new quasi in-situ technique. The size dependence of the particle separation
efficiency for electrostatic precipitation was determined. The charging state
of the particles was obtained from evaluating the global Deutsch number for precipitation
in an electric field applied to a laminar flow based on particle trajectory considerations.
author:
- first_name: Annette
full_name: Schiel, Annette
last_name: Schiel
- first_name: Alfred P.
full_name: Weber, Alfred P.
last_name: Weber
- first_name: Gerhard
full_name: Kasper, Gerhard
last_name: Kasper
- first_name: Hans-Joachim
full_name: Schmid, Hans-Joachim
id: '464'
last_name: Schmid
citation:
ama: Schiel A, Weber AP, Kasper G, Schmid H-J. In-Situ Determination of the Charging
of Nanometer and Submicron Particles at High Temperatures. Particle & Particle
Systems Characterization. 2002;19(6):410-418. doi:10.1002/ppsc.200290004
apa: Schiel, A., Weber, A. P., Kasper, G., & Schmid, H.-J. (2002). In-Situ Determination
of the Charging of Nanometer and Submicron Particles at High Temperatures. Particle
& Particle Systems Characterization, 19(6), 410–418. https://doi.org/10.1002/ppsc.200290004
bibtex: '@article{Schiel_Weber_Kasper_Schmid_2002, title={In-Situ Determination
of the Charging of Nanometer and Submicron Particles at High Temperatures}, volume={19},
DOI={10.1002/ppsc.200290004},
number={6}, journal={Particle & Particle Systems Characterization}, author={Schiel,
Annette and Weber, Alfred P. and Kasper, Gerhard and Schmid, Hans-Joachim}, year={2002},
pages={410–418} }'
chicago: 'Schiel, Annette, Alfred P. Weber, Gerhard Kasper, and Hans-Joachim Schmid.
“In-Situ Determination of the Charging of Nanometer and Submicron Particles at
High Temperatures.” Particle & Particle Systems Characterization 19,
no. 6 (2002): 410–18. https://doi.org/10.1002/ppsc.200290004.'
ieee: 'A. Schiel, A. P. Weber, G. Kasper, and H.-J. Schmid, “In-Situ Determination
of the Charging of Nanometer and Submicron Particles at High Temperatures,” Particle
& Particle Systems Characterization, vol. 19, no. 6, pp. 410–418, 2002,
doi: 10.1002/ppsc.200290004.'
mla: Schiel, Annette, et al. “In-Situ Determination of the Charging of Nanometer
and Submicron Particles at High Temperatures.” Particle & Particle Systems
Characterization, vol. 19, no. 6, 2002, pp. 410–18, doi:10.1002/ppsc.200290004.
short: A. Schiel, A.P. Weber, G. Kasper, H.-J. Schmid, Particle & Particle Systems
Characterization 19 (2002) 410–418.
date_created: 2021-10-13T16:26:13Z
date_updated: 2022-01-06T06:57:17Z
doi: 10.1002/ppsc.200290004
intvolume: ' 19'
issue: '6'
language:
- iso: eng
page: 410-418
publication: Particle & Particle Systems Characterization
publication_identifier:
issn:
- 0934-0866
publication_status: published
status: public
title: In-Situ Determination of the Charging of Nanometer and Submicron Particles
at High Temperatures
type: journal_article
user_id: '70093'
volume: 19
year: '2002'
...
---
_id: '26161'
abstract:
- lang: eng
text: An optical measuring technique is presented allowing the exact in-situ measurement
of local particle flux densities in a confined channel flow by counting single
particles penetrating an optically well defined measuring volume. This enables
a precise flux determination up to the direct vicinity of planar walls. The measurement
set-up and its calibration as well as the whole test facility are described in
detail. This measurement technique is used to study the particle transport in
electrostatic precipitators. Exemplarily, results of particle flux profiles as
well as precipitation, as gained from balances of parts of the precipitator channel,
are presented. Furthermore, the possibility to determine particle velocity fluctuations
is demonstrated.
article_number: '203'
author:
- first_name: Hans-Joachim
full_name: Schmid, Hans-Joachim
id: '464'
last_name: Schmid
- first_name: Susanne
full_name: Veith, Susanne
last_name: Veith
- first_name: Heinz
full_name: Umhauer, Heinz
last_name: Umhauer
citation:
ama: Schmid H-J, Veith S, Umhauer H. In-Situ Measurement of Local Particle Flux
Densities in a Complex Two-Phase Flow. Particle & Particle Systems Characterization.
2002;19(3). doi:10.1002/1521-4117(200207)19:3<203::aid-ppsc203>3.0.co;2-7
apa: Schmid, H.-J., Veith, S., & Umhauer, H. (2002). In-Situ Measurement of
Local Particle Flux Densities in a Complex Two-Phase Flow. Particle & Particle
Systems Characterization, 19(3), Article 203. https://doi.org/10.1002/1521-4117(200207)19:3<203::aid-ppsc203>3.0.co;2-7
bibtex: '@article{Schmid_Veith_Umhauer_2002, title={In-Situ Measurement of Local
Particle Flux Densities in a Complex Two-Phase Flow}, volume={19}, DOI={10.1002/1521-4117(200207)19:3<203::aid-ppsc203>3.0.co;2-7},
number={3203}, journal={Particle & Particle Systems Characterization}, author={Schmid,
Hans-Joachim and Veith, Susanne and Umhauer, Heinz}, year={2002} }'
chicago: Schmid, Hans-Joachim, Susanne Veith, and Heinz Umhauer. “In-Situ Measurement
of Local Particle Flux Densities in a Complex Two-Phase Flow.” Particle &
Particle Systems Characterization 19, no. 3 (2002). https://doi.org/10.1002/1521-4117(200207)19:3<203::aid-ppsc203>3.0.co;2-7.
ieee: 'H.-J. Schmid, S. Veith, and H. Umhauer, “In-Situ Measurement of Local Particle
Flux Densities in a Complex Two-Phase Flow,” Particle & Particle Systems
Characterization, vol. 19, no. 3, Art. no. 203, 2002, doi: 10.1002/1521-4117(200207)19:3<203::aid-ppsc203>3.0.co;2-7.'
mla: Schmid, Hans-Joachim, et al. “In-Situ Measurement of Local Particle Flux Densities
in a Complex Two-Phase Flow.” Particle & Particle Systems Characterization,
vol. 19, no. 3, 203, 2002, doi:10.1002/1521-4117(200207)19:3<203::aid-ppsc203>3.0.co;2-7.
short: H.-J. Schmid, S. Veith, H. Umhauer, Particle & Particle Systems Characterization
19 (2002).
date_created: 2021-10-13T16:36:17Z
date_updated: 2022-01-06T06:57:17Z
doi: 10.1002/1521-4117(200207)19:3<203::aid-ppsc203>3.0.co;2-7
intvolume: ' 19'
issue: '3'
language:
- iso: eng
publication: Particle & Particle Systems Characterization
publication_identifier:
issn:
- 0934-0866
- 1521-4117
publication_status: published
status: public
title: In-Situ Measurement of Local Particle Flux Densities in a Complex Two-Phase
Flow
type: journal_article
user_id: '70093'
volume: 19
year: '2002'
...
---
_id: '26169'
abstract:
- lang: eng
text: "Summary\r\n\r\n Elektrische Staubabscheidung\r\n\r\n Wirkprinzip\r\n\r\n
\ Mikroprozesse und Grundvorgänge\r\n\r\n Sekundäreinflüsse auf die
Partikelabscheidung\r\n\r\n Wichtige Bestandteile und verschiedene Bauformen\r\n\r\n
\ Auslegung von Abscheidern\r\n"
author:
- first_name: Hans-Joachim
full_name: Schmid, Hans-Joachim
id: '464'
last_name: Schmid
citation:
ama: 'Schmid H-J. Trennprozesse: Abschnitt 7.5.3. In: Handbuch Der Mechanischen
Verfahrenstechnik. ; 2002. doi:10.1002/3527603352.ch7r'
apa: 'Schmid, H.-J. (2002). Trennprozesse: Abschnitt 7.5.3. In Handbuch der Mechanischen
Verfahrenstechnik. https://doi.org/10.1002/3527603352.ch7r'
bibtex: '@inbook{Schmid_2002, title={Trennprozesse: Abschnitt 7.5.3}, DOI={10.1002/3527603352.ch7r},
booktitle={Handbuch der Mechanischen Verfahrenstechnik}, author={Schmid, Hans-Joachim},
year={2002} }'
chicago: 'Schmid, Hans-Joachim. “Trennprozesse: Abschnitt 7.5.3.” In Handbuch
Der Mechanischen Verfahrenstechnik, 2002. https://doi.org/10.1002/3527603352.ch7r.'
ieee: 'H.-J. Schmid, “Trennprozesse: Abschnitt 7.5.3,” in Handbuch der Mechanischen
Verfahrenstechnik, 2002.'
mla: 'Schmid, Hans-Joachim. “Trennprozesse: Abschnitt 7.5.3.” Handbuch Der Mechanischen
Verfahrenstechnik, 2002, doi:10.1002/3527603352.ch7r.'
short: 'H.-J. Schmid, in: Handbuch Der Mechanischen Verfahrenstechnik, 2002.'
date_created: 2021-10-13T17:10:49Z
date_updated: 2022-01-06T06:57:17Z
doi: 10.1002/3527603352.ch7r
language:
- iso: eng
publication: Handbuch der Mechanischen Verfahrenstechnik
publication_status: published
status: public
title: 'Trennprozesse: Abschnitt 7.5.3'
type: book_chapter
user_id: '70093'
year: '2002'
...
---
_id: '26412'
author:
- first_name: Klaus
full_name: Volbert, Klaus
last_name: Volbert
citation:
ama: 'Volbert K. A simulation environment for ad hoc networks using sector subdivision.
In: Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-Based
Processing. ; 2002. doi:10.1109/empdp.2002.994324'
apa: Volbert, K. (2002). A simulation environment for ad hoc networks using sector
subdivision. Proceedings 10th Euromicro Workshop on Parallel, Distributed and
Network-Based Processing. https://doi.org/10.1109/empdp.2002.994324
bibtex: '@inproceedings{Volbert_2002, title={A simulation environment for ad hoc
networks using sector subdivision}, DOI={10.1109/empdp.2002.994324},
booktitle={Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-based
Processing}, author={Volbert, Klaus}, year={2002} }'
chicago: Volbert, Klaus. “A Simulation Environment for Ad Hoc Networks Using Sector
Subdivision.” In Proceedings 10th Euromicro Workshop on Parallel, Distributed
and Network-Based Processing, 2002. https://doi.org/10.1109/empdp.2002.994324.
ieee: 'K. Volbert, “A simulation environment for ad hoc networks using sector subdivision,”
2002, doi: 10.1109/empdp.2002.994324.'
mla: Volbert, Klaus. “A Simulation Environment for Ad Hoc Networks Using Sector
Subdivision.” Proceedings 10th Euromicro Workshop on Parallel, Distributed
and Network-Based Processing, 2002, doi:10.1109/empdp.2002.994324.
short: 'K. Volbert, in: Proceedings 10th Euromicro Workshop on Parallel, Distributed
and Network-Based Processing, 2002.'
date_created: 2021-10-18T15:45:20Z
date_updated: 2022-01-06T06:57:20Z
department:
- _id: '63'
- _id: '26'
doi: 10.1109/empdp.2002.994324
language:
- iso: eng
publication: Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-based
Processing
publication_status: published
status: public
title: A simulation environment for ad hoc networks using sector subdivision
type: conference
user_id: '15415'
year: '2002'
...
---
_id: '26826'
author:
- first_name: Kristina
full_name: Reiss, Kristina
last_name: Reiss
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
- first_name: Joachim
full_name: Thomas, Joachim
last_name: Thomas
citation:
ama: Reiss K, Hellmich F, Thomas J. Individuelle und schulische Bedingungsfaktoren
für Argumentationen und Beweise im Mathematikunterricht. Zeitschrift für Pädagogik.
2002;45:51-64. doi:10.25656/01:3938
apa: Reiss, K., Hellmich, F., & Thomas, J. (2002). Individuelle und schulische
Bedingungsfaktoren für Argumentationen und Beweise im Mathematikunterricht. Zeitschrift
für Pädagogik, 45, 51–64. https://doi.org/10.25656/01:3938
bibtex: '@article{Reiss_Hellmich_Thomas_2002, title={Individuelle und schulische
Bedingungsfaktoren für Argumentationen und Beweise im Mathematikunterricht}, volume={45},
DOI={10.25656/01:3938}, journal={Zeitschrift
für Pädagogik}, author={Reiss, Kristina and Hellmich, Frank and Thomas, Joachim},
year={2002}, pages={51–64} }'
chicago: 'Reiss, Kristina, Frank Hellmich, and Joachim Thomas. “Individuelle und
schulische Bedingungsfaktoren für Argumentationen und Beweise im Mathematikunterricht.”
Zeitschrift für Pädagogik 45 (2002): 51–64. https://doi.org/10.25656/01:3938.'
ieee: 'K. Reiss, F. Hellmich, and J. Thomas, “Individuelle und schulische Bedingungsfaktoren
für Argumentationen und Beweise im Mathematikunterricht,” Zeitschrift für Pädagogik,
vol. 45, pp. 51–64, 2002, doi: 10.25656/01:3938.'
mla: Reiss, Kristina, et al. “Individuelle und schulische Bedingungsfaktoren für
Argumentationen und Beweise im Mathematikunterricht.” Zeitschrift für Pädagogik,
vol. 45, 2002, pp. 51–64, doi:10.25656/01:3938.
short: K. Reiss, F. Hellmich, J. Thomas, Zeitschrift für Pädagogik 45 (2002) 51–64.
date_created: 2021-10-25T12:13:40Z
date_updated: 2022-01-06T06:57:29Z
department:
- _id: '460'
doi: 10.25656/01:3938
extern: '1'
intvolume: ' 45'
language:
- iso: ger
page: 51-64
publication: Zeitschrift für Pädagogik
status: public
title: Individuelle und schulische Bedingungsfaktoren für Argumentationen und Beweise
im Mathematikunterricht
type: journal_article
user_id: '57672'
volume: 45
year: '2002'
...
---
_id: '26827'
author:
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
- first_name: Jens
full_name: Hartmann, Jens
last_name: Hartmann
citation:
ama: 'Hellmich F, Hartmann J. Materialgebundene versus computerunterstützte Förderung
räumlicher Kompetenzen in der Grundschule. In: Peschek W, ed. Beiträge zum
Mathematikunterricht 2002. Franzbecker; 2002:211-214.'
apa: Hellmich, F., & Hartmann, J. (2002). Materialgebundene versus computerunterstützte
Förderung räumlicher Kompetenzen in der Grundschule. In W. Peschek (Ed.), Beiträge
zum Mathematikunterricht 2002 (pp. 211–214). Franzbecker.
bibtex: '@inbook{Hellmich_Hartmann_2002, place={Hild}, title={Materialgebundene
versus computerunterstützte Förderung räumlicher Kompetenzen in der Grundschule},
booktitle={Beiträge zum Mathematikunterricht 2002}, publisher={Franzbecker}, author={Hellmich,
Frank and Hartmann, Jens}, editor={Peschek, Werner}, year={2002}, pages={211–214}
}'
chicago: 'Hellmich, Frank, and Jens Hartmann. “Materialgebundene versus computerunterstützte
Förderung räumlicher Kompetenzen in der Grundschule.” In Beiträge zum Mathematikunterricht
2002, edited by Werner Peschek, 211–14. Hild: Franzbecker, 2002.'
ieee: 'F. Hellmich and J. Hartmann, “Materialgebundene versus computerunterstützte
Förderung räumlicher Kompetenzen in der Grundschule,” in Beiträge zum Mathematikunterricht
2002, W. Peschek, Ed. Hild: Franzbecker, 2002, pp. 211–214.'
mla: Hellmich, Frank, and Jens Hartmann. “Materialgebundene versus computerunterstützte
Förderung räumlicher Kompetenzen in der Grundschule.” Beiträge zum Mathematikunterricht
2002, edited by Werner Peschek, Franzbecker, 2002, pp. 211–14.
short: 'F. Hellmich, J. Hartmann, in: W. Peschek (Ed.), Beiträge zum Mathematikunterricht
2002, Franzbecker, Hild, 2002, pp. 211–214.'
date_created: 2021-10-25T12:17:47Z
date_updated: 2022-01-06T06:57:29Z
department:
- _id: '460'
editor:
- first_name: Werner
full_name: Peschek, Werner
last_name: Peschek
extern: '1'
language:
- iso: ger
page: 211-214
place: Hild
publication: Beiträge zum Mathematikunterricht 2002
publisher: Franzbecker
status: public
title: Materialgebundene versus computerunterstützte Förderung räumlicher Kompetenzen
in der Grundschule
type: book_chapter
user_id: '57672'
year: '2002'
...
---
_id: '26831'
author:
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
- first_name: Jens
full_name: Hartmann, Jens
last_name: Hartmann
- first_name: 'Kristina '
full_name: 'Reiss , Kristina '
last_name: 'Reiss '
citation:
ama: 'Hellmich F, Hartmann J, Reiss K. Bedingungen für das Argumentieren und Begründen
im Geometrieunterricht der Sekundarstufe I. In: Peschek W, ed. Beiträge zum
Mathematikunterricht 2002. Franzbecker; 2002:231-234.'
apa: Hellmich, F., Hartmann, J., & Reiss , K. (2002). Bedingungen für das Argumentieren
und Begründen im Geometrieunterricht der Sekundarstufe I. In W. Peschek (Ed.),
Beiträge zum Mathematikunterricht 2002 (pp. 231–234). Franzbecker.
bibtex: '@inbook{Hellmich_Hartmann_Reiss _2002, place={Hildesheim}, title={Bedingungen
für das Argumentieren und Begründen im Geometrieunterricht der Sekundarstufe I},
booktitle={Beiträge zum Mathematikunterricht 2002}, publisher={Franzbecker}, author={Hellmich,
Frank and Hartmann, Jens and Reiss , Kristina }, editor={Peschek, Werner}, year={2002},
pages={231–234} }'
chicago: 'Hellmich, Frank, Jens Hartmann, and Kristina Reiss . “Bedingungen für
das Argumentieren und Begründen im Geometrieunterricht der Sekundarstufe I.” In
Beiträge zum Mathematikunterricht 2002, edited by Werner Peschek, 231–34.
Hildesheim: Franzbecker, 2002.'
ieee: 'F. Hellmich, J. Hartmann, and K. Reiss , “Bedingungen für das Argumentieren
und Begründen im Geometrieunterricht der Sekundarstufe I,” in Beiträge zum
Mathematikunterricht 2002, W. Peschek, Ed. Hildesheim: Franzbecker, 2002,
pp. 231–234.'
mla: Hellmich, Frank, et al. “Bedingungen für das Argumentieren und Begründen im
Geometrieunterricht der Sekundarstufe I.” Beiträge zum Mathematikunterricht
2002, edited by Werner Peschek, Franzbecker, 2002, pp. 231–34.
short: 'F. Hellmich, J. Hartmann, K. Reiss , in: W. Peschek (Ed.), Beiträge zum
Mathematikunterricht 2002, Franzbecker, Hildesheim, 2002, pp. 231–234.'
date_created: 2021-10-25T12:24:23Z
date_updated: 2022-01-06T06:57:29Z
department:
- _id: '460'
editor:
- first_name: Werner
full_name: Peschek, Werner
last_name: Peschek
extern: '1'
language:
- iso: ger
page: 231-234
place: Hildesheim
publication: Beiträge zum Mathematikunterricht 2002
publisher: Franzbecker
status: public
title: Bedingungen für das Argumentieren und Begründen im Geometrieunterricht der
Sekundarstufe I
type: book_chapter
user_id: '57672'
year: '2002'
...
---
_id: '26835'
author:
- first_name: Kristina
full_name: Reiss, Kristina
last_name: Reiss
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
- first_name: Matthias
full_name: Reiss, Matthias
last_name: Reiss
citation:
ama: 'Reiss K, Hellmich F, Reiss M. Reasoning and proof in geometry: Prerequisites
of knowledge acquisition in secondary school students. In: Cockburn AD, Nardi
E, eds. Proceedings of the 26th Conference of the International Group for the
Psychology of Mathematics Education. University of East Anglia; 2002:113-120.'
apa: 'Reiss, K., Hellmich, F., & Reiss, M. (2002). Reasoning and proof in geometry:
Prerequisites of knowledge acquisition in secondary school students. In A. D.
Cockburn & E. Nardi (Eds.), Proceedings of the 26th Conference of the International
Group for the Psychology of Mathematics Education (pp. 113–120). University
of East Anglia.'
bibtex: '@inbook{Reiss_Hellmich_Reiss_2002, place={Norwich}, title={Reasoning and
proof in geometry: Prerequisites of knowledge acquisition in secondary school
students}, booktitle={Proceedings of the 26th Conference of the International
Group for the Psychology of Mathematics Education}, publisher={ University of
East Anglia}, author={Reiss, Kristina and Hellmich, Frank and Reiss, Matthias},
editor={Cockburn, Anne D and Nardi, Elena}, year={2002}, pages={113–120} }'
chicago: 'Reiss, Kristina, Frank Hellmich, and Matthias Reiss. “Reasoning and Proof
in Geometry: Prerequisites of Knowledge Acquisition in Secondary School Students.”
In Proceedings of the 26th Conference of the International Group for the Psychology
of Mathematics Education, edited by Anne D Cockburn and Elena Nardi, 113–20.
Norwich: University of East Anglia, 2002.'
ieee: 'K. Reiss, F. Hellmich, and M. Reiss, “Reasoning and proof in geometry: Prerequisites
of knowledge acquisition in secondary school students,” in Proceedings of the
26th Conference of the International Group for the Psychology of Mathematics Education,
A. D. Cockburn and E. Nardi, Eds. Norwich: University of East Anglia, 2002, pp.
113–120.'
mla: 'Reiss, Kristina, et al. “Reasoning and Proof in Geometry: Prerequisites of
Knowledge Acquisition in Secondary School Students.” Proceedings of the 26th
Conference of the International Group for the Psychology of Mathematics Education,
edited by Anne D Cockburn and Elena Nardi, University of East Anglia, 2002, pp.
113–20.'
short: 'K. Reiss, F. Hellmich, M. Reiss, in: A.D. Cockburn, E. Nardi (Eds.), Proceedings
of the 26th Conference of the International Group for the Psychology of Mathematics
Education, University of East Anglia, Norwich, 2002, pp. 113–120.'
date_created: 2021-10-25T12:29:49Z
date_updated: 2022-01-06T06:57:29Z
department:
- _id: '460'
editor:
- first_name: Anne D
full_name: Cockburn, Anne D
last_name: Cockburn
- first_name: Elena
full_name: Nardi, Elena
last_name: Nardi
extern: '1'
language:
- iso: eng
page: 113-120
place: Norwich
publication: Proceedings of the 26th Conference of the International Group for the
Psychology of Mathematics Education
publisher: ' University of East Anglia'
status: public
title: 'Reasoning and proof in geometry: Prerequisites of knowledge acquisition in
secondary school students'
type: book_chapter
user_id: '57672'
year: '2002'
...
---
_id: '26838'
author:
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
- first_name: Jens
full_name: Hartmann, Jens
last_name: Hartmann
citation:
ama: Hellmich F, Hartmann J. Aspekte einer Förderung räumlicher Kompetenzen im Geometrieunterricht.
Ergebnisse einer Trainingsstudie mit Sonderschülerinnen und -schülern. Zentralblatt
für Didaktik der Mathematik. 2002;34(2):56-61.
apa: Hellmich, F., & Hartmann, J. (2002). Aspekte einer Förderung räumlicher
Kompetenzen im Geometrieunterricht. Ergebnisse einer Trainingsstudie mit Sonderschülerinnen
und -schülern. Zentralblatt für Didaktik der Mathematik, 34(2),
56–61.
bibtex: '@article{Hellmich_Hartmann_2002, title={Aspekte einer Förderung räumlicher
Kompetenzen im Geometrieunterricht. Ergebnisse einer Trainingsstudie mit Sonderschülerinnen
und -schülern}, volume={34}, number={2}, journal={Zentralblatt für Didaktik der
Mathematik}, author={Hellmich, Frank and Hartmann, Jens}, year={2002}, pages={56–61}
}'
chicago: 'Hellmich, Frank, and Jens Hartmann. “Aspekte einer Förderung räumlicher
Kompetenzen im Geometrieunterricht. Ergebnisse einer Trainingsstudie mit Sonderschülerinnen
und -schülern.” Zentralblatt für Didaktik der Mathematik 34, no. 2 (2002):
56–61.'
ieee: F. Hellmich and J. Hartmann, “Aspekte einer Förderung räumlicher Kompetenzen
im Geometrieunterricht. Ergebnisse einer Trainingsstudie mit Sonderschülerinnen
und -schülern,” Zentralblatt für Didaktik der Mathematik, vol. 34, no.
2, pp. 56–61, 2002.
mla: Hellmich, Frank, and Jens Hartmann. “Aspekte einer Förderung räumlicher Kompetenzen
im Geometrieunterricht. Ergebnisse einer Trainingsstudie mit Sonderschülerinnen
und -schülern.” Zentralblatt für Didaktik der Mathematik, vol. 34, no.
2, 2002, pp. 56–61.
short: F. Hellmich, J. Hartmann, Zentralblatt für Didaktik der Mathematik 34 (2002)
56–61.
date_created: 2021-10-25T12:32:20Z
date_updated: 2022-01-06T06:57:29Z
department:
- _id: '460'
extern: '1'
intvolume: ' 34'
issue: '2'
language:
- iso: ger
page: 56-61
publication: Zentralblatt für Didaktik der Mathematik
status: public
title: Aspekte einer Förderung räumlicher Kompetenzen im Geometrieunterricht. Ergebnisse
einer Trainingsstudie mit Sonderschülerinnen und -schülern
type: journal_article
user_id: '57672'
volume: 34
year: '2002'
...
---
_id: '26842'
author:
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
- first_name: Kristina
full_name: Reiss, Kristina
last_name: Reiss
- first_name: J
full_name: Thomas, J
last_name: Thomas
citation:
ama: Hellmich F, Reiss K, Thomas J. Begründen und Beweisen in der Geometrie.
Bedingungen des Wissensaufbaus bei Schülerinnen und Schülern der Sekundarstufe.
Ergebnisbericht an die DFG. Carl von Ossietzky Universität Oldenburg; 2002.
apa: Hellmich, F., Reiss, K., & Thomas, J. (2002). Begründen und Beweisen
in der Geometrie. Bedingungen des Wissensaufbaus bei Schülerinnen und Schülern
der Sekundarstufe. Ergebnisbericht an die DFG. Carl von Ossietzky Universität
Oldenburg.
bibtex: '@book{Hellmich_Reiss_Thomas_2002, place={Oldenburg}, title={Begründen und
Beweisen in der Geometrie. Bedingungen des Wissensaufbaus bei Schülerinnen und
Schülern der Sekundarstufe. Ergebnisbericht an die DFG}, publisher={Carl von Ossietzky
Universität Oldenburg}, author={Hellmich, Frank and Reiss, Kristina and Thomas,
J}, year={2002} }'
chicago: 'Hellmich, Frank, Kristina Reiss, and J Thomas. Begründen und Beweisen
in der Geometrie. Bedingungen des Wissensaufbaus bei Schülerinnen und Schülern
der Sekundarstufe. Ergebnisbericht an die DFG. Oldenburg: Carl von Ossietzky
Universität Oldenburg, 2002.'
ieee: 'F. Hellmich, K. Reiss, and J. Thomas, Begründen und Beweisen in der Geometrie.
Bedingungen des Wissensaufbaus bei Schülerinnen und Schülern der Sekundarstufe.
Ergebnisbericht an die DFG. Oldenburg: Carl von Ossietzky Universität Oldenburg,
2002.'
mla: Hellmich, Frank, et al. Begründen und Beweisen in der Geometrie. Bedingungen
des Wissensaufbaus bei Schülerinnen und Schülern der Sekundarstufe. Ergebnisbericht
an die DFG. Carl von Ossietzky Universität Oldenburg, 2002.
short: F. Hellmich, K. Reiss, J. Thomas, Begründen und Beweisen in der Geometrie.
Bedingungen des Wissensaufbaus bei Schülerinnen und Schülern der Sekundarstufe.
Ergebnisbericht an die DFG, Carl von Ossietzky Universität Oldenburg, Oldenburg,
2002.
date_created: 2021-10-25T12:35:45Z
date_updated: 2022-01-06T06:57:29Z
department:
- _id: '460'
extern: '1'
language:
- iso: ger
place: Oldenburg
publisher: Carl von Ossietzky Universität Oldenburg
status: public
title: Begründen und Beweisen in der Geometrie. Bedingungen des Wissensaufbaus bei
Schülerinnen und Schülern der Sekundarstufe. Ergebnisbericht an die DFG
type: book
user_id: '57672'
year: '2002'
...
---
_id: '3241'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Wehrheim H. Relating State-based and Behaviour-oriented Subtyping. Nord
J Comput. 2002;(4):405--435.
apa: Wehrheim, H. (2002). Relating State-based and Behaviour-oriented Subtyping.
Nord. J. Comput., (4), 405--435.
bibtex: '@article{Wehrheim_2002, title={Relating State-based and Behaviour-oriented
Subtyping}, number={4}, journal={Nord. J. Comput.}, author={Wehrheim, Heike},
year={2002}, pages={405--435} }'
chicago: 'Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.”
Nord. J. Comput., no. 4 (2002): 405--435.'
ieee: H. Wehrheim, “Relating State-based and Behaviour-oriented Subtyping,” Nord.
J. Comput., no. 4, pp. 405--435, 2002.
mla: Wehrheim, Heike. “Relating State-Based and Behaviour-Oriented Subtyping.” Nord.
J. Comput., no. 4, 2002, pp. 405--435.
short: H. Wehrheim, Nord. J. Comput. (2002) 405--435.
date_created: 2018-06-14T06:56:20Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
issue: '4'
page: 405--435
publication: Nord. J. Comput.
status: public
title: Relating State-based and Behaviour-oriented Subtyping
type: journal_article
user_id: '29719'
year: '2002'
...
---
_id: '3242'
author:
- first_name: Ernst-Rüdiger
full_name: Olderog, Ernst-Rüdiger
last_name: Olderog
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Olderog E-R, Wehrheim H. Specification and Inheritance in {CSP-OZ}. In: S.
de Boer F, M. Bonsangue M, Graf S, P. de Roever W, eds. Formal Methods for
Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The
Netherlands, November 5-8, 2002, Revised Lectures. Lecture Notes in Computer
Science. ; 2002:361--379. doi:10.1007/978-3-540-39656-7_15'
apa: Olderog, E.-R., & Wehrheim, H. (2002). Specification and Inheritance in
{CSP-OZ}. In F. S. de Boer, M. M. Bonsangue, S. Graf, & W. P. de Roever (Eds.),
Formal Methods for Components and Objects, First International Symposium, {FMCO}
2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (pp. 361--379).
https://doi.org/10.1007/978-3-540-39656-7_15
bibtex: '@inproceedings{Olderog_Wehrheim_2002, series={Lecture Notes in Computer
Science}, title={Specification and Inheritance in {CSP-OZ}}, DOI={10.1007/978-3-540-39656-7_15},
booktitle={Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures}, author={Olderog,
Ernst-Rüdiger and Wehrheim, Heike}, editor={S. de Boer, Frank and M. Bonsangue,
Marcello and Graf, Susanne and P. de Roever, WillemEditors}, year={2002}, pages={361--379},
collection={Lecture Notes in Computer Science} }'
chicago: Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance
in {CSP-OZ}.” In Formal Methods for Components and Objects, First International
Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures,
edited by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, and Willem P.
de Roever, 361--379. Lecture Notes in Computer Science, 2002. https://doi.org/10.1007/978-3-540-39656-7_15.
ieee: E.-R. Olderog and H. Wehrheim, “Specification and Inheritance in {CSP-OZ},”
in Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures,
2002, pp. 361--379.
mla: Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and Inheritance
in {CSP-OZ}.” Formal Methods for Components and Objects, First International
Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures,
edited by Frank S. de Boer et al., 2002, pp. 361--379, doi:10.1007/978-3-540-39656-7_15.
short: 'E.-R. Olderog, H. Wehrheim, in: F. S. de Boer, M. M. Bonsangue, S. Graf,
W. P. de Roever (Eds.), Formal Methods for Components and Objects, First International
Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures,
2002, pp. 361--379.'
date_created: 2018-06-14T07:10:28Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
doi: 10.1007/978-3-540-39656-7_15
editor:
- first_name: Frank
full_name: S. de Boer, Frank
last_name: S. de Boer
- first_name: Marcello
full_name: M. Bonsangue, Marcello
last_name: M. Bonsangue
- first_name: Susanne
full_name: Graf, Susanne
last_name: Graf
- first_name: Willem
full_name: P. de Roever, Willem
last_name: P. de Roever
page: 361--379
publication: Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures
series_title: Lecture Notes in Computer Science
status: public
title: Specification and Inheritance in {CSP-OZ}
type: conference
user_id: '29719'
year: '2002'
...
---
_id: '3243'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Checking Behavioural Subtypes via Refinement. In: Jacobs B, Rensink
A, eds. Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
{TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based
Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands.
{IFIP} Conference Proceedings. ; 2002:79--93.'
apa: Wehrheim, H. (2002). Checking Behavioural Subtypes via Refinement. In B. Jacobs
& A. Rensink (Eds.), Formal Methods for Open Object-Based Distributed Systems
V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede,
The Netherlands (pp. 79--93).
bibtex: '@inproceedings{Wehrheim_2002, series={{IFIP} Conference Proceedings}, title={Checking
Behavioural Subtypes via Refinement}, booktitle={Formal Methods for Open Object-Based
Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal
Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22,
2002, Enschede, The Netherlands}, author={Wehrheim, Heike}, editor={Jacobs, Bart
and Rensink, ArendEditors}, year={2002}, pages={79--93}, collection={{IFIP} Conference
Proceedings} }'
chicago: Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” In Formal
Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, edited by Bart
Jacobs and Arend Rensink, 79--93. {IFIP} Conference Proceedings, 2002.
ieee: H. Wehrheim, “Checking Behavioural Subtypes via Refinement,” in Formal
Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, 2002, pp. 79--93.
mla: Wehrheim, Heike. “Checking Behavioural Subtypes via Refinement.” Formal
Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth
International Conference on Formal Methods for Open Object-Based Distributed Systems
{(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands, edited by Bart
Jacobs and Arend Rensink, 2002, pp. 79--93.
short: 'H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), Formal Methods for Open Object-Based
Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal
Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22,
2002, Enschede, The Netherlands, 2002, pp. 79--93.'
date_created: 2018-06-14T07:11:33Z
date_updated: 2022-01-06T06:59:07Z
department:
- _id: '77'
editor:
- first_name: Bart
full_name: Jacobs, Bart
last_name: Jacobs
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
page: 79--93
publication: Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Methods for Open Object-Based Distributed
Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands
series_title: '{IFIP} Conference Proceedings'
status: public
title: Checking Behavioural Subtypes via Refinement
type: conference
user_id: '29719'
year: '2002'
...
---
_id: '3645'
author:
- first_name: Christian
full_name: Harteis, Christian
id: '27503'
last_name: Harteis
orcid: https://orcid.org/0000-0002-3570-7626
citation:
ama: 'Harteis C. Kompetenzfördernde Arbeitsbedingungen. Wiesbaden: Gabler;
2002.'
apa: 'Harteis, C. (2002). Kompetenzfördernde Arbeitsbedingungen. Wiesbaden:
Gabler.'
bibtex: '@book{Harteis_2002, place={Wiesbaden}, title={Kompetenzfördernde Arbeitsbedingungen},
publisher={Gabler}, author={Harteis, Christian}, year={2002} }'
chicago: 'Harteis, Christian. Kompetenzfördernde Arbeitsbedingungen. Wiesbaden:
Gabler, 2002.'
ieee: 'C. Harteis, Kompetenzfördernde Arbeitsbedingungen. Wiesbaden: Gabler,
2002.'
mla: Harteis, Christian. Kompetenzfördernde Arbeitsbedingungen. Gabler, 2002.
short: C. Harteis, Kompetenzfördernde Arbeitsbedingungen, Gabler, Wiesbaden, 2002.
date_created: 2018-07-23T12:30:53Z
date_updated: 2022-01-06T06:59:28Z
department:
- _id: '452'
extern: '1'
place: Wiesbaden
publisher: Gabler
status: public
title: Kompetenzfördernde Arbeitsbedingungen
type: book
user_id: '27503'
year: '2002'
...