---
_id: '5764'
author:
- first_name: Robert
full_name: Gmyr, Robert
last_name: Gmyr
- first_name: Kristian
full_name: Hinnenthal, Kristian
id: '32229'
last_name: Hinnenthal
- first_name: Irina
full_name: Kostitsyna, Irina
last_name: Kostitsyna
- first_name: Fabian
full_name: Kuhn, Fabian
last_name: Kuhn
- first_name: Dorian
full_name: Rudolph, Dorian
last_name: Rudolph
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Thim Frederik
full_name: Strothmann, Thim Frederik
id: '11319'
last_name: Strothmann
citation:
ama: 'Gmyr R, Hinnenthal K, Kostitsyna I, et al. Forming Tile Shapes with Simple
Robots. In: Proceedings of the 24th International Conference on DNA Computing
and Molecular Programming. Springer International Publishing; 2018:122-138.
doi:10.1007/978-3-030-00030-1_8'
apa: Gmyr, R., Hinnenthal, K., Kostitsyna, I., Kuhn, F., Rudolph, D., Scheideler,
C., & Strothmann, T. F. (2018). Forming Tile Shapes with Simple Robots. In
Proceedings of the 24th International Conference on DNA Computing and Molecular
Programming (pp. 122–138). Springer International Publishing. https://doi.org/10.1007/978-3-030-00030-1_8
bibtex: '@inproceedings{Gmyr_Hinnenthal_Kostitsyna_Kuhn_Rudolph_Scheideler_Strothmann_2018,
title={Forming Tile Shapes with Simple Robots}, DOI={10.1007/978-3-030-00030-1_8},
booktitle={Proceedings of the 24th International Conference on DNA Computing and
Molecular Programming}, publisher={Springer International Publishing}, author={Gmyr,
Robert and Hinnenthal, Kristian and Kostitsyna, Irina and Kuhn, Fabian and Rudolph,
Dorian and Scheideler, Christian and Strothmann, Thim Frederik}, year={2018},
pages={122–138} }'
chicago: Gmyr, Robert, Kristian Hinnenthal, Irina Kostitsyna, Fabian Kuhn, Dorian
Rudolph, Christian Scheideler, and Thim Frederik Strothmann. “Forming Tile Shapes
with Simple Robots.” In Proceedings of the 24th International Conference on
DNA Computing and Molecular Programming, 122–38. Springer International Publishing,
2018. https://doi.org/10.1007/978-3-030-00030-1_8.
ieee: R. Gmyr et al., “Forming Tile Shapes with Simple Robots,” in Proceedings
of the 24th International Conference on DNA Computing and Molecular Programming,
2018, pp. 122–138.
mla: Gmyr, Robert, et al. “Forming Tile Shapes with Simple Robots.” Proceedings
of the 24th International Conference on DNA Computing and Molecular Programming,
Springer International Publishing, 2018, pp. 122–38, doi:10.1007/978-3-030-00030-1_8.
short: 'R. Gmyr, K. Hinnenthal, I. Kostitsyna, F. Kuhn, D. Rudolph, C. Scheideler,
T.F. Strothmann, in: Proceedings of the 24th International Conference on DNA Computing
and Molecular Programming, Springer International Publishing, 2018, pp. 122–138.'
date_created: 2018-11-19T15:35:45Z
date_updated: 2022-01-06T07:02:38Z
department:
- _id: '79'
- _id: '66'
doi: 10.1007/978-3-030-00030-1_8
language:
- iso: eng
page: 122-138
publication: Proceedings of the 24th International Conference on DNA Computing and
Molecular Programming
publication_status: published
publisher: Springer International Publishing
status: public
title: Forming Tile Shapes with Simple Robots
type: conference
user_id: '11319'
year: '2018'
...
---
_id: '5774'
abstract:
- lang: eng
text: Information flow analysis investigates the flow of data in applications, checking
in particular for flows from private sources to public sinks. Flow- and path-sensitive
analyses are, however, often too costly to be performed every time a security-critical
application is run. In this paper, we propose a variant of proof carrying code
for information flow security. To this end, we develop information flow (IF) certificates
which get attached to programs as well as a method for IF certificate validation.
We prove soundness of our technique, i.e., show it to be tamper-free. The technique
is implemented within the program analysis tool CPAchecker. Our experiments confirm
that the use of certificates pays off for costly analysis runs.
author:
- first_name: Manuel
full_name: Töws, Manuel
id: '11315'
last_name: Töws
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Töws M, Wehrheim H. Information Flow Certificates. In: Theoretical Aspects
of Computing – ICTAC 2018. Cham: Springer International Publishing; 2018:435-454.
doi:10.1007/978-3-030-02508-3_23'
apa: 'Töws, M., & Wehrheim, H. (2018). Information Flow Certificates. In Theoretical
Aspects of Computing – ICTAC 2018 (pp. 435–454). Cham: Springer International
Publishing. https://doi.org/10.1007/978-3-030-02508-3_23'
bibtex: '@inproceedings{Töws_Wehrheim_2018, place={Cham}, title={Information Flow
Certificates}, DOI={10.1007/978-3-030-02508-3_23},
booktitle={Theoretical Aspects of Computing – ICTAC 2018}, publisher={Springer
International Publishing}, author={Töws, Manuel and Wehrheim, Heike}, year={2018},
pages={435–454} }'
chicago: 'Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.” In
Theoretical Aspects of Computing – ICTAC 2018, 435–54. Cham: Springer International
Publishing, 2018. https://doi.org/10.1007/978-3-030-02508-3_23.'
ieee: M. Töws and H. Wehrheim, “Information Flow Certificates,” in Theoretical
Aspects of Computing – ICTAC 2018, 2018, pp. 435–454.
mla: Töws, Manuel, and Heike Wehrheim. “Information Flow Certificates.” Theoretical
Aspects of Computing – ICTAC 2018, Springer International Publishing, 2018,
pp. 435–54, doi:10.1007/978-3-030-02508-3_23.
short: 'M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018,
Springer International Publishing, Cham, 2018, pp. 435–454.'
date_created: 2018-11-21T09:51:37Z
date_updated: 2022-01-06T07:02:40Z
ddc:
- '000'
department:
- _id: '77'
doi: 10.1007/978-3-030-02508-3_23
file:
- access_level: closed
content_type: application/pdf
creator: mtoews
date_created: 2018-11-26T15:11:32Z
date_updated: 2018-11-26T15:11:32Z
file_id: '5837'
file_name: Töws-Wehrheim2018_Chapter_InformationFlowCertificates.pdf
file_size: 518016
relation: main_file
success: 1
file_date_updated: 2018-11-26T15:11:32Z
has_accepted_license: '1'
language:
- iso: eng
page: 435-454
place: Cham
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '12'
name: SFB 901 - Subproject B4
publication: Theoretical Aspects of Computing – ICTAC 2018
publication_identifier:
isbn:
- '9783030025076'
- '9783030025083'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: Information Flow Certificates
type: conference
user_id: '477'
year: '2018'
...
---
_id: '5796'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Thim Frederik
full_name: Strothmann, Thim Frederik
id: '11319'
last_name: Strothmann
- first_name: Alexander
full_name: Teetz, Alexander
last_name: Teetz
citation:
ama: 'Engels G, Strothmann TF, Teetz A. Adapt Cases 4 BPM - A Modeling Framework
for Process Flexibility in IIoT. In: 2018 IEEE 22nd International Enterprise
Distributed Object Computing Workshop (EDOCW). IEEE; 2018. doi:10.1109/edocw.2018.00020'
apa: Engels, G., Strothmann, T. F., & Teetz, A. (2018). Adapt Cases 4 BPM -
A Modeling Framework for Process Flexibility in IIoT. In 2018 IEEE 22nd International
Enterprise Distributed Object Computing Workshop (EDOCW). IEEE. https://doi.org/10.1109/edocw.2018.00020
bibtex: '@inproceedings{Engels_Strothmann_Teetz_2018, title={Adapt Cases 4 BPM -
A Modeling Framework for Process Flexibility in IIoT}, DOI={10.1109/edocw.2018.00020},
booktitle={2018 IEEE 22nd International Enterprise Distributed Object Computing
Workshop (EDOCW)}, publisher={IEEE}, author={Engels, Gregor and Strothmann, Thim
Frederik and Teetz, Alexander}, year={2018} }'
chicago: Engels, Gregor, Thim Frederik Strothmann, and Alexander Teetz. “Adapt Cases
4 BPM - A Modeling Framework for Process Flexibility in IIoT.” In 2018 IEEE
22nd International Enterprise Distributed Object Computing Workshop (EDOCW).
IEEE, 2018. https://doi.org/10.1109/edocw.2018.00020.
ieee: G. Engels, T. F. Strothmann, and A. Teetz, “Adapt Cases 4 BPM - A Modeling
Framework for Process Flexibility in IIoT,” in 2018 IEEE 22nd International
Enterprise Distributed Object Computing Workshop (EDOCW), 2018.
mla: Engels, Gregor, et al. “Adapt Cases 4 BPM - A Modeling Framework for Process
Flexibility in IIoT.” 2018 IEEE 22nd International Enterprise Distributed Object
Computing Workshop (EDOCW), IEEE, 2018, doi:10.1109/edocw.2018.00020.
short: 'G. Engels, T.F. Strothmann, A. Teetz, in: 2018 IEEE 22nd International Enterprise
Distributed Object Computing Workshop (EDOCW), IEEE, 2018.'
date_created: 2018-11-21T12:45:53Z
date_updated: 2022-01-06T07:02:41Z
department:
- _id: '66'
doi: 10.1109/edocw.2018.00020
language:
- iso: eng
publication: 2018 IEEE 22nd International Enterprise Distributed Object Computing
Workshop (EDOCW)
publication_identifier:
isbn:
- '9781538641415'
publication_status: published
publisher: IEEE
status: public
title: Adapt Cases 4 BPM - A Modeling Framework for Process Flexibility in IIoT
type: conference
user_id: '11319'
year: '2018'
...
---
_id: '5816'
author:
- first_name: Nils
full_name: Weidmann, Nils
id: '53103'
last_name: Weidmann
citation:
ama: 'Weidmann N. Tolerant consistency management in model-driven engineering. In:
Babur Ö, Strüber D, Abrahao S, et al., eds. Proceedings of the 21st ACM/IEEE
International Conference on Model Driven Engineering Languages and Systems Companion
Proceedings - MODELS ’18. ACM Press; 2018. doi:10.1145/3270112.3275339'
apa: 'Weidmann, N. (2018). Tolerant consistency management in model-driven engineering.
In Ö. Babur, D. Strüber, S. Abrahao, L. Burgueno, M. Gogolla, J. Greenyer, … M.
Zahedi (Eds.), Proceedings of the 21st ACM/IEEE International Conference on
Model Driven Engineering Languages and Systems Companion Proceedings - MODELS
’18. Copenhagen, Denmark: ACM Press. https://doi.org/10.1145/3270112.3275339'
bibtex: '@inproceedings{Weidmann_2018, title={Tolerant consistency management in
model-driven engineering}, DOI={10.1145/3270112.3275339},
booktitle={Proceedings of the 21st ACM/IEEE International Conference on Model
Driven Engineering Languages and Systems Companion Proceedings - MODELS ’18},
publisher={ACM Press}, author={Weidmann, Nils}, editor={Babur, Önder and Strüber,
Daniel and Abrahao, Silvia and Burgueno, Loli and Gogolla, Martin and Greenyer,
Joel and Kokaly, Sahar and Kolovos, Dimitris and Mayerhofer, Tanja and Zahedi,
MansoorehEditors}, year={2018} }'
chicago: Weidmann, Nils. “Tolerant Consistency Management in Model-Driven Engineering.”
In Proceedings of the 21st ACM/IEEE International Conference on Model Driven
Engineering Languages and Systems Companion Proceedings - MODELS ’18, edited
by Önder Babur, Daniel Strüber, Silvia Abrahao, Loli Burgueno, Martin Gogolla,
Joel Greenyer, Sahar Kokaly, Dimitris Kolovos, Tanja Mayerhofer, and Mansooreh
Zahedi. ACM Press, 2018. https://doi.org/10.1145/3270112.3275339.
ieee: N. Weidmann, “Tolerant consistency management in model-driven engineering,”
in Proceedings of the 21st ACM/IEEE International Conference on Model Driven
Engineering Languages and Systems Companion Proceedings - MODELS ’18, Copenhagen,
Denmark, 2018.
mla: Weidmann, Nils. “Tolerant Consistency Management in Model-Driven Engineering.”
Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering
Languages and Systems Companion Proceedings - MODELS ’18, edited by Önder
Babur et al., ACM Press, 2018, doi:10.1145/3270112.3275339.
short: 'N. Weidmann, in: Ö. Babur, D. Strüber, S. Abrahao, L. Burgueno, M. Gogolla,
J. Greenyer, S. Kokaly, D. Kolovos, T. Mayerhofer, M. Zahedi (Eds.), Proceedings
of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages
and Systems Companion Proceedings - MODELS ’18, ACM Press, 2018.'
conference:
end_date: 2018-10-19
location: Copenhagen, Denmark
name: 21st ACM/IEEE International Conference on Model-Driven Engineering Languages
and Systems
start_date: 2018-10-14
date_created: 2018-11-23T15:16:09Z
date_updated: 2022-01-06T07:02:42Z
department:
- _id: '66'
- _id: '28'
- _id: '534'
doi: 10.1145/3270112.3275339
editor:
- first_name: Önder
full_name: Babur, Önder
last_name: Babur
- first_name: Daniel
full_name: Strüber, Daniel
last_name: Strüber
- first_name: Silvia
full_name: Abrahao, Silvia
last_name: Abrahao
- first_name: Loli
full_name: Burgueno, Loli
last_name: Burgueno
- first_name: Martin
full_name: Gogolla, Martin
last_name: Gogolla
- first_name: Joel
full_name: Greenyer, Joel
last_name: Greenyer
- first_name: Sahar
full_name: Kokaly, Sahar
last_name: Kokaly
- first_name: Dimitris
full_name: Kolovos, Dimitris
last_name: Kolovos
- first_name: Tanja
full_name: Mayerhofer, Tanja
last_name: Mayerhofer
- first_name: Mansooreh
full_name: Zahedi, Mansooreh
last_name: Zahedi
language:
- iso: eng
publication: Proceedings of the 21st ACM/IEEE International Conference on Model Driven
Engineering Languages and Systems Companion Proceedings - MODELS '18
publication_identifier:
isbn:
- '9781450359658'
publication_status: published
publisher: ACM Press
status: public
title: Tolerant consistency management in model-driven engineering
type: conference
user_id: '53103'
year: '2018'
...
---
_id: '5820'
abstract:
- lang: eng
text: "In this paper, we investigate the use of trusted execution environments (TEEs,
such as Intel's SGX) for an anonymous communication infrastructure over untrusted
networks.\r\nFor this, we present the general idea of exploiting trusted execution
environments for the purpose of anonymous communication, including a continuous-time
security framework that models strong anonymity guarantees in the presence of
an adversary that observes all network traffic and can adaptively corrupt a constant
fraction of participating nodes.\r\nIn our framework, a participating node can
generate a number of unlinkable pseudonyms. Messages are sent from and to pseudonyms,
allowing both senders and receivers of messages to remain anonymous. We introduce
a concrete construction, which shows viability of our TEE-based approach to anonymous
communication. The construction draws from techniques from cryptography and overlay
networks. \r\nOur techniques are very general and can be used as a basis for future
constructions with similar goals."
author:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Jan
full_name: Bobolz, Jan
id: '27207'
last_name: Bobolz
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Alexander
full_name: Setzer, Alexander
id: '11108'
last_name: Setzer
citation:
ama: Blömer J, Bobolz J, Scheideler C, Setzer A. Provably Anonymous Communication
Based on Trusted Execution Environments.
apa: Blömer, J., Bobolz, J., Scheideler, C., & Setzer, A. (n.d.). Provably
Anonymous Communication Based on Trusted Execution Environments.
bibtex: '@book{Blömer_Bobolz_Scheideler_Setzer, title={Provably Anonymous Communication
Based on Trusted Execution Environments}, author={Blömer, Johannes and Bobolz,
Jan and Scheideler, Christian and Setzer, Alexander} }'
chicago: Blömer, Johannes, Jan Bobolz, Christian Scheideler, and Alexander Setzer.
Provably Anonymous Communication Based on Trusted Execution Environments,
n.d.
ieee: J. Blömer, J. Bobolz, C. Scheideler, and A. Setzer, Provably Anonymous
Communication Based on Trusted Execution Environments. .
mla: Blömer, Johannes, et al. Provably Anonymous Communication Based on Trusted
Execution Environments.
short: J. Blömer, J. Bobolz, C. Scheideler, A. Setzer, Provably Anonymous Communication
Based on Trusted Execution Environments, n.d.
date_created: 2018-11-25T08:08:40Z
date_updated: 2022-01-06T07:02:43Z
ddc:
- '000'
department:
- _id: '7'
- _id: '64'
- _id: '79'
file:
- access_level: closed
content_type: application/pdf
creator: jbobolz
date_created: 2018-12-31T09:55:30Z
date_updated: 2018-12-31T09:55:30Z
file_id: '6435'
file_name: draft-2018.pdf
file_size: 470968
relation: main_file
success: 1
file_date_updated: 2018-12-31T09:55:30Z
has_accepted_license: '1'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '4'
name: SFB 901 - Project Area C
- _id: '13'
name: SFB 901 - Subproject C1
publication_status: draft
status: public
title: Provably Anonymous Communication Based on Trusted Execution Environments
type: working_paper
user_id: '27207'
year: '2018'
...
---
_id: '5822'
author:
- first_name: Daniel
full_name: Gaspers, Daniel
last_name: Gaspers
- first_name: Christoph
full_name: Knorr, Christoph
last_name: Knorr
- first_name: Tobias
full_name: Nickchen, Tobias
id: '27340'
last_name: Nickchen
orcid: 0000-0001-8958-9330
- first_name: Daniel
full_name: Nickchen, Daniel
last_name: Nickchen
- first_name: Barbel
full_name: Mertsching, Barbel
last_name: Mertsching
- first_name: Mahmoud A.
full_name: Mohamed, Mahmoud A.
last_name: Mohamed
citation:
ama: 'Gaspers D, Knorr C, Nickchen T, Nickchen D, Mertsching B, Mohamed MA. Real-time
Graph-Based 3D Reconstruction of Sparse Feature Environments for Mobile Robot
Applications. In: 2018 IEEE International Symposium on Safety, Security, and
Rescue Robotics (SSRR). IEEE; 2018. doi:10.1109/ssrr.2018.8468658'
apa: Gaspers, D., Knorr, C., Nickchen, T., Nickchen, D., Mertsching, B., & Mohamed,
M. A. (2018). Real-time Graph-Based 3D Reconstruction of Sparse Feature Environments
for Mobile Robot Applications. In 2018 IEEE International Symposium on Safety,
Security, and Rescue Robotics (SSRR). IEEE. https://doi.org/10.1109/ssrr.2018.8468658
bibtex: '@inproceedings{Gaspers_Knorr_Nickchen_Nickchen_Mertsching_Mohamed_2018,
title={Real-time Graph-Based 3D Reconstruction of Sparse Feature Environments
for Mobile Robot Applications}, DOI={10.1109/ssrr.2018.8468658},
booktitle={2018 IEEE International Symposium on Safety, Security, and Rescue Robotics
(SSRR)}, publisher={IEEE}, author={Gaspers, Daniel and Knorr, Christoph and Nickchen,
Tobias and Nickchen, Daniel and Mertsching, Barbel and Mohamed, Mahmoud A.}, year={2018}
}'
chicago: Gaspers, Daniel, Christoph Knorr, Tobias Nickchen, Daniel Nickchen, Barbel
Mertsching, and Mahmoud A. Mohamed. “Real-Time Graph-Based 3D Reconstruction of
Sparse Feature Environments for Mobile Robot Applications.” In 2018 IEEE International
Symposium on Safety, Security, and Rescue Robotics (SSRR). IEEE, 2018. https://doi.org/10.1109/ssrr.2018.8468658.
ieee: D. Gaspers, C. Knorr, T. Nickchen, D. Nickchen, B. Mertsching, and M. A. Mohamed,
“Real-time Graph-Based 3D Reconstruction of Sparse Feature Environments for Mobile
Robot Applications,” in 2018 IEEE International Symposium on Safety, Security,
and Rescue Robotics (SSRR), 2018.
mla: Gaspers, Daniel, et al. “Real-Time Graph-Based 3D Reconstruction of Sparse
Feature Environments for Mobile Robot Applications.” 2018 IEEE International
Symposium on Safety, Security, and Rescue Robotics (SSRR), IEEE, 2018, doi:10.1109/ssrr.2018.8468658.
short: 'D. Gaspers, C. Knorr, T. Nickchen, D. Nickchen, B. Mertsching, M.A. Mohamed,
in: 2018 IEEE International Symposium on Safety, Security, and Rescue Robotics
(SSRR), IEEE, 2018.'
date_created: 2018-11-26T08:49:44Z
date_updated: 2022-01-06T07:02:43Z
department:
- _id: '66'
- _id: '534'
doi: 10.1109/ssrr.2018.8468658
language:
- iso: eng
publication: 2018 IEEE International Symposium on Safety, Security, and Rescue Robotics
(SSRR)
publication_identifier:
isbn:
- '9781538655726'
publication_status: published
publisher: IEEE
status: public
title: Real-time Graph-Based 3D Reconstruction of Sparse Feature Environments for
Mobile Robot Applications
type: conference
user_id: '27340'
year: '2018'
...
---
_id: '5861'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Rafael
full_name: Kurek, Rafael
id: '64752'
last_name: Kurek
citation:
ama: 'Jager T, Kurek R. Short Digital Signatures and ID-KEMs via Truncation Collision
Resistance. In: Advances in Cryptology - ASIACRYPT 2018 - 24th International
Conference on the Theory and Application of Cryptology and Information Security,
Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II. ; 2018:221-250.
doi:10.1007/978-3-030-03329-3_8'
apa: Jager, T., & Kurek, R. (2018). Short Digital Signatures and ID-KEMs via
Truncation Collision Resistance. In Advances in Cryptology - ASIACRYPT 2018
- 24th International Conference on the Theory and Application of Cryptology and
Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings,
Part II (pp. 221–250). https://doi.org/10.1007/978-3-030-03329-3_8
bibtex: '@inproceedings{Jager_Kurek_2018, title={Short Digital Signatures and ID-KEMs
via Truncation Collision Resistance}, DOI={10.1007/978-3-030-03329-3_8},
booktitle={Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference
on the Theory and Application of Cryptology and Information Security, Brisbane,
QLD, Australia, December 2-6, 2018, Proceedings, Part II}, author={Jager, Tibor
and Kurek, Rafael}, year={2018}, pages={221–250} }'
chicago: Jager, Tibor, and Rafael Kurek. “Short Digital Signatures and ID-KEMs via
Truncation Collision Resistance.” In Advances in Cryptology - ASIACRYPT 2018
- 24th International Conference on the Theory and Application of Cryptology and
Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings,
Part II, 221–50, 2018. https://doi.org/10.1007/978-3-030-03329-3_8.
ieee: T. Jager and R. Kurek, “Short Digital Signatures and ID-KEMs via Truncation
Collision Resistance,” in Advances in Cryptology - ASIACRYPT 2018 - 24th International
Conference on the Theory and Application of Cryptology and Information Security,
Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II, 2018,
pp. 221–250.
mla: Jager, Tibor, and Rafael Kurek. “Short Digital Signatures and ID-KEMs via Truncation
Collision Resistance.” Advances in Cryptology - ASIACRYPT 2018 - 24th International
Conference on the Theory and Application of Cryptology and Information Security,
Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II, 2018,
pp. 221–50, doi:10.1007/978-3-030-03329-3_8.
short: 'T. Jager, R. Kurek, in: Advances in Cryptology - ASIACRYPT 2018 - 24th International
Conference on the Theory and Application of Cryptology and Information Security,
Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part II, 2018, pp.
221–250.'
date_created: 2018-11-27T09:39:57Z
date_updated: 2022-01-06T07:02:44Z
department:
- _id: '558'
doi: 10.1007/978-3-030-03329-3_8
language:
- iso: eng
page: 221-250
publication: Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference
on the Theory and Application of Cryptology and Information Security, Brisbane,
QLD, Australia, December 2-6, 2018, Proceedings, Part II
status: public
title: Short Digital Signatures and ID-KEMs via Truncation Collision Resistance
type: conference
user_id: '38235'
year: '2018'
...
---
_id: '5862'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Rafael
full_name: Kurek, Rafael
id: '64752'
last_name: Kurek
- first_name: Jiaxin
full_name: Pan, Jiaxin
last_name: Pan
citation:
ama: 'Jager T, Kurek R, Pan J. Simple and More Efficient PRFs with Tight Security
from LWE and Matrix-DDH. In: Advances in Cryptology - ASIACRYPT 2018 - 24th
International Conference on the Theory and Application of Cryptology and Information
Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part III.
; 2018:490-518. doi:10.1007/978-3-030-03332-3_18'
apa: Jager, T., Kurek, R., & Pan, J. (2018). Simple and More Efficient PRFs
with Tight Security from LWE and Matrix-DDH. In Advances in Cryptology - ASIACRYPT
2018 - 24th International Conference on the Theory and Application of Cryptology
and Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings,
Part III (pp. 490–518). https://doi.org/10.1007/978-3-030-03332-3_18
bibtex: '@inproceedings{Jager_Kurek_Pan_2018, title={Simple and More Efficient PRFs
with Tight Security from LWE and Matrix-DDH}, DOI={10.1007/978-3-030-03332-3_18},
booktitle={Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference
on the Theory and Application of Cryptology and Information Security, Brisbane,
QLD, Australia, December 2-6, 2018, Proceedings, Part III}, author={Jager, Tibor
and Kurek, Rafael and Pan, Jiaxin}, year={2018}, pages={490–518} }'
chicago: Jager, Tibor, Rafael Kurek, and Jiaxin Pan. “Simple and More Efficient
PRFs with Tight Security from LWE and Matrix-DDH.” In Advances in Cryptology
- ASIACRYPT 2018 - 24th International Conference on the Theory and Application
of Cryptology and Information Security, Brisbane, QLD, Australia, December 2-6,
2018, Proceedings, Part III, 490–518, 2018. https://doi.org/10.1007/978-3-030-03332-3_18.
ieee: T. Jager, R. Kurek, and J. Pan, “Simple and More Efficient PRFs with Tight
Security from LWE and Matrix-DDH,” in Advances in Cryptology - ASIACRYPT 2018
- 24th International Conference on the Theory and Application of Cryptology and
Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings,
Part III, 2018, pp. 490–518.
mla: Jager, Tibor, et al. “Simple and More Efficient PRFs with Tight Security from
LWE and Matrix-DDH.” Advances in Cryptology - ASIACRYPT 2018 - 24th International
Conference on the Theory and Application of Cryptology and Information Security,
Brisbane, QLD, Australia, December 2-6, 2018, Proceedings, Part III, 2018,
pp. 490–518, doi:10.1007/978-3-030-03332-3_18.
short: 'T. Jager, R. Kurek, J. Pan, in: Advances in Cryptology - ASIACRYPT 2018
- 24th International Conference on the Theory and Application of Cryptology and
Information Security, Brisbane, QLD, Australia, December 2-6, 2018, Proceedings,
Part III, 2018, pp. 490–518.'
date_created: 2018-11-27T09:42:49Z
date_updated: 2022-01-06T07:02:44Z
department:
- _id: '558'
doi: 10.1007/978-3-030-03332-3_18
language:
- iso: eng
page: 490-518
publication: Advances in Cryptology - ASIACRYPT 2018 - 24th International Conference
on the Theory and Application of Cryptology and Information Security, Brisbane,
QLD, Australia, December 2-6, 2018, Proceedings, Part III
status: public
title: Simple and More Efficient PRFs with Tight Security from LWE and Matrix-DDH
type: conference
user_id: '38235'
year: '2018'
...
---
_id: '5936'
author:
- first_name: Manuel
full_name: Scheibl, Manuel
last_name: Scheibl
citation:
ama: Scheibl M. Learning about Learning Curves from Dataset Properties. Universität
Paderborn; 2018.
apa: Scheibl, M. (2018). Learning about learning curves from dataset properties.
Universität Paderborn.
bibtex: '@book{Scheibl_2018, title={Learning about learning curves from dataset
properties}, publisher={Universität Paderborn}, author={Scheibl, Manuel}, year={2018}
}'
chicago: Scheibl, Manuel. Learning about Learning Curves from Dataset Properties.
Universität Paderborn, 2018.
ieee: M. Scheibl, Learning about learning curves from dataset properties.
Universität Paderborn, 2018.
mla: Scheibl, Manuel. Learning about Learning Curves from Dataset Properties.
Universität Paderborn, 2018.
short: M. Scheibl, Learning about Learning Curves from Dataset Properties, Universität
Paderborn, 2018.
date_created: 2018-11-28T10:29:53Z
date_updated: 2022-01-06T07:02:47Z
department:
- _id: '355'
language:
- iso: eng
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '10'
name: SFB 901 - Subproject B2
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
title: Learning about learning curves from dataset properties
type: bachelorsthesis
user_id: '477'
year: '2018'
...
---
_id: '5984'
alternative_title:
- Special Issue of SIROCCO 2015
author:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: Scheideler C. Preface. Theor Comput Sci. 2018;751:1. doi:10.1016/j.tcs.2018.11.004
apa: Scheideler, C. (2018). Preface. Theor. Comput. Sci., 751, 1.
https://doi.org/10.1016/j.tcs.2018.11.004
bibtex: '@article{Scheideler_2018, title={Preface}, volume={751}, DOI={10.1016/j.tcs.2018.11.004},
journal={Theor. Comput. Sci.}, author={Scheideler, Christian}, year={2018}, pages={1}
}'
chicago: 'Scheideler, Christian. “Preface.” Theor. Comput. Sci. 751 (2018):
1. https://doi.org/10.1016/j.tcs.2018.11.004.'
ieee: C. Scheideler, “Preface,” Theor. Comput. Sci., vol. 751, p. 1, 2018.
mla: Scheideler, Christian. “Preface.” Theor. Comput. Sci., vol. 751, 2018,
p. 1, doi:10.1016/j.tcs.2018.11.004.
short: C. Scheideler, Theor. Comput. Sci. 751 (2018) 1.
date_created: 2018-11-30T08:08:23Z
date_updated: 2022-01-06T07:02:49Z
ddc:
- '040'
department:
- _id: '79'
doi: 10.1016/j.tcs.2018.11.004
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2019-01-11T10:20:16Z
date_updated: 2019-01-11T10:20:16Z
file_id: '6620'
file_name: Preface.pdf
file_size: 112676
relation: main_file
success: 1
file_date_updated: 2019-01-11T10:20:16Z
has_accepted_license: '1'
intvolume: ' 751'
language:
- iso: eng
page: '1'
project:
- _id: '1'
name: SFB 901
- _id: '2'
name: SFB 901 - Project Area A
- _id: '5'
name: SFB 901 - Subproject A1
publication: Theor. Comput. Sci.
status: public
title: Preface
type: journal_article
user_id: '15504'
volume: 751
year: '2018'
...
---
_id: '5985'
author:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: 'Scheideler C. Relays: Towards a Link Layer for Robust and Secure Fog Computing.
In: Proceedings of the 2018 Workshop on Theory and Practice for Integrated
Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United Kingdom,
July 27, 2018. ; 2018:1-2. doi:10.1145/3229774.3229781'
apa: 'Scheideler, C. (2018). Relays: Towards a Link Layer for Robust and Secure
Fog Computing. In Proceedings of the 2018 Workshop on Theory and Practice for
Integrated Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United
Kingdom, July 27, 2018 (pp. 1–2). https://doi.org/10.1145/3229774.3229781'
bibtex: '@inproceedings{Scheideler_2018, title={Relays: Towards a Link Layer for
Robust and Secure Fog Computing}, DOI={10.1145/3229774.3229781},
booktitle={Proceedings of the 2018 Workshop on Theory and Practice for Integrated
Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United Kingdom,
July 27, 2018}, author={Scheideler, Christian}, year={2018}, pages={1–2} }'
chicago: 'Scheideler, Christian. “Relays: Towards a Link Layer for Robust and Secure
Fog Computing.” In Proceedings of the 2018 Workshop on Theory and Practice
for Integrated Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham,
United Kingdom, July 27, 2018, 1–2, 2018. https://doi.org/10.1145/3229774.3229781.'
ieee: 'C. Scheideler, “Relays: Towards a Link Layer for Robust and Secure Fog Computing,”
in Proceedings of the 2018 Workshop on Theory and Practice for Integrated Cloud,
Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United Kingdom, July
27, 2018, 2018, pp. 1–2.'
mla: 'Scheideler, Christian. “Relays: Towards a Link Layer for Robust and Secure
Fog Computing.” Proceedings of the 2018 Workshop on Theory and Practice for
Integrated Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United
Kingdom, July 27, 2018, 2018, pp. 1–2, doi:10.1145/3229774.3229781.'
short: 'C. Scheideler, in: Proceedings of the 2018 Workshop on Theory and Practice
for Integrated Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham,
United Kingdom, July 27, 2018, 2018, pp. 1–2.'
date_created: 2018-11-30T08:11:27Z
date_updated: 2022-01-06T07:02:49Z
ddc:
- '004'
department:
- _id: '79'
doi: 10.1145/3229774.3229781
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-12-12T15:12:02Z
date_updated: 2018-12-12T15:12:02Z
file_id: '6194'
file_name: p1-scheideler.pdf
file_size: 1420210
relation: main_file
file_date_updated: 2018-12-12T15:12:02Z
has_accepted_license: '1'
language:
- iso: eng
page: 1-2
project:
- _id: '1'
name: SFB 901
- _id: '4'
name: SFB 901 - Project Area C
- _id: '13'
name: SFB 901 - Subproject C1
publication: Proceedings of the 2018 Workshop on Theory and Practice for Integrated
Cloud, Fog and Edge Computing Paradigms, TOPIC@PODC 2018, Egham, United Kingdom,
July 27, 2018
status: public
title: 'Relays: Towards a Link Layer for Robust and Secure Fog Computing'
type: conference
user_id: '477'
year: '2018'
...
---
_id: '5986'
author:
- first_name: Robert
full_name: Gmyr, Robert
last_name: Gmyr
- first_name: Kristian
full_name: Hinnenthal, Kristian
id: '32229'
last_name: Hinnenthal
- first_name: Irina
full_name: Kostitsyna, Irina
last_name: Kostitsyna
- first_name: Fabian
full_name: Kuhn, Fabian
last_name: Kuhn
- first_name: Dorian
full_name: Rudolph, Dorian
last_name: Rudolph
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: 'Gmyr R, Hinnenthal K, Kostitsyna I, Kuhn F, Rudolph D, Scheideler C. Shape
Recognition by a Finite Automaton Robot. In: 43rd International Symposium on
Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool,
UK. ; 2018:52:1-52:15. doi:10.4230/LIPIcs.MFCS.2018.52'
apa: Gmyr, R., Hinnenthal, K., Kostitsyna, I., Kuhn, F., Rudolph, D., & Scheideler,
C. (2018). Shape Recognition by a Finite Automaton Robot. In 43rd International
Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31,
2018, Liverpool, UK (pp. 52:1-52:15). https://doi.org/10.4230/LIPIcs.MFCS.2018.52
bibtex: '@inproceedings{Gmyr_Hinnenthal_Kostitsyna_Kuhn_Rudolph_Scheideler_2018,
title={Shape Recognition by a Finite Automaton Robot}, DOI={10.4230/LIPIcs.MFCS.2018.52},
booktitle={43rd International Symposium on Mathematical Foundations of Computer
Science, MFCS 2018, August 27-31, 2018, Liverpool, UK}, author={Gmyr, Robert and
Hinnenthal, Kristian and Kostitsyna, Irina and Kuhn, Fabian and Rudolph, Dorian
and Scheideler, Christian}, year={2018}, pages={52:1-52:15} }'
chicago: Gmyr, Robert, Kristian Hinnenthal, Irina Kostitsyna, Fabian Kuhn, Dorian
Rudolph, and Christian Scheideler. “Shape Recognition by a Finite Automaton Robot.”
In 43rd International Symposium on Mathematical Foundations of Computer Science,
MFCS 2018, August 27-31, 2018, Liverpool, UK, 52:1-52:15, 2018. https://doi.org/10.4230/LIPIcs.MFCS.2018.52.
ieee: R. Gmyr, K. Hinnenthal, I. Kostitsyna, F. Kuhn, D. Rudolph, and C. Scheideler,
“Shape Recognition by a Finite Automaton Robot,” in 43rd International Symposium
on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018,
Liverpool, UK, 2018, pp. 52:1-52:15.
mla: Gmyr, Robert, et al. “Shape Recognition by a Finite Automaton Robot.” 43rd
International Symposium on Mathematical Foundations of Computer Science, MFCS
2018, August 27-31, 2018, Liverpool, UK, 2018, pp. 52:1-52:15, doi:10.4230/LIPIcs.MFCS.2018.52.
short: 'R. Gmyr, K. Hinnenthal, I. Kostitsyna, F. Kuhn, D. Rudolph, C. Scheideler,
in: 43rd International Symposium on Mathematical Foundations of Computer Science,
MFCS 2018, August 27-31, 2018, Liverpool, UK, 2018, pp. 52:1-52:15.'
date_created: 2018-11-30T08:13:58Z
date_updated: 2022-01-06T07:02:49Z
department:
- _id: '79'
doi: 10.4230/LIPIcs.MFCS.2018.52
language:
- iso: eng
page: 52:1-52:15
publication: 43rd International Symposium on Mathematical Foundations of Computer
Science, MFCS 2018, August 27-31, 2018, Liverpool, UK
status: public
title: Shape Recognition by a Finite Automaton Robot
type: conference
user_id: '15504'
year: '2018'
...
---
_id: '6016'
author:
- first_name: Manuel
full_name: Peuster, Manuel
id: '13271'
last_name: Peuster
- first_name: Holger
full_name: Karl, Holger
id: '126'
last_name: Karl
citation:
ama: 'Peuster M, Karl H. Understand your chains and keep your deadlines: Introducing
time-constrained profiling for NFV. In: IEEE/IFIP 14th International Conference
on Network and Service Management (CNSM). Rome: IEEE/IFIP.'
apa: 'Peuster, M., & Karl, H. (n.d.). Understand your chains and keep your deadlines:
Introducing time-constrained profiling for NFV. In IEEE/IFIP 14th International
Conference on Network and Service Management (CNSM). Rome: IEEE/IFIP.'
bibtex: '@inproceedings{Peuster_Karl, place={Rome}, title={Understand your chains
and keep your deadlines: Introducing time-constrained profiling for NFV}, booktitle={IEEE/IFIP
14th International Conference on Network and Service Management (CNSM)}, publisher={IEEE/IFIP},
author={Peuster, Manuel and Karl, Holger} }'
chicago: 'Peuster, Manuel, and Holger Karl. “Understand Your Chains and Keep Your
Deadlines: Introducing Time-Constrained Profiling for NFV.” In IEEE/IFIP 14th
International Conference on Network and Service Management (CNSM). Rome: IEEE/IFIP,
n.d.'
ieee: 'M. Peuster and H. Karl, “Understand your chains and keep your deadlines:
Introducing time-constrained profiling for NFV,” in IEEE/IFIP 14th International
Conference on Network and Service Management (CNSM), Rome.'
mla: 'Peuster, Manuel, and Holger Karl. “Understand Your Chains and Keep Your Deadlines:
Introducing Time-Constrained Profiling for NFV.” IEEE/IFIP 14th International
Conference on Network and Service Management (CNSM), IEEE/IFIP.'
short: 'M. Peuster, H. Karl, in: IEEE/IFIP 14th International Conference on Network
and Service Management (CNSM), IEEE/IFIP, Rome, n.d.'
conference:
end_date: 2018-11-09
location: Rome
name: IEEE/IFIP 14th International Conference on Network and Service Management
(CNSM)
start_date: 2018-11-05
date_created: 2018-12-06T12:06:14Z
date_updated: 2022-01-06T07:02:50Z
ddc:
- '000'
department:
- _id: '75'
file:
- access_level: open_access
content_type: application/pdf
creator: peuster
date_created: 2018-12-06T12:05:37Z
date_updated: 2018-12-06T12:05:37Z
file_id: '6017'
file_name: main_copy_for_ris.pdf
file_size: 961004
relation: main_file
file_date_updated: 2018-12-06T12:05:37Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/abstract/document/8584974
oa: '1'
place: Rome
project:
- _id: '28'
grant_number: '761493'
name: 5G Development and validation platform for global industry-specific network
services and Apps
- _id: '1'
name: SFB 901
- _id: '4'
name: SFB 901 - Project Area C
- _id: '15'
name: SFB 901 - Subproject C3
publication: IEEE/IFIP 14th International Conference on Network and Service Management
(CNSM)
publication_status: accepted
publisher: IEEE/IFIP
status: public
title: 'Understand your chains and keep your deadlines: Introducing time-constrained
profiling for NFV'
type: conference
user_id: '13271'
year: '2018'
...
---
_id: '6236'
author:
- first_name: Enes
full_name: Yigitbas, Enes
id: '8447'
last_name: Yigitbas
orcid: 0000-0002-5967-833X
- first_name: Anthony
full_name: Anjorin, Anthony
last_name: Anjorin
- first_name: Ivan
full_name: Jovanovikj, Ivan
id: '39187'
last_name: Jovanovikj
orcid: https://orcid.org/0000-0002-1838-794X
- first_name: Thomas
full_name: Kern, Thomas
last_name: Kern
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
citation:
ama: 'Yigitbas E, Anjorin A, Jovanovikj I, Kern T, Sauer S, Engels G. Usability
Evaluation of Model-Driven Cross-Device Web User Interfaces. In: Proceedings
of the 7th International Working Conference on Human-Centered Software Engineering
(HCSE’18). Springer, LNCS ; 2018:231-247.'
apa: Yigitbas, E., Anjorin, A., Jovanovikj, I., Kern, T., Sauer, S., & Engels,
G. (2018). Usability Evaluation of Model-Driven Cross-Device Web User Interfaces.
In Proceedings of the 7th International Working Conference on Human-Centered
Software Engineering (HCSE’18) (pp. 231–247). Springer, LNCS .
bibtex: '@inproceedings{Yigitbas_Anjorin_Jovanovikj_Kern_Sauer_Engels_2018, title={Usability
Evaluation of Model-Driven Cross-Device Web User Interfaces}, booktitle={Proceedings
of the 7th International Working Conference on Human-Centered Software Engineering
(HCSE’18)}, publisher={Springer, LNCS }, author={Yigitbas, Enes and Anjorin, Anthony
and Jovanovikj, Ivan and Kern, Thomas and Sauer, Stefan and Engels, Gregor}, year={2018},
pages={231–247} }'
chicago: Yigitbas, Enes, Anthony Anjorin, Ivan Jovanovikj, Thomas Kern, Stefan Sauer,
and Gregor Engels. “Usability Evaluation of Model-Driven Cross-Device Web User
Interfaces.” In Proceedings of the 7th International Working Conference on
Human-Centered Software Engineering (HCSE’18), 231–47. Springer, LNCS , 2018.
ieee: E. Yigitbas, A. Anjorin, I. Jovanovikj, T. Kern, S. Sauer, and G. Engels,
“Usability Evaluation of Model-Driven Cross-Device Web User Interfaces,” in Proceedings
of the 7th International Working Conference on Human-Centered Software Engineering
(HCSE’18), 2018, pp. 231–247.
mla: Yigitbas, Enes, et al. “Usability Evaluation of Model-Driven Cross-Device Web
User Interfaces.” Proceedings of the 7th International Working Conference on
Human-Centered Software Engineering (HCSE’18), Springer, LNCS , 2018, pp.
231–47.
short: 'E. Yigitbas, A. Anjorin, I. Jovanovikj, T. Kern, S. Sauer, G. Engels, in:
Proceedings of the 7th International Working Conference on Human-Centered Software
Engineering (HCSE’18), Springer, LNCS , 2018, pp. 231–247.'
date_created: 2018-12-17T10:38:07Z
date_updated: 2022-01-06T07:02:58Z
department:
- _id: '66'
- _id: '534'
language:
- iso: eng
page: 231-247
publication: Proceedings of the 7th International Working Conference on Human-Centered
Software Engineering (HCSE'18)
publisher: 'Springer, LNCS '
status: public
title: Usability Evaluation of Model-Driven Cross-Device Web User Interfaces
type: conference
user_id: '8447'
year: '2018'
...
---
_id: '6252'
author:
- first_name: Björn
full_name: Senft, Björn
id: '9109'
last_name: Senft
- first_name: Simon
full_name: Oberthür, Simon
id: '383'
last_name: Oberthür
- first_name: Holger Gerhard
full_name: Fischer, Holger Gerhard
id: '30457'
last_name: Fischer
citation:
ama: 'Senft B, Oberthür S, Fischer HG. Forschendes Lernen in der Informatik - In
praxisnaher Projektgruppe einen Softwareentwicklungsprozess erforschen. In: Schriften
zur allgemeinen Hochschuldidaktik - Band 3. Tagungsband Forschendes Lernen - The
wider view. ; 2018.'
apa: Senft, B., Oberthür, S., & Fischer, H. G. (2018). Forschendes Lernen in
der Informatik - In praxisnaher Projektgruppe einen Softwareentwicklungsprozess
erforschen. In Schriften zur allgemeinen Hochschuldidaktik - Band 3. Tagungsband
Forschendes Lernen - The wider view.
bibtex: '@inproceedings{Senft_Oberthür_Fischer_2018, title={Forschendes Lernen in
der Informatik - In praxisnaher Projektgruppe einen Softwareentwicklungsprozess
erforschen}, booktitle={Schriften zur allgemeinen Hochschuldidaktik - Band 3.
Tagungsband Forschendes Lernen - The wider view}, author={Senft, Björn and Oberthür,
Simon and Fischer, Holger Gerhard}, year={2018} }'
chicago: Senft, Björn, Simon Oberthür, and Holger Gerhard Fischer. “Forschendes
Lernen in der Informatik - In praxisnaher Projektgruppe einen Softwareentwicklungsprozess
erforschen.” In Schriften zur allgemeinen Hochschuldidaktik - Band 3. Tagungsband
Forschendes Lernen - The wider view, 2018.
ieee: B. Senft, S. Oberthür, and H. G. Fischer, “Forschendes Lernen in der Informatik
- In praxisnaher Projektgruppe einen Softwareentwicklungsprozess erforschen,”
in Schriften zur allgemeinen Hochschuldidaktik - Band 3. Tagungsband Forschendes
Lernen - The wider view, 2018.
mla: Senft, Björn, et al. “Forschendes Lernen in der Informatik - In praxisnaher
Projektgruppe einen Softwareentwicklungsprozess erforschen.” Schriften zur
allgemeinen Hochschuldidaktik - Band 3. Tagungsband Forschendes Lernen - The wider
view, 2018.
short: 'B. Senft, S. Oberthür, H.G. Fischer, in: Schriften zur allgemeinen Hochschuldidaktik
- Band 3. Tagungsband Forschendes Lernen - The wider view, 2018.'
date_created: 2018-12-18T10:36:01Z
date_updated: 2022-01-06T07:02:58Z
department:
- _id: '66'
- _id: '534'
- _id: '221'
language:
- iso: ger
publication: Schriften zur allgemeinen Hochschuldidaktik - Band 3. Tagungsband Forschendes
Lernen - The wider view
publication_identifier:
isbn:
- 978 3-95987-088-7
status: public
title: Forschendes Lernen in der Informatik - In praxisnaher Projektgruppe einen Softwareentwicklungsprozess
erforschen
type: conference
user_id: '30457'
year: '2018'
...
---
_id: '6253'
author:
- first_name: Björn
full_name: Senft, Björn
id: '9109'
last_name: Senft
- first_name: Holger Gerhard
full_name: Fischer, Holger Gerhard
id: '30457'
last_name: Fischer
- first_name: Simon
full_name: Oberthür, Simon
id: '383'
last_name: Oberthür
- first_name: Nitish
full_name: Patkar, Nitish
last_name: Patkar
citation:
ama: 'Senft B, Fischer HG, Oberthür S, Patkar N. Assist Users to Straightaway Suggest
and Describe Experienced Problems. In: Design, User Experience, and Usability:
Theory and Practice. Vol 10918. Lecture Notes in Computer Science. Cham: Springer
International Publishing; 2018:758-770. doi:10.1007/978-3-319-91797-9_52'
apa: 'Senft, B., Fischer, H. G., Oberthür, S., & Patkar, N. (2018). Assist Users
to Straightaway Suggest and Describe Experienced Problems. In Design, User
Experience, and Usability: Theory and Practice (Vol. 10918, pp. 758–770).
Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-91797-9_52'
bibtex: '@inbook{Senft_Fischer_Oberthür_Patkar_2018, place={Cham}, series={Lecture
Notes in Computer Science}, title={Assist Users to Straightaway Suggest and Describe
Experienced Problems}, volume={10918}, DOI={10.1007/978-3-319-91797-9_52},
booktitle={Design, User Experience, and Usability: Theory and Practice}, publisher={Springer
International Publishing}, author={Senft, Björn and Fischer, Holger Gerhard and
Oberthür, Simon and Patkar, Nitish}, year={2018}, pages={758–770}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Senft, Björn, Holger Gerhard Fischer, Simon Oberthür, and Nitish Patkar.
“Assist Users to Straightaway Suggest and Describe Experienced Problems.” In Design,
User Experience, and Usability: Theory and Practice, 10918:758–70. Lecture
Notes in Computer Science. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-91797-9_52.'
ieee: 'B. Senft, H. G. Fischer, S. Oberthür, and N. Patkar, “Assist Users to Straightaway
Suggest and Describe Experienced Problems,” in Design, User Experience, and
Usability: Theory and Practice, vol. 10918, Cham: Springer International Publishing,
2018, pp. 758–770.'
mla: 'Senft, Björn, et al. “Assist Users to Straightaway Suggest and Describe Experienced
Problems.” Design, User Experience, and Usability: Theory and Practice,
vol. 10918, Springer International Publishing, 2018, pp. 758–70, doi:10.1007/978-3-319-91797-9_52.'
short: 'B. Senft, H.G. Fischer, S. Oberthür, N. Patkar, in: Design, User Experience,
and Usability: Theory and Practice, Springer International Publishing, Cham, 2018,
pp. 758–770.'
conference:
end_date: 2018-07-20
location: Las Vegas, USA
name: International Conference of Design, User Experience, and Usability (DUXU)
as part of HCI International 2018
start_date: 2018-07-15
date_created: 2018-12-18T10:37:41Z
date_updated: 2022-01-06T07:02:58Z
department:
- _id: '66'
- _id: '534'
- _id: '221'
doi: 10.1007/978-3-319-91797-9_52
intvolume: ' 10918'
language:
- iso: eng
page: 758-770
place: Cham
publication: 'Design, User Experience, and Usability: Theory and Practice'
publication_identifier:
isbn:
- '9783319917962'
- '9783319917979'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
series_title: Lecture Notes in Computer Science
status: public
title: Assist Users to Straightaway Suggest and Describe Experienced Problems
type: book_chapter
user_id: '30457'
volume: 10918
year: '2018'
...
---
_id: '6254'
author:
- first_name: Holger Gerhard
full_name: Fischer, Holger Gerhard
id: '30457'
last_name: Fischer
- first_name: Björn
full_name: Senft, Björn
id: '9109'
last_name: Senft
- first_name: Florian
full_name: Rittmeier, Florian
id: '5281'
last_name: Rittmeier
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Fischer HG, Senft B, Rittmeier F, Sauer S. A Canvas Method to Foster Interdisciplinary
Discussions on Digital Assistance Systems. In: Marcus A, Wang W, eds. Design,
User Experience, and Usability: Theory and Practice. Proceedings of the 20th International
Conference on Human-Computer Interaktion (HCI International 2018). Vol 10918.
Lecture Notes in Computer Science. Cham: Springer International Publishing; 2018:711-724.
doi:10.1007/978-3-319-91797-9_49'
apa: 'Fischer, H. G., Senft, B., Rittmeier, F., & Sauer, S. (2018). A Canvas
Method to Foster Interdisciplinary Discussions on Digital Assistance Systems.
In A. Marcus & W. Wang (Eds.), Design, User Experience, and Usability:
Theory and Practice. Proceedings of the 20th International Conference on Human-Computer
Interaktion (HCI International 2018) (Vol. 10918, pp. 711–724). Cham: Springer
International Publishing. https://doi.org/10.1007/978-3-319-91797-9_49'
bibtex: '@inbook{Fischer_Senft_Rittmeier_Sauer_2018, place={Cham}, series={Lecture
Notes in Computer Science}, title={A Canvas Method to Foster Interdisciplinary
Discussions on Digital Assistance Systems}, volume={10918}, DOI={10.1007/978-3-319-91797-9_49},
booktitle={Design, User Experience, and Usability: Theory and Practice. Proceedings
of the 20th International Conference on Human-Computer Interaktion (HCI International
2018)}, publisher={Springer International Publishing}, author={Fischer, Holger
Gerhard and Senft, Björn and Rittmeier, Florian and Sauer, Stefan}, editor={Marcus,
Aaron and Wang, WentaoEditors}, year={2018}, pages={711–724}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Fischer, Holger Gerhard, Björn Senft, Florian Rittmeier, and Stefan Sauer.
“A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance
Systems.” In Design, User Experience, and Usability: Theory and Practice. Proceedings
of the 20th International Conference on Human-Computer Interaktion (HCI International
2018), edited by Aaron Marcus and Wentao Wang, 10918:711–24. Lecture Notes
in Computer Science. Cham: Springer International Publishing, 2018. https://doi.org/10.1007/978-3-319-91797-9_49.'
ieee: 'H. G. Fischer, B. Senft, F. Rittmeier, and S. Sauer, “A Canvas Method to
Foster Interdisciplinary Discussions on Digital Assistance Systems,” in Design,
User Experience, and Usability: Theory and Practice. Proceedings of the 20th International
Conference on Human-Computer Interaktion (HCI International 2018), vol. 10918,
A. Marcus and W. Wang, Eds. Cham: Springer International Publishing, 2018, pp.
711–724.'
mla: 'Fischer, Holger Gerhard, et al. “A Canvas Method to Foster Interdisciplinary
Discussions on Digital Assistance Systems.” Design, User Experience, and Usability:
Theory and Practice. Proceedings of the 20th International Conference on Human-Computer
Interaktion (HCI International 2018), edited by Aaron Marcus and Wentao Wang,
vol. 10918, Springer International Publishing, 2018, pp. 711–24, doi:10.1007/978-3-319-91797-9_49.'
short: 'H.G. Fischer, B. Senft, F. Rittmeier, S. Sauer, in: A. Marcus, W. Wang (Eds.),
Design, User Experience, and Usability: Theory and Practice. Proceedings of the
20th International Conference on Human-Computer Interaktion (HCI International
2018), Springer International Publishing, Cham, 2018, pp. 711–724.'
conference:
end_date: 2018-07-20
location: Las Vegas, USA
name: International Conference of Design, User Experience, and Usability (DUXU)
as part of HCI International 2018
start_date: 2018-07-15
date_created: 2018-12-18T10:42:39Z
date_updated: 2022-01-06T07:02:58Z
department:
- _id: '66'
- _id: '534'
- _id: '221'
doi: 10.1007/978-3-319-91797-9_49
editor:
- first_name: Aaron
full_name: Marcus, Aaron
last_name: Marcus
- first_name: Wentao
full_name: Wang, Wentao
last_name: Wang
intvolume: ' 10918'
language:
- iso: eng
page: 711-724
place: Cham
publication: 'Design, User Experience, and Usability: Theory and Practice. Proceedings
of the 20th International Conference on Human-Computer Interaktion (HCI International
2018)'
publication_identifier:
isbn:
- '9783319917962'
- '9783319917979'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
series_title: Lecture Notes in Computer Science
status: public
title: A Canvas Method to Foster Interdisciplinary Discussions on Digital Assistance
Systems
type: book_chapter
user_id: '30457'
volume: 10918
year: '2018'
...
---
_id: '63'
author:
- first_name: Ernst
full_name: Althaus, Ernst
last_name: Althaus
- first_name: Andre
full_name: Brinkmann, Andre
last_name: Brinkmann
- 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
- first_name: Lars
full_name: Nagel, Lars
last_name: Nagel
- first_name: Sören
full_name: Riechers, Sören
last_name: Riechers
- first_name: Jiri
full_name: Sgall, Jiri
last_name: Sgall
- first_name: Tim
full_name: Suess, Tim
last_name: Suess
citation:
ama: Althaus E, Brinkmann A, Kling P, et al. Scheduling Shared Continuous Resources
on Many-Cores. Journal of Scheduling. 2018;21(1):77-92. doi:10.1007/s10951-017-0518-0
apa: Althaus, E., Brinkmann, A., Kling, P., Meyer auf der Heide, F., Nagel, L.,
Riechers, S., Sgall, J., & Suess, T. (2018). Scheduling Shared Continuous
Resources on Many-Cores. Journal of Scheduling, 21(1), 77–92. https://doi.org/10.1007/s10951-017-0518-0
bibtex: '@article{Althaus_Brinkmann_Kling_Meyer auf der Heide_Nagel_Riechers_Sgall_Suess_2018,
title={Scheduling Shared Continuous Resources on Many-Cores}, volume={21}, DOI={10.1007/s10951-017-0518-0},
number={1}, journal={Journal of Scheduling}, publisher={Springer}, author={Althaus,
Ernst and Brinkmann, Andre and Kling, Peter and Meyer auf der Heide, Friedhelm
and Nagel, Lars and Riechers, Sören and Sgall, Jiri and Suess, Tim}, year={2018},
pages={77–92} }'
chicago: 'Althaus, Ernst, Andre Brinkmann, Peter Kling, Friedhelm Meyer auf der
Heide, Lars Nagel, Sören Riechers, Jiri Sgall, and Tim Suess. “Scheduling Shared
Continuous Resources on Many-Cores.” Journal of Scheduling 21, no. 1 (2018):
77–92. https://doi.org/10.1007/s10951-017-0518-0.'
ieee: 'E. Althaus et al., “Scheduling Shared Continuous Resources on Many-Cores,”
Journal of Scheduling, vol. 21, no. 1, pp. 77–92, 2018, doi: 10.1007/s10951-017-0518-0.'
mla: Althaus, Ernst, et al. “Scheduling Shared Continuous Resources on Many-Cores.”
Journal of Scheduling, vol. 21, no. 1, Springer, 2018, pp. 77–92, doi:10.1007/s10951-017-0518-0.
short: E. Althaus, A. Brinkmann, P. Kling, F. Meyer auf der Heide, L. Nagel, S.
Riechers, J. Sgall, T. Suess, Journal of Scheduling 21 (2018) 77–92.
date_created: 2017-10-17T12:41:03Z
date_updated: 2022-01-06T07:03:00Z
ddc:
- '040'
department:
- _id: '63'
doi: 10.1007/s10951-017-0518-0
file:
- access_level: closed
content_type: application/pdf
creator: florida
date_created: 2018-03-21T13:16:59Z
date_updated: 2018-03-21T13:16:59Z
file_id: '1577'
file_name: 63-main_05.pdf
file_size: 466808
relation: main_file
success: 1
file_date_updated: 2018-03-21T13:16:59Z
has_accepted_license: '1'
intvolume: ' 21'
issue: '1'
language:
- iso: eng
page: 77-92
project:
- _id: '1'
name: SFB 901
- _id: '16'
name: SFB 901 - Subprojekt C4
- _id: '4'
name: SFB 901 - Project Area C
publication: Journal of Scheduling
publisher: Springer
status: public
title: Scheduling Shared Continuous Resources on Many-Cores
type: journal_article
user_id: '15415'
volume: 21
year: '2018'
...
---
_id: '6423'
author:
- first_name: Dirk
full_name: Schäfer, Dirk
last_name: Schäfer
- first_name: Eyke
full_name: Hüllermeier, Eyke
id: '48129'
last_name: Hüllermeier
citation:
ama: 'Schäfer D, Hüllermeier E. Preference-Based Reinforcement Learning Using Dyad
Ranking. In: Discovery Science. Cham: Springer International Publishing;
2018:161-175. doi:10.1007/978-3-030-01771-2_11'
apa: 'Schäfer, D., & Hüllermeier, E. (2018). Preference-Based Reinforcement
Learning Using Dyad Ranking. In Discovery Science (pp. 161–175). Cham:
Springer International Publishing. https://doi.org/10.1007/978-3-030-01771-2_11'
bibtex: '@inbook{Schäfer_Hüllermeier_2018, place={Cham}, title={Preference-Based
Reinforcement Learning Using Dyad Ranking}, DOI={10.1007/978-3-030-01771-2_11},
booktitle={Discovery Science}, publisher={Springer International Publishing},
author={Schäfer, Dirk and Hüllermeier, Eyke}, year={2018}, pages={161–175} }'
chicago: 'Schäfer, Dirk, and Eyke Hüllermeier. “Preference-Based Reinforcement Learning
Using Dyad Ranking.” In Discovery Science, 161–75. Cham: Springer International
Publishing, 2018. https://doi.org/10.1007/978-3-030-01771-2_11.'
ieee: 'D. Schäfer and E. Hüllermeier, “Preference-Based Reinforcement Learning Using
Dyad Ranking,” in Discovery Science, Cham: Springer International Publishing,
2018, pp. 161–175.'
mla: Schäfer, Dirk, and Eyke Hüllermeier. “Preference-Based Reinforcement Learning
Using Dyad Ranking.” Discovery Science, Springer International Publishing,
2018, pp. 161–75, doi:10.1007/978-3-030-01771-2_11.
short: 'D. Schäfer, E. Hüllermeier, in: Discovery Science, Springer International
Publishing, Cham, 2018, pp. 161–175.'
date_created: 2018-12-20T15:52:03Z
date_updated: 2022-01-06T07:03:04Z
ddc:
- '000'
department:
- _id: '355'
doi: 10.1007/978-3-030-01771-2_11
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2019-01-11T11:03:50Z
date_updated: 2019-01-11T11:03:50Z
file_id: '6623'
file_name: Schäfer-Hüllermeier2018_Chapter_Preference-BasedReinforcementL.pdf
file_size: 458972
relation: main_file
success: 1
file_date_updated: 2019-01-11T11:03:50Z
has_accepted_license: '1'
language:
- iso: eng
page: 161-175
place: Cham
project:
- _id: '1'
name: SFB 901
- _id: '3'
name: SFB 901 - Project Area B
- _id: '10'
name: SFB 901 - Subproject B2
publication: Discovery Science
publication_identifier:
isbn:
- '9783030017705'
- '9783030017712'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: Preference-Based Reinforcement Learning Using Dyad Ranking
type: book_chapter
user_id: '49109'
year: '2018'
...
---
_id: '4411'
abstract:
- lang: eng
text: "While a lot of research in distributed computing has covered solutions for
self-stabilizing computing and topologies, there is far less work on self-stabilization
for distributed data structures.\r\nConsidering crashing peers in peer-to-peer
networks, it should not be taken for granted that a distributed data structure
remains intact.\r\nIn this work, we present a self-stabilizing protocol for a
distributed data structure called the hashed Patricia Trie (Kniesburges and Scheideler
WALCOM'11) that enables efficient prefix search on a set of keys.\r\nThe data
structure has a wide area of applications including string matching problems while
offering low overhead and efficient operations when embedded on top of a distributed
hash table.\r\nEspecially, longest prefix matching for $x$ can be done in $\\mathcal{O}(\\log
|x|)$ hash table read accesses.\r\nWe show how to maintain the structure in a
self-stabilizing way.\r\nOur protocol assures low overhead in a legal state and
a total (asymptotically optimal) memory demand of $\\Theta(d)$ bits, where $d$
is the number of bits needed for storing all keys."
author:
- first_name: Till
full_name: Knollmann, Till
id: '39241'
last_name: Knollmann
orcid: 0000-0003-2014-4696
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: 'Knollmann T, Scheideler C. A Self-Stabilizing Hashed Patricia Trie. In: Izumi
T, Kuznetsov P, eds. Proceedings of the 20th International Symposium on Stabilization,
Safety, and Security of Distributed Systems (SSS). Vol 11201. Lecture Notes
of Computer Science. Springer, Cham; 2018. doi:10.1007/978-3-030-03232-6_1'
apa: 'Knollmann, T., & Scheideler, C. (2018). A Self-Stabilizing Hashed Patricia
Trie. In T. Izumi & P. Kuznetsov (Eds.), Proceedings of the 20th International
Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS)
(Vol. 11201). Tokyo: Springer, Cham. https://doi.org/10.1007/978-3-030-03232-6_1'
bibtex: '@inproceedings{Knollmann_Scheideler_2018, series={Lecture Notes of Computer
Science}, title={A Self-Stabilizing Hashed Patricia Trie}, volume={11201}, DOI={10.1007/978-3-030-03232-6_1},
booktitle={Proceedings of the 20th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS)}, publisher={Springer, Cham}, author={Knollmann,
Till and Scheideler, Christian}, editor={Izumi, Taisuke and Kuznetsov, PetrEditors},
year={2018}, collection={Lecture Notes of Computer Science} }'
chicago: Knollmann, Till, and Christian Scheideler. “A Self-Stabilizing Hashed Patricia
Trie.” In Proceedings of the 20th International Symposium on Stabilization,
Safety, and Security of Distributed Systems (SSS), edited by Taisuke Izumi
and Petr Kuznetsov, Vol. 11201. Lecture Notes of Computer Science. Springer, Cham,
2018. https://doi.org/10.1007/978-3-030-03232-6_1.
ieee: T. Knollmann and C. Scheideler, “A Self-Stabilizing Hashed Patricia Trie,”
in Proceedings of the 20th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS), Tokyo, 2018, vol. 11201.
mla: Knollmann, Till, and Christian Scheideler. “A Self-Stabilizing Hashed Patricia
Trie.” Proceedings of the 20th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS), edited by Taisuke Izumi and Petr
Kuznetsov, vol. 11201, Springer, Cham, 2018, doi:10.1007/978-3-030-03232-6_1.
short: 'T. Knollmann, C. Scheideler, in: T. Izumi, P. Kuznetsov (Eds.), Proceedings
of the 20th International Symposium on Stabilization, Safety, and Security of
Distributed Systems (SSS), Springer, Cham, 2018.'
conference:
end_date: 2018-11-07
location: Tokyo
name: 20th International Symposium on Stabilization, Safety, and Security of Distributed
Systems (SSS)
start_date: 2018-11-04
date_created: 2018-09-17T13:12:18Z
date_updated: 2022-01-06T07:01:02Z
ddc:
- '000'
department:
- _id: '63'
- _id: '79'
doi: 10.1007/978-3-030-03232-6_1
editor:
- first_name: Taisuke
full_name: Izumi, Taisuke
last_name: Izumi
- first_name: Petr
full_name: Kuznetsov, Petr
last_name: Kuznetsov
external_id:
arxiv:
- '1809.04923'
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:38:37Z
date_updated: 2018-11-02T14:38:37Z
file_id: '5277'
file_name: ASelf-stabilizingHashedPatrici.pdf
file_size: 500005
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:38:37Z
has_accepted_license: '1'
intvolume: ' 11201'
keyword:
- Self-Stabilizing
- Prefix Search
- Distributed Data Structure
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: Proceedings of the 20th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS)
publisher: Springer, Cham
series_title: Lecture Notes of Computer Science
status: public
title: A Self-Stabilizing Hashed Patricia Trie
type: conference
user_id: '39241'
volume: 11201
year: '2018'
...