---
_id: '14826'
abstract:
- lang: eng
text: In this paper, we present Hitachi and Paderborn University’s joint effort
for automatic speech recognition (ASR) in a dinner party scenario. The main challenges
of ASR systems for dinner party recordings obtained by multiple microphone arrays
are (1) heavy speech overlaps, (2) severe noise and reverberation, (3) very natural
onversational content, and possibly (4) insufficient training data. As an example
of a dinner party scenario, we have chosen the data presented during the CHiME-5
speech recognition challenge, where the baseline ASR had a 73.3% word error rate
(WER), and even the best performing system at the CHiME-5 challenge had a 46.1%
WER. We extensively investigated a combination of the guided source separation-based
speech enhancement technique and an already proposed strong ASR backend and found
that a tight combination of these techniques provided substantial accuracy improvements.
Our final system achieved WERs of 39.94% and 41.64% for the development and evaluation
data, respectively, both of which are the best published results for the dataset.
We also investigated with additional training data on the official small data
in the CHiME-5 corpus to assess the intrinsic difficulty of this ASR task.
author:
- first_name: Naoyuki
full_name: Kanda, Naoyuki
last_name: Kanda
- first_name: Christoph
full_name: Boeddeker, Christoph
id: '40767'
last_name: Boeddeker
- first_name: Jens
full_name: Heitkaemper, Jens
id: '27643'
last_name: Heitkaemper
- first_name: Yusuke
full_name: Fujita, Yusuke
last_name: Fujita
- first_name: Shota
full_name: Horiguchi, Shota
last_name: Horiguchi
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: 'Kanda N, Boeddeker C, Heitkaemper J, Fujita Y, Horiguchi S, Haeb-Umbach R.
Guided Source Separation Meets a Strong ASR Backend: Hitachi/Paderborn University
Joint Investigation for Dinner Party ASR. In: INTERSPEECH 2019, Graz, Austria.
; 2019.'
apa: 'Kanda, N., Boeddeker, C., Heitkaemper, J., Fujita, Y., Horiguchi, S., &
Haeb-Umbach, R. (2019). Guided Source Separation Meets a Strong ASR Backend: Hitachi/Paderborn
University Joint Investigation for Dinner Party ASR. In INTERSPEECH 2019, Graz,
Austria.'
bibtex: '@inproceedings{Kanda_Boeddeker_Heitkaemper_Fujita_Horiguchi_Haeb-Umbach_2019,
title={Guided Source Separation Meets a Strong ASR Backend: Hitachi/Paderborn
University Joint Investigation for Dinner Party ASR}, booktitle={INTERSPEECH 2019,
Graz, Austria}, author={Kanda, Naoyuki and Boeddeker, Christoph and Heitkaemper,
Jens and Fujita, Yusuke and Horiguchi, Shota and Haeb-Umbach, Reinhold}, year={2019}
}'
chicago: 'Kanda, Naoyuki, Christoph Boeddeker, Jens Heitkaemper, Yusuke Fujita,
Shota Horiguchi, and Reinhold Haeb-Umbach. “Guided Source Separation Meets a Strong
ASR Backend: Hitachi/Paderborn University Joint Investigation for Dinner Party
ASR.” In INTERSPEECH 2019, Graz, Austria, 2019.'
ieee: 'N. Kanda, C. Boeddeker, J. Heitkaemper, Y. Fujita, S. Horiguchi, and R. Haeb-Umbach,
“Guided Source Separation Meets a Strong ASR Backend: Hitachi/Paderborn University
Joint Investigation for Dinner Party ASR,” in INTERSPEECH 2019, Graz, Austria,
2019.'
mla: 'Kanda, Naoyuki, et al. “Guided Source Separation Meets a Strong ASR Backend:
Hitachi/Paderborn University Joint Investigation for Dinner Party ASR.” INTERSPEECH
2019, Graz, Austria, 2019.'
short: 'N. Kanda, C. Boeddeker, J. Heitkaemper, Y. Fujita, S. Horiguchi, R. Haeb-Umbach,
in: INTERSPEECH 2019, Graz, Austria, 2019.'
date_created: 2019-11-06T10:08:49Z
date_updated: 2022-01-06T06:52:07Z
ddc:
- '000'
department:
- _id: '54'
file:
- access_level: open_access
content_type: application/pdf
creator: huesera
date_created: 2019-11-06T10:10:23Z
date_updated: 2019-11-08T07:45:15Z
file_id: '14827'
file_name: INTERSPEECH_2019_Boeddeker_Paper.pdf
file_size: 216202
relation: main_file
file_date_updated: 2019-11-08T07:45:15Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
project:
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: INTERSPEECH 2019, Graz, Austria
status: public
title: 'Guided Source Separation Meets a Strong ASR Backend: Hitachi/Paderborn University
Joint Investigation for Dinner Party ASR'
type: conference
user_id: '59789'
year: '2019'
...
---
_id: '14829'
citation:
ama: Scheideler C, Berenbrink P, eds. The 31st ACM Symposium on Parallelism in
Algorithms and Architectures, SPAA 2019, Phoenix, AZ, USA, June 22-24, 2019.
ACM; 2019. doi:10.1145/3323165
apa: Scheideler, C., & Berenbrink, P. (Eds.). (2019). The 31st ACM Symposium
on Parallelism in Algorithms and Architectures, SPAA 2019, Phoenix, AZ, USA, June
22-24, 2019. ACM. https://doi.org/10.1145/3323165
bibtex: '@book{Scheideler_Berenbrink_2019, title={The 31st ACM Symposium on Parallelism
in Algorithms and Architectures, SPAA 2019, Phoenix, AZ, USA, June 22-24, 2019},
DOI={10.1145/3323165}, publisher={ACM},
year={2019} }'
chicago: Scheideler, Christian, and Petra Berenbrink, eds. The 31st ACM Symposium
on Parallelism in Algorithms and Architectures, SPAA 2019, Phoenix, AZ, USA, June
22-24, 2019. ACM, 2019. https://doi.org/10.1145/3323165.
ieee: C. Scheideler and P. Berenbrink, Eds., The 31st ACM Symposium on Parallelism
in Algorithms and Architectures, SPAA 2019, Phoenix, AZ, USA, June 22-24, 2019.
ACM, 2019.
mla: Scheideler, Christian, and Petra Berenbrink, editors. The 31st ACM Symposium
on Parallelism in Algorithms and Architectures, SPAA 2019, Phoenix, AZ, USA, June
22-24, 2019. ACM, 2019, doi:10.1145/3323165.
short: C. Scheideler, P. Berenbrink, eds., The 31st ACM Symposium on Parallelism
in Algorithms and Architectures, SPAA 2019, Phoenix, AZ, USA, June 22-24, 2019,
ACM, 2019.
date_created: 2019-11-06T10:43:41Z
date_updated: 2022-01-06T06:52:07Z
department:
- _id: '79'
doi: 10.1145/3323165
editor:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Petra
full_name: Berenbrink, Petra
last_name: Berenbrink
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '5'
name: SFB 901 - Subproject A1
publication_identifier:
isbn:
- 978-1-4503-6184-2
publisher: ACM
status: public
title: The 31st ACM Symposium on Parallelism in Algorithms and Architectures, SPAA
2019, Phoenix, AZ, USA, June 22-24, 2019
type: conference_editor
user_id: '477'
year: '2019'
...
---
_id: '15002'
abstract:
- lang: eng
text: Many problem settings in machine learning are concerned with the simultaneous
prediction of multiple target variables of diverse type. Amongst others, such
problem settings arise in multivariate regression, multi-label classification,
multi-task learning, dyadic prediction, zero-shot learning, network inference,
and matrix completion. These subfields of machine learning are typically studied
in isolation, without highlighting or exploring important relationships. In this
paper, we present a unifying view on what we call multi-target prediction (MTP)
problems and methods. First, we formally discuss commonalities and differences
between existing MTP problems. To this end, we introduce a general framework that
covers the above subfields as special cases. As a second contribution, we provide
a structured overview of MTP methods. This is accomplished by identifying a number
of key properties, which distinguish such methods and determine their suitability
for different types of problems. Finally, we also discuss a few challenges for
future research.
author:
- first_name: Willem
full_name: Waegeman, Willem
last_name: Waegeman
- first_name: Krzysztof
full_name: Dembczynski, Krzysztof
last_name: Dembczynski
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Waegeman W, Dembczynski K, Hüllermeier E. Multi-target prediction: a unifying
view on problems and methods. Data Mining and Knowledge Discovery. 2019;33(2):293-324.
doi:10.1007/s10618-018-0595-5'
apa: 'Waegeman, W., Dembczynski, K., & Hüllermeier, E. (2019). Multi-target
prediction: a unifying view on problems and methods. Data Mining and Knowledge
Discovery, 33(2), 293–324. https://doi.org/10.1007/s10618-018-0595-5'
bibtex: '@article{Waegeman_Dembczynski_Hüllermeier_2019, title={Multi-target prediction:
a unifying view on problems and methods}, volume={33}, DOI={10.1007/s10618-018-0595-5},
number={2}, journal={Data Mining and Knowledge Discovery}, author={Waegeman, Willem
and Dembczynski, Krzysztof and Hüllermeier, Eyke}, year={2019}, pages={293–324}
}'
chicago: 'Waegeman, Willem, Krzysztof Dembczynski, and Eyke Hüllermeier. “Multi-Target
Prediction: A Unifying View on Problems and Methods.” Data Mining and Knowledge
Discovery 33, no. 2 (2019): 293–324. https://doi.org/10.1007/s10618-018-0595-5.'
ieee: 'W. Waegeman, K. Dembczynski, and E. Hüllermeier, “Multi-target prediction:
a unifying view on problems and methods,” Data Mining and Knowledge Discovery,
vol. 33, no. 2, pp. 293–324, 2019.'
mla: 'Waegeman, Willem, et al. “Multi-Target Prediction: A Unifying View on Problems
and Methods.” Data Mining and Knowledge Discovery, vol. 33, no. 2, 2019,
pp. 293–324, doi:10.1007/s10618-018-0595-5.'
short: W. Waegeman, K. Dembczynski, E. Hüllermeier, Data Mining and Knowledge Discovery
33 (2019) 293–324.
date_created: 2019-11-15T10:16:34Z
date_updated: 2022-01-06T06:52:14Z
ddc:
- '000'
department:
- _id: '34'
- _id: '355'
doi: 10.1007/s10618-018-0595-5
file:
- access_level: open_access
content_type: application/pdf
creator: lettmann
date_created: 2020-02-28T12:43:39Z
date_updated: 2020-02-28T12:45:26Z
file_id: '16155'
file_name: multi-target-prediction.pdf
file_size: 837808
relation: main_file
file_date_updated: 2020-02-28T12:45:26Z
has_accepted_license: '1'
intvolume: ' 33'
issue: '2'
language:
- iso: eng
oa: '1'
page: 293-324
publication: Data Mining and Knowledge Discovery
publication_identifier:
issn:
- 1573-756X
status: public
title: 'Multi-target prediction: a unifying view on problems and methods'
type: journal_article
user_id: '315'
volume: 33
year: '2019'
...
---
_id: '15003'
author:
- first_name: Thomas
full_name: Mortier, Thomas
last_name: Mortier
- first_name: Marek
full_name: Wydmuch, Marek
last_name: Wydmuch
- first_name: Krzysztof
full_name: Dembczynski, Krzysztof
last_name: Dembczynski
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
- first_name: Willem
full_name: Waegeman, Willem
last_name: Waegeman
citation:
ama: 'Mortier T, Wydmuch M, Dembczynski K, Hüllermeier E, Waegeman W. Set-Valued
Prediction in Multi-Class Classification. In: Proceedings of the 31st Benelux
Conference on Artificial Intelligence {(BNAIC} 2019) and the 28th Belgian Dutch
Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8,
2019. ; 2019.'
apa: Mortier, T., Wydmuch, M., Dembczynski, K., Hüllermeier, E., & Waegeman,
W. (2019). Set-Valued Prediction in Multi-Class Classification. In Proceedings
of the 31st Benelux Conference on Artificial Intelligence {(BNAIC} 2019) and the
28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels,
Belgium, November 6-8, 2019.
bibtex: '@inproceedings{Mortier_Wydmuch_Dembczynski_Hüllermeier_Waegeman_2019, title={Set-Valued
Prediction in Multi-Class Classification}, booktitle={Proceedings of the 31st
Benelux Conference on Artificial Intelligence {(BNAIC} 2019) and the 28th Belgian
Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November
6-8, 2019}, author={Mortier, Thomas and Wydmuch, Marek and Dembczynski, Krzysztof
and Hüllermeier, Eyke and Waegeman, Willem}, year={2019} }'
chicago: Mortier, Thomas, Marek Wydmuch, Krzysztof Dembczynski, Eyke Hüllermeier,
and Willem Waegeman. “Set-Valued Prediction in Multi-Class Classification.” In
Proceedings of the 31st Benelux Conference on Artificial Intelligence {(BNAIC}
2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019),
Brussels, Belgium, November 6-8, 2019, 2019.
ieee: T. Mortier, M. Wydmuch, K. Dembczynski, E. Hüllermeier, and W. Waegeman, “Set-Valued
Prediction in Multi-Class Classification,” in Proceedings of the 31st Benelux
Conference on Artificial Intelligence {(BNAIC} 2019) and the 28th Belgian Dutch
Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8,
2019, 2019.
mla: Mortier, Thomas, et al. “Set-Valued Prediction in Multi-Class Classification.”
Proceedings of the 31st Benelux Conference on Artificial Intelligence {(BNAIC}
2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019),
Brussels, Belgium, November 6-8, 2019, 2019.
short: 'T. Mortier, M. Wydmuch, K. Dembczynski, E. Hüllermeier, W. Waegeman, in:
Proceedings of the 31st Benelux Conference on Artificial Intelligence {(BNAIC}
2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019),
Brussels, Belgium, November 6-8, 2019, 2019.'
date_created: 2019-11-15T10:20:55Z
date_updated: 2022-01-06T06:52:14Z
department:
- _id: '34'
- _id: '355'
language:
- iso: eng
publication: Proceedings of the 31st Benelux Conference on Artificial Intelligence
{(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn
2019), Brussels, Belgium, November 6-8, 2019
status: public
title: Set-Valued Prediction in Multi-Class Classification
type: conference
user_id: '315'
year: '2019'
...
---
_id: '15028'
abstract:
- lang: eng
text: "Friction-spinning is an incremental forming process, which is accompanied
by complex thermal and mechanical loads in the tool and the formed part. To influence
the process temperature, two main process parameters, i.e. the rotation speed
and the feed rate, can be adapted. With the objective to improve the tool performance
and the quality of the workpiece, this study focuses on a coating concept for
friction-spinning tools made of high speed steel (HS6 5 2C, 1.3343). On the one
hand, atmospheric plasma sprayed (APS) Al2O3 and ZrO2-8Y2O3 coatings serve as
a thermal insulator, and, on the other hand, physically vapor deposited (PVD)
TiAlSi7.9N and CrAlSi7.5N films are applied to increase the hardness and wear
resistance of the tools. In addition, duplex coatings, combining the APS and PVD
technique, are synthesized to influence both the heat transfer and the tribological
properties of friction-spinning tools.\r\nSubsequently, all coated tools are tested
in a friction-spinning process to form flanges made of AW-6060 (AlMgSi 3.3206)
tube materials. The tool temperatures are determined in-situ to investigate the
impact of the tool coating on the process temperature. Compared to an uncoated
tool, the alumina and zirconia coatings contribute to a reduction of the tool
temperature by up to half, while the PVD films increase the hardness of the tool
by 20 GPa. Furthermore, it is shown that the surface quality of thermally sprayed
(TS) or PVD coated tools is directly related to the surface roughness of the resulting
workpiece.\r\n"
author:
- first_name: Wolfgang
full_name: Tillmann, Wolfgang
last_name: Tillmann
- first_name: Alexander
full_name: Fehr, Alexander
last_name: Fehr
- first_name: Dominic
full_name: Stangier, Dominic
last_name: Stangier
- first_name: Markus
full_name: Dildrop, Markus
last_name: Dildrop
- first_name: Werner
full_name: Homberg, Werner
last_name: Homberg
- first_name: Benjamin
full_name: Lossen, Benjamin
last_name: Lossen
- first_name: Dina
full_name: Hijazi, Dina
id: '70700'
last_name: Hijazi
citation:
ama: Tillmann W, Fehr A, Stangier D, et al. Al2O3/ZrO2-8Y2O3 and (Cr,Ti)AlSiN tool
coatings to influence the temperature and surface quality in friction-spinning
processes. Production Engineering. 2019:449-457. doi:10.1007/s11740-019-00899-y
apa: Tillmann, W., Fehr, A., Stangier, D., Dildrop, M., Homberg, W., Lossen, B.,
& Hijazi, D. (2019). Al2O3/ZrO2-8Y2O3 and (Cr,Ti)AlSiN tool coatings to influence
the temperature and surface quality in friction-spinning processes. Production
Engineering, 449–457. https://doi.org/10.1007/s11740-019-00899-y
bibtex: '@article{Tillmann_Fehr_Stangier_Dildrop_Homberg_Lossen_Hijazi_2019, title={Al2O3/ZrO2-8Y2O3
and (Cr,Ti)AlSiN tool coatings to influence the temperature and surface quality
in friction-spinning processes}, DOI={10.1007/s11740-019-00899-y},
journal={Production Engineering}, author={Tillmann, Wolfgang and Fehr, Alexander
and Stangier, Dominic and Dildrop, Markus and Homberg, Werner and Lossen, Benjamin
and Hijazi, Dina}, year={2019}, pages={449–457} }'
chicago: Tillmann, Wolfgang, Alexander Fehr, Dominic Stangier, Markus Dildrop, Werner
Homberg, Benjamin Lossen, and Dina Hijazi. “Al2O3/ZrO2-8Y2O3 and (Cr,Ti)AlSiN
Tool Coatings to Influence the Temperature and Surface Quality in Friction-Spinning
Processes.” Production Engineering, 2019, 449–57. https://doi.org/10.1007/s11740-019-00899-y.
ieee: W. Tillmann et al., “Al2O3/ZrO2-8Y2O3 and (Cr,Ti)AlSiN tool coatings
to influence the temperature and surface quality in friction-spinning processes,”
Production Engineering, pp. 449–457, 2019.
mla: Tillmann, Wolfgang, et al. “Al2O3/ZrO2-8Y2O3 and (Cr,Ti)AlSiN Tool Coatings
to Influence the Temperature and Surface Quality in Friction-Spinning Processes.”
Production Engineering, 2019, pp. 449–57, doi:10.1007/s11740-019-00899-y.
short: W. Tillmann, A. Fehr, D. Stangier, M. Dildrop, W. Homberg, B. Lossen, D.
Hijazi, Production Engineering (2019) 449–457.
date_created: 2019-11-19T08:03:43Z
date_updated: 2022-01-06T06:52:15Z
doi: 10.1007/s11740-019-00899-y
language:
- iso: eng
page: 449-457
publication: Production Engineering
publication_identifier:
issn:
- 0944-6524
- 1863-7353
publication_status: published
status: public
title: Al2O3/ZrO2-8Y2O3 and (Cr,Ti)AlSiN tool coatings to influence the temperature
and surface quality in friction-spinning processes
type: journal_article
user_id: '70700'
year: '2019'
...
---
_id: '15030'
abstract:
- lang: eng
text: Working-media-based forming processes (WMBF) represent a great potential regarding
the production of complex sheet-metal lightweight components with excellent surface
quality, shape accuracy and dimensional stability. The working-media-based forming
processes characterize the sheet-metal forming process, where the sheet metal
blank is formed during the forming process by means of a (quasi-)static or dynamic
working media pressure into a contouring forming tool. Although the WMBF offers
improved utilization of the formability of the used materials compared to conventional
sheet metal forming processes, there are limits in the production of complex deeper
or sharp edged components with (quasi-)static and dynamic WMBF processes, which
can not be overcome by using these methods alone. In order to overcome this, multi-level
WMBF process sequences for components with spherical and stepped geometries are
developed in this work. Here the developed strategies combine the advantages of
(quasi-)static and dynamic WMBF processes. Furthermore, based on analytical, experimental
and numerical investigations, innovative process management strategies were derived,
which completely compensate the local wall thickness changes, make better use
of existing material resources and thus enable the safe production of mentioned
geometries.
author:
- first_name: Eugen
full_name: Djakow, Eugen
id: '7904'
last_name: Djakow
citation:
ama: 'Djakow E. Ein Beitrag zur kombinierten (quasi-)statischen und dynamischen
Umformung von blechförmigen Halbzeugen. Düren: Shaker; 2019. doi:ISBN 978-3-8440-6723-1'
apa: 'Djakow, E. (2019). Ein Beitrag zur kombinierten (quasi-)statischen und
dynamischen Umformung von blechförmigen Halbzeugen. Düren: Shaker. https://doi.org/ISBN 978-3-8440-6723-1'
bibtex: '@book{Djakow_2019, place={Düren}, series={Paderborner Umformtechnik}, title={Ein
Beitrag zur kombinierten (quasi-)statischen und dynamischen Umformung von blechförmigen
Halbzeugen}, DOI={ISBN 978-3-8440-6723-1},
publisher={Shaker}, author={Djakow, Eugen}, year={2019}, collection={Paderborner
Umformtechnik} }'
chicago: 'Djakow, Eugen. Ein Beitrag zur kombinierten (quasi-)statischen und
dynamischen Umformung von blechförmigen Halbzeugen. Paderborner Umformtechnik.
Düren: Shaker, 2019. https://doi.org/ISBN
978-3-8440-6723-1.'
ieee: 'E. Djakow, Ein Beitrag zur kombinierten (quasi-)statischen und dynamischen
Umformung von blechförmigen Halbzeugen. Düren: Shaker, 2019.'
mla: Djakow, Eugen. Ein Beitrag zur kombinierten (quasi-)statischen und dynamischen
Umformung von blechförmigen Halbzeugen. Shaker, 2019, doi:ISBN 978-3-8440-6723-1.
short: E. Djakow, Ein Beitrag zur kombinierten (quasi-)statischen und dynamischen
Umformung von blechförmigen Halbzeugen, Shaker, Düren, 2019.
date_created: 2019-11-19T08:20:19Z
date_updated: 2022-01-06T06:52:15Z
doi: ISBN 978-3-8440-6723-1
keyword:
- High Speed Forming
language:
- iso: ger
page: '188'
place: Düren
publication_identifier:
unknown:
- ISBN 978-3-8440-6723-1
publication_status: published
publisher: Shaker
series_title: Paderborner Umformtechnik
status: public
title: Ein Beitrag zur kombinierten (quasi-)statischen und dynamischen Umformung von
blechförmigen Halbzeugen
type: dissertation
user_id: '7904'
year: '2019'
...
---
_id: '15244'
author:
- first_name: Oliver Ernst Caspar
full_name: Hagedorn, Oliver Ernst Caspar
id: '53321'
last_name: Hagedorn
- first_name: Daniel
full_name: Pielsticker, Daniel
id: '76966'
last_name: Pielsticker
- first_name: Tobias
full_name: Hemsel, Tobias
id: '210'
last_name: Hemsel
- first_name: Walter
full_name: Sextro, Walter
id: '21220'
last_name: Sextro
citation:
ama: 'Hagedorn OEC, Pielsticker D, Hemsel T, Sextro W. Messung hochfrequenter In-Plane-Schwingungen
mittels Laservibrometrie in räumlich eingeschränkten Umgebungen. In: 2. VDI-Fachtagung
Schwingungen 2019. VDI Verlag GmbH · Düsseldorf 2019; 2019.'
apa: Hagedorn, O. E. C., Pielsticker, D., Hemsel, T., & Sextro, W. (2019). Messung
hochfrequenter In-Plane-Schwingungen mittels Laservibrometrie in räumlich eingeschränkten
Umgebungen. In 2. VDI-Fachtagung Schwingungen 2019. VDI Verlag GmbH · Düsseldorf
2019.
bibtex: '@inproceedings{Hagedorn_Pielsticker_Hemsel_Sextro_2019, title={Messung
hochfrequenter In-Plane-Schwingungen mittels Laservibrometrie in räumlich eingeschränkten
Umgebungen}, booktitle={2. VDI-Fachtagung Schwingungen 2019}, publisher={VDI Verlag
GmbH · Düsseldorf 2019}, author={Hagedorn, Oliver Ernst Caspar and Pielsticker,
Daniel and Hemsel, Tobias and Sextro, Walter}, year={2019} }'
chicago: Hagedorn, Oliver Ernst Caspar, Daniel Pielsticker, Tobias Hemsel, and Walter
Sextro. “Messung hochfrequenter In-Plane-Schwingungen mittels Laservibrometrie
in räumlich eingeschränkten Umgebungen.” In 2. VDI-Fachtagung Schwingungen
2019. VDI Verlag GmbH · Düsseldorf 2019, 2019.
ieee: O. E. C. Hagedorn, D. Pielsticker, T. Hemsel, and W. Sextro, “Messung hochfrequenter
In-Plane-Schwingungen mittels Laservibrometrie in räumlich eingeschränkten Umgebungen,”
in 2. VDI-Fachtagung Schwingungen 2019, 2019.
mla: Hagedorn, Oliver Ernst Caspar, et al. “Messung hochfrequenter In-Plane-Schwingungen
mittels Laservibrometrie in räumlich eingeschränkten Umgebungen.” 2. VDI-Fachtagung
Schwingungen 2019, VDI Verlag GmbH · Düsseldorf 2019, 2019.
short: 'O.E.C. Hagedorn, D. Pielsticker, T. Hemsel, W. Sextro, in: 2. VDI-Fachtagung
Schwingungen 2019, VDI Verlag GmbH · Düsseldorf 2019, 2019.'
date_created: 2019-12-04T11:59:52Z
date_updated: 2022-01-06T06:52:19Z
department:
- _id: '151'
language:
- iso: ger
publication: 2. VDI-Fachtagung Schwingungen 2019
publication_identifier:
isbn:
- 978-3-18-092366-6
publisher: VDI Verlag GmbH · Düsseldorf 2019
status: public
title: Messung hochfrequenter In-Plane-Schwingungen mittels Laservibrometrie in räumlich
eingeschränkten Umgebungen
type: conference
user_id: '53321'
year: '2019'
...
---
_id: '16217'
author:
- first_name: Martin
full_name: Fränzle, Martin
last_name: Fränzle
- first_name: Deepak
full_name: Kapur, Deepak
last_name: Kapur
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Naijun
full_name: Zhan, Naijun
last_name: Zhan
citation:
ama: Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. Formal Asp Comput.
2019;31(1):1. doi:10.1007/s00165-018-00477-6
apa: Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal
Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6
bibtex: '@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31},
DOI={10.1007/s00165-018-00477-6},
number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur,
Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }'
chicago: 'Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.”
Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.'
ieee: M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp.
Comput., vol. 31, no. 1, p. 1, 2019.
mla: Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no.
1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.
short: M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019)
1.
date_created: 2020-03-03T08:19:35Z
date_updated: 2022-01-06T06:52:45Z
department:
- _id: '34'
- _id: '77'
doi: 10.1007/s00165-018-00477-6
intvolume: ' 31'
issue: '1'
language:
- iso: eng
page: '1'
publication: Formal Asp. Comput.
status: public
title: Editorial
type: journal_article
user_id: '29719'
volume: 31
year: '2019'
...
---
_id: '13873'
article_number: '14'
author:
- first_name: Björn
full_name: Feldkord, Björn
id: '22704'
last_name: Feldkord
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Feldkord B, Meyer auf der Heide F. The Mobile Server Problem. ACM Transactions
on Parallel Computing (TOPC). 2019;6(3). doi:10.1145/3364204
apa: Feldkord, B., & Meyer auf der Heide, F. (2019). The Mobile Server Problem.
ACM Transactions on Parallel Computing (TOPC), 6(3). https://doi.org/10.1145/3364204
bibtex: '@article{Feldkord_Meyer auf der Heide_2019, title={The Mobile Server Problem},
volume={6}, DOI={10.1145/3364204},
number={314}, journal={ACM Transactions on Parallel Computing (TOPC)}, author={Feldkord,
Björn and Meyer auf der Heide, Friedhelm}, year={2019} }'
chicago: Feldkord, Björn, and Friedhelm Meyer auf der Heide. “The Mobile Server
Problem.” ACM Transactions on Parallel Computing (TOPC) 6, no. 3 (2019).
https://doi.org/10.1145/3364204.
ieee: B. Feldkord and F. Meyer auf der Heide, “The Mobile Server Problem,” ACM
Transactions on Parallel Computing (TOPC), vol. 6, no. 3, 2019.
mla: Feldkord, Björn, and Friedhelm Meyer auf der Heide. “The Mobile Server Problem.”
ACM Transactions on Parallel Computing (TOPC), vol. 6, no. 3, 14, 2019,
doi:10.1145/3364204.
short: B. Feldkord, F. Meyer auf der Heide, ACM Transactions on Parallel Computing
(TOPC) 6 (2019).
date_created: 2019-10-16T07:06:22Z
date_updated: 2022-01-06T06:51:46Z
ddc:
- '000'
department:
- _id: '63'
doi: 10.1145/3364204
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2020-01-24T08:12:58Z
date_updated: 2020-01-24T08:12:58Z
file_id: '15632'
file_name: DissertationFeldkord.pdf
file_size: 633652
relation: main_file
success: 1
file_date_updated: 2020-01-24T08:12:58Z
has_accepted_license: '1'
intvolume: ' 6'
issue: '3'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '5'
name: SFB 901 - Subproject A1
publication: ACM Transactions on Parallel Computing (TOPC)
publication_status: published
status: public
title: The Mobile Server Problem
type: journal_article
user_id: '15504'
volume: 6
year: '2019'
...
---
_id: '13942'
author:
- first_name: Christine
full_name: Markarian, Christine
id: '37612'
last_name: Markarian
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Markarian C, Meyer auf der Heide F. Online Algorithms for Leasing Vertex Cover
and Leasing Non-metric Facility Location. In: Proceedings of the 8th International
Conference on Operations Research and Enterprise Systems. SciTePress; 2019:315-321.
doi:10.5220/0007369503150321'
apa: Markarian, C., & Meyer auf der Heide, F. (2019). Online Algorithms for
Leasing Vertex Cover and Leasing Non-metric Facility Location. In Proceedings
of the 8th International Conference on Operations Research and Enterprise Systems
(pp. 315–321). SciTePress. https://doi.org/10.5220/0007369503150321
bibtex: '@inproceedings{Markarian_Meyer auf der Heide_2019, title={Online Algorithms
for Leasing Vertex Cover and Leasing Non-metric Facility Location}, DOI={10.5220/0007369503150321},
booktitle={Proceedings of the 8th International Conference on Operations Research
and Enterprise Systems}, publisher={SciTePress}, author={Markarian, Christine
and Meyer auf der Heide, Friedhelm}, year={2019}, pages={315–321} }'
chicago: Markarian, Christine, and Friedhelm Meyer auf der Heide. “Online Algorithms
for Leasing Vertex Cover and Leasing Non-Metric Facility Location.” In Proceedings
of the 8th International Conference on Operations Research and Enterprise Systems,
315–21. SciTePress, 2019. https://doi.org/10.5220/0007369503150321.
ieee: C. Markarian and F. Meyer auf der Heide, “Online Algorithms for Leasing Vertex
Cover and Leasing Non-metric Facility Location,” in Proceedings of the 8th
International Conference on Operations Research and Enterprise Systems, 2019,
pp. 315–321.
mla: Markarian, Christine, and Friedhelm Meyer auf der Heide. “Online Algorithms
for Leasing Vertex Cover and Leasing Non-Metric Facility Location.” Proceedings
of the 8th International Conference on Operations Research and Enterprise Systems,
SciTePress, 2019, pp. 315–21, doi:10.5220/0007369503150321.
short: 'C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 8th International
Conference on Operations Research and Enterprise Systems, SciTePress, 2019, pp.
315–321.'
date_created: 2019-10-21T13:42:50Z
date_updated: 2022-01-06T06:51:47Z
department:
- _id: '63'
doi: 10.5220/0007369503150321
language:
- iso: eng
page: 315-321
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '5'
name: SFB 901 - Subproject A1
publication: Proceedings of the 8th International Conference on Operations Research
and Enterprise Systems
publisher: SciTePress
status: public
title: Online Algorithms for Leasing Vertex Cover and Leasing Non-metric Facility
Location
type: conference
user_id: '477'
year: '2019'
...
---
_id: '13946'
author:
- first_name: Faisal N.
full_name: Abu-Khzam, Faisal N.
last_name: Abu-Khzam
- first_name: Shouwei
full_name: Li, Shouwei
last_name: Li
- first_name: Christine
full_name: Markarian, Christine
id: '37612'
last_name: Markarian
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Pavel
full_name: Podlipyan, Pavel
last_name: Podlipyan
citation:
ama: Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. Efficient
parallel algorithms for parameterized problems. Theoretical Computer Science.
2019;786:2-12. doi:10.1016/j.tcs.2018.11.006
apa: Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., & Podlipyan,
P. (2019). Efficient parallel algorithms for parameterized problems. Theoretical
Computer Science, 786, 2–12. https://doi.org/10.1016/j.tcs.2018.11.006
bibtex: '@article{Abu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2019, title={Efficient
parallel algorithms for parameterized problems}, volume={786}, DOI={10.1016/j.tcs.2018.11.006},
journal={Theoretical Computer Science}, author={Abu-Khzam, Faisal N. and Li, Shouwei
and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel},
year={2019}, pages={2–12} }'
chicago: 'Abu-Khzam, Faisal N., Shouwei Li, Christine Markarian, Friedhelm Meyer
auf der Heide, and Pavel Podlipyan. “Efficient Parallel Algorithms for Parameterized
Problems.” Theoretical Computer Science 786 (2019): 2–12. https://doi.org/10.1016/j.tcs.2018.11.006.'
ieee: F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan,
“Efficient parallel algorithms for parameterized problems,” Theoretical Computer
Science, vol. 786, pp. 2–12, 2019.
mla: Abu-Khzam, Faisal N., et al. “Efficient Parallel Algorithms for Parameterized
Problems.” Theoretical Computer Science, vol. 786, 2019, pp. 2–12, doi:10.1016/j.tcs.2018.11.006.
short: F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan,
Theoretical Computer Science 786 (2019) 2–12.
date_created: 2019-10-21T13:57:06Z
date_updated: 2022-01-06T06:51:48Z
department:
- _id: '63'
doi: 10.1016/j.tcs.2018.11.006
intvolume: ' 786'
language:
- iso: eng
page: 2-12
project:
- _id: '1'
name: SFB 901
- _id: '5'
name: SFB 901 - Subproject A1
- _id: '2'
name: SFB 901 - Project Area A
publication: Theoretical Computer Science
status: public
title: Efficient parallel algorithms for parameterized problems
type: journal_article
user_id: '15415'
volume: 786
year: '2019'
...
---
_id: '13974'
author:
- first_name: Dieter
full_name: Krimphove, Dieter
id: '282'
last_name: Krimphove
citation:
ama: 'Krimphove D. AT 5 der MaComp: Zusammenarbeit mehrere Wertpapierdienstleistungsunternehmen.
In: Krimphove D, Kruse O, eds. Kommentar: MaComp - Mindestanforderungen an
Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten
Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen. 2nd ed. München:
C. H. Beck; 2019:64-68.'
apa: 'Krimphove, D. (2019). AT 5 der MaComp: Zusammenarbeit mehrere Wertpapierdienstleistungsunternehmen.
In D. Krimphove & O. Kruse (Eds.), Kommentar: MaComp - Mindestanforderungen
an die Compliance-Funktion und die weiteren Verhaltens-, Organisations- und Transparenzpflichten
nach §§ 63 ff. WpHG für Wertpapierdienstleistungsunternehmen (2nd ed., pp.
64–68). München: C. H. Beck.'
bibtex: '@inbook{Krimphove_2019, place={München}, edition={2}, title={AT 5 der MaComp:
Zusammenarbeit mehrere Wertpapierdienstleistungsunternehmen}, booktitle={Kommentar:
MaComp - Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-,
Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wertpapierdienstleistungsunternehmen},
publisher={C. H. Beck}, author={Krimphove, Dieter}, editor={Krimphove, Dieter
and Kruse, OliverEditors}, year={2019}, pages={64–68} }'
chicago: 'Krimphove, Dieter. “AT 5 Der MaComp: Zusammenarbeit Mehrere Wertpapierdienstleistungsunternehmen.”
In Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und
Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff.
WpHG Für Wertpapierdienstleistungsunternehmen, edited by Dieter Krimphove
and Oliver Kruse, 2nd ed., 64–68. München: C. H. Beck, 2019.'
ieee: 'D. Krimphove, “AT 5 der MaComp: Zusammenarbeit mehrere Wertpapierdienstleistungsunternehmen,”
in Kommentar: MaComp - Mindestanforderungen an die Compliance-Funktion und
die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63 ff.
WpHG für Wertpapierdienstleistungsunternehmen, 2nd ed., D. Krimphove and O.
Kruse, Eds. München: C. H. Beck, 2019, pp. 64–68.'
mla: 'Krimphove, Dieter. “AT 5 Der MaComp: Zusammenarbeit Mehrere Wertpapierdienstleistungsunternehmen.”
Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion Und Die
Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§ 63 Ff. WpHG
Für Wertpapierdienstleistungsunternehmen, edited by Dieter Krimphove and Oliver
Kruse, 2nd ed., C. H. Beck, 2019, pp. 64–68.'
short: 'D. Krimphove, in: D. Krimphove, O. Kruse (Eds.), Kommentar: MaComp - Mindestanforderungen
an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten
Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen, 2nd ed., C. H. Beck,
München, 2019, pp. 64–68.'
date_created: 2019-10-22T14:05:41Z
date_updated: 2022-01-06T06:51:48Z
edition: '2'
editor:
- first_name: Dieter
full_name: Krimphove, Dieter
last_name: Krimphove
- first_name: Oliver
full_name: Kruse, Oliver
last_name: Kruse
language:
- iso: eng
page: 64-68
place: München
publication: 'Kommentar: MaComp - Mindestanforderungen an die Compliance-Funktion
und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63
ff. WpHG für Wertpapierdienstleistungsunternehmen'
publisher: C. H. Beck
status: public
title: 'AT 5 der MaComp: Zusammenarbeit mehrere Wertpapierdienstleistungsunternehmen'
type: book_chapter
user_id: '282'
year: '2019'
...
---
_id: '13976'
author:
- first_name: Dieter
full_name: Krimphove, Dieter
id: '282'
last_name: Krimphove
citation:
ama: 'Krimphove D. BT 6 Zur Verfügungstellen der Geeignetheitserklärung: nach §
64 Abs. 4 WpHG. In: Krimphove D, Kruse O, eds. Kommentar: MaComp - Mindestanforderungen
an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten
Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen. 2nd ed. München:
C. H. Beck; 2019:447-458.'
apa: 'Krimphove, D. (2019). BT 6 Zur Verfügungstellen der Geeignetheitserklärung:
nach § 64 Abs. 4 WpHG. In D. Krimphove & O. Kruse (Eds.), Kommentar: MaComp
- Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-,
Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wertpapierdienstleistungsunternehmen
(2nd ed., pp. 447–458). München: C. H. Beck.'
bibtex: '@inbook{Krimphove_2019, place={München}, edition={2}, title={BT 6 Zur Verfügungstellen
der Geeignetheitserklärung: nach § 64 Abs. 4 WpHG}, booktitle={Kommentar: MaComp
- Mindestanforderungen an die Compliance-Funktion und die weiteren Verhaltens-,
Organisations- und Transparenzpflichten nach §§ 63 ff. WpHG für Wertpapierdienstleistungsunternehmen},
publisher={C. H. Beck}, author={Krimphove, Dieter}, editor={Krimphove, Dieter
and Kruse, OliverEditors}, year={2019}, pages={447–458} }'
chicago: 'Krimphove, Dieter. “BT 6 Zur Verfügungstellen Der Geeignetheitserklärung:
Nach § 64 Abs. 4 WpHG.” In Kommentar: MaComp - Mindestanforderungen an Die
Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten
Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen, edited by Dieter
Krimphove and Oliver Kruse, 2nd ed., 447–58. München: C. H. Beck, 2019.'
ieee: 'D. Krimphove, “BT 6 Zur Verfügungstellen der Geeignetheitserklärung: nach
§ 64 Abs. 4 WpHG,” in Kommentar: MaComp - Mindestanforderungen an die Compliance-Funktion
und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§
63 ff. WpHG für Wertpapierdienstleistungsunternehmen, 2nd ed., D. Krimphove
and O. Kruse, Eds. München: C. H. Beck, 2019, pp. 447–458.'
mla: 'Krimphove, Dieter. “BT 6 Zur Verfügungstellen Der Geeignetheitserklärung:
Nach § 64 Abs. 4 WpHG.” Kommentar: MaComp - Mindestanforderungen an Die Compliance-Funktion
Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten Nach §§
63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen, edited by Dieter Krimphove
and Oliver Kruse, 2nd ed., C. H. Beck, 2019, pp. 447–58.'
short: 'D. Krimphove, in: D. Krimphove, O. Kruse (Eds.), Kommentar: MaComp - Mindestanforderungen
an Die Compliance-Funktion Und Die Weiteren Verhaltens-, Organisations- Und Transparenzpflichten
Nach §§ 63 Ff. WpHG Für Wertpapierdienstleistungsunternehmen, 2nd ed., C. H. Beck,
München, 2019, pp. 447–458.'
date_created: 2019-10-22T14:09:21Z
date_updated: 2022-01-06T06:51:48Z
edition: '2'
editor:
- first_name: Dieter
full_name: Krimphove, Dieter
last_name: Krimphove
- first_name: Oliver
full_name: Kruse, Oliver
last_name: Kruse
language:
- iso: eng
page: 447-458
place: München
publication: 'Kommentar: MaComp - Mindestanforderungen an die Compliance-Funktion
und die weiteren Verhaltens-, Organisations- und Transparenzpflichten nach §§ 63
ff. WpHG für Wertpapierdienstleistungsunternehmen'
publisher: C. H. Beck
status: public
title: 'BT 6 Zur Verfügungstellen der Geeignetheitserklärung: nach § 64 Abs. 4 WpHG'
type: book_chapter
user_id: '282'
year: '2019'
...
---
_id: '14539'
author:
- first_name: Jannik
full_name: Castenow, Jannik
id: '38705'
last_name: Castenow
- first_name: Christina
full_name: Kolb, Christina
id: '43647'
last_name: Kolb
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: 'Castenow J, Kolb C, Scheideler C. A Bounding Box Overlay for Competitive Routing
in Hybrid Communication Networks. In: Proceedings of the 26th International
Colloquium on Structural Information and Communication Complexity (SIROCCO).
; 2019:345-348. doi:10.1007/978-3-030-24922-9\_26'
apa: Castenow, J., Kolb, C., & Scheideler, C. (2019). A Bounding Box Overlay
for Competitive Routing in Hybrid Communication Networks. In Proceedings of
the 26th International Colloquium on Structural Information and Communication
Complexity (SIROCCO) (pp. 345–348). L’Aquila, Italy. https://doi.org/10.1007/978-3-030-24922-9\_26
bibtex: '@inproceedings{Castenow_Kolb_Scheideler_2019, title={A Bounding Box Overlay
for Competitive Routing in Hybrid Communication Networks}, DOI={10.1007/978-3-030-24922-9\_26},
booktitle={Proceedings of the 26th International Colloquium on Structural Information
and Communication Complexity (SIROCCO)}, author={Castenow, Jannik and Kolb, Christina
and Scheideler, Christian}, year={2019}, pages={345–348} }'
chicago: Castenow, Jannik, Christina Kolb, and Christian Scheideler. “A Bounding
Box Overlay for Competitive Routing in Hybrid Communication Networks.” In Proceedings
of the 26th International Colloquium on Structural Information and Communication
Complexity (SIROCCO), 345–48, 2019. https://doi.org/10.1007/978-3-030-24922-9\_26.
ieee: J. Castenow, C. Kolb, and C. Scheideler, “A Bounding Box Overlay for Competitive
Routing in Hybrid Communication Networks,” in Proceedings of the 26th International
Colloquium on Structural Information and Communication Complexity (SIROCCO),
L’Aquila, Italy, 2019, pp. 345–348.
mla: Castenow, Jannik, et al. “A Bounding Box Overlay for Competitive Routing in
Hybrid Communication Networks.” Proceedings of the 26th International Colloquium
on Structural Information and Communication Complexity (SIROCCO), 2019, pp.
345–48, doi:10.1007/978-3-030-24922-9\_26.
short: 'J. Castenow, C. Kolb, C. Scheideler, in: Proceedings of the 26th International
Colloquium on Structural Information and Communication Complexity (SIROCCO), 2019,
pp. 345–348.'
conference:
end_date: 2019-07-04
location: L'Aquila, Italy
name: SIROCCO 2019
start_date: 2019-07-01
date_created: 2019-11-04T10:09:35Z
date_updated: 2022-01-06T06:52:00Z
department:
- _id: '79'
- _id: '63'
doi: 10.1007/978-3-030-24922-9\_26
language:
- iso: eng
page: 345-348
project:
- _id: '1'
name: SFB 901
- _id: '5'
name: SFB 901 - Subproject A1
- _id: '2'
name: SFB 901 - Project Area A
publication: Proceedings of the 26th International Colloquium on Structural Information
and Communication Complexity (SIROCCO)
status: public
title: A Bounding Box Overlay for Competitive Routing in Hybrid Communication Networks
type: conference
user_id: '477'
year: '2019'
...
---
_id: '13107'
abstract:
- lang: eng
text: In this paper, we first outline a Hypothetical Learning Trajectory (HLT),
which aims at a formal understanding of the rules for manipulating integers. The
HLT is based on task formats, which promote algebraic thinking in terms of generalizing
rules from the analysis of patterns and should be familiar to students from their
mathematics education experiences in elementary school. Second, we analyze two
students' actual learning process based on Peircean semiotics. The analysis shows
that the actual learning process diverges from the hypothesized learning process
in that the students do not relate the different levels of the diagrams in a way
that allows them to extrapolate the rule for the subtraction of negative numbers.
Based on this finding, we point out consequences for the design of the tasks.
author:
- first_name: Jan
full_name: Schumacher, Jan
id: '26809'
last_name: Schumacher
orcid: 0000-0002-6676-9774
- first_name: Sebastian
full_name: Rezat, Sebastian
last_name: Rezat
citation:
ama: 'Schumacher J, Rezat S. A Hypothetical Learning Trajectory for the Learning
of the Rules for Manipulating Integers. In: Jankvist UT, Van den Heuvel-Panhuizen
M, Veldhuis M, eds. Proceedings of the Eleventh Congress of the European Society
for Research in Mathematics Education (CERME11, February 6 – 10, 2019). Utrecht,
the Netherlands: Freudenthal Group & Freudenthal Institute, Utrecht University
and ERME.'
apa: 'Schumacher, J., & Rezat, S. (n.d.). A Hypothetical Learning Trajectory
for the Learning of the Rules for Manipulating Integers. In U. T. Jankvist, M.
Van den Heuvel-Panhuizen, & M. Veldhuis (Eds.), Proceedings of the Eleventh
Congress of the European Society for Research in Mathematics Education (CERME11,
February 6 – 10, 2019). Utrecht, the Netherlands: Freudenthal Group &
Freudenthal Institute, Utrecht University and ERME.'
bibtex: '@inproceedings{Schumacher_Rezat, place={Utrecht, the Netherlands}, title={A
Hypothetical Learning Trajectory for the Learning of the Rules for Manipulating
Integers}, booktitle={Proceedings of the Eleventh Congress of the European Society
for Research in Mathematics Education (CERME11, February 6 – 10, 2019)}, publisher={Freudenthal
Group & Freudenthal Institute, Utrecht University and ERME}, author={Schumacher,
Jan and Rezat, Sebastian}, editor={Jankvist, Uffe Thomas and Van den Heuvel-Panhuizen,
Marja and Veldhuis, MichielEditors} }'
chicago: 'Schumacher, Jan, and Sebastian Rezat. “A Hypothetical Learning Trajectory
for the Learning of the Rules for Manipulating Integers.” In Proceedings of
the Eleventh Congress of the European Society for Research in Mathematics Education
(CERME11, February 6 – 10, 2019), edited by Uffe Thomas Jankvist, Marja Van
den Heuvel-Panhuizen, and Michiel Veldhuis. Utrecht, the Netherlands: Freudenthal
Group & Freudenthal Institute, Utrecht University and ERME, n.d.'
ieee: J. Schumacher and S. Rezat, “A Hypothetical Learning Trajectory for the Learning
of the Rules for Manipulating Integers,” in Proceedings of the Eleventh Congress
of the European Society for Research in Mathematics Education (CERME11, February
6 – 10, 2019), Utrecht.
mla: Schumacher, Jan, and Sebastian Rezat. “A Hypothetical Learning Trajectory for
the Learning of the Rules for Manipulating Integers.” Proceedings of the Eleventh
Congress of the European Society for Research in Mathematics Education (CERME11,
February 6 – 10, 2019), edited by Uffe Thomas Jankvist et al., Freudenthal
Group & Freudenthal Institute, Utrecht University and ERME.
short: 'J. Schumacher, S. Rezat, in: U.T. Jankvist, M. Van den Heuvel-Panhuizen,
M. Veldhuis (Eds.), Proceedings of the Eleventh Congress of the European Society
for Research in Mathematics Education (CERME11, February 6 – 10, 2019), Freudenthal
Group & Freudenthal Institute, Utrecht University and ERME, Utrecht, the Netherlands,
n.d.'
conference:
end_date: 2019-02-10
location: Utrecht
name: CERME 11
start_date: 2019-02-06
date_created: 2019-08-30T12:00:50Z
date_updated: 2022-01-06T06:51:28Z
department:
- _id: '360'
- _id: '98'
editor:
- first_name: Uffe Thomas
full_name: Jankvist, Uffe Thomas
last_name: Jankvist
- first_name: Marja
full_name: Van den Heuvel-Panhuizen, Marja
last_name: Van den Heuvel-Panhuizen
- first_name: Michiel
full_name: Veldhuis, Michiel
last_name: Veldhuis
keyword:
- diagrammatic reasoning
- hypothetical learning trajectory
- induction extrapolatory method
- integers
- negative numbers
- permanence principle
- semiotics
language:
- iso: eng
place: Utrecht, the Netherlands
publication: Proceedings of the Eleventh Congress of the European Society for Research
in Mathematics Education (CERME11, February 6 – 10, 2019)
publication_status: accepted
publisher: Freudenthal Group & Freudenthal Institute, Utrecht University and ERME
quality_controlled: '1'
status: public
title: A Hypothetical Learning Trajectory for the Learning of the Rules for Manipulating
Integers
type: conference
user_id: '26809'
year: '2019'
...
---
_id: '13182'
abstract:
- lang: eng
text: "We consider congestion control in peer-to-peer distributed systems. \r\nThe
problem can be reduced to the following scenario: Consider a set $V$ of $n$ peers
(called \\emph{clients} in this paper) that want to send messages to a fixed common
peer (called \\emph{server} in this paper).\r\nWe assume that each client $v \\in
V$ sends a message with probability $p(v) \\in [0,1)$ and the server has a capacity
of $\\sigma \\in \\mathbb{N}$, i.e., it can recieve at most $\\sigma$ messages
per round and excess messages are dropped.\r\nThe server can modify these probabilities
when clients send messages.\r\nIdeally, we wish to converge to a state with $\\sum
p(v) = \\sigma$ and $p(v) = p(w)$ for all $v,w \\in V$.\t\r\n\r\nWe propose a
\\emph{loosely} self-stabilizing protocol with a slightly relaxed legitimate state.
\ \r\nOur protocol lets the system converge from \\emph{any} initial state to
a state where $\\sum p(v) \\in \\left[\\sigma \\pm \\epsilon\\right]$ and $|p(v)-p(w)|
\\in O(\\frac{1}{n})$. \r\nThis property is then maintained for $\\Omega(n^{\\mathfrak{c}})$
rounds in expectation.\r\nIn particular, the initial client probabilities and
server variables are not necessarily well-defined, i.e., they may have arbitrary
values.\r\n\r\nOur protocol uses only $O(W + \\log n)$ bits of memory where $W$
is length of node identifiers, making it very lightweight.\r\nFinally we state
a lower bound on the convergence time an see that our protocol performs asymptotically
optimal (up to some polylogarithmic factor).\r\n"
author:
- first_name: Michael
full_name: Feldmann, Michael
id: '23538'
last_name: Feldmann
- first_name: Thorsten
full_name: Götte, Thorsten
id: '34727'
last_name: Götte
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: 'Feldmann M, Götte T, Scheideler C. A Loosely Self-stabilizing Protocol for
Randomized Congestion Control with Logarithmic Memory. In: Proceedings of the
21st International Symposium on Stabilization, Safety, and Security of Distributed
Systems (SSS). Lecture Notes in Computer Science. Springer, Cham; 2019:149-164.
doi:https://doi.org/10.1007/978-3-030-34992-9_13'
apa: Feldmann, M., Götte, T., & Scheideler, C. (2019). A Loosely Self-stabilizing
Protocol for Randomized Congestion Control with Logarithmic Memory. In Proceedings
of the 21st International Symposium on Stabilization, Safety, and Security of
Distributed Systems (SSS) (pp. 149–164). Springer, Cham. https://doi.org/10.1007/978-3-030-34992-9_13
bibtex: '@inproceedings{Feldmann_Götte_Scheideler_2019, series={Lecture Notes in
Computer Science}, title={A Loosely Self-stabilizing Protocol for Randomized Congestion
Control with Logarithmic Memory}, DOI={https://doi.org/10.1007/978-3-030-34992-9_13},
booktitle={Proceedings of the 21st International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS)}, publisher={Springer, Cham}, author={Feldmann,
Michael and Götte, Thorsten and Scheideler, Christian}, year={2019}, pages={149–164},
collection={Lecture Notes in Computer Science} }'
chicago: Feldmann, Michael, Thorsten Götte, and Christian Scheideler. “A Loosely
Self-Stabilizing Protocol for Randomized Congestion Control with Logarithmic Memory.”
In Proceedings of the 21st International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS), 149–64. Lecture Notes in Computer
Science. Springer, Cham, 2019. https://doi.org/10.1007/978-3-030-34992-9_13.
ieee: M. Feldmann, T. Götte, and C. Scheideler, “A Loosely Self-stabilizing Protocol
for Randomized Congestion Control with Logarithmic Memory,” in Proceedings
of the 21st International Symposium on Stabilization, Safety, and Security of
Distributed Systems (SSS), 2019, pp. 149–164.
mla: Feldmann, Michael, et al. “A Loosely Self-Stabilizing Protocol for Randomized
Congestion Control with Logarithmic Memory.” Proceedings of the 21st International
Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer, Cham, 2019, pp. 149–64, doi:https://doi.org/10.1007/978-3-030-34992-9_13.
short: 'M. Feldmann, T. Götte, C. Scheideler, in: Proceedings of the 21st International
Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS),
Springer, Cham, 2019, pp. 149–164.'
date_created: 2019-09-10T12:48:33Z
date_updated: 2022-01-06T06:51:30Z
ddc:
- '000'
department:
- _id: '79'
doi: https://doi.org/10.1007/978-3-030-34992-9_13
external_id:
arxiv:
- '1909.04544'
file:
- access_level: closed
content_type: application/pdf
creator: mfeldma2
date_created: 2019-09-11T11:20:16Z
date_updated: 2019-09-11T11:20:16Z
file_id: '13188'
file_name: main.pdf
file_size: 428908
relation: main_file
success: 1
file_date_updated: 2019-09-11T11:20:16Z
has_accepted_license: '1'
language:
- iso: eng
page: 149-164
project:
- _id: '2'
name: SFB 901 - Project Area A
- _id: '5'
name: SFB 901 - Subproject A1
- _id: '1'
name: SFB 901
publication: Proceedings of the 21st International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS)
publisher: Springer, Cham
series_title: Lecture Notes in Computer Science
status: public
title: A Loosely Self-stabilizing Protocol for Randomized Congestion Control with
Logarithmic Memory
type: conference
user_id: '23538'
year: '2019'
...
---
_id: '13237'
author:
- first_name: Hossam
full_name: Elgabarty, Hossam
last_name: Elgabarty
- first_name: Naveen Kumar
full_name: Kaliannan, Naveen Kumar
last_name: Kaliannan
- first_name: Thomas D.
full_name: Kühne, Thomas D.
last_name: Kühne
citation:
ama: Elgabarty H, Kaliannan NK, Kühne TD. Enhancement of the asymmetry in the hydrogen
bond network of liquid water by an ultrafast electric field pulse. Scientific
Reports. 2019;9:10002. doi:10.1038/s41598-019-46449-5
apa: Elgabarty, H., Kaliannan, N. K., & Kühne, T. D. (2019). Enhancement of
the asymmetry in the hydrogen bond network of liquid water by an ultrafast electric
field pulse. Scientific Reports, 9, 10002. https://doi.org/10.1038/s41598-019-46449-5
bibtex: '@article{Elgabarty_Kaliannan_Kühne_2019, title={Enhancement of the asymmetry
in the hydrogen bond network of liquid water by an ultrafast electric field pulse},
volume={9}, DOI={10.1038/s41598-019-46449-5},
journal={Scientific Reports}, author={Elgabarty, Hossam and Kaliannan, Naveen
Kumar and Kühne, Thomas D.}, year={2019}, pages={10002} }'
chicago: 'Elgabarty, Hossam, Naveen Kumar Kaliannan, and Thomas D. Kühne. “Enhancement
of the Asymmetry in the Hydrogen Bond Network of Liquid Water by an Ultrafast
Electric Field Pulse.” Scientific Reports 9 (2019): 10002. https://doi.org/10.1038/s41598-019-46449-5.'
ieee: H. Elgabarty, N. K. Kaliannan, and T. D. Kühne, “Enhancement of the asymmetry
in the hydrogen bond network of liquid water by an ultrafast electric field pulse,”
Scientific Reports, vol. 9, p. 10002, 2019.
mla: Elgabarty, Hossam, et al. “Enhancement of the Asymmetry in the Hydrogen Bond
Network of Liquid Water by an Ultrafast Electric Field Pulse.” Scientific Reports,
vol. 9, 2019, p. 10002, doi:10.1038/s41598-019-46449-5.
short: H. Elgabarty, N.K. Kaliannan, T.D. Kühne, Scientific Reports 9 (2019) 10002.
date_created: 2019-09-16T10:48:03Z
date_updated: 2022-01-06T06:51:31Z
department:
- _id: '304'
doi: 10.1038/s41598-019-46449-5
language:
- iso: eng
page: '10002'
project:
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Scientific Reports
publication_status: published
status: public
title: Enhancement of the asymmetry in the hydrogen bond network of liquid water by
an ultrafast electric field pulse
type: journal_article
user_id: '71692'
volume: ' 9'
year: '2019'
...
---
_id: '13250'
author:
- first_name: Carlos
full_name: Ansótegui, Carlos
last_name: Ansótegui
- first_name: Britta
full_name: Heymann, Britta
last_name: Heymann
- first_name: Josep
full_name: Pon, Josep
last_name: Pon
- first_name: Meinolf
full_name: Sellmann, Meinolf
last_name: Sellmann
- first_name: Kevin
full_name: Tierney, Kevin
last_name: Tierney
citation:
ama: 'Ansótegui C, Heymann B, Pon J, Sellmann M, Tierney K. Hyper-Reactive Tabu
Search for MaxSAT. In: Learning and Intelligent Optimization. Cham: Springer
International Publishing; 2019:309-325. doi:10.1007/978-3-030-05348-2_27'
apa: 'Ansótegui, C., Heymann, B., Pon, J., Sellmann, M., & Tierney, K. (2019).
Hyper-Reactive Tabu Search for MaxSAT. In Learning and Intelligent Optimization
(pp. 309–325). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-030-05348-2_27'
bibtex: '@inproceedings{Ansótegui_Heymann_Pon_Sellmann_Tierney_2019, place={Cham},
title={Hyper-Reactive Tabu Search for MaxSAT}, DOI={10.1007/978-3-030-05348-2_27},
booktitle={Learning and Intelligent Optimization}, publisher={Springer International
Publishing}, author={Ansótegui, Carlos and Heymann, Britta and Pon, Josep and
Sellmann, Meinolf and Tierney, Kevin}, year={2019}, pages={309–325} }'
chicago: 'Ansótegui, Carlos, Britta Heymann, Josep Pon, Meinolf Sellmann, and Kevin
Tierney. “Hyper-Reactive Tabu Search for MaxSAT.” In Learning and Intelligent
Optimization, 309–25. Cham: Springer International Publishing, 2019. https://doi.org/10.1007/978-3-030-05348-2_27.'
ieee: C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, and K. Tierney, “Hyper-Reactive
Tabu Search for MaxSAT,” in Learning and Intelligent Optimization, 2019,
pp. 309–325.
mla: Ansótegui, Carlos, et al. “Hyper-Reactive Tabu Search for MaxSAT.” Learning
and Intelligent Optimization, Springer International Publishing, 2019, pp.
309–25, doi:10.1007/978-3-030-05348-2_27.
short: 'C. Ansótegui, B. Heymann, J. Pon, M. Sellmann, K. Tierney, in: Learning
and Intelligent Optimization, Springer International Publishing, Cham, 2019, pp.
309–325.'
conference:
name: International Conference on Learning and Intelligent Optimization
date_created: 2019-09-17T13:39:32Z
date_updated: 2022-01-06T06:51:31Z
doi: 10.1007/978-3-030-05348-2_27
language:
- iso: eng
page: 309-325
place: Cham
project:
- _id: '52'
name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Learning and Intelligent Optimization
publication_identifier:
isbn:
- 978-3-030-05347-5
publisher: Springer International Publishing
status: public
title: Hyper-Reactive Tabu Search for MaxSAT
type: conference
user_id: '40778'
year: '2019'
...
---
_id: '13261'
author:
- first_name: Dennis
full_name: Wolters, Dennis
id: '11308'
last_name: Wolters
- first_name: Jonas
full_name: Kirchhoff, Jonas
id: '39928'
last_name: Kirchhoff
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Wolters D, Kirchhoff J, Engels G. Specifying Web Interfaces for Command-line
Applications Based on OpenAPI. In: Yangui S, Bouguettaya A, Xue X, et al., eds.
Service-Oriented Computing – ICSOC 2019 Workshops. Vol 12019. LNCS. Springer;
2019:30-41. doi:10.1007/978-3-030-45989-5\_3'
apa: Wolters, D., Kirchhoff, J., & Engels, G. (2019). Specifying Web Interfaces
for Command-line Applications Based on OpenAPI. In S. Yangui, A. Bouguettaya,
X. Xue, N. Faci, W. Gaaloul, Q. Yu, … E. Y. Nakagawa (Eds.), Service-Oriented
Computing – ICSOC 2019 Workshops (Vol. 12019, pp. 30–41). Springer. https://doi.org/10.1007/978-3-030-45989-5\_3
bibtex: '@inproceedings{Wolters_Kirchhoff_Engels_2019, series={LNCS}, title={Specifying
Web Interfaces for Command-line Applications Based on OpenAPI}, volume={12019},
DOI={10.1007/978-3-030-45989-5\_3},
booktitle={Service-Oriented Computing – ICSOC 2019 Workshops}, publisher={Springer},
author={Wolters, Dennis and Kirchhoff, Jonas and Engels, Gregor}, editor={Yangui,
Sami and Bouguettaya, Athman and Xue, Xiao and Faci, Noura and Gaaloul, Walid
and Yu, Qi and Zhou, Zhangbing and Hernandez, Nathalie and Nakagawa, Elisa Y.Editors},
year={2019}, pages={30–41}, collection={LNCS} }'
chicago: Wolters, Dennis, Jonas Kirchhoff, and Gregor Engels. “Specifying Web Interfaces
for Command-Line Applications Based on OpenAPI.” In Service-Oriented Computing
– ICSOC 2019 Workshops, edited by Sami Yangui, Athman Bouguettaya, Xiao Xue,
Noura Faci, Walid Gaaloul, Qi Yu, Zhangbing Zhou, Nathalie Hernandez, and Elisa
Y. Nakagawa, 12019:30–41. LNCS. Springer, 2019. https://doi.org/10.1007/978-3-030-45989-5\_3.
ieee: D. Wolters, J. Kirchhoff, and G. Engels, “Specifying Web Interfaces for Command-line
Applications Based on OpenAPI,” in Service-Oriented Computing – ICSOC 2019
Workshops, 2019, vol. 12019, pp. 30–41.
mla: Wolters, Dennis, et al. “Specifying Web Interfaces for Command-Line Applications
Based on OpenAPI.” Service-Oriented Computing – ICSOC 2019 Workshops, edited
by Sami Yangui et al., vol. 12019, Springer, 2019, pp. 30–41, doi:10.1007/978-3-030-45989-5\_3.
short: 'D. Wolters, J. Kirchhoff, G. Engels, in: S. Yangui, A. Bouguettaya, X. Xue,
N. Faci, W. Gaaloul, Q. Yu, Z. Zhou, N. Hernandez, E.Y. Nakagawa (Eds.), Service-Oriented
Computing – ICSOC 2019 Workshops, Springer, 2019, pp. 30–41.'
date_created: 2019-09-17T15:02:32Z
date_updated: 2022-01-06T06:51:31Z
department:
- _id: '66'
doi: 10.1007/978-3-030-45989-5\_3
editor:
- first_name: Sami
full_name: Yangui, Sami
last_name: Yangui
- first_name: Athman
full_name: Bouguettaya, Athman
last_name: Bouguettaya
- first_name: Xiao
full_name: Xue, Xiao
last_name: Xue
- first_name: Noura
full_name: Faci, Noura
last_name: Faci
- first_name: Walid
full_name: Gaaloul, Walid
last_name: Gaaloul
- first_name: Qi
full_name: Yu, Qi
last_name: Yu
- first_name: Zhangbing
full_name: Zhou, Zhangbing
last_name: Zhou
- first_name: Nathalie
full_name: Hernandez, Nathalie
last_name: Hernandez
- first_name: Elisa Y.
full_name: Nakagawa, Elisa Y.
last_name: Nakagawa
intvolume: ' 12019'
language:
- iso: eng
page: 30-41
publication: Service-Oriented Computing – ICSOC 2019 Workshops
publication_status: published
publisher: Springer
series_title: LNCS
status: public
title: Specifying Web Interfaces for Command-line Applications Based on OpenAPI
type: conference
user_id: '11308'
volume: 12019
year: '2019'
...
---
_id: '10011'
author:
- first_name: Martin
full_name: Fränzle, Martin
last_name: Fränzle
- first_name: Deepak
full_name: Kapur, Deepak
last_name: Kapur
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Naijun
full_name: Zhan, Naijun
last_name: Zhan
citation:
ama: Fränzle M, Kapur D, Wehrheim H, Zhan N. Editorial. Formal Asp Comput.
2019;31(1):1. doi:10.1007/s00165-018-00477-6
apa: Fränzle, M., Kapur, D., Wehrheim, H., & Zhan, N. (2019). Editorial. Formal
Asp. Comput., 31(1), 1. https://doi.org/10.1007/s00165-018-00477-6
bibtex: '@article{Fränzle_Kapur_Wehrheim_Zhan_2019, title={Editorial}, volume={31},
DOI={10.1007/s00165-018-00477-6},
number={1}, journal={Formal Asp. Comput.}, author={Fränzle, Martin and Kapur,
Deepak and Wehrheim, Heike and Zhan, Naijun}, year={2019}, pages={1} }'
chicago: 'Fränzle, Martin, Deepak Kapur, Heike Wehrheim, and Naijun Zhan. “Editorial.”
Formal Asp. Comput. 31, no. 1 (2019): 1. https://doi.org/10.1007/s00165-018-00477-6.'
ieee: M. Fränzle, D. Kapur, H. Wehrheim, and N. Zhan, “Editorial,” Formal Asp.
Comput., vol. 31, no. 1, p. 1, 2019.
mla: Fränzle, Martin, et al. “Editorial.” Formal Asp. Comput., vol. 31, no.
1, 2019, p. 1, doi:10.1007/s00165-018-00477-6.
short: M. Fränzle, D. Kapur, H. Wehrheim, N. Zhan, Formal Asp. Comput. 31 (2019)
1.
date_created: 2019-05-28T06:32:57Z
date_updated: 2022-01-06T06:50:22Z
department:
- _id: '77'
doi: 10.1007/s00165-018-00477-6
intvolume: ' 31'
issue: '1'
language:
- iso: eng
page: '1'
publication: Formal Asp. Comput.
status: public
title: Editorial
type: journal_article
user_id: '29719'
volume: 31
year: '2019'
...