---
_id: '15080'
author:
- first_name: Rita
full_name: Hartel, Rita
id: '14961'
last_name: Hartel
- first_name: Alexander
full_name: Dunst, Alexander
last_name: Dunst
citation:
ama: 'Hartel R, Dunst A. How Good Is Good Enough? Establishing Quality Thresholds
for the Automatic Text Analysis of Retro-Digitized Comics. In: International
Conference on Multimedia Modeling, MMM. Springer; 2019:662-671. doi:10.1007/978-3-030-05716-9_59'
apa: 'Hartel, R., & Dunst, A. (2019). How Good Is Good Enough? Establishing
Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics.
In International Conference on Multimedia Modeling, MMM (pp. 662–671).
Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-030-05716-9_59'
bibtex: '@inproceedings{Hartel_Dunst_2019, title={How Good Is Good Enough? Establishing
Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics},
DOI={10.1007/978-3-030-05716-9_59},
booktitle={International Conference on Multimedia Modeling, MMM}, publisher={Springer},
author={Hartel, Rita and Dunst, Alexander}, year={2019}, pages={662–671} }'
chicago: Hartel, Rita, and Alexander Dunst. “How Good Is Good Enough? Establishing
Quality Thresholds for the Automatic Text Analysis of Retro-Digitized Comics.”
In International Conference on Multimedia Modeling, MMM, 662–71. Springer,
2019. https://doi.org/10.1007/978-3-030-05716-9_59.
ieee: R. Hartel and A. Dunst, “How Good Is Good Enough? Establishing Quality Thresholds
for the Automatic Text Analysis of Retro-Digitized Comics,” in International
Conference on Multimedia Modeling, MMM, Thessaloniki, Greece, 2019, pp. 662–671.
mla: Hartel, Rita, and Alexander Dunst. “How Good Is Good Enough? Establishing Quality
Thresholds for the Automatic Text Analysis of Retro-Digitized Comics.” International
Conference on Multimedia Modeling, MMM, Springer, 2019, pp. 662–71, doi:10.1007/978-3-030-05716-9_59.
short: 'R. Hartel, A. Dunst, in: International Conference on Multimedia Modeling,
MMM, Springer, 2019, pp. 662–671.'
conference:
location: Thessaloniki, Greece
date_created: 2019-11-21T14:42:25Z
date_updated: 2022-01-06T06:52:15Z
department:
- _id: '69'
doi: 10.1007/978-3-030-05716-9_59
language:
- iso: eng
page: 662-671
publication: International Conference on Multimedia Modeling, MMM
publication_identifier:
isbn:
- '9783030057152'
- '9783030057169'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer
status: public
title: How Good Is Good Enough? Establishing Quality Thresholds for the Automatic
Text Analysis of Retro-Digitized Comics
type: conference
user_id: '14961'
year: '2019'
...
---
_id: '15182'
author:
- first_name: Alexander
full_name: Dunst, Alexander
last_name: Dunst
- first_name: Rita
full_name: Hartel, Rita
id: '14961'
last_name: Hartel
citation:
ama: 'Dunst A, Hartel R. Multimodale Stilometrie: Herausforderungen und Potenzial
kombinatorischer Bild- und Textanalysen am Beispiel Comics. In: DHd Konferenz
2019, Multimedial Und Multimodal. ; 2019.'
apa: 'Dunst, A., & Hartel, R. (2019). Multimodale Stilometrie: Herausforderungen
und Potenzial kombinatorischer Bild- und Textanalysen am Beispiel Comics. In DHd
Konferenz 2019, multimedial und multimodal.'
bibtex: '@inproceedings{Dunst_Hartel_2019, title={Multimodale Stilometrie: Herausforderungen
und Potenzial kombinatorischer Bild- und Textanalysen am Beispiel Comics}, booktitle={DHd
Konferenz 2019, multimedial und multimodal}, author={Dunst, Alexander and Hartel,
Rita}, year={2019} }'
chicago: 'Dunst, Alexander, and Rita Hartel. “Multimodale Stilometrie: Herausforderungen
Und Potenzial Kombinatorischer Bild- Und Textanalysen Am Beispiel Comics.” In
DHd Konferenz 2019, Multimedial Und Multimodal, 2019.'
ieee: 'A. Dunst and R. Hartel, “Multimodale Stilometrie: Herausforderungen und Potenzial
kombinatorischer Bild- und Textanalysen am Beispiel Comics,” in DHd Konferenz
2019, multimedial und multimodal, 2019.'
mla: 'Dunst, Alexander, and Rita Hartel. “Multimodale Stilometrie: Herausforderungen
Und Potenzial Kombinatorischer Bild- Und Textanalysen Am Beispiel Comics.” DHd
Konferenz 2019, Multimedial Und Multimodal, 2019.'
short: 'A. Dunst, R. Hartel, in: DHd Konferenz 2019, Multimedial Und Multimodal,
2019.'
date_created: 2019-11-26T09:24:15Z
date_updated: 2022-01-06T06:52:16Z
department:
- _id: '69'
language:
- iso: eng
publication: DHd Konferenz 2019, multimedial und multimodal
status: public
title: 'Multimodale Stilometrie: Herausforderungen und Potenzial kombinatorischer
Bild- und Textanalysen am Beispiel Comics'
type: conference_abstract
user_id: '14961'
year: '2019'
...
---
_id: '15186'
author:
- first_name: Alexander
full_name: Dunst, Alexander
last_name: Dunst
- first_name: Rita
full_name: Hartel, Rita
id: '14961'
last_name: Hartel
citation:
ama: 'Dunst A, Hartel R. Quantifying Complexity in Multimodal Media: AlanMoore and
the “Density” of the Graphic Novel. In: Digital Humanities, DH 2019. ;
2019.'
apa: 'Dunst, A., & Hartel, R. (2019). Quantifying Complexity in Multimodal Media:
AlanMoore and the “Density” of the Graphic Novel. In Digital Humanities, DH
2019.'
bibtex: '@inproceedings{Dunst_Hartel_2019, title={Quantifying Complexity in Multimodal
Media: AlanMoore and the “Density” of the Graphic Novel}, booktitle={Digital Humanities,
DH 2019}, author={Dunst, Alexander and Hartel, Rita}, year={2019} }'
chicago: 'Dunst, Alexander, and Rita Hartel. “Quantifying Complexity in Multimodal
Media: AlanMoore and the ‘Density’ of the Graphic Novel.” In Digital Humanities,
DH 2019, 2019.'
ieee: 'A. Dunst and R. Hartel, “Quantifying Complexity in Multimodal Media: AlanMoore
and the ‘Density’ of the Graphic Novel,” in Digital Humanities, DH 2019,
2019.'
mla: 'Dunst, Alexander, and Rita Hartel. “Quantifying Complexity in Multimodal Media:
AlanMoore and the ‘Density’ of the Graphic Novel.” Digital Humanities, DH 2019,
2019.'
short: 'A. Dunst, R. Hartel, in: Digital Humanities, DH 2019, 2019.'
date_created: 2019-11-26T09:31:46Z
date_updated: 2022-01-06T06:52:16Z
department:
- _id: '69'
language:
- iso: eng
publication: Digital Humanities, DH 2019
status: public
title: 'Quantifying Complexity in Multimodal Media: AlanMoore and the “Density” of
the Graphic Novel'
type: conference_abstract
user_id: '14961'
year: '2019'
...
---
_id: '15235'
citation:
ama: 'Stein B, Wachsmuth H, eds. Proceedings of the 6th Workshop on Argument
Mining. Florence, Italy: Association for Computational Linguistics; 2019.'
apa: 'Stein, B., & Wachsmuth, H. (Eds.). (2019). Proceedings of the 6th Workshop
on Argument Mining. Florence, Italy: Association for Computational Linguistics.'
bibtex: '@book{Stein_Wachsmuth_2019, place={Florence, Italy}, title={Proceedings
of the 6th Workshop on Argument Mining}, publisher={Association for Computational
Linguistics}, year={2019} }'
chicago: 'Stein, Benno, and Henning Wachsmuth, eds. Proceedings of the 6th Workshop
on Argument Mining. Florence, Italy: Association for Computational Linguistics,
2019.'
ieee: 'B. Stein and H. Wachsmuth, Eds., Proceedings of the 6th Workshop on Argument
Mining. Florence, Italy: Association for Computational Linguistics, 2019.'
mla: Stein, Benno, and Henning Wachsmuth, editors. Proceedings of the 6th Workshop
on Argument Mining. Association for Computational Linguistics, 2019.
short: B. Stein, H. Wachsmuth, eds., Proceedings of the 6th Workshop on Argument
Mining, Association for Computational Linguistics, Florence, Italy, 2019.
date_created: 2019-12-01T15:04:50Z
date_updated: 2022-01-06T06:52:19Z
department:
- _id: '600'
editor:
- first_name: Benno
full_name: Stein, Benno
last_name: Stein
- first_name: Henning
full_name: Wachsmuth, Henning
id: '3900'
last_name: Wachsmuth
language:
- iso: eng
main_file_link:
- url: https://www.aclweb.org/anthology/W19-4500.pdf
place: Florence, Italy
publisher: Association for Computational Linguistics
status: public
title: Proceedings of the 6th Workshop on Argument Mining
type: conference_editor
user_id: '82920'
year: '2019'
...
---
_id: '15265'
citation:
ama: Linssen O, Mikusz M, Volland A, et al., eds. Projektmanagement und Vorgehensmodelle
2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen
im Wandel. Vol Volume P-298.; 2019.
apa: Linssen, O., Mikusz, M., Volland, A., Yigitbas, E., Engstler, M., Fazal-Baqaie,
M., & Kuhrmann, M. (Eds.). (2019). Projektmanagement und Vorgehensmodelle
2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen
im Wandel. (Vol. Volume P-298).
bibtex: '@book{Linssen_Mikusz_Volland_Yigitbas_Engstler_Fazal-Baqaie_Kuhrmann_2019,
series={Lecture Notes in Informatics (LNI) - Proceedings}, title={Projektmanagement
und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen
und Infrastrukturen im Wandel.}, volume={Volume P-298}, year={2019}, collection={Lecture
Notes in Informatics (LNI) - Proceedings} }'
chicago: Linssen, Oliver, Martin Mikusz, Alexander Volland, Enes Yigitbas, Martin
Engstler, Masud Fazal-Baqaie, and Marco Kuhrmann, eds. Projektmanagement und
Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen
und Infrastrukturen im Wandel. Vol. Volume P-298. Lecture Notes in Informatics
(LNI) - Proceedings, 2019.
ieee: O. Linssen et al., Eds., Projektmanagement und Vorgehensmodelle
2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen
im Wandel., vol. Volume P-298. 2019.
mla: Linssen, Oliver, et al., editors. Projektmanagement und Vorgehensmodelle
2019. Neue Vorgehensmodelle in Projekten – Führung, Kulturen und Infrastrukturen
im Wandel. Vol. Volume P-298, 2019.
short: O. Linssen, M. Mikusz, A. Volland, E. Yigitbas, M. Engstler, M. Fazal-Baqaie,
M. Kuhrmann, eds., Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle
in Projekten – Führung, Kulturen und Infrastrukturen im Wandel., 2019.
date_created: 2019-12-10T11:27:40Z
date_updated: 2022-01-06T06:52:20Z
department:
- _id: '66'
- _id: '534'
editor:
- first_name: Oliver
full_name: Linssen, Oliver
last_name: Linssen
- first_name: Martin
full_name: Mikusz, Martin
last_name: Mikusz
- first_name: Alexander
full_name: Volland, Alexander
last_name: Volland
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Martin
full_name: Engstler, Martin
last_name: Engstler
- first_name: Masud
full_name: Fazal-Baqaie, Masud
last_name: Fazal-Baqaie
- first_name: Marco
full_name: Kuhrmann, Marco
last_name: Kuhrmann
language:
- iso: ger
publication_identifier:
isbn:
- 978-3-88579-692-3
series_title: Lecture Notes in Informatics (LNI) - Proceedings
status: public
title: Projektmanagement und Vorgehensmodelle 2019. Neue Vorgehensmodelle in Projekten
– Führung, Kulturen und Infrastrukturen im Wandel.
type: book_editor
user_id: '8447'
volume: Volume P-298
year: '2019'
...
---
_id: '15946'
author:
- first_name: Jinay
full_name: Mehta, Jinay
last_name: Mehta
citation:
ama: "Mehta J. Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS
on a Recon\U0010FC03gurable System-on-Chip.; 2019."
apa: "Mehta, J. (2019). Multithreaded Software/Hardware Programming with ReconOS/freeRTOS
on a Recon\U0010FC03gurable System-on-Chip."
bibtex: "@book{Mehta_2019, title={Multithreaded Software/Hardware Programming with
ReconOS/freeRTOS on a Recon\U0010FC03gurable System-on-Chip}, author={Mehta, Jinay},
year={2019} }"
chicago: "Mehta, Jinay. Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS
on a Recon\U0010FC03gurable System-on-Chip, 2019."
ieee: "J. Mehta, Multithreaded Software/Hardware Programming with ReconOS/freeRTOS
on a Recon\U0010FC03gurable System-on-Chip. 2019."
mla: "Mehta, Jinay. Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS
on a Recon\U0010FC03gurable System-on-Chip. 2019."
short: "J. Mehta, Multithreaded Software/Hardware Programming with ReconOS/FreeRTOS
on a Recon\U0010FC03gurable System-on-Chip, 2019."
date_created: 2020-02-20T14:47:12Z
date_updated: 2022-01-06T06:52:41Z
department:
- _id: '78'
language:
- iso: eng
status: public
supervisor:
- first_name: Marco
full_name: Platzner, Marco
last_name: Platzner
title: "Multithreaded Software/Hardware Programming with ReconOS/freeRTOS on a Recon\U0010FC03gurable
System-on-Chip"
type: mastersthesis
user_id: '398'
year: '2019'
...
---
_id: '16215'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Simon
full_name: Doherty, Simon
last_name: Doherty
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. Verifying Correctness
of Persistent Concurrent Data Structures. In: H. ter Beek M, McIver A, N. Oliveira
J, eds. Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings. Vol 11800. Lecture Notes
in Computer Science. Springer; 2019:179-195. doi:10.1007/978-3-030-30942-8\_12'
apa: Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., & Wehrheim, H. (2019).
Verifying Correctness of Persistent Concurrent Data Structures. In M. H. ter Beek,
A. McIver, & J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years
- Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings
(Vol. 11800, pp. 179–195). Springer. https://doi.org/10.1007/978-3-030-30942-8\_12
bibtex: '@inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, series={Lecture
Notes in Computer Science}, title={Verifying Correctness of Persistent Concurrent
Data Structures}, volume={11800}, DOI={10.1007/978-3-030-30942-8\_12},
booktitle={Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings}, publisher={Springer}, author={Derrick,
John and Doherty, Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim,
Heike}, editor={H. ter Beek, Maurice and McIver, Annabelle and N. Oliveira, Jos{\’{e}}Editors},
year={2019}, pages={179–195}, collection={Lecture Notes in Computer Science} }'
chicago: Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike
Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.” In
Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto,
Portugal, October 7-11, 2019, Proceedings, edited by Maurice H. ter Beek,
Annabelle McIver, and Jos{\’{e}} N. Oliveira, 11800:179–95. Lecture Notes in Computer
Science. Springer, 2019. https://doi.org/10.1007/978-3-030-30942-8\_12.
ieee: J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “Verifying
Correctness of Persistent Concurrent Data Structures,” in Formal Methods -
The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October
7-11, 2019, Proceedings, 2019, vol. 11800, pp. 179–195.
mla: Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data
Structures.” Formal Methods - The Next 30 Years - Third World Congress, {FM}
2019, Porto, Portugal, October 7-11, 2019, Proceedings, edited by Maurice
H. ter Beek et al., vol. 11800, Springer, 2019, pp. 179–95, doi:10.1007/978-3-030-30942-8\_12.
short: 'J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: M. H.
ter Beek, A. McIver, J. N. Oliveira (Eds.), Formal Methods - The Next 30 Years
- Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019, Proceedings,
Springer, 2019, pp. 179–195.'
date_created: 2020-03-03T08:15:53Z
date_updated: 2022-01-06T06:52:45Z
department:
- _id: '34'
- _id: '77'
doi: 10.1007/978-3-030-30942-8\_12
editor:
- first_name: Maurice
full_name: H. ter Beek, Maurice
last_name: H. ter Beek
- first_name: Annabelle
full_name: McIver, Annabelle
last_name: McIver
- first_name: Jos{\'{e}}
full_name: N. Oliveira, Jos{\'{e}}
last_name: N. Oliveira
intvolume: ' 11800'
language:
- iso: eng
page: 179-195
publication: Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Verifying Correctness of Persistent Concurrent Data Structures
type: conference
user_id: '29719'
volume: 11800
year: '2019'
...
---
_id: '16216'
author:
- first_name: Alessandra
full_name: Russo, Alessandra
last_name: Russo
- first_name: Andy
full_name: Schürr, Andy
last_name: Schürr
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Russo A, Schürr A, Wehrheim H. Editorial. Formal Asp Comput. 2019;31(5):457-458.
doi:10.1007/s00165-019-00495-y
apa: Russo, A., Schürr, A., & Wehrheim, H. (2019). Editorial. Formal Asp.
Comput., 31(5), 457–458. https://doi.org/10.1007/s00165-019-00495-y
bibtex: '@article{Russo_Schürr_Wehrheim_2019, title={Editorial}, volume={31}, DOI={10.1007/s00165-019-00495-y},
number={5}, journal={Formal Asp. Comput.}, author={Russo, Alessandra and Schürr,
Andy and Wehrheim, Heike}, year={2019}, pages={457–458} }'
chicago: 'Russo, Alessandra, Andy Schürr, and Heike Wehrheim. “Editorial.” Formal
Asp. Comput. 31, no. 5 (2019): 457–58. https://doi.org/10.1007/s00165-019-00495-y.'
ieee: A. Russo, A. Schürr, and H. Wehrheim, “Editorial,” Formal Asp. Comput.,
vol. 31, no. 5, pp. 457–458, 2019.
mla: Russo, Alessandra, et al. “Editorial.” Formal Asp. Comput., vol. 31,
no. 5, 2019, pp. 457–58, doi:10.1007/s00165-019-00495-y.
short: A. Russo, A. Schürr, H. Wehrheim, Formal Asp. Comput. 31 (2019) 457–458.
date_created: 2020-03-03T08:17:44Z
date_updated: 2022-01-06T06:52:45Z
department:
- _id: '34'
- _id: '77'
doi: 10.1007/s00165-019-00495-y
intvolume: ' 31'
issue: '5'
language:
- iso: eng
page: 457-458
publication: Formal Asp. Comput.
status: public
title: Editorial
type: journal_article
user_id: '29719'
volume: 31
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: '16275'
author:
- first_name: Antonia
full_name: Franke-Wiekhorst, Antonia
last_name: Franke-Wiekhorst
- first_name: Christine
full_name: Günther, Christine
last_name: Günther
- first_name: Karen
full_name: Brünger, Karen
last_name: Brünger
- first_name: Johannes
full_name: Magenheim, Johannes
last_name: Magenheim
- first_name: Ralf
full_name: Romeike, Ralf
last_name: Romeike
citation:
ama: 'Franke-Wiekhorst A, Günther C, Brünger K, Magenheim J, Romeike R. „Der Informatikkreis
“: Kinder von drei bis zehn Jahren beim Forschen in Informatik begleiten - ein
methodisch-didaktisches Material. GdSU-Journal,(9). 2019:10-21.'
apa: 'Franke-Wiekhorst, A., Günther, C., Brünger, K., Magenheim, J., & Romeike,
R. (2019). „Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen
in Informatik begleiten - ein methodisch-didaktisches Material. GdSU-Journal,(9),
10–21.'
bibtex: '@article{Franke-Wiekhorst_Günther_Brünger_Magenheim_Romeike_2019, title={„Der
Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik
begleiten - ein methodisch-didaktisches Material}, journal={GdSU-Journal,(9)},
author={Franke-Wiekhorst, Antonia and Günther, Christine and Brünger, Karen and
Magenheim, Johannes and Romeike, Ralf}, year={2019}, pages={10–21} }'
chicago: 'Franke-Wiekhorst, Antonia, Christine Günther, Karen Brünger, Johannes
Magenheim, and Ralf Romeike. “„Der Informatikkreis “: Kinder von drei bis zehn
Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches Material.”
GdSU-Journal,(9), 2019, 10–21.'
ieee: 'A. Franke-Wiekhorst, C. Günther, K. Brünger, J. Magenheim, and R. Romeike,
“„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik
begleiten - ein methodisch-didaktisches Material,” GdSU-Journal,(9), pp.
10–21, 2019.'
mla: 'Franke-Wiekhorst, Antonia, et al. “„Der Informatikkreis “: Kinder von drei
bis zehn Jahren beim Forschen in Informatik begleiten - ein methodisch-didaktisches
Material.” GdSU-Journal,(9), 2019, pp. 10–21.'
short: A. Franke-Wiekhorst, C. Günther, K. Brünger, J. Magenheim, R. Romeike, GdSU-Journal,(9)
(2019) 10–21.
date_created: 2020-03-09T14:27:22Z
date_updated: 2022-01-06T06:52:47Z
department:
- _id: '67'
language:
- iso: ger
page: 10-21
publication: GdSU-Journal,(9)
status: public
title: '„Der Informatikkreis “: Kinder von drei bis zehn Jahren beim Forschen in Informatik
begleiten - ein methodisch-didaktisches Material'
type: journal_article
user_id: '21145'
year: '2019'
...
---
_id: '16341'
abstract:
- lang: eng
text: "We present a technique for rendering highly complex 3D scenes in real-time
by\r\ngenerating uniformly distributed points on the scene's visible surfaces.
The\r\ntechnique is applicable to a wide range of scene types, like scenes directly\r\nbased
on complex and detailed CAD data consisting of billions of polygons (in\r\ncontrast
to scenes handcrafted solely for visualization). This allows to\r\nvisualize such
scenes smoothly even in VR on a HMD with good image quality,\r\nwhile maintaining
the necessary frame-rates. In contrast to other point based\r\nrendering methods,
we place points in an approximated blue noise distribution\r\nonly on visible
surfaces and store them in a highly GPU efficient data\r\nstructure, allowing
to progressively refine the number of rendered points to\r\nmaximize the image
quality for a given target frame rate. Our evaluation shows\r\nthat scenes consisting
of a high amount of polygons can be rendered with\r\ninteractive frame rates with
good visual quality on standard hardware."
author:
- first_name: Sascha
full_name: Brandt, Sascha
id: '11648'
last_name: Brandt
orcid: 0000-0003-3546-203X
- first_name: Claudius
full_name: Jähn, Claudius
last_name: Jähn
- first_name: Matthias
full_name: Fischer, Matthias
id: '146'
last_name: Fischer
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: Brandt S, Jähn C, Fischer M, Meyer auf der Heide F. Rendering of Complex Heterogenous
Scenes using Progressive Blue Surfels. arXiv:190408225. 2019.
apa: Brandt, S., Jähn, C., Fischer, M., & Meyer auf der Heide, F. (2019). Rendering
of Complex Heterogenous Scenes using Progressive Blue Surfels. ArXiv:1904.08225.
bibtex: '@article{Brandt_Jähn_Fischer_Meyer auf der Heide_2019, title={Rendering
of Complex Heterogenous Scenes using Progressive Blue Surfels}, journal={arXiv:1904.08225},
author={Brandt, Sascha and Jähn, Claudius and Fischer, Matthias and Meyer auf
der Heide, Friedhelm}, year={2019} }'
chicago: Brandt, Sascha, Claudius Jähn, Matthias Fischer, and Friedhelm Meyer auf
der Heide. “Rendering of Complex Heterogenous Scenes Using Progressive Blue Surfels.”
ArXiv:1904.08225, 2019.
ieee: S. Brandt, C. Jähn, M. Fischer, and F. Meyer auf der Heide, “Rendering of
Complex Heterogenous Scenes using Progressive Blue Surfels,” arXiv:1904.08225.
2019.
mla: Brandt, Sascha, et al. “Rendering of Complex Heterogenous Scenes Using Progressive
Blue Surfels.” ArXiv:1904.08225, 2019.
short: S. Brandt, C. Jähn, M. Fischer, F. Meyer auf der Heide, ArXiv:1904.08225
(2019).
date_created: 2020-03-24T08:59:44Z
date_updated: 2022-01-06T06:52:49Z
department:
- _id: '63'
external_id:
arxiv:
- '1904.08225'
language:
- iso: eng
main_file_link:
- open_access: '1'
oa: '1'
publication: arXiv:1904.08225
status: public
title: Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels
type: preprint
user_id: '15415'
year: '2019'
...
---
_id: '16361'
abstract:
- lang: ger
text: Sinnvolle und gebrauchstaugliche digitale Assistenzsysteme, die Beschäftigte
bei ihren alltäglichen Aufgaben unterstützen, stellen eine Herausforderung für
viele Organisationen hinsichtlich der individuellen und organisationalen Akzeptanz
einschließlich der Gebrauchstauglichkeit (Usability), dem Benutzererlebnis (User
Experience, UX) und „Arbeit 4.0“-Aspekten dar. Vorhandene Methoden des Software
Engineering sind nicht geeignet, Beschäftigte angemessen in die Gestaltung und
Entwicklung zu integrieren und Lösungskonzepte solcher Systeme auf Augenhöhe zu
betrachten. In diesem Beitrag wird eine leichtgewichtige Canvas-Methode vorgestellt,
die sich mit diesen Herausforderungen befasst. Sie umfasst die menschliche, die
geschäftliche sowie die technologische Perspektive in einem gemeinsamen Kommunikationsinstrument,
dem „Digital Assistance System Canvas“. Erste Evaluationen zeigen, dass die Teilnehmenden
das Canvas-Konzept schätzen und die Methode vielseitig in verschiedenen Szenarien
einsetzbar ist. Vielfältige Fragen in den Canvas-Bausteinen bereichern die gemeinsame
Diskussion über neue Systeme und die Verbesserung bzw. Sicherstellung der Akzeptanz
sowie die Denkweise in frühen Phasen des Design- und Entwicklungsprozesses.
author:
- first_name: Holger Gerhard
full_name: Fischer, Holger Gerhard
id: '30457'
last_name: Fischer
- first_name: Florian
full_name: Rittmeier, Florian
id: '5281'
last_name: Rittmeier
- first_name: Thim Frederik
full_name: Strothmann, Thim Frederik
id: '11319'
last_name: Strothmann
- first_name: Nina
full_name: Schwenniger, Nina
last_name: Schwenniger
citation:
ama: 'Fischer HG, Rittmeier F, Strothmann TF, Schwenniger N. Partizipation von Beschäftigten
in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.
In: Bosse CK, Zink KJ, eds. Arbeit 4.0 im Mittelstand. Berlin, Heidelberg:
Springer Gabler; 2019. doi:10.1007/978-3-662-59474-2_11'
apa: 'Fischer, H. G., Rittmeier, F., Strothmann, T. F., & Schwenniger, N. (2019).
Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt
4.0 mittels einer Canvas-Methode. In C. K. Bosse & K. J. Zink (Eds.), Arbeit
4.0 im Mittelstand. Berlin, Heidelberg: Springer Gabler. https://doi.org/10.1007/978-3-662-59474-2_11'
bibtex: '@inbook{Fischer_Rittmeier_Strothmann_Schwenniger_2019, place={Berlin, Heidelberg},
title={Partizipation von Beschäftigten in der Gestaltung einer digitalisierten
Arbeitswelt 4.0 mittels einer Canvas-Methode}, DOI={10.1007/978-3-662-59474-2_11},
booktitle={Arbeit 4.0 im Mittelstand}, publisher={Springer Gabler}, author={Fischer,
Holger Gerhard and Rittmeier, Florian and Strothmann, Thim Frederik and Schwenniger,
Nina}, editor={Bosse, Christian K. and Zink, Klaus J.Editors}, year={2019} }'
chicago: 'Fischer, Holger Gerhard, Florian Rittmeier, Thim Frederik Strothmann,
and Nina Schwenniger. “Partizipation von Beschäftigten in der Gestaltung einer
digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.” In Arbeit 4.0
im Mittelstand, edited by Christian K. Bosse and Klaus J. Zink. Berlin, Heidelberg:
Springer Gabler, 2019. https://doi.org/10.1007/978-3-662-59474-2_11.'
ieee: 'H. G. Fischer, F. Rittmeier, T. F. Strothmann, and N. Schwenniger, “Partizipation
von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt 4.0 mittels
einer Canvas-Methode,” in Arbeit 4.0 im Mittelstand, C. K. Bosse and K.
J. Zink, Eds. Berlin, Heidelberg: Springer Gabler, 2019.'
mla: Fischer, Holger Gerhard, et al. “Partizipation von Beschäftigten in der Gestaltung
einer digitalisierten Arbeitswelt 4.0 mittels einer Canvas-Methode.” Arbeit
4.0 im Mittelstand, edited by Christian K. Bosse and Klaus J. Zink, Springer
Gabler, 2019, doi:10.1007/978-3-662-59474-2_11.
short: 'H.G. Fischer, F. Rittmeier, T.F. Strothmann, N. Schwenniger, in: C.K. Bosse,
K.J. Zink (Eds.), Arbeit 4.0 im Mittelstand, Springer Gabler, Berlin, Heidelberg,
2019.'
date_created: 2020-04-01T15:34:53Z
date_updated: 2022-01-06T06:52:49Z
department:
- _id: '66'
- _id: '534'
doi: 10.1007/978-3-662-59474-2_11
editor:
- first_name: Christian K.
full_name: Bosse, Christian K.
last_name: Bosse
- first_name: Klaus J.
full_name: Zink, Klaus J.
last_name: Zink
language:
- iso: ger
place: Berlin, Heidelberg
publication: Arbeit 4.0 im Mittelstand
publication_identifier:
isbn:
- '9783662594735'
- '9783662594742'
publication_status: published
publisher: Springer Gabler
status: public
title: Partizipation von Beschäftigten in der Gestaltung einer digitalisierten Arbeitswelt
4.0 mittels einer Canvas-Methode
type: book_chapter
user_id: '5281'
year: '2019'
...
---
_id: '13872'
author:
- first_name: Dirk
full_name: Beyer, Dirk
last_name: Beyer
- first_name: Marie-Christine
full_name: Jakobs, Marie-Christine
last_name: Jakobs
citation:
ama: 'Beyer D, Jakobs M-C. CoVeriTest: Cooperative Verifier-Based Testing. In: Fundamental
Approaches to Software Engineering. Cham; 2019. doi:10.1007/978-3-030-16722-6_23'
apa: 'Beyer, D., & Jakobs, M.-C. (2019). CoVeriTest: Cooperative Verifier-Based
Testing. In Fundamental Approaches to Software Engineering. Cham. https://doi.org/10.1007/978-3-030-16722-6_23'
bibtex: '@inbook{Beyer_Jakobs_2019, place={Cham}, title={CoVeriTest: Cooperative
Verifier-Based Testing}, DOI={10.1007/978-3-030-16722-6_23},
booktitle={Fundamental Approaches to Software Engineering}, author={Beyer, Dirk
and Jakobs, Marie-Christine}, year={2019} }'
chicago: 'Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based
Testing.” In Fundamental Approaches to Software Engineering. Cham, 2019.
https://doi.org/10.1007/978-3-030-16722-6_23.'
ieee: 'D. Beyer and M.-C. Jakobs, “CoVeriTest: Cooperative Verifier-Based Testing,”
in Fundamental Approaches to Software Engineering, Cham, 2019.'
mla: 'Beyer, Dirk, and Marie-Christine Jakobs. “CoVeriTest: Cooperative Verifier-Based
Testing.” Fundamental Approaches to Software Engineering, 2019, doi:10.1007/978-3-030-16722-6_23.'
short: 'D. Beyer, M.-C. Jakobs, in: Fundamental Approaches to Software Engineering,
Cham, 2019.'
date_created: 2019-10-16T06:39:51Z
date_updated: 2022-01-06T06:51:45Z
department:
- _id: '77'
doi: 10.1007/978-3-030-16722-6_23
language:
- iso: eng
place: Cham
project:
- _id: '85'
name: Kooperative Softwareverifikation
publication: Fundamental Approaches to Software Engineering
publication_identifier:
isbn:
- '9783030167219'
- '9783030167226'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: 'CoVeriTest: Cooperative Verifier-Based Testing'
type: book_chapter
user_id: '44413'
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: '13937'
author:
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Meyer auf der Heide F. Paul Curzon, Peter W. McOwan: Computational Thinking;
Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln. Mathematische
Semesterberichte. 2019;66(2):259-260. doi:10.1007/s00591-019-00249-0'
apa: 'Meyer auf der Heide, F. (2019). Paul Curzon, Peter W. McOwan: Computational
Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und
Rätseln. Mathematische Semesterberichte, 66(2), 259–260. https://doi.org/10.1007/s00591-019-00249-0'
bibtex: '@article{Meyer auf der Heide_2019, title={Paul Curzon, Peter W. McOwan:
Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks
und Rätseln}, volume={66}, DOI={10.1007/s00591-019-00249-0},
number={2}, journal={Mathematische Semesterberichte}, author={Meyer auf der Heide,
Friedhelm}, year={2019}, pages={259–260} }'
chicago: 'Meyer auf der Heide, Friedhelm. “Paul Curzon, Peter W. McOwan: Computational
Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und
Rätseln.” Mathematische Semesterberichte 66, no. 2 (2019): 259–60. https://doi.org/10.1007/s00591-019-00249-0.'
ieee: 'F. Meyer auf der Heide, “Paul Curzon, Peter W. McOwan: Computational Thinking;
Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln,”
Mathematische Semesterberichte, vol. 66, no. 2, pp. 259–260, 2019.'
mla: 'Meyer auf der Heide, Friedhelm. “Paul Curzon, Peter W. McOwan: Computational
Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und
Rätseln.” Mathematische Semesterberichte, vol. 66, no. 2, 2019, pp. 259–60,
doi:10.1007/s00591-019-00249-0.'
short: F. Meyer auf der Heide, Mathematische Semesterberichte 66 (2019) 259–260.
date_created: 2019-10-21T08:54:14Z
date_updated: 2022-01-06T06:51:47Z
department:
- _id: '63'
doi: 10.1007/s00591-019-00249-0
intvolume: ' 66'
issue: '2'
language:
- iso: ger
page: 259-260
publication: Mathematische Semesterberichte
publication_status: published
status: public
title: 'Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen
Denkens – in Spielen, Zaubertricks und Rätseln'
type: journal_article
user_id: '15415'
volume: 66
year: '2019'
...
---
_id: '13939'
author:
- first_name: Peter
full_name: Kling, Peter
last_name: Kling
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Kling P, Meyer auf der Heide F. Continuous Protocols for Swarm Robotics. In:
Distributed Computing by Mobile Entities, Current Research in Moving and Computing.
Vol 11340. Lecture Notes in Computer Science. Springer; 2019:317-334. doi:10.1007/978-3-030-11072-7\_13'
apa: Kling, P., & Meyer auf der Heide, F. (2019). Continuous Protocols for Swarm
Robotics. In Distributed Computing by Mobile Entities, Current Research in
Moving and Computing (Vol. 11340, pp. 317–334). Springer. https://doi.org/10.1007/978-3-030-11072-7\_13
bibtex: '@inbook{Kling_Meyer auf der Heide_2019, series={Lecture Notes in Computer
Science}, title={Continuous Protocols for Swarm Robotics}, volume={11340}, DOI={10.1007/978-3-030-11072-7\_13},
booktitle={Distributed Computing by Mobile Entities, Current Research in Moving
and Computing}, publisher={Springer}, author={Kling, Peter and Meyer auf der Heide,
Friedhelm}, year={2019}, pages={317–334}, collection={Lecture Notes in Computer
Science} }'
chicago: Kling, Peter, and Friedhelm Meyer auf der Heide. “Continuous Protocols
for Swarm Robotics.” In Distributed Computing by Mobile Entities, Current Research
in Moving and Computing, 11340:317–34. Lecture Notes in Computer Science.
Springer, 2019. https://doi.org/10.1007/978-3-030-11072-7\_13.
ieee: P. Kling and F. Meyer auf der Heide, “Continuous Protocols for Swarm Robotics,”
in Distributed Computing by Mobile Entities, Current Research in Moving and
Computing, vol. 11340, Springer, 2019, pp. 317–334.
mla: Kling, Peter, and Friedhelm Meyer auf der Heide. “Continuous Protocols for
Swarm Robotics.” Distributed Computing by Mobile Entities, Current Research
in Moving and Computing, vol. 11340, Springer, 2019, pp. 317–34, doi:10.1007/978-3-030-11072-7\_13.
short: 'P. Kling, F. Meyer auf der Heide, in: Distributed Computing by Mobile Entities,
Current Research in Moving and Computing, Springer, 2019, pp. 317–334.'
date_created: 2019-10-21T13:20:43Z
date_updated: 2022-01-06T06:51:47Z
department:
- _id: '63'
doi: 10.1007/978-3-030-11072-7\_13
intvolume: ' 11340'
language:
- iso: eng
page: 317-334
publication: Distributed Computing by Mobile Entities, Current Research in Moving
and Computing
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Continuous Protocols for Swarm Robotics
type: book_chapter
user_id: '15415'
volume: 11340
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: '13993'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Simon
full_name: Doherty, Simon
last_name: Doherty
- first_name: Brijesh
full_name: Dongol, Brijesh
last_name: Dongol
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Doherty S, Dongol B, Schellhorn G, Wehrheim H. Verifying Correctness
of Persistent Concurrent Data Structures. In: Formal Methods - The Next 30
Years - Third World Congress, {FM} 2019, Porto, Portugal, October 7-11, 2019,
Proceedings. ; 2019:179-195. doi:10.1007/978-3-030-30942-8\_12'
apa: Derrick, J., Doherty, S., Dongol, B., Schellhorn, G., & Wehrheim, H. (2019).
Verifying Correctness of Persistent Concurrent Data Structures. In Formal Methods
- The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October
7-11, 2019, Proceedings (pp. 179–195). https://doi.org/10.1007/978-3-030-30942-8\_12
bibtex: '@inproceedings{Derrick_Doherty_Dongol_Schellhorn_Wehrheim_2019, title={Verifying
Correctness of Persistent Concurrent Data Structures}, DOI={10.1007/978-3-030-30942-8\_12},
booktitle={Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings}, author={Derrick, John and Doherty,
Simon and Dongol, Brijesh and Schellhorn, Gerhard and Wehrheim, Heike}, year={2019},
pages={179–195} }'
chicago: Derrick, John, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike
Wehrheim. “Verifying Correctness of Persistent Concurrent Data Structures.” In
Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto,
Portugal, October 7-11, 2019, Proceedings, 179–95, 2019. https://doi.org/10.1007/978-3-030-30942-8\_12.
ieee: J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, and H. Wehrheim, “Verifying
Correctness of Persistent Concurrent Data Structures,” in Formal Methods -
The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal, October
7-11, 2019, Proceedings, 2019, pp. 179–195.
mla: Derrick, John, et al. “Verifying Correctness of Persistent Concurrent Data
Structures.” Formal Methods - The Next 30 Years - Third World Congress, {FM}
2019, Porto, Portugal, October 7-11, 2019, Proceedings, 2019, pp. 179–95,
doi:10.1007/978-3-030-30942-8\_12.
short: 'J. Derrick, S. Doherty, B. Dongol, G. Schellhorn, H. Wehrheim, in: Formal
Methods - The Next 30 Years - Third World Congress, {FM} 2019, Porto, Portugal,
October 7-11, 2019, Proceedings, 2019, pp. 179–195.'
date_created: 2019-10-24T08:20:28Z
date_updated: 2022-01-06T06:51:48Z
department:
- _id: '77'
doi: 10.1007/978-3-030-30942-8\_12
language:
- iso: eng
page: 179-195
project:
- _id: '78'
name: Validation of Software Transactional Memory
publication: Formal Methods - The Next 30 Years - Third World Congress, {FM} 2019,
Porto, Portugal, October 7-11, 2019, Proceedings
status: public
title: Verifying Correctness of Persistent Concurrent Data Structures
type: conference
user_id: '29719'
year: '2019'
...
---
_id: '14025'
author:
- first_name: Nils
full_name: Weidmann, Nils
id: '53103'
last_name: Weidmann
- first_name: Robin
full_name: Oppermann, Robin
last_name: Oppermann
- first_name: Patrick
full_name: Robrecht, Patrick
last_name: Robrecht
citation:
ama: 'Weidmann N, Oppermann R, Robrecht P. A feature-based classification of triple
graph grammar variants. In: Nierstrasz O, Gray J, Oliveira B, eds. Proceedings
of the 12th ACM SIGPLAN International Conference on Software Language Engineering
- SLE 2019. ACM; 2019. doi:10.1145/3357766.3359529'
apa: 'Weidmann, N., Oppermann, R., & Robrecht, P. (2019). A feature-based classification
of triple graph grammar variants. In O. Nierstrasz, J. Gray, & B. Oliveira
(Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software
Language Engineering - SLE 2019. Athens, Greece: ACM. https://doi.org/10.1145/3357766.3359529'
bibtex: '@inproceedings{Weidmann_Oppermann_Robrecht_2019, title={A feature-based
classification of triple graph grammar variants}, DOI={10.1145/3357766.3359529},
booktitle={Proceedings of the 12th ACM SIGPLAN International Conference on Software
Language Engineering - SLE 2019}, publisher={ACM}, author={Weidmann, Nils and
Oppermann, Robin and Robrecht, Patrick}, editor={Nierstrasz, Oscar and Gray, Jeff
and Oliveira, BrunoEditors}, year={2019} }'
chicago: Weidmann, Nils, Robin Oppermann, and Patrick Robrecht. “A Feature-Based
Classification of Triple Graph Grammar Variants.” In Proceedings of the 12th
ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019,
edited by Oscar Nierstrasz, Jeff Gray, and Bruno Oliveira. ACM, 2019. https://doi.org/10.1145/3357766.3359529.
ieee: N. Weidmann, R. Oppermann, and P. Robrecht, “A feature-based classification
of triple graph grammar variants,” in Proceedings of the 12th ACM SIGPLAN International
Conference on Software Language Engineering - SLE 2019, Athens, Greece, 2019.
mla: Weidmann, Nils, et al. “A Feature-Based Classification of Triple Graph Grammar
Variants.” Proceedings of the 12th ACM SIGPLAN International Conference on
Software Language Engineering - SLE 2019, edited by Oscar Nierstrasz et al.,
ACM, 2019, doi:10.1145/3357766.3359529.
short: 'N. Weidmann, R. Oppermann, P. Robrecht, in: O. Nierstrasz, J. Gray, B. Oliveira
(Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Software
Language Engineering - SLE 2019, ACM, 2019.'
conference:
end_date: 2019-10-22
location: Athens, Greece
name: 12th ACM SIGPLAN International Conference on Software Language Engineering
start_date: 2019-10-20
date_created: 2019-10-30T11:31:00Z
date_updated: 2022-01-06T06:51:52Z
department:
- _id: '28'
- _id: '66'
- _id: '534'
doi: 10.1145/3357766.3359529
editor:
- first_name: Oscar
full_name: Nierstrasz, Oscar
last_name: Nierstrasz
- first_name: Jeff
full_name: Gray, Jeff
last_name: Gray
- first_name: Bruno
full_name: Oliveira, Bruno
last_name: Oliveira
language:
- iso: eng
publication: Proceedings of the 12th ACM SIGPLAN International Conference on Software
Language Engineering - SLE 2019
publication_identifier:
isbn:
- '9781450369817'
publication_status: published
publisher: ACM
status: public
title: A feature-based classification of triple graph grammar variants
type: conference
user_id: '53103'
year: '2019'
...