---
_id: '2414'
author:
- first_name: Georg
full_name: Birkenheuer, Georg
last_name: Birkenheuer
- first_name: Wilke
full_name: Hagelweide, Wilke
last_name: Hagelweide
- first_name: Björn
full_name: Hagemeier, Björn
last_name: Hagemeier
- first_name: Viktor
full_name: Japs, Viktor
last_name: Japs
- first_name: Matthias
full_name: Keller, Matthias
last_name: Keller
- first_name: Nikolas
full_name: Mayr, Nikolas
last_name: Mayr
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Tobias
full_name: Schumacher, Tobias
last_name: Schumacher
- first_name: Kerstin
full_name: Voß, Kerstin
last_name: Voß
- first_name: Markus
full_name: Zajac, Markus
last_name: Zajac
citation:
ama: 'Birkenheuer G, Hagelweide W, Hagemeier B, et al. PIRANHA – Hunter of Idle
Resources. In: Proc. GI Informatiktage. Vol 2. Lecture Notes in Informatics.
Bonn, Germany: Gesellschaft für Informatik (GI); 2005:91-94.'
apa: 'Birkenheuer, G., Hagelweide, W., Hagemeier, B., Japs, V., Keller, M., Mayr,
N., … Zajac, M. (2005). PIRANHA – Hunter of Idle Resources. In Proc. GI Informatiktage
(Vol. 2, pp. 91–94). Bonn, Germany: Gesellschaft für Informatik (GI).'
bibtex: '@inproceedings{Birkenheuer_Hagelweide_Hagemeier_Japs_Keller_Mayr_Meyer_Schumacher_Voß_Zajac_2005,
place={Bonn, Germany}, series={Lecture Notes in Informatics}, title={PIRANHA –
Hunter of Idle Resources}, volume={2}, booktitle={Proc. GI Informatiktage}, publisher={Gesellschaft
für Informatik (GI)}, author={Birkenheuer, Georg and Hagelweide, Wilke and Hagemeier,
Björn and Japs, Viktor and Keller, Matthias and Mayr, Nikolas and Meyer, Jan and
Schumacher, Tobias and Voß, Kerstin and Zajac, Markus}, year={2005}, pages={91–94},
collection={Lecture Notes in Informatics} }'
chicago: 'Birkenheuer, Georg, Wilke Hagelweide, Björn Hagemeier, Viktor Japs, Matthias
Keller, Nikolas Mayr, Jan Meyer, Tobias Schumacher, Kerstin Voß, and Markus Zajac.
“PIRANHA – Hunter of Idle Resources.” In Proc. GI Informatiktage, 2:91–94.
Lecture Notes in Informatics. Bonn, Germany: Gesellschaft für Informatik (GI),
2005.'
ieee: G. Birkenheuer et al., “PIRANHA – Hunter of Idle Resources,” in Proc.
GI Informatiktage, 2005, vol. 2, pp. 91–94.
mla: Birkenheuer, Georg, et al. “PIRANHA – Hunter of Idle Resources.” Proc. GI
Informatiktage, vol. 2, Gesellschaft für Informatik (GI), 2005, pp. 91–94.
short: 'G. Birkenheuer, W. Hagelweide, B. Hagemeier, V. Japs, M. Keller, N. Mayr,
J. Meyer, T. Schumacher, K. Voß, M. Zajac, in: Proc. GI Informatiktage, Gesellschaft
für Informatik (GI), Bonn, Germany, 2005, pp. 91–94.'
date_created: 2018-04-17T14:42:20Z
date_updated: 2022-01-06T06:56:08Z
department:
- _id: '27'
intvolume: ' 2'
page: 91-94
place: Bonn, Germany
publication: Proc. GI Informatiktage
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: PIRANHA – Hunter of Idle Resources
type: conference
user_id: '24135'
volume: 2
year: '2005'
...
---
_id: '25931'
author:
- first_name: Anette
full_name: Buyken, Anette
id: '65985'
last_name: Buyken
- first_name: W
full_name: Dettmann, W
last_name: Dettmann
- first_name: M
full_name: Kersting, M
last_name: Kersting
- first_name: A
full_name: Kroke, A
last_name: Kroke
citation:
ama: 'Buyken A, Dettmann W, Kersting M, Kroke A. Glycaemic index and glycaemic load
in the diet of healthy schoolchildren: trends from 1990 to 2002, contribution
of different carbohydrate sources and relationships to dietary quality. Br
J Nutr. 2005;94(5):796-803. doi:10.1079/bjn20051537'
apa: 'Buyken, A., Dettmann, W., Kersting, M., & Kroke, A. (2005). Glycaemic
index and glycaemic load in the diet of healthy schoolchildren: trends from 1990
to 2002, contribution of different carbohydrate sources and relationships to dietary
quality. Br J Nutr, 94(5), 796–803. https://doi.org/10.1079/bjn20051537'
bibtex: '@article{Buyken_Dettmann_Kersting_Kroke_2005, title={Glycaemic index and
glycaemic load in the diet of healthy schoolchildren: trends from 1990 to 2002,
contribution of different carbohydrate sources and relationships to dietary quality.},
volume={94}, DOI={10.1079/bjn20051537},
number={5}, journal={Br J Nutr}, author={Buyken, Anette and Dettmann, W and Kersting,
M and Kroke, A}, year={2005}, pages={796–803} }'
chicago: 'Buyken, Anette, W Dettmann, M Kersting, and A Kroke. “Glycaemic Index
and Glycaemic Load in the Diet of Healthy Schoolchildren: Trends from 1990 to
2002, Contribution of Different Carbohydrate Sources and Relationships to Dietary
Quality.” Br J Nutr 94, no. 5 (2005): 796–803. https://doi.org/10.1079/bjn20051537.'
ieee: 'A. Buyken, W. Dettmann, M. Kersting, and A. Kroke, “Glycaemic index and glycaemic
load in the diet of healthy schoolchildren: trends from 1990 to 2002, contribution
of different carbohydrate sources and relationships to dietary quality.,” Br
J Nutr, vol. 94, no. 5, pp. 796–803, 2005, doi: 10.1079/bjn20051537.'
mla: 'Buyken, Anette, et al. “Glycaemic Index and Glycaemic Load in the Diet of
Healthy Schoolchildren: Trends from 1990 to 2002, Contribution of Different Carbohydrate
Sources and Relationships to Dietary Quality.” Br J Nutr, vol. 94, no.
5, 2005, pp. 796–803, doi:10.1079/bjn20051537.'
short: A. Buyken, W. Dettmann, M. Kersting, A. Kroke, Br J Nutr 94 (2005) 796–803.
date_created: 2021-10-08T12:08:13Z
date_updated: 2022-01-06T06:57:14Z
department:
- _id: '17'
- _id: '22'
- _id: '571'
doi: 10.1079/bjn20051537
external_id:
pmid:
- '16277784'
intvolume: ' 94'
issue: '5'
language:
- iso: eng
page: 796-803
pmid: '1'
publication: Br J Nutr
publication_identifier:
issn:
- 0007-1145
- 1475-2662
status: public
title: 'Glycaemic index and glycaemic load in the diet of healthy schoolchildren:
trends from 1990 to 2002, contribution of different carbohydrate sources and relationships
to dietary quality.'
type: journal_article
user_id: '61597'
volume: 94
year: '2005'
...
---
_id: '26149'
abstract:
- lang: eng
text: 'Nanoparticle precipitation is an interesting process to generate particles
with tailored properties. In this study we investigate the impact of various process
steps such as solid formation, mixing and agglomeration on the resulting particle
size distribution (PSD) as representative property using barium sulfate as exemplary
material. Besides the experimental investigation, process simulations were carried
out by solving the full 1D population balance equation coupled to a model describing
the micromixing kinetics based on a finite-element Galerkin h-p-method. This combination
of population balance and micromixing model was applied successfully to predict
the influence of mixing on mean sizes (good quantitative agreement between experimental
data and simulation results are obtained) and gain insights into nanoparticle
precipitation: The interfacial energy was identified to be a critical parameter
in predicting the particle size, poor mixing results in larger particles and the
impact of agglomeration was found to increase with supersaturation due to larger
particle numbers. Shear-induced agglomeration was found to be controllable through
the residence time in turbulent regions and the intensity of turbulence, necessary
for intense mixing but undesired due to agglomeration. By this approach, however,
the distribution width is underestimated which is attributed to the large spectrum
of mixing histories of fluid elements on their way through the mixer. Therefore,
an improved computational fluid dynamics-based approach using direct numerical
simulation with a Lagrangian particle tracking strategy is applied in combination
with the coupled population balance–micromixing approach. We found that the full
DNS-approach, coupled to the population balance and micromixing model is capable
of predicting not only the mean sizes but the full PSD in nanoparticle precipitation.'
author:
- first_name: Hans-Christoph
full_name: Schwarzer, Hans-Christoph
last_name: Schwarzer
- first_name: Florian
full_name: Schwertfirm, Florian
last_name: Schwertfirm
- first_name: Michael
full_name: Manhart, Michael
last_name: Manhart
- first_name: Hans-Joachim
full_name: Schmid, Hans-Joachim
id: '464'
last_name: Schmid
- first_name: Wolfgang
full_name: Peukert, Wolfgang
last_name: Peukert
citation:
ama: Schwarzer H-C, Schwertfirm F, Manhart M, Schmid H-J, Peukert W. Predictive
simulation of nanoparticle precipitation based on the population balance equation.
Chemical Engineering Science. 2005;61(1):167-181. doi:10.1016/j.ces.2004.11.064
apa: Schwarzer, H.-C., Schwertfirm, F., Manhart, M., Schmid, H.-J., & Peukert,
W. (2005). Predictive simulation of nanoparticle precipitation based on the population
balance equation. Chemical Engineering Science, 61(1), 167–181.
https://doi.org/10.1016/j.ces.2004.11.064
bibtex: '@article{Schwarzer_Schwertfirm_Manhart_Schmid_Peukert_2005, title={Predictive
simulation of nanoparticle precipitation based on the population balance equation},
volume={61}, DOI={10.1016/j.ces.2004.11.064},
number={1}, journal={Chemical Engineering Science}, author={Schwarzer, Hans-Christoph
and Schwertfirm, Florian and Manhart, Michael and Schmid, Hans-Joachim and Peukert,
Wolfgang}, year={2005}, pages={167–181} }'
chicago: 'Schwarzer, Hans-Christoph, Florian Schwertfirm, Michael Manhart, Hans-Joachim
Schmid, and Wolfgang Peukert. “Predictive Simulation of Nanoparticle Precipitation
Based on the Population Balance Equation.” Chemical Engineering Science
61, no. 1 (2005): 167–81. https://doi.org/10.1016/j.ces.2004.11.064.'
ieee: 'H.-C. Schwarzer, F. Schwertfirm, M. Manhart, H.-J. Schmid, and W. Peukert,
“Predictive simulation of nanoparticle precipitation based on the population balance
equation,” Chemical Engineering Science, vol. 61, no. 1, pp. 167–181, 2005,
doi: 10.1016/j.ces.2004.11.064.'
mla: Schwarzer, Hans-Christoph, et al. “Predictive Simulation of Nanoparticle Precipitation
Based on the Population Balance Equation.” Chemical Engineering Science,
vol. 61, no. 1, 2005, pp. 167–81, doi:10.1016/j.ces.2004.11.064.
short: H.-C. Schwarzer, F. Schwertfirm, M. Manhart, H.-J. Schmid, W. Peukert, Chemical
Engineering Science 61 (2005) 167–181.
date_created: 2021-10-13T15:57:59Z
date_updated: 2022-01-06T06:57:17Z
doi: 10.1016/j.ces.2004.11.064
intvolume: ' 61'
issue: '1'
language:
- iso: eng
page: 167-181
publication: Chemical Engineering Science
publication_identifier:
issn:
- 0009-2509
publication_status: published
status: public
title: Predictive simulation of nanoparticle precipitation based on the population
balance equation
type: journal_article
user_id: '70093'
volume: 61
year: '2005'
...
---
_id: '26151'
abstract:
- lang: eng
text: Simulation results on the evolution of aggregate structure in aerosol processes
with coagulation and sintering as the dominant mechanisms are presented. A model
for simulation of the three-dimensional morphology of nano-structured aggregates
formed by concurrent coagulation and sintering is applied. The model is based
on a stochastic diffusion controlled cluster–cluster aggregation algorithm and
sintering is modeled as a successive overlapping of spherical primary particles,
which are allowed to grow in order to maintain mass conservation. This leads to
computer simulated structured aggregates which are then subject to evaluation.
Two different methods to determine the fractal dimension are presented which give
comparable results. It is shown that even very small particles show the same fractal
behavior. Furthermore, equilibrium structures assuming a constant ratio of the
characteristic collision time to the characteristic fusion time are considered
as well as the kinetics of structural changes due to a change in the ambient conditions.
author:
- first_name: Hans-Joachim
full_name: Schmid, Hans-Joachim
id: '464'
last_name: Schmid
- first_name: Belal
full_name: Al-Zaitone, Belal
last_name: Al-Zaitone
- first_name: Christian
full_name: Artelt, Christian
last_name: Artelt
- first_name: Wolfgang
full_name: Peukert, Wolfgang
last_name: Peukert
citation:
ama: Schmid H-J, Al-Zaitone B, Artelt C, Peukert W. Evolution of the fractal dimension
for simultaneous coagulation and sintering. Chemical Engineering Science.
2005;61(1):293-305. doi:10.1016/j.ces.2004.11.068
apa: Schmid, H.-J., Al-Zaitone, B., Artelt, C., & Peukert, W. (2005). Evolution
of the fractal dimension for simultaneous coagulation and sintering. Chemical
Engineering Science, 61(1), 293–305. https://doi.org/10.1016/j.ces.2004.11.068
bibtex: '@article{Schmid_Al-Zaitone_Artelt_Peukert_2005, title={Evolution of the
fractal dimension for simultaneous coagulation and sintering}, volume={61}, DOI={10.1016/j.ces.2004.11.068},
number={1}, journal={Chemical Engineering Science}, author={Schmid, Hans-Joachim
and Al-Zaitone, Belal and Artelt, Christian and Peukert, Wolfgang}, year={2005},
pages={293–305} }'
chicago: 'Schmid, Hans-Joachim, Belal Al-Zaitone, Christian Artelt, and Wolfgang
Peukert. “Evolution of the Fractal Dimension for Simultaneous Coagulation and
Sintering.” Chemical Engineering Science 61, no. 1 (2005): 293–305. https://doi.org/10.1016/j.ces.2004.11.068.'
ieee: 'H.-J. Schmid, B. Al-Zaitone, C. Artelt, and W. Peukert, “Evolution of the
fractal dimension for simultaneous coagulation and sintering,” Chemical Engineering
Science, vol. 61, no. 1, pp. 293–305, 2005, doi: 10.1016/j.ces.2004.11.068.'
mla: Schmid, Hans-Joachim, et al. “Evolution of the Fractal Dimension for Simultaneous
Coagulation and Sintering.” Chemical Engineering Science, vol. 61, no.
1, 2005, pp. 293–305, doi:10.1016/j.ces.2004.11.068.
short: H.-J. Schmid, B. Al-Zaitone, C. Artelt, W. Peukert, Chemical Engineering
Science 61 (2005) 293–305.
date_created: 2021-10-13T16:02:52Z
date_updated: 2022-01-06T06:57:17Z
doi: 10.1016/j.ces.2004.11.068
intvolume: ' 61'
issue: '1'
language:
- iso: eng
page: 293-305
publication: Chemical Engineering Science
publication_identifier:
issn:
- 0009-2509
publication_status: published
status: public
title: Evolution of the fractal dimension for simultaneous coagulation and sintering
type: journal_article
user_id: '70093'
volume: 61
year: '2005'
...
---
_id: '26153'
abstract:
- lang: eng
text: This work investigates effects of reduced accessible surface area of aggregate
particles and surface energy on titania particle formation and growth. It is taken
into consideration that surface-related growth mechanisms, i.e. surface reaction
and condensation, are limited to the fraction of the surface area of primary particles
which is exposed to the collision with single molecules. Surface energy data determine
the critical particle size with respect to evaporation and values are varied within
the published range. This implies to develop a model which considers “surface
shielding” and accounts for the formation of stable clusters from a supersaturated
vapour due to nucleation and condensation besides considering the generation of
monomers due to chemical reaction, growth due to surface reaction, agglomeration
and sintering. Taking the accessible surface area into account is found out to
be especially important if agglomerates contain a large number of primary particles
or if agglomerate structure is rather compact. In this case, precursor consumption
and primary particle growth turn out to be significantly retarded. Surface energy
data are shown to be decisive with respect to the thermodynamic barrier to the
formation of particles, thus to active particle formation and growth mechanisms,
besides affecting sintering kinetics. Elevated surface energy data typically retard
precursor consumption and favour primary particle growth.
author:
- first_name: C.
full_name: Artelt, C.
last_name: Artelt
- first_name: Hans-Joachim
full_name: Schmid, Hans-Joachim
id: '464'
last_name: Schmid
- first_name: W.
full_name: Peukert, W.
last_name: Peukert
citation:
ama: Artelt C, Schmid H-J, Peukert W. On the impact of accessible surface and surface
energy on particle formation and growth from the vapour phase. Journal of Aerosol
Science. 2005;36(2):147-172. doi:10.1016/j.jaerosci.2004.08.003
apa: Artelt, C., Schmid, H.-J., & Peukert, W. (2005). On the impact of accessible
surface and surface energy on particle formation and growth from the vapour phase.
Journal of Aerosol Science, 36(2), 147–172. https://doi.org/10.1016/j.jaerosci.2004.08.003
bibtex: '@article{Artelt_Schmid_Peukert_2005, title={On the impact of accessible
surface and surface energy on particle formation and growth from the vapour phase},
volume={36}, DOI={10.1016/j.jaerosci.2004.08.003},
number={2}, journal={Journal of Aerosol Science}, author={Artelt, C. and Schmid,
Hans-Joachim and Peukert, W.}, year={2005}, pages={147–172} }'
chicago: 'Artelt, C., Hans-Joachim Schmid, and W. Peukert. “On the Impact of Accessible
Surface and Surface Energy on Particle Formation and Growth from the Vapour Phase.”
Journal of Aerosol Science 36, no. 2 (2005): 147–72. https://doi.org/10.1016/j.jaerosci.2004.08.003.'
ieee: 'C. Artelt, H.-J. Schmid, and W. Peukert, “On the impact of accessible surface
and surface energy on particle formation and growth from the vapour phase,” Journal
of Aerosol Science, vol. 36, no. 2, pp. 147–172, 2005, doi: 10.1016/j.jaerosci.2004.08.003.'
mla: Artelt, C., et al. “On the Impact of Accessible Surface and Surface Energy
on Particle Formation and Growth from the Vapour Phase.” Journal of Aerosol
Science, vol. 36, no. 2, 2005, pp. 147–72, doi:10.1016/j.jaerosci.2004.08.003.
short: C. Artelt, H.-J. Schmid, W. Peukert, Journal of Aerosol Science 36 (2005)
147–172.
date_created: 2021-10-13T16:09:43Z
date_updated: 2022-01-06T06:57:17Z
doi: 10.1016/j.jaerosci.2004.08.003
intvolume: ' 36'
issue: '2'
language:
- iso: eng
page: 147-172
publication: Journal of Aerosol Science
publication_identifier:
issn:
- 0021-8502
publication_status: published
status: public
title: On the impact of accessible surface and surface energy on particle formation
and growth from the vapour phase
type: journal_article
user_id: '70093'
volume: 36
year: '2005'
...
---
_id: '2622'
author:
- first_name: Stefan
full_name: Betz, Stefan
id: '54'
last_name: Betz
citation:
ama: Betz S. Unscharfe Break-Even-Analyse bei Einproduktproduktion. Vol Nr.
87. Paderborn; 2005.
apa: Betz, S. (2005). Unscharfe Break-Even-Analyse bei Einproduktproduktion
(Vol. Nr. 87). Paderborn.
bibtex: '@book{Betz_2005, place={Paderborn}, series={Working Paper}, title={Unscharfe
Break-Even-Analyse bei Einproduktproduktion}, volume={Nr. 87}, author={Betz, Stefan},
year={2005}, collection={Working Paper} }'
chicago: Betz, Stefan. Unscharfe Break-Even-Analyse bei Einproduktproduktion.
Vol. Nr. 87. Working Paper. Paderborn, 2005.
ieee: S. Betz, Unscharfe Break-Even-Analyse bei Einproduktproduktion, vol.
Nr. 87. Paderborn, 2005.
mla: Betz, Stefan. Unscharfe Break-Even-Analyse bei Einproduktproduktion.
Vol. Nr. 87, 2005.
short: S. Betz, Unscharfe Break-Even-Analyse bei Einproduktproduktion, Paderborn,
2005.
date_created: 2018-05-03T13:00:37Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '193'
language:
- iso: ger
place: Paderborn
publication_status: published
series_title: Working Paper
status: public
title: Unscharfe Break-Even-Analyse bei Einproduktproduktion
type: working_paper
user_id: '21811'
volume: Nr. 87
year: '2005'
...
---
_id: '26278'
author:
- first_name: Martin
full_name: Ziegler, Martin
last_name: Ziegler
- first_name: Benno
full_name: Fuchssteiner, Benno
last_name: Fuchssteiner
citation:
ama: Ziegler M, Fuchssteiner B. Nonlinear Reformulation of Heisenberg’s Dynamics.
International Journal of Theoretical Physics. Published online 2005:693-717.
doi:10.1007/s10773-005-7048-9
apa: Ziegler, M., & Fuchssteiner, B. (2005). Nonlinear Reformulation of Heisenberg’s
Dynamics. International Journal of Theoretical Physics, 693–717. https://doi.org/10.1007/s10773-005-7048-9
bibtex: '@article{Ziegler_Fuchssteiner_2005, title={Nonlinear Reformulation of Heisenberg’s
Dynamics}, DOI={10.1007/s10773-005-7048-9},
journal={International Journal of Theoretical Physics}, author={Ziegler, Martin
and Fuchssteiner, Benno}, year={2005}, pages={693–717} }'
chicago: Ziegler, Martin, and Benno Fuchssteiner. “Nonlinear Reformulation of Heisenberg’s
Dynamics.” International Journal of Theoretical Physics, 2005, 693–717.
https://doi.org/10.1007/s10773-005-7048-9.
ieee: 'M. Ziegler and B. Fuchssteiner, “Nonlinear Reformulation of Heisenberg’s
Dynamics,” International Journal of Theoretical Physics, pp. 693–717, 2005,
doi: 10.1007/s10773-005-7048-9.'
mla: Ziegler, Martin, and Benno Fuchssteiner. “Nonlinear Reformulation of Heisenberg’s
Dynamics.” International Journal of Theoretical Physics, 2005, pp. 693–717,
doi:10.1007/s10773-005-7048-9.
short: M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics
(2005) 693–717.
date_created: 2021-10-15T12:29:17Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '63'
- _id: '26'
doi: 10.1007/s10773-005-7048-9
language:
- iso: eng
page: 693-717
publication: International Journal of Theoretical Physics
publication_identifier:
issn:
- 0020-7748
- 1572-9575
publication_status: published
status: public
title: Nonlinear Reformulation of Heisenberg's Dynamics
type: journal_article
user_id: '15415'
year: '2005'
...
---
_id: '26722'
author:
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
citation:
ama: Hellmich F. Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum
Lernen von Mathematik bei Grundschulkindern. BIS/DIZ; 2005.
apa: Hellmich, F. (2005). Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen
zum Lernen von Mathematik bei Grundschulkindern. BIS/DIZ.
bibtex: '@book{Hellmich_2005, place={Oldenburg}, title={Interessen, Selbstkonzepte
und Kompetenzen. Untersuchungen zum Lernen von Mathematik bei Grundschulkindern},
publisher={BIS/DIZ}, author={Hellmich, Frank}, year={2005} }'
chicago: 'Hellmich, Frank. Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen
zum Lernen von Mathematik bei Grundschulkindern. Oldenburg: BIS/DIZ, 2005.'
ieee: 'F. Hellmich, Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen
zum Lernen von Mathematik bei Grundschulkindern. Oldenburg: BIS/DIZ, 2005.'
mla: Hellmich, Frank. Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen
zum Lernen von Mathematik bei Grundschulkindern. BIS/DIZ, 2005.
short: F. Hellmich, Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum
Lernen von Mathematik bei Grundschulkindern, BIS/DIZ, Oldenburg, 2005.
date_created: 2021-10-22T07:08:25Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '460'
language:
- iso: ger
place: Oldenburg
publisher: BIS/DIZ
status: public
title: Interessen, Selbstkonzepte und Kompetenzen. Untersuchungen zum Lernen von Mathematik
bei Grundschulkindern
type: book
user_id: '57672'
year: '2005'
...
---
_id: '26732'
citation:
ama: Hellmich F, ed. Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht.
BIS; 2005.
apa: Hellmich, F. (Ed.). (2005). Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht.
BIS.
bibtex: '@book{Hellmich_2005, place={Oldenburg}, title={Lehren und Lernen nach IGLU
– Beiträge zum Grundschulunterricht}, publisher={BIS}, year={2005} }'
chicago: 'Hellmich, Frank, ed. Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht.
Oldenburg: BIS, 2005.'
ieee: 'F. Hellmich, Ed., Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht.
Oldenburg: BIS, 2005.'
mla: Hellmich, Frank, editor. Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht.
BIS, 2005.
short: F. Hellmich, ed., Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht,
BIS, Oldenburg, 2005.
date_created: 2021-10-22T07:49:04Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '460'
editor:
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
extern: '1'
language:
- iso: ger
place: Oldenburg
publisher: BIS
status: public
title: Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht
type: book_editor
user_id: '57672'
year: '2005'
...
---
_id: '2676'
alternative_title:
- Working Paper Department Taxation, Accounting and Finance, Fakultät für Wirtschaftswissenschaften,
Universität Paderborn
author:
- first_name: Stefan
full_name: Betz, Stefan
id: '54'
last_name: Betz
citation:
ama: Betz S. Unscharfe Produktionsprogrammplanung Bei Alternativproduktion.
Vol Nr. 86. Paderborn; 2005.
apa: Betz, S. (2005). Unscharfe Produktionsprogrammplanung bei Alternativproduktion
(Vol. Nr. 86). Paderborn.
bibtex: '@book{Betz_2005, place={Paderborn}, series={Working Paper}, title={Unscharfe
Produktionsprogrammplanung bei Alternativproduktion}, volume={Nr. 86}, author={Betz,
Stefan}, year={2005}, collection={Working Paper} }'
chicago: Betz, Stefan. Unscharfe Produktionsprogrammplanung Bei Alternativproduktion.
Vol. Nr. 86. Working Paper. Paderborn, 2005.
ieee: S. Betz, Unscharfe Produktionsprogrammplanung bei Alternativproduktion,
vol. Nr. 86. Paderborn, 2005.
mla: Betz, Stefan. Unscharfe Produktionsprogrammplanung Bei Alternativproduktion.
Vol. Nr. 86, 2005.
short: S. Betz, Unscharfe Produktionsprogrammplanung Bei Alternativproduktion, Paderborn,
2005.
date_created: 2018-05-07T14:26:56Z
date_updated: 2022-01-06T06:57:27Z
department:
- _id: '193'
place: Paderborn
series_title: Working Paper
status: public
title: Unscharfe Produktionsprogrammplanung bei Alternativproduktion
type: working_paper
user_id: '21811'
volume: Nr. 86
year: '2005'
...
---
_id: '26801'
author:
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
citation:
ama: 'Hellmich F. Förderung selbstregulativer Fähigkeiten in der Grundschule. In:
Hellmich F, ed. Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht
. BIS; 2005:265-276.'
apa: Hellmich, F. (2005). Förderung selbstregulativer Fähigkeiten in der Grundschule.
In F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht
(pp. 265–276). BIS.
bibtex: '@inbook{Hellmich_2005, place={Oldenburg}, title={Förderung selbstregulativer
Fähigkeiten in der Grundschule}, booktitle={Lehren und Lernen nach IGLU – Beiträge
zum Grundschulunterricht }, publisher={BIS}, author={Hellmich, Frank}, editor={Hellmich,
Frank}, year={2005}, pages={265–276} }'
chicago: 'Hellmich, Frank. “Förderung selbstregulativer Fähigkeiten in der Grundschule.”
In Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , edited
by Frank Hellmich, 265–76. Oldenburg: BIS, 2005.'
ieee: 'F. Hellmich, “Förderung selbstregulativer Fähigkeiten in der Grundschule,”
in Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , F.
Hellmich, Ed. Oldenburg: BIS, 2005, pp. 265–276.'
mla: Hellmich, Frank. “Förderung selbstregulativer Fähigkeiten in der Grundschule.”
Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht , edited
by Frank Hellmich, BIS, 2005, pp. 265–76.
short: 'F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge
zum Grundschulunterricht , BIS, Oldenburg, 2005, pp. 265–276.'
date_created: 2021-10-25T10:39:23Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '460'
editor:
- first_name: Frank
full_name: Hellmich, Frank
last_name: Hellmich
extern: '1'
language:
- iso: ger
page: 265-276
place: Oldenburg
publication: 'Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht '
publisher: BIS
status: public
title: Förderung selbstregulativer Fähigkeiten in der Grundschule
type: book_chapter
user_id: '57672'
year: '2005'
...
---
_id: '26802'
author:
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
citation:
ama: 'Hellmich F. Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der
Grundschule? In: Hellmich F, ed. Lehren und Lernen nach IGLU – Beiträge zum
Grundschulunterricht. BIS; 2005:13-29.'
apa: Hellmich, F. (2005). Was bedeuten die IGLU-Befunde für das Lehren und Lernen
in der Grundschule? In F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge
zum Grundschulunterricht (pp. 13–29). BIS.
bibtex: '@inbook{Hellmich_2005, place={Oldenburg}, title={Was bedeuten die IGLU-Befunde
für das Lehren und Lernen in der Grundschule?}, booktitle={Lehren und Lernen nach
IGLU – Beiträge zum Grundschulunterricht}, publisher={BIS}, author={Hellmich,
Frank}, editor={Hellmich, Frank}, year={2005}, pages={13–29} }'
chicago: 'Hellmich, Frank. “Was bedeuten die IGLU-Befunde für das Lehren und Lernen
in der Grundschule?” In Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht,
edited by Frank Hellmich, 13–29. Oldenburg: BIS, 2005.'
ieee: 'F. Hellmich, “Was bedeuten die IGLU-Befunde für das Lehren und Lernen in
der Grundschule?,” in Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht,
F. Hellmich, Ed. Oldenburg: BIS, 2005, pp. 13–29.'
mla: Hellmich, Frank. “Was bedeuten die IGLU-Befunde für das Lehren und Lernen in
der Grundschule?” Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht,
edited by Frank Hellmich, BIS, 2005, pp. 13–29.
short: 'F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach IGLU – Beiträge
zum Grundschulunterricht, BIS, Oldenburg, 2005, pp. 13–29.'
date_created: 2021-10-25T10:41:53Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '460'
editor:
- first_name: Frank
full_name: Hellmich, Frank
last_name: Hellmich
extern: '1'
language:
- iso: ger
page: 13-29
place: Oldenburg
publication: Lehren und Lernen nach IGLU – Beiträge zum Grundschulunterricht
publisher: BIS
status: public
title: Was bedeuten die IGLU-Befunde für das Lehren und Lernen in der Grundschule?
type: book_chapter
user_id: '57672'
year: '2005'
...
---
_id: '26803'
author:
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
citation:
ama: 'Hellmich F. What about Rituale im Grundschulunterricht? In: Bohlen I, ed.
Rituale im Grundschulunterricht. Didaktisches Zentrum (Oldenburger VorDrucke
514); 2005:4.'
apa: Hellmich, F. (2005). What about Rituale im Grundschulunterricht? In I. Bohlen
(Ed.), Rituale im Grundschulunterricht (p. 4). Didaktisches Zentrum (Oldenburger
VorDrucke 514).
bibtex: '@inbook{Hellmich_2005, place={Oldenburg}, title={What about Rituale im
Grundschulunterricht?}, booktitle={Rituale im Grundschulunterricht}, publisher={Didaktisches
Zentrum (Oldenburger VorDrucke 514)}, author={Hellmich, Frank}, editor={Bohlen,
Ilona}, year={2005}, pages={4} }'
chicago: 'Hellmich, Frank. “What about Rituale im Grundschulunterricht?” In Rituale
im Grundschulunterricht, edited by Ilona Bohlen, 4. Oldenburg: Didaktisches
Zentrum (Oldenburger VorDrucke 514), 2005.'
ieee: 'F. Hellmich, “What about Rituale im Grundschulunterricht?,” in Rituale
im Grundschulunterricht, I. Bohlen, Ed. Oldenburg: Didaktisches Zentrum (Oldenburger
VorDrucke 514), 2005, p. 4.'
mla: Hellmich, Frank. “What about Rituale im Grundschulunterricht?” Rituale im
Grundschulunterricht, edited by Ilona Bohlen, Didaktisches Zentrum (Oldenburger
VorDrucke 514), 2005, p. 4.
short: 'F. Hellmich, in: I. Bohlen (Ed.), Rituale im Grundschulunterricht, Didaktisches
Zentrum (Oldenburger VorDrucke 514), Oldenburg, 2005, p. 4.'
date_created: 2021-10-25T10:43:44Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '460'
editor:
- first_name: Ilona
full_name: Bohlen, Ilona
last_name: Bohlen
extern: '1'
language:
- iso: ger
page: '4'
place: Oldenburg
publication: Rituale im Grundschulunterricht
publisher: Didaktisches Zentrum (Oldenburger VorDrucke 514)
status: public
title: What about Rituale im Grundschulunterricht?
type: book_chapter
user_id: '57672'
year: '2005'
...
---
_id: '26804'
author:
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
- first_name: Melanie
full_name: Abt, Melanie
last_name: Abt
- first_name: Heike
full_name: Bruns, Heike
last_name: Bruns
citation:
ama: Hellmich F, Abt M, Bruns H. „Und alles wird anders werden!“ – Vorstellungen
von Kindergartenkindern über `Schule´. Didaktisches Zentrum (Oldenburger VorDrucke
509); 2005.
apa: Hellmich, F., Abt, M., & Bruns, H. (2005). „Und alles wird anders werden!“
– Vorstellungen von Kindergartenkindern über `Schule´. Didaktisches Zentrum
(Oldenburger VorDrucke 509).
bibtex: '@book{Hellmich_Abt_Bruns_2005, place={Oldenburg}, title={„Und alles wird
anders werden!“ – Vorstellungen von Kindergartenkindern über `Schule´}, publisher={Didaktisches
Zentrum (Oldenburger VorDrucke 509)}, author={Hellmich, Frank and Abt, Melanie
and Bruns, Heike}, year={2005} }'
chicago: 'Hellmich, Frank, Melanie Abt, and Heike Bruns. „Und alles wird anders
werden!“ – Vorstellungen von Kindergartenkindern über `Schule´. Oldenburg:
Didaktisches Zentrum (Oldenburger VorDrucke 509), 2005.'
ieee: 'F. Hellmich, M. Abt, and H. Bruns, „Und alles wird anders werden!“ – Vorstellungen
von Kindergartenkindern über `Schule´. Oldenburg: Didaktisches Zentrum (Oldenburger
VorDrucke 509), 2005.'
mla: Hellmich, Frank, et al. „Und alles wird anders werden!“ – Vorstellungen
von Kindergartenkindern über `Schule´. Didaktisches Zentrum (Oldenburger VorDrucke
509), 2005.
short: F. Hellmich, M. Abt, H. Bruns, „Und alles wird anders werden!“ – Vorstellungen
von Kindergartenkindern über `Schule´, Didaktisches Zentrum (Oldenburger VorDrucke
509), Oldenburg, 2005.
date_created: 2021-10-25T10:47:07Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '460'
extern: '1'
language:
- iso: ger
place: Oldenburg
publisher: Didaktisches Zentrum (Oldenburger VorDrucke 509)
status: public
title: „Und alles wird anders werden!“ – Vorstellungen von Kindergartenkindern über
`Schule´
type: book
user_id: '57672'
year: '2005'
...
---
_id: '26806'
author:
- first_name: J
full_name: Steckmann, J
last_name: Steckmann
- first_name: Frank
full_name: Hellmich, Frank
id: '26282'
last_name: Hellmich
citation:
ama: 'Steckmann J, Hellmich F. Zu den gegenwärtigen Bildungschancen von Kindern
mit Migrationshintergrund. In: Hellmich F, ed. Lehren und Lernen nach IGLU
- Grundschulunterricht heute. BIS; 2005:103-115.'
apa: Steckmann, J., & Hellmich, F. (2005). Zu den gegenwärtigen Bildungschancen
von Kindern mit Migrationshintergrund. In F. Hellmich (Ed.), Lehren und Lernen
nach IGLU - Grundschulunterricht heute (pp. 103–115). BIS.
bibtex: '@inbook{Steckmann_Hellmich_2005, place={Oldenburg}, title={Zu den gegenwärtigen
Bildungschancen von Kindern mit Migrationshintergrund}, booktitle={Lehren und
Lernen nach IGLU - Grundschulunterricht heute}, publisher={BIS}, author={Steckmann,
J and Hellmich, Frank}, editor={Hellmich, Frank}, year={2005}, pages={103–115}
}'
chicago: 'Steckmann, J, and Frank Hellmich. “Zu den gegenwärtigen Bildungschancen
von Kindern mit Migrationshintergrund.” In Lehren und Lernen nach IGLU - Grundschulunterricht
heute, edited by Frank Hellmich, 103–15. Oldenburg: BIS, 2005.'
ieee: 'J. Steckmann and F. Hellmich, “Zu den gegenwärtigen Bildungschancen von Kindern
mit Migrationshintergrund,” in Lehren und Lernen nach IGLU - Grundschulunterricht
heute, F. Hellmich, Ed. Oldenburg: BIS, 2005, pp. 103–115.'
mla: Steckmann, J., and Frank Hellmich. “Zu den gegenwärtigen Bildungschancen von
Kindern mit Migrationshintergrund.” Lehren und Lernen nach IGLU - Grundschulunterricht
heute, edited by Frank Hellmich, BIS, 2005, pp. 103–15.
short: 'J. Steckmann, F. Hellmich, in: F. Hellmich (Ed.), Lehren und Lernen nach
IGLU - Grundschulunterricht heute, BIS, Oldenburg, 2005, pp. 103–115.'
date_created: 2021-10-25T11:50:12Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '460'
editor:
- first_name: Frank
full_name: Hellmich, Frank
last_name: Hellmich
extern: '1'
language:
- iso: ger
page: 103-115
place: Oldenburg
publication: Lehren und Lernen nach IGLU - Grundschulunterricht heute
publisher: BIS
status: public
title: Zu den gegenwärtigen Bildungschancen von Kindern mit Migrationshintergrund
type: book_chapter
user_id: '57672'
year: '2005'
...
---
_id: '3227'
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 (property) inheritance in {CSP-OZ}.
Sci Comput Program. 2005;(1-3):227--257. doi:10.1016/j.scico.2004.05.017
apa: Olderog, E.-R., & Wehrheim, H. (2005). Specification and (property) inheritance
in {CSP-OZ}. Sci. Comput. Program., (1–3), 227--257. https://doi.org/10.1016/j.scico.2004.05.017
bibtex: '@article{Olderog_Wehrheim_2005, title={Specification and (property) inheritance
in {CSP-OZ}}, DOI={10.1016/j.scico.2004.05.017},
number={1–3}, journal={Sci. Comput. Program.}, author={Olderog, Ernst-Rüdiger
and Wehrheim, Heike}, year={2005}, pages={227--257} }'
chicago: 'Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property)
Inheritance in {CSP-OZ}.” Sci. Comput. Program., no. 1–3 (2005): 227--257.
https://doi.org/10.1016/j.scico.2004.05.017.'
ieee: E.-R. Olderog and H. Wehrheim, “Specification and (property) inheritance in
{CSP-OZ},” Sci. Comput. Program., no. 1–3, pp. 227--257, 2005.
mla: Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance
in {CSP-OZ}.” Sci. Comput. Program., no. 1–3, 2005, pp. 227--257, doi:10.1016/j.scico.2004.05.017.
short: E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
date_created: 2018-06-14T06:38:42Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1016/j.scico.2004.05.017
issue: 1-3
page: 227--257
publication: Sci. Comput. Program.
status: public
title: Specification and (property) inheritance in {CSP-OZ}
type: journal_article
user_id: '29719'
year: '2005'
...
---
_id: '3228'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Wehrheim H. Slicing techniques for verification re-use. Theor Comput Sci.
2005;(3):509--528. doi:10.1016/j.tcs.2005.06.020
apa: Wehrheim, H. (2005). Slicing techniques for verification re-use. Theor.
Comput. Sci., (3), 509--528. https://doi.org/10.1016/j.tcs.2005.06.020
bibtex: '@article{Wehrheim_2005, title={Slicing techniques for verification re-use},
DOI={10.1016/j.tcs.2005.06.020},
number={3}, journal={Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2005},
pages={509--528} }'
chicago: 'Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” Theor.
Comput. Sci., no. 3 (2005): 509--528. https://doi.org/10.1016/j.tcs.2005.06.020.'
ieee: H. Wehrheim, “Slicing techniques for verification re-use,” Theor. Comput.
Sci., no. 3, pp. 509--528, 2005.
mla: Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” Theor. Comput.
Sci., no. 3, 2005, pp. 509--528, doi:10.1016/j.tcs.2005.06.020.
short: H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
date_created: 2018-06-14T06:40:02Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1016/j.tcs.2005.06.020
issue: '3'
page: 509--528
publication: Theor. Comput. Sci.
status: public
title: Slicing techniques for verification re-use
type: journal_article
user_id: '29719'
year: '2005'
...
---
_id: '3229'
author:
- first_name: Holger
full_name: Rasch, Holger
last_name: Rasch
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Rasch H, Wehrheim H. Checking the Validity of Scenarios in {UML} Models. In:
Steffen M, Zavattaro G, eds. Formal Methods for Open Object-Based Distributed
Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens,
Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science.
; 2005:67--82. doi:10.1007/11494881_5'
apa: Rasch, H., & Wehrheim, H. (2005). Checking the Validity of Scenarios in
{UML} Models. In M. Steffen & G. Zavattaro (Eds.), Formal Methods for Open
Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings (pp. 67--82).
https://doi.org/10.1007/11494881_5
bibtex: '@inproceedings{Rasch_Wehrheim_2005, series={Lecture Notes in Computer Science},
title={Checking the Validity of Scenarios in {UML} Models}, DOI={10.1007/11494881_5},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17,
2005, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Steffen,
Martin and Zavattaro, GianluigiEditors}, year={2005}, pages={67--82}, collection={Lecture
Notes in Computer Science} }'
chicago: Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios
in {UML} Models.” In Formal Methods for Open Object-Based Distributed Systems,
7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June
15-17, 2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro,
67--82. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11494881_5.
ieee: H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in {UML} Models,”
in Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005,
Proceedings, 2005, pp. 67--82.
mla: Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML}
Models.” Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17,
2005, Proceedings, edited by Martin Steffen and Gianluigi Zavattaro, 2005,
pp. 67--82, doi:10.1007/11494881_5.
short: 'H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods
for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference,
{FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.'
date_created: 2018-06-14T06:41:20Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11494881_5
editor:
- first_name: Martin
full_name: Steffen, Martin
last_name: Steffen
- first_name: Gianluigi
full_name: Zavattaro, Gianluigi
last_name: Zavattaro
page: 67--82
publication: Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Checking the Validity of Scenarios in {UML} Models
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3230'
author:
- first_name: Ingo
full_name: Brückner, Ingo
last_name: Brückner
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification.
In: Lau K-}Kiu, Banach R, eds. Formal Methods and Software Engineering, 7th
International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester,
UK, November 1-4, 2005, Proceedings. Lecture Notes in Computer Science. ;
2005:360--374. doi:10.1007/11576280_25'
apa: Brückner, I., & Wehrheim, H. (2005). Slicing an Integrated Formal Method
for Verification. In K.-}Kiu Lau & R. Banach (Eds.), Formal Methods and
Software Engineering, 7th International Conference on Formal Engineering Methods,
{ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings (pp. 360--374).
https://doi.org/10.1007/11576280_25
bibtex: '@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer
Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={10.1007/11576280_25}, booktitle={Formal
Methods and Software Engineering, 7th International Conference on Formal Engineering
Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}, author={Brückner,
Ingo and Wehrheim, Heike}, editor={Lau, Kung{-}Kiu and Banach, RichardEditors},
year={2005}, pages={360--374}, collection={Lecture Notes in Computer Science}
}'
chicago: Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method
for Verification.” In Formal Methods and Software Engineering, 7th International
Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
1-4, 2005, Proceedings, edited by Kung{-}Kiu Lau and Richard Banach, 360--374.
Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11576280_25.
ieee: I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,”
in Formal Methods and Software Engineering, 7th International Conference on
Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
Proceedings, 2005, pp. 360--374.
mla: Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for
Verification.” Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
Proceedings, edited by Kung{-}Kiu Lau and Richard Banach, 2005, pp. 360--374,
doi:10.1007/11576280_25.
short: 'I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods
and Software Engineering, 7th International Conference on Formal Engineering Methods,
{ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.'
date_created: 2018-06-14T06:42:51Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11576280_25
editor:
- first_name: Kung{-}Kiu
full_name: Lau, Kung{-}Kiu
last_name: Lau
- first_name: Richard
full_name: Banach, Richard
last_name: Banach
page: 360--374
publication: Formal Methods and Software Engineering, 7th International Conference
on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Slicing an Integrated Formal Method for Verification
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3231'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Wehrheim H. Non-atomic Refinement in {Z} and {CSP}. In: Treharne
H, King S, C. Henson M, A. Schneider S, eds. {ZB} 2005: Formal Specification
and Development in {Z} and B, 4th International Conference of {B} and {Z} Users,
Guildford, UK, April 13-15, 2005, Proceedings. Lecture Notes in Computer Science.
; 2005:24--44. doi:10.1007/11415787_3'
apa: 'Derrick, J., & Wehrheim, H. (2005). Non-atomic Refinement in {Z} and {CSP}.
In H. Treharne, S. King, M. C. Henson, & S. A. Schneider (Eds.), {ZB} 2005:
Formal Specification and Development in {Z} and B, 4th International Conference
of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings (pp. 24--44).
https://doi.org/10.1007/11415787_3'
bibtex: '@inproceedings{Derrick_Wehrheim_2005, series={Lecture Notes in Computer
Science}, title={Non-atomic Refinement in {Z} and {CSP}}, DOI={10.1007/11415787_3},
booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings},
author={Derrick, John and Wehrheim, Heike}, editor={Treharne, Helen and King,
Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={24--44},
collection={Lecture Notes in Computer Science} }'
chicago: 'Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.”
In {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings,
edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider,
24--44. Lecture Notes in Computer Science, 2005. https://doi.org/10.1007/11415787_3.'
ieee: 'J. Derrick and H. Wehrheim, “Non-atomic Refinement in {Z} and {CSP},” in
{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings,
2005, pp. 24--44.'
mla: 'Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.”
{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings,
edited by Helen Treharne et al., 2005, pp. 24--44, doi:10.1007/11415787_3.'
short: 'J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider
(Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings,
2005, pp. 24--44.'
date_created: 2018-06-14T06:44:17Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11415787_3
editor:
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Steve
full_name: King, Steve
last_name: King
- first_name: Martin
full_name: C. Henson, Martin
last_name: C. Henson
- first_name: Steve
full_name: A. Schneider, Steve
last_name: A. Schneider
page: 24--44
publication: '{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Non-atomic Refinement in {Z} and {CSP}
type: conference
user_id: '29719'
year: '2005'
...