---
_id: '20275'
author:
- first_name: Steffen
full_name: Beringer, Steffen
last_name: Beringer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Beringer S, Wehrheim H. Consistency Analysis of AUTOSAR Timing Requirements.
In: van Sinderen M, Fill H-}Georg, A. Maciaszek L, eds. Proceedings of the
15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint,
Paris, France, July 7-9, 2020. ScitePress; 2020:15-26. doi:10.5220/0009766600150026'
apa: Beringer, S., & Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing
Requirements. In M. van Sinderen, H.-}Georg Fill, & L. A. Maciaszek (Eds.),
Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020 (pp. 15–26). ScitePress.
https://doi.org/10.5220/0009766600150026
bibtex: '@inproceedings{Beringer_Wehrheim_2020, title={Consistency Analysis of AUTOSAR
Timing Requirements}, DOI={10.5220/0009766600150026},
booktitle={Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020}, publisher={ScitePress},
author={Beringer, Steffen and Wehrheim, Heike}, editor={van Sinderen, Marten and
Fill, Hans{-}Georg and A. Maciaszek, LeszekEditors}, year={2020}, pages={15–26}
}'
chicago: Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR
Timing Requirements.” In Proceedings of the 15th International Conference on
Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020,
edited by Marten van Sinderen, Hans{-}Georg Fill, and Leszek A. Maciaszek, 15–26.
ScitePress, 2020. https://doi.org/10.5220/0009766600150026.
ieee: S. Beringer and H. Wehrheim, “Consistency Analysis of AUTOSAR Timing Requirements,”
in Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, 2020, pp. 15–26.
mla: Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing
Requirements.” Proceedings of the 15th International Conference on Software
Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, edited
by Marten van Sinderen et al., ScitePress, 2020, pp. 15–26, doi:10.5220/0009766600150026.
short: 'S. Beringer, H. Wehrheim, in: M. van Sinderen, H.-}Georg Fill, L. A. Maciaszek
(Eds.), Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, ScitePress, 2020, pp.
15–26.'
date_created: 2020-11-04T08:31:37Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.5220/0009766600150026
editor:
- first_name: Marten
full_name: van Sinderen, Marten
last_name: van Sinderen
- first_name: Hans{-}Georg
full_name: Fill, Hans{-}Georg
last_name: Fill
- first_name: Leszek
full_name: A. Maciaszek, Leszek
last_name: A. Maciaszek
language:
- iso: eng
page: 15-26
publication: Proceedings of the 15th International Conference on Software Technologies,
{ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020
publisher: ScitePress
status: public
title: Consistency Analysis of AUTOSAR Timing Requirements
type: conference
user_id: '29719'
year: '2020'
...
---
_id: '20276'
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey
and Unifying Component Framework. In: Margaria T, Steffen B, eds. Leveraging
Applications of Formal Methods, Verification and Validation: Verification Principles
- 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA
2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}. Vol 12476.
Lecture Notes in Computer Science. Springer; 2020:143-167. doi:10.1007/978-3-030-61362-4\_8'
apa: 'Beyer, D., & Wehrheim, H. (2020). Verification Artifacts in Cooperative
Verification: Survey and Unifying Component Framework. In T. Margaria & B.
Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and
Validation: Verification Principles - 9th International Symposium on Leveraging
Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020,
Proceedings, Part {I} (Vol. 12476, pp. 143–167). Springer. https://doi.org/10.1007/978-3-030-61362-4\_8'
bibtex: '@inproceedings{Beyer_Wehrheim_2020, series={Lecture Notes in Computer Science},
title={Verification Artifacts in Cooperative Verification: Survey and Unifying
Component Framework}, volume={12476}, DOI={10.1007/978-3-030-61362-4\_8},
booktitle={Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings,
Part {I}}, publisher={Springer}, author={Beyer, Dirk and Wehrheim, Heike}, editor={Margaria,
Tiziana and Steffen, BernhardEditors}, year={2020}, pages={143–167}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative
Verification: Survey and Unifying Component Framework.” In Leveraging Applications
of Formal Methods, Verification and Validation: Verification Principles - 9th
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020,
Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, edited by Tiziana
Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science.
Springer, 2020. https://doi.org/10.1007/978-3-030-61362-4\_8.'
ieee: 'D. Beyer and H. Wehrheim, “Verification Artifacts in Cooperative Verification:
Survey and Unifying Component Framework,” in Leveraging Applications of Formal
Methods, Verification and Validation: Verification Principles - 9th International
Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece,
October 20-30, 2020, Proceedings, Part {I}, 2020, vol. 12476, pp. 143–167.'
mla: 'Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification:
Survey and Unifying Component Framework.” Leveraging Applications of Formal
Methods, Verification and Validation: Verification Principles - 9th International
Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece,
October 20-30, 2020, Proceedings, Part {I}, edited by Tiziana Margaria and
Bernhard Steffen, vol. 12476, Springer, 2020, pp. 143–67, doi:10.1007/978-3-030-61362-4\_8.'
short: 'D. Beyer, H. Wehrheim, in: T. Margaria, B. Steffen (Eds.), Leveraging Applications
of Formal Methods, Verification and Validation: Verification Principles - 9th
International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020,
Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}, Springer, 2020, pp.
143–167.'
date_created: 2020-11-04T08:36:22Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-61362-4\_8
editor:
- first_name: Tiziana
full_name: Margaria, Tiziana
last_name: Margaria
- first_name: Bernhard
full_name: Steffen, Bernhard
last_name: Steffen
intvolume: ' 12476'
language:
- iso: eng
page: 143-167
project:
- _id: '85'
name: Kooperative Softwareverifikation
publication: 'Leveraging Applications of Formal Methods, Verification and Validation:
Verification Principles - 9th International Symposium on Leveraging Applications
of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings,
Part {I}'
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'Verification Artifacts in Cooperative Verification: Survey and Unifying Component
Framework'
type: conference
user_id: '29719'
volume: 12476
year: '2020'
...
---
_id: '20277'
citation:
ama: Wehrheim H, Cabot J, eds. Fundamental Approaches to Software Engineering
- 23rd International Conference, FASE 2020, Held as Part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April
25-30, 2020, Proceedings. Vol 12076. Springer; 2020. doi:10.1007/978-3-030-45234-6
apa: Wehrheim, H., & Cabot, J. (Eds.). (2020). Fundamental Approaches to
Software Engineering - 23rd International Conference, FASE 2020, Held as Part
of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings (Vol. 12076). Springer. https://doi.org/10.1007/978-3-030-45234-6
bibtex: '@book{Wehrheim_Cabot_2020, series={Lecture Notes in Computer Science},
title={Fundamental Approaches to Software Engineering - 23rd International Conference,
FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice
of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, volume={12076},
DOI={10.1007/978-3-030-45234-6},
publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science}
}'
chicago: Wehrheim, Heike, and Jordi Cabot, eds. Fundamental Approaches to Software
Engineering - 23rd International Conference, FASE 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland,
April 25-30, 2020, Proceedings. Vol. 12076. Lecture Notes in Computer Science.
Springer, 2020. https://doi.org/10.1007/978-3-030-45234-6.
ieee: H. Wehrheim and J. Cabot, Eds., Fundamental Approaches to Software Engineering
- 23rd International Conference, FASE 2020, Held as Part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April
25-30, 2020, Proceedings, vol. 12076. Springer, 2020.
mla: Wehrheim, Heike, and Jordi Cabot, editors. Fundamental Approaches to Software
Engineering - 23rd International Conference, FASE 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland,
April 25-30, 2020, Proceedings. Vol. 12076, Springer, 2020, doi:10.1007/978-3-030-45234-6.
short: H. Wehrheim, J. Cabot, eds., Fundamental Approaches to Software Engineering
- 23rd International Conference, FASE 2020, Held as Part of the European Joint
Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April
25-30, 2020, Proceedings, Springer, 2020.
date_created: 2020-11-04T08:42:19Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-45234-6
editor:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Jordi
full_name: Cabot, Jordi
last_name: Cabot
intvolume: ' 12076'
language:
- iso: eng
publication_identifier:
isbn:
- 978-3-030-45233-9
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Fundamental Approaches to Software Engineering - 23rd International Conference,
FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice
of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
type: conference_editor
user_id: '29719'
volume: 12076
year: '2020'
...
---
_id: '20278'
citation:
ama: Ahrendt W, Wehrheim H, eds. Tests and Proofs - 14th International Conference,
TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed].
Vol 12165. Springer; 2020. doi:10.1007/978-3-030-50995-8
apa: Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th
International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
[postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8
bibtex: '@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science},
title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={10.1007/978-3-030-50995-8},
publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science}
}'
chicago: Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th
International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
[Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020.
https://doi.org/10.1007/978-3-030-50995-8.
ieee: W. Ahrendt and H. Wehrheim, Eds., Tests and Proofs - 14th International
Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed],
vol. 12165. Springer, 2020.
mla: Ahrendt, Wolfgang, and Heike Wehrheim, editors. Tests and Proofs - 14th
International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
[Postponed]. Vol. 12165, Springer, 2020, doi:10.1007/978-3-030-50995-8.
short: W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference,
TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer,
2020.
date_created: 2020-11-04T08:44:33Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
doi: 10.1007/978-3-030-50995-8
editor:
- first_name: Wolfgang
full_name: Ahrendt, Wolfgang
last_name: Ahrendt
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
intvolume: ' 12165'
language:
- iso: eng
publication_identifier:
isbn:
- 978-3-030-50994-1
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway,
June 22-23, 2020, Proceedings [postponed]
type: conference_editor
user_id: '29719'
volume: 12165
year: '2020'
...
---
_id: '20279'
author:
- first_name: Arnab
full_name: Sharma, Arnab
id: '67200'
last_name: Sharma
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Sharma A, Wehrheim H. Testing Monotonicity of Machine Learning Models. CoRR.
2020;abs/2002.12278.
apa: Sharma, A., & Wehrheim, H. (2020). Testing Monotonicity of Machine Learning
Models. CoRR, abs/2002.12278.
bibtex: '@article{Sharma_Wehrheim_2020, title={Testing Monotonicity of Machine Learning
Models}, volume={abs/2002.12278}, journal={CoRR}, author={Sharma, Arnab and Wehrheim,
Heike}, year={2020} }'
chicago: Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning
Models.” CoRR abs/2002.12278 (2020).
ieee: A. Sharma and H. Wehrheim, “Testing Monotonicity of Machine Learning Models,”
CoRR, vol. abs/2002.12278, 2020.
mla: Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning
Models.” CoRR, vol. abs/2002.12278, 2020.
short: A. Sharma, H. Wehrheim, CoRR abs/2002.12278 (2020).
date_created: 2020-11-04T08:48:04Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '77'
language:
- iso: eng
publication: CoRR
status: public
title: Testing Monotonicity of Machine Learning Models
type: journal_article
user_id: '29719'
volume: abs/2002.12278
year: '2020'
...
---
_id: '3583'
author:
- first_name: Zakarya
full_name: ' Guetttatfi, Zakarya'
last_name: ' Guetttatfi'
- first_name: Paul
full_name: Kaufmann, Paul
last_name: Kaufmann
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: 'Guetttatfi Z, Kaufmann P, Platzner M. Optimal and Greedy Heuristic Approaches
for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices.
In: Proceedings of the International Workshop on Applied Reconfigurable Computing
(ARC). ; 2020.'
apa: Guetttatfi, Z., Kaufmann, P., & Platzner, M. (2020). Optimal and Greedy
Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable
Computing Devices. In Proceedings of the International Workshop on Applied
Reconfigurable Computing (ARC).
bibtex: '@inproceedings{ Guetttatfi_Kaufmann_Platzner_2020, title={Optimal and Greedy
Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable
Computing Devices}, booktitle={Proceedings of the International Workshop on Applied
Reconfigurable Computing (ARC)}, author={ Guetttatfi, Zakarya and Kaufmann, Paul
and Platzner, Marco}, year={2020} }'
chicago: Guetttatfi, Zakarya, Paul Kaufmann, and Marco Platzner. “Optimal and Greedy
Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable
Computing Devices.” In Proceedings of the International Workshop on Applied
Reconfigurable Computing (ARC), 2020.
ieee: Z. Guetttatfi, P. Kaufmann, and M. Platzner, “Optimal and Greedy Heuristic
Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing
Devices,” in Proceedings of the International Workshop on Applied Reconfigurable
Computing (ARC), 2020.
mla: Guetttatfi, Zakarya, et al. “Optimal and Greedy Heuristic Approaches for Scheduling
and Mapping of Hardware Tasks to Reconfigurable Computing Devices.” Proceedings
of the International Workshop on Applied Reconfigurable Computing (ARC), 2020.
short: 'Z. Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International
Workshop on Applied Reconfigurable Computing (ARC), 2020.'
date_created: 2018-07-20T14:07:15Z
date_updated: 2022-01-06T06:59:25Z
department:
- _id: '78'
- _id: '34'
- _id: '7'
language:
- iso: eng
publication: Proceedings of the International Workshop on Applied Reconfigurable Computing
(ARC)
status: public
title: Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware
Tasks to Reconfigurable Computing Devices
type: conference
user_id: '398'
year: '2020'
...
---
_id: '3800'
author:
- first_name: Henning
full_name: Wachsmuth, Henning
id: '3900'
last_name: Wachsmuth
- first_name: Till
full_name: Werner, Till
last_name: Werner
citation:
ama: 'Wachsmuth H, Werner T. Intrinsic Quality Assessment of Arguments. In: Proceedings
of COLING 2020, the 28th International Conference on Computational Linguistics.
; 2020:6739-6745.'
apa: Wachsmuth, H., & Werner, T. (2020). Intrinsic Quality Assessment of Arguments.
In Proceedings of COLING 2020, the 28th International Conference on Computational
Linguistics (pp. 6739–6745).
bibtex: '@inproceedings{Wachsmuth_Werner_2020, title={Intrinsic Quality Assessment
of Arguments}, booktitle={Proceedings of COLING 2020, the 28th International Conference
on Computational Linguistics}, author={Wachsmuth, Henning and Werner, Till}, year={2020},
pages={6739–6745} }'
chicago: Wachsmuth, Henning, and Till Werner. “Intrinsic Quality Assessment of Arguments.”
In Proceedings of COLING 2020, the 28th International Conference on Computational
Linguistics, 6739–45, 2020.
ieee: H. Wachsmuth and T. Werner, “Intrinsic Quality Assessment of Arguments,” in
Proceedings of COLING 2020, the 28th International Conference on Computational
Linguistics, 2020, pp. 6739–6745.
mla: Wachsmuth, Henning, and Till Werner. “Intrinsic Quality Assessment of Arguments.”
Proceedings of COLING 2020, the 28th International Conference on Computational
Linguistics, 2020, pp. 6739–45.
short: 'H. Wachsmuth, T. Werner, in: Proceedings of COLING 2020, the 28th International
Conference on Computational Linguistics, 2020, pp. 6739–6745.'
date_created: 2018-08-02T13:38:21Z
date_updated: 2022-01-06T06:59:36Z
department:
- _id: '600'
language:
- iso: eng
main_file_link:
- url: https://www.aclweb.org/anthology/2020.coling-main.592.pdf
page: 6739-6745
publication: Proceedings of COLING 2020, the 28th International Conference on Computational
Linguistics
status: public
title: Intrinsic Quality Assessment of Arguments
type: conference
user_id: '82920'
year: '2020'
...
---
_id: '3878'
author:
- first_name: Roxanne
full_name: El Baff, Roxanne
last_name: El Baff
- first_name: Henning
full_name: Wachsmuth, Henning
id: '3900'
last_name: Wachsmuth
- first_name: Khalid
full_name: Al-Khatib, Khalid
last_name: Al-Khatib
- first_name: Benno
full_name: Stein, Benno
last_name: Stein
citation:
ama: 'El Baff R, Wachsmuth H, Al-Khatib K, Stein B. Analyzing the Persuasive Effect
of Style in News Editorial Argumentation. In: Tsujii J, Hajic J, eds. Proceedings
of 58th Annual Meeting of the Association for Computational Linguistics. ;
2020:553-564.'
apa: El Baff, R., Wachsmuth, H., Al-Khatib, K., & Stein, B. (2020). Analyzing
the Persuasive Effect of Style in News Editorial Argumentation. In J. Tsujii &
J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for
Computational Linguistics (pp. 553–564).
bibtex: '@inproceedings{El Baff_Wachsmuth_Al-Khatib_Stein_2020, title={Analyzing
the Persuasive Effect of Style in News Editorial Argumentation}, booktitle={Proceedings
of 58th Annual Meeting of the Association for Computational Linguistics}, author={El
Baff, Roxanne and Wachsmuth, Henning and Al-Khatib, Khalid and Stein, Benno},
editor={Tsujii, Junichi and Hajic, JanEditors}, year={2020}, pages={553–564} }'
chicago: El Baff, Roxanne, Henning Wachsmuth, Khalid Al-Khatib, and Benno Stein.
“Analyzing the Persuasive Effect of Style in News Editorial Argumentation.” In
Proceedings of 58th Annual Meeting of the Association for Computational Linguistics,
edited by Junichi Tsujii and Jan Hajic, 553–64, 2020.
ieee: R. El Baff, H. Wachsmuth, K. Al-Khatib, and B. Stein, “Analyzing the Persuasive
Effect of Style in News Editorial Argumentation,” in Proceedings of 58th Annual
Meeting of the Association for Computational Linguistics, 2020, pp. 553–564.
mla: El Baff, Roxanne, et al. “Analyzing the Persuasive Effect of Style in News
Editorial Argumentation.” Proceedings of 58th Annual Meeting of the Association
for Computational Linguistics, edited by Junichi Tsujii and Jan Hajic, 2020,
pp. 553–64.
short: 'R. El Baff, H. Wachsmuth, K. Al-Khatib, B. Stein, in: J. Tsujii, J. Hajic
(Eds.), Proceedings of 58th Annual Meeting of the Association for Computational
Linguistics, 2020, pp. 553–564.'
date_created: 2018-08-11T16:14:29Z
date_updated: 2022-01-06T06:59:47Z
department:
- _id: '600'
- _id: '568'
editor:
- first_name: Junichi
full_name: Tsujii, Junichi
last_name: Tsujii
- first_name: Jan
full_name: Hajic, Jan
last_name: Hajic
language:
- iso: eng
page: 553-564
publication: Proceedings of 58th Annual Meeting of the Association for Computational
Linguistics
status: public
title: Analyzing the Persuasive Effect of Style in News Editorial Argumentation
type: conference
user_id: '82920'
year: '2020'
...
---
_id: '29045'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: Engels G. Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und
Menschen. Gruppe Interaktion Organisation Zeitschrift für Angewandte Organisationspsychologie
(GIO). Published online 2020:363-370. doi:10.1007/s11612-020-00527-9
apa: Engels, G. (2020). Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen
und Menschen. Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte
Organisationspsychologie (GIO), 363–370. https://doi.org/10.1007/s11612-020-00527-9
bibtex: '@article{Engels_2020, title={Der digitale Fußabdruck, Schatten oder Zwilling
von Maschinen und Menschen}, DOI={10.1007/s11612-020-00527-9},
journal={Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie
(GIO)}, author={Engels, Gregor}, year={2020}, pages={363–370} }'
chicago: Engels, Gregor. “Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen
und Menschen.” Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte
Organisationspsychologie (GIO), 2020, 363–70. https://doi.org/10.1007/s11612-020-00527-9.
ieee: 'G. Engels, “Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen
und Menschen,” Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte
Organisationspsychologie (GIO), pp. 363–370, 2020, doi: 10.1007/s11612-020-00527-9.'
mla: Engels, Gregor. “Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen
und Menschen.” Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte
Organisationspsychologie (GIO), 2020, pp. 363–70, doi:10.1007/s11612-020-00527-9.
short: G. Engels, Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte
Organisationspsychologie (GIO) (2020) 363–370.
date_created: 2021-12-17T10:15:48Z
date_updated: 2022-01-06T06:58:44Z
department:
- _id: '66'
doi: 10.1007/s11612-020-00527-9
language:
- iso: ger
main_file_link:
- open_access: '1'
url: https://link.springer.com/article/10.1007/s11612-020-00527-9
oa: '1'
page: 363-370
publication: Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie
(GIO)
publication_identifier:
issn:
- 2366-6145
- 2366-6218
publication_status: published
status: public
title: Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen
type: journal_article
user_id: '57458'
year: '2020'
...
---
_id: '21016'
author:
- first_name: Sadegh
full_name: Dalvandi, Sadegh
last_name: Dalvandi
- first_name: Simon
full_name: Doherty, Simon
last_name: Doherty
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11
RAR (Artifact). Dagstuhl Artifacts Ser. 2020;6(2):15:1-15:2. doi:10.4230/DARTS.6.2.15
apa: Dalvandi, S., Doherty, S., Dongol, B., & Wehrheim, H. (2020). Owicki-Gries
Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser., 6(2),
15:1-15:2. https://doi.org/10.4230/DARTS.6.2.15
bibtex: '@article{Dalvandi_Doherty_Dongol_Wehrheim_2020, title={Owicki-Gries Reasoning
for C11 RAR (Artifact)}, volume={6}, DOI={10.4230/DARTS.6.2.15},
number={2}, journal={Dagstuhl Artifacts Ser.}, author={Dalvandi, Sadegh and Doherty,
Simon and Dongol, Brijesh and Wehrheim, Heike}, year={2020}, pages={15:1-15:2}
}'
chicago: 'Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries
Reasoning for C11 RAR (Artifact).” Dagstuhl Artifacts Ser. 6, no. 2 (2020):
15:1-15:2. https://doi.org/10.4230/DARTS.6.2.15.'
ieee: S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning
for C11 RAR (Artifact),” Dagstuhl Artifacts Ser., vol. 6, no. 2, pp. 15:1-15:2,
2020.
mla: Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR (Artifact).” Dagstuhl
Artifacts Ser., vol. 6, no. 2, 2020, pp. 15:1-15:2, doi:10.4230/DARTS.6.2.15.
short: S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser.
6 (2020) 15:1-15:2.
date_created: 2021-01-19T10:25:27Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '77'
doi: 10.4230/DARTS.6.2.15
intvolume: ' 6'
issue: '2'
language:
- iso: eng
page: 15:1-15:2
publication: Dagstuhl Artifacts Ser.
status: public
title: Owicki-Gries Reasoning for C11 RAR (Artifact)
type: journal_article
user_id: '29719'
volume: 6
year: '2020'
...
---
_id: '21017'
author:
- first_name: Sadegh
full_name: Dalvandi, Sadegh
last_name: Dalvandi
- first_name: Simon
full_name: Doherty, Simon
last_name: Doherty
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11
RAR. In: Hirschfeld R, Pape T, eds. 34th European Conference on Object-Oriented
Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference).
Vol 166. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik; 2020:11:1-11:26.
doi:10.4230/LIPIcs.ECOOP.2020.11'
apa: Dalvandi, S., Doherty, S., Dongol, B., & Wehrheim, H. (2020). Owicki-Gries
Reasoning for C11 RAR. In R. Hirschfeld & T. Pape (Eds.), 34th European
Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020,
Berlin, Germany (Virtual Conference) (Vol. 166, pp. 11:1-11:26). Schloss Dagstuhl
- Leibniz-Zentrum f{\"{u}}r Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2020.11
bibtex: '@inproceedings{Dalvandi_Doherty_Dongol_Wehrheim_2020, series={LIPIcs},
title={Owicki-Gries Reasoning for C11 RAR}, volume={166}, DOI={10.4230/LIPIcs.ECOOP.2020.11},
booktitle={34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference)}, publisher={Schloss
Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, author={Dalvandi, Sadegh and
Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}, editor={Hirschfeld, Robert
and Pape, TobiasEditors}, year={2020}, pages={11:1-11:26}, collection={LIPIcs}
}'
chicago: Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries
Reasoning for C11 RAR.” In 34th European Conference on Object-Oriented Programming,
{ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference),
edited by Robert Hirschfeld and Tobias Pape, 166:11:1-11:26. LIPIcs. Schloss Dagstuhl
- Leibniz-Zentrum f{\"{u}}r Informatik, 2020. https://doi.org/10.4230/LIPIcs.ECOOP.2020.11.
ieee: S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning
for C11 RAR,” in 34th European Conference on Object-Oriented Programming, {ECOOP}
2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), 2020, vol.
166, pp. 11:1-11:26.
mla: Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR.” 34th European
Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020,
Berlin, Germany (Virtual Conference), edited by Robert Hirschfeld and Tobias
Pape, vol. 166, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020,
pp. 11:1-11:26, doi:10.4230/LIPIcs.ECOOP.2020.11.
short: 'S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape
(Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl -
Leibniz-Zentrum f{\"{u}}r Informatik, 2020, pp. 11:1-11:26.'
date_created: 2021-01-19T10:29:44Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '77'
doi: 10.4230/LIPIcs.ECOOP.2020.11
editor:
- first_name: Robert
full_name: Hirschfeld, Robert
last_name: Hirschfeld
- first_name: Tobias
full_name: Pape, Tobias
last_name: Pape
intvolume: ' 166'
language:
- iso: eng
page: 11:1-11:26
publication: 34th European Conference on Object-Oriented Programming, {ECOOP} 2020,
November 15-17, 2020, Berlin, Germany (Virtual Conference)
publisher: Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik
series_title: LIPIcs
status: public
title: Owicki-Gries Reasoning for C11 RAR
type: conference
user_id: '29719'
volume: 166
year: '2020'
...
---
_id: '21018'
author:
- first_name: Cedric
full_name: Richter, Cedric
id: '50003'
last_name: Richter
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Richter C, Wehrheim H. Attend and Represent: A Novel View on Algorithm Selection
for Software Verification. In: 35th {IEEE/ACM} International Conference on
Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25,
2020. {IEEE}; 2020:1016-1028.'
apa: 'Richter, C., & Wehrheim, H. (2020). Attend and Represent: A Novel View
on Algorithm Selection for Software Verification. In 35th {IEEE/ACM} International
Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia,
September 21-25, 2020 (pp. 1016–1028). {IEEE}.'
bibtex: '@inproceedings{Richter_Wehrheim_2020, title={Attend and Represent: A Novel
View on Algorithm Selection for Software Verification}, booktitle={35th {IEEE/ACM}
International Conference on Automated Software Engineering, {ASE} 2020, Melbourne,
Australia, September 21-25, 2020}, publisher={{IEEE}}, author={Richter, Cedric
and Wehrheim, Heike}, year={2020}, pages={1016–1028} }'
chicago: 'Richter, Cedric, and Heike Wehrheim. “Attend and Represent: A Novel View
on Algorithm Selection for Software Verification.” In 35th {IEEE/ACM} International
Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia,
September 21-25, 2020, 1016–28. {IEEE}, 2020.'
ieee: 'C. Richter and H. Wehrheim, “Attend and Represent: A Novel View on Algorithm
Selection for Software Verification,” in 35th {IEEE/ACM} International Conference
on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September
21-25, 2020, 2020, pp. 1016–1028.'
mla: 'Richter, Cedric, and Heike Wehrheim. “Attend and Represent: A Novel View on
Algorithm Selection for Software Verification.” 35th {IEEE/ACM} International
Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia,
September 21-25, 2020, {IEEE}, 2020, pp. 1016–28.'
short: 'C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on
Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25,
2020, {IEEE}, 2020, pp. 1016–1028.'
date_created: 2021-01-19T10:32:17Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '77'
language:
- iso: eng
page: 1016-1028
publication: 35th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2020, Melbourne, Australia, September 21-25, 2020
publisher: '{IEEE}'
status: public
title: 'Attend and Represent: A Novel View on Algorithm Selection for Software Verification'
type: conference
user_id: '29719'
year: '2020'
...
---
_id: '21019'
citation:
ama: Ahrendt W, Wehrheim H, eds. Tests and Proofs - 14th International Conference,
TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed].
Vol 12165. Springer; 2020. doi:10.1007/978-3-030-50995-8
apa: Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th
International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
[postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8
bibtex: '@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science},
title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={10.1007/978-3-030-50995-8},
publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science}
}'
chicago: Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th
International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
[Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020.
https://doi.org/10.1007/978-3-030-50995-8.
ieee: W. Ahrendt and H. Wehrheim, Eds., Tests and Proofs - 14th International
Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed],
vol. 12165. Springer, 2020.
mla: Ahrendt, Wolfgang, and Heike Wehrheim, editors. Tests and Proofs - 14th
International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings
[Postponed]. Vol. 12165, Springer, 2020, doi:10.1007/978-3-030-50995-8.
short: W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference,
TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer,
2020.
date_created: 2021-01-19T10:35:37Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '77'
doi: 10.1007/978-3-030-50995-8
editor:
- first_name: Wolfgang
full_name: Ahrendt, Wolfgang
last_name: Ahrendt
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
intvolume: ' 12165'
language:
- iso: eng
publication_identifier:
isbn:
- 978-3-030-50994-1
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway,
June 22-23, 2020, Proceedings [postponed]
type: conference_editor
user_id: '29719'
volume: 12165
year: '2020'
...
---
_id: '21117'
author:
- first_name: Philipp
full_name: Manegold, Philipp
last_name: Manegold
citation:
ama: Manegold P. On Batch Proofs of Partial Knowledge.; 2020.
apa: Manegold, P. (2020). On Batch Proofs of Partial Knowledge.
bibtex: '@book{Manegold_2020, title={On Batch Proofs of Partial Knowledge}, author={Manegold,
Philipp}, year={2020} }'
chicago: Manegold, Philipp. On Batch Proofs of Partial Knowledge, 2020.
ieee: P. Manegold, On Batch Proofs of Partial Knowledge. 2020.
mla: Manegold, Philipp. On Batch Proofs of Partial Knowledge. 2020.
short: P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
date_created: 2021-02-02T10:27:49Z
date_updated: 2022-01-06T06:54:46Z
department:
- _id: '7'
- _id: '64'
extern: '1'
language:
- iso: eng
status: public
title: On Batch Proofs of Partial Knowledge
type: bachelorsthesis
user_id: '27207'
year: '2020'
...
---
_id: '21118'
author:
- first_name: Anonymous
full_name: Anonymous, Anonymous
last_name: Anonymous
citation:
ama: Anonymous A. Measuring the Performance of SNARK Libraries.; 2020.
apa: Anonymous, A. (2020). Measuring the Performance of SNARK Libraries.
bibtex: '@book{Anonymous_2020, title={Measuring the Performance of SNARK Libraries},
author={Anonymous, Anonymous}, year={2020} }'
chicago: Anonymous, Anonymous. Measuring the Performance of SNARK Libraries,
2020.
ieee: A. Anonymous, Measuring the Performance of SNARK Libraries. 2020.
mla: Anonymous, Anonymous. Measuring the Performance of SNARK Libraries.
2020.
short: A. Anonymous, Measuring the Performance of SNARK Libraries, 2020.
date_created: 2021-02-02T10:29:30Z
date_updated: 2022-01-06T06:54:46Z
department:
- _id: '7'
- _id: '64'
extern: '1'
language:
- iso: eng
status: public
title: Measuring the Performance of SNARK Libraries
type: bachelorsthesis
user_id: '27207'
year: '2020'
...
---
_id: '21119'
author:
- first_name: Max
full_name: Westerwelle, Max
last_name: Westerwelle
citation:
ama: Westerwelle M. Trapdoors and Sampling Procedures for Lattice-Based Cryptographic
Constructions.; 2020.
apa: Westerwelle, M. (2020). Trapdoors and Sampling Procedures for Lattice-Based
Cryptographic Constructions.
bibtex: '@book{Westerwelle_2020, title={Trapdoors and Sampling Procedures for Lattice-Based
Cryptographic Constructions}, author={Westerwelle, Max}, year={2020} }'
chicago: Westerwelle, Max. Trapdoors and Sampling Procedures for Lattice-Based
Cryptographic Constructions, 2020.
ieee: M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic
Constructions. 2020.
mla: Westerwelle, Max. Trapdoors and Sampling Procedures for Lattice-Based Cryptographic
Constructions. 2020.
short: M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic
Constructions, 2020.
date_created: 2021-02-02T10:37:35Z
date_updated: 2022-01-06T06:54:46Z
department:
- _id: '64'
language:
- iso: eng
status: public
title: Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions
type: bachelorsthesis
user_id: '47434'
year: '2020'
...
---
_id: '21121'
author:
- first_name: Anonymous
full_name: Anonymous, Anonymous
last_name: Anonymous
citation:
ama: Anonymous A. Benchmarking the Efficiency of Secure Multiparty Computation
for Real World Problems.; 2020.
apa: Anonymous, A. (2020). Benchmarking the Efficiency of Secure Multiparty Computation
for Real World Problems.
bibtex: '@book{Anonymous_2020, title={Benchmarking the Efficiency of Secure Multiparty
Computation for Real World Problems}, author={Anonymous, Anonymous}, year={2020}
}'
chicago: Anonymous, Anonymous. Benchmarking the Efficiency of Secure Multiparty
Computation for Real World Problems, 2020.
ieee: A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation
for Real World Problems. 2020.
mla: Anonymous, Anonymous. Benchmarking the Efficiency of Secure Multiparty Computation
for Real World Problems. 2020.
short: A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation
for Real World Problems, 2020.
date_created: 2021-02-02T10:50:08Z
date_updated: 2022-01-06T06:54:46Z
department:
- _id: '64'
- _id: '7'
language:
- iso: eng
status: public
supervisor:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
title: Benchmarking the Efficiency of Secure Multiparty Computation for Real World
Problems
type: bachelorsthesis
user_id: '41047'
year: '2020'
...
---
_id: '21268'
author:
- first_name: Tobias
full_name: Huhmann, Tobias
last_name: Huhmann
- first_name: Katja
full_name: Eilterts, Katja
last_name: Eilterts
- first_name: Carsten
full_name: Schulte, Carsten
id: '60311'
last_name: Schulte
- first_name: Felix
full_name: Winkelnkemper, Felix
id: '3117'
last_name: Winkelnkemper
citation:
ama: 'Huhmann T, Eilterts K, Schulte C, Winkelnkemper F. Der Darstellungsflüchtigkeit
im Geometrieunterricht durch digitale Unterstützung entgegenwirken. In: Digitales
Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis. Waxmann
Verlag; 2020.'
apa: 'Huhmann, T., Eilterts, K., Schulte, C., & Winkelnkemper, F. (2020). Der
Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken.
In Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und
Praxis. Waxmann Verlag.'
bibtex: '@inbook{Huhmann_Eilterts_Schulte_Winkelnkemper_2020, title={Der Darstellungsflüchtigkeit
im Geometrieunterricht durch digitale Unterstützung entgegenwirken}, booktitle={Digitales
Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis}, publisher={Waxmann
Verlag}, author={Huhmann, Tobias and Eilterts, Katja and Schulte, Carsten and
Winkelnkemper, Felix}, year={2020} }'
chicago: 'Huhmann, Tobias, Katja Eilterts, Carsten Schulte, and Felix Winkelnkemper.
“Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung
entgegenwirken.” In Digitales Lernen in der Grundschule II: Aktuelle Trends
in Forschung und Praxis. Waxmann Verlag, 2020.'
ieee: 'T. Huhmann, K. Eilterts, C. Schulte, and F. Winkelnkemper, “Der Darstellungsflüchtigkeit
im Geometrieunterricht durch digitale Unterstützung entgegenwirken,” in Digitales
Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis, Waxmann
Verlag, 2020.'
mla: 'Huhmann, Tobias, et al. “Der Darstellungsflüchtigkeit im Geometrieunterricht
durch digitale Unterstützung entgegenwirken.” Digitales Lernen in der Grundschule
II: Aktuelle Trends in Forschung und Praxis, Waxmann Verlag, 2020.'
short: 'T. Huhmann, K. Eilterts, C. Schulte, F. Winkelnkemper, in: Digitales Lernen
in der Grundschule II: Aktuelle Trends in Forschung und Praxis, Waxmann Verlag,
2020.'
date_created: 2021-02-24T09:27:18Z
date_updated: 2022-01-06T06:54:52Z
department:
- _id: '67'
language:
- iso: ger
publication: 'Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung
und Praxis'
publisher: Waxmann Verlag
status: public
title: Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung
entgegenwirken
type: book_chapter
user_id: '21145'
year: '2020'
...
---
_id: '21269'
author:
- first_name: Patrick
full_name: Ködding, Patrick
id: '45402'
last_name: Ködding
- first_name: Jannik
full_name: Reinhold, Jannik
id: '33669'
last_name: Reinhold
- first_name: Michel
full_name: Scholtysik, Michel
last_name: Scholtysik
- first_name: Roman
full_name: Dumitrescu, Roman
id: '16190'
last_name: Dumitrescu
citation:
ama: Ködding P, Reinhold J, Scholtysik M, Dumitrescu R. Consulting via Research
in IMPRESS. Journal of Systemics, Cybernetics and Informatics. 2020;18(2):14-19.
apa: Ködding, P., Reinhold, J., Scholtysik, M., & Dumitrescu, R. (2020). Consulting
via Research in IMPRESS. Journal of Systemics, Cybernetics and Informatics,
18(2), 14–19.
bibtex: '@article{Ködding_Reinhold_Scholtysik_Dumitrescu_2020, title={Consulting
via Research in IMPRESS}, volume={18}, number={2}, journal={Journal of Systemics,
Cybernetics and Informatics}, author={Ködding, Patrick and Reinhold, Jannik and
Scholtysik, Michel and Dumitrescu, Roman}, year={2020}, pages={14–19} }'
chicago: 'Ködding, Patrick, Jannik Reinhold, Michel Scholtysik, and Roman Dumitrescu.
“Consulting via Research in IMPRESS.” Journal of Systemics, Cybernetics and
Informatics 18, no. 2 (2020): 14–19.'
ieee: P. Ködding, J. Reinhold, M. Scholtysik, and R. Dumitrescu, “Consulting via
Research in IMPRESS,” Journal of Systemics, Cybernetics and Informatics,
vol. 18, no. 2, pp. 14–19, 2020.
mla: Ködding, Patrick, et al. “Consulting via Research in IMPRESS.” Journal of
Systemics, Cybernetics and Informatics, vol. 18, no. 2, 2020, pp. 14–19.
short: P. Ködding, J. Reinhold, M. Scholtysik, R. Dumitrescu, Journal of Systemics,
Cybernetics and Informatics 18 (2020) 14–19.
date_created: 2021-02-24T11:16:49Z
date_updated: 2022-01-06T06:54:52Z
department:
- _id: '563'
intvolume: ' 18'
issue: '2'
language:
- iso: eng
page: pp. 14-19
publication: Journal of Systemics, Cybernetics and Informatics
publication_identifier:
issn:
- 1690-4524
publication_status: published
status: public
title: Consulting via Research in IMPRESS
type: journal_article
user_id: '45402'
volume: 18
year: '2020'
...
---
_id: '21281'
author:
- first_name: Marvin
full_name: Drewel, Marvin
last_name: Drewel
- first_name: Leon
full_name: Özcan, Leon
id: '45137'
last_name: Özcan
- first_name: Christian
full_name: Koldewey, Christian
id: '43136'
last_name: Koldewey
orcid: https://orcid.org/0000-0001-7992-6399
- first_name: Jürgen
full_name: Gausemeier, Jürgen
last_name: Gausemeier
citation:
ama: Drewel M, Özcan L, Koldewey C, Gausemeier J. Pattern‐based development of digital
platforms. Creativity and Innovation Management. 2020. doi:10.1111/caim.12415
apa: Drewel, M., Özcan, L., Koldewey, C., & Gausemeier, J. (2020). Pattern‐based
development of digital platforms. Creativity and Innovation Management.
https://doi.org/10.1111/caim.12415
bibtex: '@article{Drewel_Özcan_Koldewey_Gausemeier_2020, title={Pattern‐based development
of digital platforms}, DOI={10.1111/caim.12415},
journal={Creativity and Innovation Management}, author={Drewel, Marvin and Özcan,
Leon and Koldewey, Christian and Gausemeier, Jürgen}, year={2020} }'
chicago: Drewel, Marvin, Leon Özcan, Christian Koldewey, and Jürgen Gausemeier.
“Pattern‐based Development of Digital Platforms.” Creativity and Innovation
Management, 2020. https://doi.org/10.1111/caim.12415.
ieee: M. Drewel, L. Özcan, C. Koldewey, and J. Gausemeier, “Pattern‐based development
of digital platforms,” Creativity and Innovation Management, 2020.
mla: Drewel, Marvin, et al. “Pattern‐based Development of Digital Platforms.” Creativity
and Innovation Management, 2020, doi:10.1111/caim.12415.
short: M. Drewel, L. Özcan, C. Koldewey, J. Gausemeier, Creativity and Innovation
Management (2020).
date_created: 2021-02-26T08:06:01Z
date_updated: 2022-01-06T06:54:52Z
department:
- _id: '563'
doi: 10.1111/caim.12415
language:
- iso: eng
publication: Creativity and Innovation Management
publication_identifier:
issn:
- 0963-1690
- 1467-8691
publication_status: published
quality_controlled: '1'
status: public
title: Pattern‐based development of digital platforms
type: journal_article
user_id: '43136'
year: '2020'
...