---
_id: '3536'
author:
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Monika
full_name: Wedel, Monika
last_name: Wedel
- first_name: Oleg
full_name: Travkin, Oleg
last_name: Travkin
- first_name: Jürgen
full_name: König, Jürgen
id: '22358'
last_name: König
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Schellhorn G, Wedel M, Travkin O, König J, Wehrheim H. FastLane Is Opaque
– a Case Study in Mechanized Proofs of Opacity. In: Software Engineering and
Formal Methods. Cham: Springer International Publishing; 2018:105-120. doi:10.1007/978-3-319-92970-5_7'
apa: 'Schellhorn, G., Wedel, M., Travkin, O., König, J., & Wehrheim, H. (2018).
FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity. In Software
Engineering and Formal Methods (pp. 105–120). Cham: Springer International
Publishing. https://doi.org/10.1007/978-3-319-92970-5_7'
bibtex: '@inbook{Schellhorn_Wedel_Travkin_König_Wehrheim_2018, place={Cham}, title={FastLane
Is Opaque – a Case Study in Mechanized Proofs of Opacity}, DOI={10.1007/978-3-319-92970-5_7},
booktitle={Software Engineering and Formal Methods}, publisher={Springer International
Publishing}, author={Schellhorn, Gerhard and Wedel, Monika and Travkin, Oleg and
König, Jürgen and Wehrheim, Heike}, year={2018}, pages={105–120} }'
chicago: 'Schellhorn, Gerhard, Monika Wedel, Oleg Travkin, Jürgen König, and Heike
Wehrheim. “FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity.”
In Software Engineering and Formal Methods, 105–20. Cham: Springer International
Publishing, 2018. https://doi.org/10.1007/978-3-319-92970-5_7.'
ieee: 'G. Schellhorn, M. Wedel, O. Travkin, J. König, and H. Wehrheim, “FastLane
Is Opaque – a Case Study in Mechanized Proofs of Opacity,” in Software Engineering
and Formal Methods, Cham: Springer International Publishing, 2018, pp. 105–120.'
mla: Schellhorn, Gerhard, et al. “FastLane Is Opaque – a Case Study in Mechanized
Proofs of Opacity.” Software Engineering and Formal Methods, Springer International
Publishing, 2018, pp. 105–20, doi:10.1007/978-3-319-92970-5_7.
short: 'G. Schellhorn, M. Wedel, O. Travkin, J. König, H. Wehrheim, in: Software
Engineering and Formal Methods, Springer International Publishing, Cham, 2018,
pp. 105–120.'
date_created: 2018-07-11T06:19:58Z
date_updated: 2022-01-06T06:59:22Z
department:
- _id: '77'
doi: 10.1007/978-3-319-92970-5_7
page: 105-120
place: Cham
project:
- _id: '78'
name: Validation of Software Transactional Memory
publication: Software Engineering and Formal Methods
publication_identifier:
isbn:
- '9783319929699'
- '9783319929705'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity
type: book_chapter
user_id: '29719'
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: '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: '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: '16392'
author:
- first_name: Björn
full_name: Feldkord, Björn
id: '22704'
last_name: Feldkord
- first_name: Manuel
full_name: Malatyali, Manuel
last_name: Malatyali
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
citation:
ama: 'Feldkord B, Malatyali M, Meyer auf der Heide F. A Dynamic Distributed Data
Structure for Top-k and k-Select Queries. In: Progress in Pattern Recognition,
Image Analysis, Computer Vision, and Applications. Cham; 2018. doi:10.1007/978-3-319-98355-4_18'
apa: Feldkord, B., Malatyali, M., & Meyer auf der Heide, F. (2018). A Dynamic
Distributed Data Structure for Top-k and k-Select Queries. In Progress in Pattern
Recognition, Image Analysis, Computer Vision, and Applications. Cham. https://doi.org/10.1007/978-3-319-98355-4_18
bibtex: '@inbook{Feldkord_Malatyali_Meyer auf der Heide_2018, place={Cham}, title={A
Dynamic Distributed Data Structure for Top-k and k-Select Queries}, DOI={10.1007/978-3-319-98355-4_18},
booktitle={Progress in Pattern Recognition, Image Analysis, Computer Vision, and
Applications}, author={Feldkord, Björn and Malatyali, Manuel and Meyer auf der
Heide, Friedhelm}, year={2018} }'
chicago: Feldkord, Björn, Manuel Malatyali, and Friedhelm Meyer auf der Heide. “A
Dynamic Distributed Data Structure for Top-k and k-Select Queries.” In Progress
in Pattern Recognition, Image Analysis, Computer Vision, and Applications.
Cham, 2018. https://doi.org/10.1007/978-3-319-98355-4_18.
ieee: B. Feldkord, M. Malatyali, and F. Meyer auf der Heide, “A Dynamic Distributed
Data Structure for Top-k and k-Select Queries,” in Progress in Pattern Recognition,
Image Analysis, Computer Vision, and Applications, Cham, 2018.
mla: Feldkord, Björn, et al. “A Dynamic Distributed Data Structure for Top-k and
k-Select Queries.” Progress in Pattern Recognition, Image Analysis, Computer
Vision, and Applications, 2018, doi:10.1007/978-3-319-98355-4_18.
short: 'B. Feldkord, M. Malatyali, F. Meyer auf der Heide, in: Progress in Pattern
Recognition, Image Analysis, Computer Vision, and Applications, Cham, 2018.'
date_created: 2020-04-03T07:04:59Z
date_updated: 2022-01-06T06:52:50Z
department:
- _id: '63'
doi: 10.1007/978-3-319-98355-4_18
language:
- iso: eng
place: Cham
publication: Progress in Pattern Recognition, Image Analysis, Computer Vision, and
Applications
publication_identifier:
isbn:
- '9783319125671'
- '9783319125688'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: A Dynamic Distributed Data Structure for Top-k and k-Select Queries
type: book_chapter
user_id: '15415'
year: '2018'
...
---
_id: '24398'
abstract:
- lang: eng
text: 'Through this study, we introduce the idea of applying scheduling techniques
to allocate spatial resources that are shared among multiple robots moving in
a static environment and having temporal constraints on the arrival time to destinations.
To illustrate this idea, we present an exemplified algorithm that plans and assigns
a motion path to each robot. The considered problem is particularly challenging
because: (i) the robots share the same environment and thus the planner must take
into account overlapping paths which cannot happen at the same time; (ii) there
are time deadlines thus the planner must deal with temporal constraints; (iii)
new requests arrive without a priori knowledge thus the planner must be able to
add new paths online and adjust old plans; (iv) the robot motion is subject to
noise thus the planner must be reactive to adapt to online changes. We showcase
the functioning of the proposed algorithm through a set of agent-based simulations.'
author:
- first_name: Yara
full_name: Khaluf, Yara
last_name: Khaluf
- first_name: Christine
full_name: Markarian, Christine
last_name: Markarian
- first_name: Pieter
full_name: Simoens, Pieter
last_name: Simoens
- first_name: Andreagiovanni
full_name: Reina, Andreagiovanni
last_name: Reina
citation:
ama: 'Khaluf Y, Markarian C, Simoens P, Reina A. Scheduling Access to Shared Space
in Multi-robot Systems. In: International Conference on Practical Applications
of Agents and Multi-Agent Systems (PAAMS 2017). ; 2017. doi:10.1007/978-3-319-59930-4_12'
apa: Khaluf, Y., Markarian, C., Simoens, P., & Reina, A. (2017). Scheduling
Access to Shared Space in Multi-robot Systems. International Conference on
Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017). https://doi.org/10.1007/978-3-319-59930-4_12
bibtex: '@inproceedings{Khaluf_Markarian_Simoens_Reina_2017, place={Cham}, title={Scheduling
Access to Shared Space in Multi-robot Systems}, DOI={10.1007/978-3-319-59930-4_12},
booktitle={International Conference on Practical Applications of Agents and Multi-Agent
Systems (PAAMS 2017)}, author={Khaluf, Yara and Markarian, Christine and Simoens,
Pieter and Reina, Andreagiovanni}, year={2017} }'
chicago: Khaluf, Yara, Christine Markarian, Pieter Simoens, and Andreagiovanni Reina.
“Scheduling Access to Shared Space in Multi-Robot Systems.” In International
Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS
2017). Cham, 2017. https://doi.org/10.1007/978-3-319-59930-4_12.
ieee: 'Y. Khaluf, C. Markarian, P. Simoens, and A. Reina, “Scheduling Access to
Shared Space in Multi-robot Systems,” 2017, doi: 10.1007/978-3-319-59930-4_12.'
mla: Khaluf, Yara, et al. “Scheduling Access to Shared Space in Multi-Robot Systems.”
International Conference on Practical Applications of Agents and Multi-Agent
Systems (PAAMS 2017), 2017, doi:10.1007/978-3-319-59930-4_12.
short: 'Y. Khaluf, C. Markarian, P. Simoens, A. Reina, in: International Conference
on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), Cham,
2017.'
date_created: 2021-09-14T12:41:58Z
date_updated: 2022-01-06T06:56:19Z
department:
- _id: '63'
doi: 10.1007/978-3-319-59930-4_12
language:
- iso: eng
place: Cham
publication: International Conference on Practical Applications of Agents and Multi-Agent
Systems (PAAMS 2017)
publication_identifier:
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Scheduling Access to Shared Space in Multi-robot Systems
type: conference
user_id: '15415'
year: '2017'
...
---
_id: '2967'
author:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Gennadij
full_name: Liske, Gennadij
last_name: Liske
citation:
ama: 'Blömer J, Liske G. Subtleties in Security Definitions for Predicate Encryption
with Public Index. In: Proceedings of the International Conference of Mathematical
Aspects of Computer and Information Sciences (MACIS). Vol 10693. Lecture Notes
in Computer Science. Cham: Springer International Publishing; 2017:438-453. doi:10.1007/978-3-319-72453-9_35'
apa: 'Blömer, J., & Liske, G. (2017). Subtleties in Security Definitions for
Predicate Encryption with Public Index. In Proceedings of the International
Conference of Mathematical Aspects of Computer and Information Sciences (MACIS)
(Vol. 10693, pp. 438–453). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-72453-9_35'
bibtex: '@inproceedings{Blömer_Liske_2017, place={Cham}, series={Lecture Notes in
Computer Science}, title={Subtleties in Security Definitions for Predicate Encryption
with Public Index}, volume={10693}, DOI={10.1007/978-3-319-72453-9_35},
booktitle={Proceedings of the International Conference of Mathematical Aspects
of Computer and Information Sciences (MACIS)}, publisher={Springer International
Publishing}, author={Blömer, Johannes and Liske, Gennadij}, year={2017}, pages={438–453},
collection={Lecture Notes in Computer Science} }'
chicago: 'Blömer, Johannes, and Gennadij Liske. “Subtleties in Security Definitions
for Predicate Encryption with Public Index.” In Proceedings of the International
Conference of Mathematical Aspects of Computer and Information Sciences (MACIS),
10693:438–53. Lecture Notes in Computer Science. Cham: Springer International
Publishing, 2017. https://doi.org/10.1007/978-3-319-72453-9_35.'
ieee: J. Blömer and G. Liske, “Subtleties in Security Definitions for Predicate
Encryption with Public Index,” in Proceedings of the International Conference
of Mathematical Aspects of Computer and Information Sciences (MACIS), 2017,
vol. 10693, pp. 438–453.
mla: Blömer, Johannes, and Gennadij Liske. “Subtleties in Security Definitions for
Predicate Encryption with Public Index.” Proceedings of the International Conference
of Mathematical Aspects of Computer and Information Sciences (MACIS), vol.
10693, Springer International Publishing, 2017, pp. 438–53, doi:10.1007/978-3-319-72453-9_35.
short: 'J. Blömer, G. Liske, in: Proceedings of the International Conference of
Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International
Publishing, Cham, 2017, pp. 438–453.'
date_created: 2018-06-04T12:17:48Z
date_updated: 2022-01-06T06:58:49Z
ddc:
- '000'
department:
- _id: '64'
doi: 10.1007/978-3-319-72453-9_35
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T14:52:10Z
date_updated: 2018-11-02T14:52:10Z
file_id: '5286'
file_name: SubtletiesInSecurityDefinition.pdf
file_size: 463904
relation: main_file
success: 1
file_date_updated: 2018-11-02T14:52:10Z
has_accepted_license: '1'
intvolume: ' 10693'
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://eprint.iacr.org/2017/453.pdf
oa: '1'
page: 438-453
place: Cham
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 International Conference of Mathematical Aspects of
Computer and Information Sciences (MACIS)
publication_identifier:
isbn:
- '9783319724522'
- '9783319724539'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
series_title: Lecture Notes in Computer Science
status: public
title: Subtleties in Security Definitions for Predicate Encryption with Public Index
type: conference
user_id: '477'
volume: 10693
year: '2017'
...
---
_id: '2344'
author:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Peter
full_name: Günther, Peter
last_name: Günther
- first_name: Volker
full_name: Krummel, Volker
last_name: Krummel
- first_name: Nils
full_name: Löken, Nils
id: '13703'
last_name: Löken
citation:
ama: 'Blömer J, Günther P, Krummel V, Löken N. Attribute-Based Encryption as a Service
for Access Control in Large-Scale Organizations. In: Foundations and Practice
of Security. Cham: Springer International Publishing; 2017:3-17. doi:10.1007/978-3-319-75650-9_1'
apa: 'Blömer, J., Günther, P., Krummel, V., & Löken, N. (2017). Attribute-Based
Encryption as a Service for Access Control in Large-Scale Organizations. In Foundations
and Practice of Security (pp. 3–17). Cham: Springer International Publishing.
https://doi.org/10.1007/978-3-319-75650-9_1'
bibtex: '@inproceedings{Blömer_Günther_Krummel_Löken_2017, place={Cham}, title={Attribute-Based
Encryption as a Service for Access Control in Large-Scale Organizations}, DOI={10.1007/978-3-319-75650-9_1},
booktitle={Foundations and Practice of Security}, publisher={Springer International
Publishing}, author={Blömer, Johannes and Günther, Peter and Krummel, Volker and
Löken, Nils}, year={2017}, pages={3–17} }'
chicago: 'Blömer, Johannes, Peter Günther, Volker Krummel, and Nils Löken. “Attribute-Based
Encryption as a Service for Access Control in Large-Scale Organizations.” In Foundations
and Practice of Security, 3–17. Cham: Springer International Publishing, 2017.
https://doi.org/10.1007/978-3-319-75650-9_1.'
ieee: J. Blömer, P. Günther, V. Krummel, and N. Löken, “Attribute-Based Encryption
as a Service for Access Control in Large-Scale Organizations,” in Foundations
and Practice of Security, 2017, pp. 3–17.
mla: Blömer, Johannes, et al. “Attribute-Based Encryption as a Service for Access
Control in Large-Scale Organizations.” Foundations and Practice of Security,
Springer International Publishing, 2017, pp. 3–17, doi:10.1007/978-3-319-75650-9_1.
short: 'J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice
of Security, Springer International Publishing, Cham, 2017, pp. 3–17.'
date_created: 2018-04-13T11:40:48Z
date_updated: 2022-01-06T06:55:55Z
ddc:
- '000'
department:
- _id: '64'
doi: 10.1007/978-3-319-75650-9_1
file:
- access_level: closed
content_type: application/pdf
creator: ups
date_created: 2018-11-02T15:04:13Z
date_updated: 2018-11-02T15:04:13Z
file_id: '5292'
file_name: Attribute-BasedEncryptionAsASe.pdf
file_size: 634736
relation: main_file
success: 1
- access_level: open_access
content_type: application/pdf
creator: nilo
date_created: 2018-11-08T09:53:34Z
date_updated: 2018-11-08T09:53:34Z
file_id: '5425'
file_name: abe_aas.pdf
file_size: 522516
relation: main_file
file_date_updated: 2018-11-08T09:53:34Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
page: 3-17
place: Cham
project:
- _id: '13'
name: SFB 901 - Subproject C1
- _id: '4'
name: SFB 901 - Project Area C
- _id: '1'
name: SFB 901
- _id: '43'
name: Securing the Financial Cloud
publication: Foundations and Practice of Security
publication_identifier:
isbn:
- '9783319756493'
- '9783319756509'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations
type: conference
user_id: '13703'
year: '2017'
...
---
_id: '2381'
abstract:
- lang: eng
text: Metric facility location and K-means are well-known problems of combinatorial
optimization. Both admit a fairly simple heuristic called single-swap, which adds,
drops or swaps open facilities until it reaches a local optimum. For both problems,
it is known that this algorithm produces a solution that is at most a constant
factor worse than the respective global optimum. In this paper, we show that single-swap
applied to the weighted metric uncapacitated facility location and weighted discrete
K-means problem is tightly PLS-complete and hence has exponential worst-case running
time.
author:
- first_name: Sascha
full_name: Brauer, Sascha
id: '13291'
last_name: Brauer
citation:
ama: 'Brauer S. Complexity of Single-Swap Heuristics for Metric Facility Location
and Related Problems. In: Fotakis D, Pagourtzis A, Paschos VT, eds. Lecture
Notes in Computer Science. Vol 10236. Cham: Springer International Publishing;
2017:116-127. doi:10.1007/978-3-319-57586-5_11'
apa: 'Brauer, S. (2017). Complexity of Single-Swap Heuristics for Metric Facility
Location and Related Problems. In D. Fotakis, A. Pagourtzis, & V. T. Paschos
(Eds.), Lecture Notes in Computer Science (Vol. 10236, pp. 116–127). Cham:
Springer International Publishing. https://doi.org/10.1007/978-3-319-57586-5_11'
bibtex: '@inbook{Brauer_2017, place={Cham}, title={Complexity of Single-Swap Heuristics
for Metric Facility Location and Related Problems}, volume={10236}, DOI={10.1007/978-3-319-57586-5_11},
booktitle={Lecture Notes in Computer Science}, publisher={Springer International
Publishing}, author={Brauer, Sascha}, editor={Fotakis, Dimitris and Pagourtzis,
Aris and Paschos, Vangelis Th.Editors}, year={2017}, pages={116–127} }'
chicago: 'Brauer, Sascha. “Complexity of Single-Swap Heuristics for Metric Facility
Location and Related Problems.” In Lecture Notes in Computer Science, edited
by Dimitris Fotakis, Aris Pagourtzis, and Vangelis Th. Paschos, 10236:116–27.
Cham: Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-57586-5_11.'
ieee: 'S. Brauer, “Complexity of Single-Swap Heuristics for Metric Facility Location
and Related Problems,” in Lecture Notes in Computer Science, vol. 10236,
D. Fotakis, A. Pagourtzis, and V. T. Paschos, Eds. Cham: Springer International
Publishing, 2017, pp. 116–127.'
mla: Brauer, Sascha. “Complexity of Single-Swap Heuristics for Metric Facility Location
and Related Problems.” Lecture Notes in Computer Science, edited by Dimitris
Fotakis et al., vol. 10236, Springer International Publishing, 2017, pp. 116–27,
doi:10.1007/978-3-319-57586-5_11.
short: 'S. Brauer, in: D. Fotakis, A. Pagourtzis, V.T. Paschos (Eds.), Lecture Notes
in Computer Science, Springer International Publishing, Cham, 2017, pp. 116–127.'
conference:
end_date: 2017-05-26
location: Athens, Greece
name: 10th International Conference on Algorithms and Complexity
start_date: 2017-05-24
date_created: 2018-04-17T12:20:53Z
date_updated: 2022-01-06T06:56:00Z
department:
- _id: '64'
doi: 10.1007/978-3-319-57586-5_11
editor:
- first_name: Dimitris
full_name: Fotakis, Dimitris
last_name: Fotakis
- first_name: Aris
full_name: Pagourtzis, Aris
last_name: Pagourtzis
- first_name: Vangelis Th.
full_name: Paschos, Vangelis Th.
last_name: Paschos
intvolume: ' 10236'
language:
- iso: eng
page: 116-127
place: Cham
publication: Lecture Notes in Computer Science
publication_identifier:
isbn:
- '9783319575858'
- '9783319575865'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: Complexity of Single-Swap Heuristics for Metric Facility Location and Related
Problems
type: book_chapter
user_id: '13291'
volume: 10236
year: '2017'
...
---
_id: '5769'
abstract:
- lang: eng
text: "Information Flow Analysis (IFA) aims at detecting illegal flows of information
between program entities. “Legality” is therein specified in terms of various
security policies. For the analysis, this opens up two possibilities: building
generic, policy independent and building specific, policy dependent IFAs. While
the former needs to track all dependencies between program entities, the latter
allows for a reduced and thus more efficient analysis.\r\n\r\nIn this paper, we
start out by formally defining a policy independent information flow analysis.
Next, we show how to specialize this IFA via policy specific variable tracking,
and prove soundness of the specialization. We furthermore investigate refinement
relationships between policies, allowing an IFA for one policy to be employed
for its refinements. As policy refinement depends on concrete program entities,
we additionally propose a precomputation of policy refinement conditions, enabling
an efficient refinement check for concrete programs."
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. Policy Dependent and Independent Information Flow Analyses.
In: Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods (ICFEM 2017). Springer International Publishing;
2017:362-378. doi:10.1007/978-3-319-68690-5_22'
apa: Töws, M., & Wehrheim, H. (2017). Policy Dependent and Independent Information
Flow Analyses. In Formal Methods and Software Engineering - 19th International
Conference on Formal Engineering Methods (ICFEM 2017) (pp. 362–378). Springer
International Publishing. https://doi.org/10.1007/978-3-319-68690-5_22
bibtex: '@inproceedings{Töws_Wehrheim_2017, title={Policy Dependent and Independent
Information Flow Analyses}, DOI={10.1007/978-3-319-68690-5_22},
booktitle={Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods (ICFEM 2017)}, publisher={Springer International
Publishing}, author={Töws, Manuel and Wehrheim, Heike}, year={2017}, pages={362–378}
}'
chicago: Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information
Flow Analyses.” In Formal Methods and Software Engineering - 19th International
Conference on Formal Engineering Methods (ICFEM 2017), 362–78. Springer International
Publishing, 2017. https://doi.org/10.1007/978-3-319-68690-5_22.
ieee: M. Töws and H. Wehrheim, “Policy Dependent and Independent Information Flow
Analyses,” in Formal Methods and Software Engineering - 19th International
Conference on Formal Engineering Methods (ICFEM 2017), 2017, pp. 362–378.
mla: Töws, Manuel, and Heike Wehrheim. “Policy Dependent and Independent Information
Flow Analyses.” Formal Methods and Software Engineering - 19th International
Conference on Formal Engineering Methods (ICFEM 2017), Springer International
Publishing, 2017, pp. 362–78, doi:10.1007/978-3-319-68690-5_22.
short: 'M. Töws, H. Wehrheim, in: Formal Methods and Software Engineering - 19th
International Conference on Formal Engineering Methods (ICFEM 2017), Springer
International Publishing, 2017, pp. 362–378.'
date_created: 2018-11-21T09:38:43Z
date_updated: 2022-01-06T07:02:39Z
ddc:
- '000'
department:
- _id: '77'
doi: 10.1007/978-3-319-68690-5_22
file:
- access_level: closed
content_type: application/pdf
creator: mtoews
date_created: 2018-11-26T15:07:42Z
date_updated: 2018-11-26T15:07:42Z
file_id: '5836'
file_name: Töws-Wehrheim2017_Chapter_PolicyDependentAndIndependentI.pdf
file_size: 424031
relation: main_file
success: 1
file_date_updated: 2018-11-26T15:07:42Z
has_accepted_license: '1'
language:
- iso: eng
page: 362-378
project:
- _id: '12'
name: SFB 901 - Subproject B4
- _id: '3'
name: SFB 901 - Project Area B
- _id: '1'
name: SFB 901
publication: Formal Methods and Software Engineering - 19th International Conference on
Formal Engineering Methods (ICFEM 2017)
publication_identifier:
isbn:
- '9783319686899'
- '9783319686905'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: Policy Dependent and Independent Information Flow Analyses
type: conference
user_id: '477'
year: '2017'
...
---
_id: '6255'
author:
- first_name: Holger Gerhard
full_name: Fischer, Holger Gerhard
id: '30457'
last_name: Fischer
- first_name: Michael
full_name: Engler, Michael
last_name: Engler
- first_name: Stefan
full_name: Sauer, Stefan
id: '447'
last_name: Sauer
citation:
ama: 'Fischer HG, Engler M, Sauer S. A Human-Centered Perspective on Software Quality:
Acceptance Criteria for Work 4.0. In: Design, User Experience, and Usability:
Theory, Methodology, and Management. Vol 10288. Lecture Notes in Computer
Science. Cham: Springer International Publishing; 2017:570-583. doi:10.1007/978-3-319-58634-2_42'
apa: 'Fischer, H. G., Engler, M., & Sauer, S. (2017). A Human-Centered Perspective
on Software Quality: Acceptance Criteria for Work 4.0. In Design, User Experience,
and Usability: Theory, Methodology, and Management (Vol. 10288, pp. 570–583).
Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-58634-2_42'
bibtex: '@inbook{Fischer_Engler_Sauer_2017, place={Cham}, series={Lecture Notes
in Computer Science}, title={A Human-Centered Perspective on Software Quality:
Acceptance Criteria for Work 4.0}, volume={10288}, DOI={10.1007/978-3-319-58634-2_42},
booktitle={Design, User Experience, and Usability: Theory, Methodology, and Management},
publisher={Springer International Publishing}, author={Fischer, Holger Gerhard
and Engler, Michael and Sauer, Stefan}, year={2017}, pages={570–583}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Fischer, Holger Gerhard, Michael Engler, and Stefan Sauer. “A Human-Centered
Perspective on Software Quality: Acceptance Criteria for Work 4.0.” In Design,
User Experience, and Usability: Theory, Methodology, and Management, 10288:570–83.
Lecture Notes in Computer Science. Cham: Springer International Publishing, 2017.
https://doi.org/10.1007/978-3-319-58634-2_42.'
ieee: 'H. G. Fischer, M. Engler, and S. Sauer, “A Human-Centered Perspective on
Software Quality: Acceptance Criteria for Work 4.0,” in Design, User Experience,
and Usability: Theory, Methodology, and Management, vol. 10288, Cham: Springer
International Publishing, 2017, pp. 570–583.'
mla: 'Fischer, Holger Gerhard, et al. “A Human-Centered Perspective on Software
Quality: Acceptance Criteria for Work 4.0.” Design, User Experience, and Usability:
Theory, Methodology, and Management, vol. 10288, Springer International Publishing,
2017, pp. 570–83, doi:10.1007/978-3-319-58634-2_42.'
short: 'H.G. Fischer, M. Engler, S. Sauer, in: Design, User Experience, and Usability:
Theory, Methodology, and Management, Springer International Publishing, Cham,
2017, pp. 570–583.'
conference:
end_date: 2017-07-14
location: Vancouver, Canada
name: International Conference of Design, User Experience, and Usability (DUXU)
as part of HCI International 2017
start_date: 2017-07-09
date_created: 2018-12-18T10:44:24Z
date_updated: 2022-01-06T07:02:58Z
department:
- _id: '66'
- _id: '534'
- _id: '221'
doi: 10.1007/978-3-319-58634-2_42
intvolume: ' 10288'
language:
- iso: eng
page: 570-583
place: Cham
publication: 'Design, User Experience, and Usability: Theory, Methodology, and Management'
publication_identifier:
isbn:
- '9783319586335'
- '9783319586342'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
series_title: Lecture Notes in Computer Science
status: public
title: 'A Human-Centered Perspective on Software Quality: Acceptance Criteria for
Work 4.0'
type: book_chapter
user_id: '30457'
volume: 10288
year: '2017'
...
---
_id: '16461'
author:
- first_name: Pascal
full_name: Bemmann, Pascal
last_name: Bemmann
- first_name: Felix
full_name: Biermeier, Felix
last_name: Biermeier
- first_name: Jan
full_name: Bürmann, Jan
last_name: Bürmann
- first_name: Arne
full_name: Kemper, Arne
last_name: Kemper
- first_name: Till
full_name: Knollmann, Till
id: '39241'
last_name: Knollmann
orcid: 0000-0003-2014-4696
- first_name: Steffen
full_name: Knorr, Steffen
last_name: Knorr
- first_name: Nils
full_name: Kothe, Nils
last_name: Kothe
- first_name: Alexander
full_name: Mäcker, Alexander
id: '13536'
last_name: Mäcker
- first_name: Manuel
full_name: Malatyali, Manuel
id: '41265'
last_name: Malatyali
- first_name: Friedhelm
full_name: Meyer auf der Heide, Friedhelm
id: '15523'
last_name: Meyer auf der Heide
- first_name: Sören
full_name: Riechers, Sören
last_name: Riechers
- first_name: Johannes Sebastian
full_name: Schaefer, Johannes Sebastian
id: '30291'
last_name: Schaefer
- first_name: Jannik
full_name: Sundermeier, Jannik
id: '38705'
last_name: Sundermeier
citation:
ama: 'Bemmann P, Biermeier F, Bürmann J, et al. Monitoring of Domain-Related Problems
in Distributed Data Streams. In: Structural Information and Communication Complexity.
; 2017. doi:10.1007/978-3-319-72050-0_13'
apa: Bemmann, P., Biermeier, F., Bürmann, J., Kemper, A., Knollmann, T., Knorr,
S., Kothe, N., Mäcker, A., Malatyali, M., Meyer auf der Heide, F., Riechers, S.,
Schaefer, J. S., & Sundermeier, J. (2017). Monitoring of Domain-Related Problems
in Distributed Data Streams. In Structural Information and Communication Complexity.
https://doi.org/10.1007/978-3-319-72050-0_13
bibtex: '@inbook{Bemmann_Biermeier_Bürmann_Kemper_Knollmann_Knorr_Kothe_Mäcker_Malatyali_Meyer
auf der Heide_et al._2017, place={Cham}, title={Monitoring of Domain-Related Problems
in Distributed Data Streams}, DOI={10.1007/978-3-319-72050-0_13},
booktitle={Structural Information and Communication Complexity}, author={Bemmann,
Pascal and Biermeier, Felix and Bürmann, Jan and Kemper, Arne and Knollmann, Till
and Knorr, Steffen and Kothe, Nils and Mäcker, Alexander and Malatyali, Manuel
and Meyer auf der Heide, Friedhelm and et al.}, year={2017} }'
chicago: Bemmann, Pascal, Felix Biermeier, Jan Bürmann, Arne Kemper, Till Knollmann,
Steffen Knorr, Nils Kothe, et al. “Monitoring of Domain-Related Problems in Distributed
Data Streams.” In Structural Information and Communication Complexity.
Cham, 2017. https://doi.org/10.1007/978-3-319-72050-0_13.
ieee: P. Bemmann et al., “Monitoring of Domain-Related Problems in Distributed
Data Streams,” in Structural Information and Communication Complexity,
Cham, 2017.
mla: Bemmann, Pascal, et al. “Monitoring of Domain-Related Problems in Distributed
Data Streams.” Structural Information and Communication Complexity, 2017,
doi:10.1007/978-3-319-72050-0_13.
short: 'P. Bemmann, F. Biermeier, J. Bürmann, A. Kemper, T. Knollmann, S. Knorr,
N. Kothe, A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, J.S. Schaefer,
J. Sundermeier, in: Structural Information and Communication Complexity, Cham,
2017.'
date_created: 2020-04-08T07:20:20Z
date_updated: 2022-01-06T06:52:50Z
department:
- _id: '63'
doi: 10.1007/978-3-319-72050-0_13
external_id:
arxiv:
- 'arXiv:1706.03568 '
language:
- iso: eng
place: Cham
publication: Structural Information and Communication Complexity
publication_identifier:
isbn:
- '9783319720494'
- '9783319720500'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Monitoring of Domain-Related Problems in Distributed Data Streams
type: book_chapter
user_id: '15415'
year: '2017'
...
---
_id: '14857'
author:
- first_name: Michaela
full_name: Beckschäfer, Michaela
id: '32439'
last_name: Beckschäfer
- first_name: Simon
full_name: Malberg, Simon
last_name: Malberg
- first_name: Kevin
full_name: Tierney, Kevin
last_name: Tierney
- first_name: Christoph
full_name: Weskamp, Christoph
last_name: Weskamp
citation:
ama: 'Beckschäfer M, Malberg S, Tierney K, Weskamp C. Simulating Storage Policies
for an Automated Grid-Based Warehouse System. In: Lecture Notes in Computer
Science. Cham; 2017. doi:10.1007/978-3-319-68496-3_31'
apa: Beckschäfer, M., Malberg, S., Tierney, K., & Weskamp, C. (2017). Simulating
Storage Policies for an Automated Grid-Based Warehouse System. In Lecture Notes
in Computer Science. Cham. https://doi.org/10.1007/978-3-319-68496-3_31
bibtex: '@inbook{Beckschäfer_Malberg_Tierney_Weskamp_2017, place={Cham}, title={Simulating
Storage Policies for an Automated Grid-Based Warehouse System}, DOI={10.1007/978-3-319-68496-3_31},
booktitle={Lecture Notes in Computer Science}, author={Beckschäfer, Michaela and
Malberg, Simon and Tierney, Kevin and Weskamp, Christoph}, year={2017} }'
chicago: Beckschäfer, Michaela, Simon Malberg, Kevin Tierney, and Christoph Weskamp.
“Simulating Storage Policies for an Automated Grid-Based Warehouse System.” In
Lecture Notes in Computer Science. Cham, 2017. https://doi.org/10.1007/978-3-319-68496-3_31.
ieee: M. Beckschäfer, S. Malberg, K. Tierney, and C. Weskamp, “Simulating Storage
Policies for an Automated Grid-Based Warehouse System,” in Lecture Notes in
Computer Science, Cham, 2017.
mla: Beckschäfer, Michaela, et al. “Simulating Storage Policies for an Automated
Grid-Based Warehouse System.” Lecture Notes in Computer Science, 2017,
doi:10.1007/978-3-319-68496-3_31.
short: 'M. Beckschäfer, S. Malberg, K. Tierney, C. Weskamp, in: Lecture Notes in
Computer Science, Cham, 2017.'
date_created: 2019-11-08T08:15:11Z
date_updated: 2022-01-06T06:52:08Z
department:
- _id: '277'
doi: 10.1007/978-3-319-68496-3_31
language:
- iso: eng
place: Cham
publication: Lecture Notes in Computer Science
publication_identifier:
isbn:
- '9783319684956'
- '9783319684963'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Simulating Storage Policies for an Automated Grid-Based Warehouse System
type: book_chapter
user_id: '1112'
year: '2017'
...
---
_id: '23396'
author:
- first_name: Christopher
full_name: Gerking, Christopher
last_name: Gerking
- first_name: David
full_name: Schubert, David
last_name: Schubert
- first_name: Ingo
full_name: Budde, Ingo
id: '13693'
last_name: Budde
orcid: https://orcid.org/0000-0003-0124-6291
citation:
ama: 'Gerking C, Schubert D, Budde I. Reducing the Verbosity of Imperative Model
Refinements by Using General-Purpose Language Facilities. In: Theory and Practice
of Model Transformation. ; 2017. doi:10.1007/978-3-319-61473-1_2'
apa: Gerking, C., Schubert, D., & Budde, I. (2017). Reducing the Verbosity of
Imperative Model Refinements by Using General-Purpose Language Facilities. In
Theory and Practice of Model Transformation. https://doi.org/10.1007/978-3-319-61473-1_2
bibtex: '@inbook{Gerking_Schubert_Budde_2017, place={Cham}, title={Reducing the
Verbosity of Imperative Model Refinements by Using General-Purpose Language Facilities},
DOI={10.1007/978-3-319-61473-1_2},
booktitle={Theory and Practice of Model Transformation}, author={Gerking, Christopher
and Schubert, David and Budde, Ingo}, year={2017} }'
chicago: Gerking, Christopher, David Schubert, and Ingo Budde. “Reducing the Verbosity
of Imperative Model Refinements by Using General-Purpose Language Facilities.”
In Theory and Practice of Model Transformation. Cham, 2017. https://doi.org/10.1007/978-3-319-61473-1_2.
ieee: C. Gerking, D. Schubert, and I. Budde, “Reducing the Verbosity of Imperative
Model Refinements by Using General-Purpose Language Facilities,” in Theory
and Practice of Model Transformation, Cham, 2017.
mla: Gerking, Christopher, et al. “Reducing the Verbosity of Imperative Model Refinements
by Using General-Purpose Language Facilities.” Theory and Practice of Model
Transformation, 2017, doi:10.1007/978-3-319-61473-1_2.
short: 'C. Gerking, D. Schubert, I. Budde, in: Theory and Practice of Model Transformation,
Cham, 2017.'
date_created: 2021-08-13T20:33:08Z
date_updated: 2024-05-02T19:01:07Z
doi: 10.1007/978-3-319-61473-1_2
language:
- iso: eng
place: Cham
publication: Theory and Practice of Model Transformation
publication_identifier:
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Reducing the Verbosity of Imperative Model Refinements by Using General-Purpose
Language Facilities
type: book_chapter
user_id: '13693'
year: '2017'
...
---
_id: '60902'
author:
- first_name: Johanna
full_name: Senk, Johanna
last_name: Senk
- first_name: Alper
full_name: Yegenoglu, Alper
id: '117951'
last_name: Yegenoglu
orcid: 0000-0001-8869-215X
- first_name: Olivier
full_name: Amblet, Olivier
last_name: Amblet
- first_name: Yury
full_name: Brukau, Yury
last_name: Brukau
- first_name: Andrew
full_name: Davison, Andrew
last_name: Davison
- first_name: David Roland
full_name: Lester, David Roland
last_name: Lester
- first_name: Anna
full_name: Lührs, Anna
last_name: Lührs
- first_name: Pietro
full_name: Quaglio, Pietro
last_name: Quaglio
- first_name: Vahid
full_name: Rostami, Vahid
last_name: Rostami
- first_name: Andrew
full_name: Rowley, Andrew
last_name: Rowley
- first_name: Bernd
full_name: Schuller, Bernd
last_name: Schuller
- first_name: Alan Barry
full_name: Stokes, Alan Barry
last_name: Stokes
- first_name: Sacha Jennifer
full_name: van Albada, Sacha Jennifer
last_name: van Albada
- first_name: Daniel
full_name: Zielasko, Daniel
last_name: Zielasko
- first_name: Markus
full_name: Diesmann, Markus
last_name: Diesmann
- first_name: Benjamin
full_name: Weyers, Benjamin
last_name: Weyers
- first_name: Michael
full_name: Denker, Michael
last_name: Denker
- first_name: Sonja
full_name: Grün, Sonja
last_name: Grün
citation:
ama: 'Senk J, Yegenoglu A, Amblet O, et al. A Collaborative Simulation-Analysis
Workflow for Computational Neuroscience Using HPC. In: Lecture Notes in Computer
Science. Springer International Publishing; 2017. doi:10.1007/978-3-319-53862-4_21'
apa: Senk, J., Yegenoglu, A., Amblet, O., Brukau, Y., Davison, A., Lester, D. R.,
Lührs, A., Quaglio, P., Rostami, V., Rowley, A., Schuller, B., Stokes, A. B.,
van Albada, S. J., Zielasko, D., Diesmann, M., Weyers, B., Denker, M., & Grün,
S. (2017). A Collaborative Simulation-Analysis Workflow for Computational Neuroscience
Using HPC. In Lecture Notes in Computer Science. Springer International
Publishing. https://doi.org/10.1007/978-3-319-53862-4_21
bibtex: '@inbook{Senk_Yegenoglu_Amblet_Brukau_Davison_Lester_Lührs_Quaglio_Rostami_Rowley_et
al._2017, place={Cham}, title={A Collaborative Simulation-Analysis Workflow for
Computational Neuroscience Using HPC}, DOI={10.1007/978-3-319-53862-4_21},
booktitle={Lecture Notes in Computer Science}, publisher={Springer International
Publishing}, author={Senk, Johanna and Yegenoglu, Alper and Amblet, Olivier and
Brukau, Yury and Davison, Andrew and Lester, David Roland and Lührs, Anna and
Quaglio, Pietro and Rostami, Vahid and Rowley, Andrew and et al.}, year={2017}
}'
chicago: 'Senk, Johanna, Alper Yegenoglu, Olivier Amblet, Yury Brukau, Andrew Davison,
David Roland Lester, Anna Lührs, et al. “A Collaborative Simulation-Analysis Workflow
for Computational Neuroscience Using HPC.” In Lecture Notes in Computer Science.
Cham: Springer International Publishing, 2017. https://doi.org/10.1007/978-3-319-53862-4_21.'
ieee: 'J. Senk et al., “A Collaborative Simulation-Analysis Workflow for
Computational Neuroscience Using HPC,” in Lecture Notes in Computer Science,
Cham: Springer International Publishing, 2017.'
mla: Senk, Johanna, et al. “A Collaborative Simulation-Analysis Workflow for Computational
Neuroscience Using HPC.” Lecture Notes in Computer Science, Springer International
Publishing, 2017, doi:10.1007/978-3-319-53862-4_21.
short: 'J. Senk, A. Yegenoglu, O. Amblet, Y. Brukau, A. Davison, D.R. Lester, A.
Lührs, P. Quaglio, V. Rostami, A. Rowley, B. Schuller, A.B. Stokes, S.J. van Albada,
D. Zielasko, M. Diesmann, B. Weyers, M. Denker, S. Grün, in: Lecture Notes in
Computer Science, Springer International Publishing, Cham, 2017.'
date_created: 2025-08-06T15:02:46Z
date_updated: 2025-08-08T11:39:32Z
doi: 10.1007/978-3-319-53862-4_21
language:
- iso: eng
place: Cham
publication: Lecture Notes in Computer Science
publication_identifier:
isbn:
- '9783319538617'
- '9783319538624'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: A Collaborative Simulation-Analysis Workflow for Computational Neuroscience
Using HPC
type: book_chapter
user_id: '117951'
year: '2017'
...
---
_id: '20000'
author:
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
- first_name: Gabriele
full_name: Valentini, Gabriele
last_name: Valentini
- first_name: Marco
full_name: Dorigo, Marco
last_name: Dorigo
citation:
ama: 'Hamann H, Valentini G, Dorigo M. Population Coding: A New Design Paradigm
for Embodied Distributed Systems. In: 10th Int. Conf. on Swarm Intelligence,
ANTS 2016. Cham; 2016. doi:10.1007/978-3-319-44427-7_15'
apa: 'Hamann, H., Valentini, G., & Dorigo, M. (2016). Population Coding: A New
Design Paradigm for Embodied Distributed Systems. In 10th Int. Conf. on Swarm
Intelligence, ANTS 2016. Cham. https://doi.org/10.1007/978-3-319-44427-7_15'
bibtex: '@inproceedings{Hamann_Valentini_Dorigo_2016, place={Cham}, title={Population
Coding: A New Design Paradigm for Embodied Distributed Systems}, DOI={10.1007/978-3-319-44427-7_15},
booktitle={10th Int. Conf. on Swarm Intelligence, ANTS 2016}, author={Hamann,
Heiko and Valentini, Gabriele and Dorigo, Marco}, year={2016} }'
chicago: 'Hamann, Heiko, Gabriele Valentini, and Marco Dorigo. “Population Coding:
A New Design Paradigm for Embodied Distributed Systems.” In 10th Int. Conf.
on Swarm Intelligence, ANTS 2016. Cham, 2016. https://doi.org/10.1007/978-3-319-44427-7_15.'
ieee: 'H. Hamann, G. Valentini, and M. Dorigo, “Population Coding: A New Design
Paradigm for Embodied Distributed Systems,” in 10th Int. Conf. on Swarm Intelligence,
ANTS 2016, 2016.'
mla: 'Hamann, Heiko, et al. “Population Coding: A New Design Paradigm for Embodied
Distributed Systems.” 10th Int. Conf. on Swarm Intelligence, ANTS 2016,
2016, doi:10.1007/978-3-319-44427-7_15.'
short: 'H. Hamann, G. Valentini, M. Dorigo, in: 10th Int. Conf. on Swarm Intelligence,
ANTS 2016, Cham, 2016.'
date_created: 2020-10-15T09:55:35Z
date_updated: 2022-01-06T06:54:18Z
department:
- _id: '63'
- _id: '238'
doi: 10.1007/978-3-319-44427-7_15
language:
- iso: eng
place: Cham
publication: 10th Int. Conf. on Swarm Intelligence, ANTS 2016
publication_identifier:
isbn:
- '9783319444260'
- '9783319444277'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: 'Population Coding: A New Design Paradigm for Embodied Distributed Systems'
type: conference
user_id: '15415'
year: '2016'
...
---
_id: '20004'
author:
- first_name: Gabriele
full_name: Valentini, Gabriele
last_name: Valentini
- first_name: Davide
full_name: Brambilla, Davide
last_name: Brambilla
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
- first_name: Marco
full_name: Dorigo, Marco
last_name: Dorigo
citation:
ama: 'Valentini G, Brambilla D, Hamann H, Dorigo M. Collective Perception of Environmental
Features in a Robot Swarm. In: 10th Int. Conf. on Swarm Intelligence, ANTS
2016. ; 2016. doi:10.1007/978-3-319-44427-7_6'
apa: Valentini, G., Brambilla, D., Hamann, H., & Dorigo, M. (2016). Collective
Perception of Environmental Features in a Robot Swarm. In 10th Int. Conf. on
Swarm Intelligence, ANTS 2016. https://doi.org/10.1007/978-3-319-44427-7_6
bibtex: '@inproceedings{Valentini_Brambilla_Hamann_Dorigo_2016, title={Collective
Perception of Environmental Features in a Robot Swarm}, DOI={10.1007/978-3-319-44427-7_6},
booktitle={10th Int. Conf. on Swarm Intelligence, ANTS 2016}, author={Valentini,
Gabriele and Brambilla, Davide and Hamann, Heiko and Dorigo, Marco}, year={2016}
}'
chicago: Valentini, Gabriele, Davide Brambilla, Heiko Hamann, and Marco Dorigo.
“Collective Perception of Environmental Features in a Robot Swarm.” In 10th
Int. Conf. on Swarm Intelligence, ANTS 2016, 2016. https://doi.org/10.1007/978-3-319-44427-7_6.
ieee: G. Valentini, D. Brambilla, H. Hamann, and M. Dorigo, “Collective Perception
of Environmental Features in a Robot Swarm,” in 10th Int. Conf. on Swarm Intelligence,
ANTS 2016, 2016.
mla: Valentini, Gabriele, et al. “Collective Perception of Environmental Features
in a Robot Swarm.” 10th Int. Conf. on Swarm Intelligence, ANTS 2016, 2016,
doi:10.1007/978-3-319-44427-7_6.
short: 'G. Valentini, D. Brambilla, H. Hamann, M. Dorigo, in: 10th Int. Conf. on
Swarm Intelligence, ANTS 2016, 2016.'
date_created: 2020-10-15T10:22:20Z
date_updated: 2022-01-06T06:54:18Z
department:
- _id: '63'
- _id: '238'
doi: 10.1007/978-3-319-44427-7_6
language:
- iso: eng
publication: 10th Int. Conf. on Swarm Intelligence, ANTS 2016
publication_identifier:
isbn:
- '9783319444260'
- '9783319444277'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: Collective Perception of Environmental Features in a Robot Swarm
type: conference
user_id: '15415'
year: '2016'
...
---
_id: '2948'
author:
- first_name: Peter
full_name: Günther, Peter
last_name: Günther
- first_name: Volker
full_name: Krummel, Volker
last_name: Krummel
citation:
ama: 'Günther P, Krummel V. Implementing Cryptographic Pairings on Accumulator Based
Smart Card Architectures. In: Mathematical Aspects of Computer and Information
Sciences. Cham: Springer International Publishing; 2016:151-165. doi:10.1007/978-3-319-32859-1_13'
apa: 'Günther, P., & Krummel, V. (2016). Implementing Cryptographic Pairings
on Accumulator Based Smart Card Architectures. In Mathematical Aspects of Computer
and Information Sciences (pp. 151–165). Cham: Springer International Publishing.
https://doi.org/10.1007/978-3-319-32859-1_13'
bibtex: '@inbook{Günther_Krummel_2016, place={Cham}, title={Implementing Cryptographic
Pairings on Accumulator Based Smart Card Architectures}, DOI={10.1007/978-3-319-32859-1_13},
booktitle={Mathematical Aspects of Computer and Information Sciences}, publisher={Springer
International Publishing}, author={Günther, Peter and Krummel, Volker}, year={2016},
pages={151–165} }'
chicago: 'Günther, Peter, and Volker Krummel. “Implementing Cryptographic Pairings
on Accumulator Based Smart Card Architectures.” In Mathematical Aspects of
Computer and Information Sciences, 151–65. Cham: Springer International Publishing,
2016. https://doi.org/10.1007/978-3-319-32859-1_13.'
ieee: 'P. Günther and V. Krummel, “Implementing Cryptographic Pairings on Accumulator
Based Smart Card Architectures,” in Mathematical Aspects of Computer and Information
Sciences, Cham: Springer International Publishing, 2016, pp. 151–165.'
mla: Günther, Peter, and Volker Krummel. “Implementing Cryptographic Pairings on
Accumulator Based Smart Card Architectures.” Mathematical Aspects of Computer
and Information Sciences, Springer International Publishing, 2016, pp. 151–65,
doi:10.1007/978-3-319-32859-1_13.
short: 'P. Günther, V. Krummel, in: Mathematical Aspects of Computer and Information
Sciences, Springer International Publishing, Cham, 2016, pp. 151–165.'
date_created: 2018-05-29T11:26:56Z
date_updated: 2022-01-06T06:58:48Z
department:
- _id: '64'
doi: 10.1007/978-3-319-32859-1_13
page: 151-165
place: Cham
project:
- _id: '43'
name: Securing the Financial Cloud
publication: Mathematical Aspects of Computer and Information Sciences
publication_identifier:
isbn:
- '9783319328584'
- '9783319328591'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures
type: book_chapter
user_id: '25078'
year: '2016'
...
---
_id: '2968'
author:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Christiane
full_name: Lammersen, Christiane
last_name: Lammersen
- first_name: Melanie
full_name: Schmidt, Melanie
last_name: Schmidt
- first_name: Christian
full_name: Sohler, Christian
last_name: Sohler
citation:
ama: 'Blömer J, Lammersen C, Schmidt M, Sohler C. Theoretical Analysis of the k-Means
Algorithm – A Survey. In: Algorithm Engineering. Cham: Springer International
Publishing; 2016:81-116. doi:10.1007/978-3-319-49487-6_3'
apa: 'Blömer, J., Lammersen, C., Schmidt, M., & Sohler, C. (2016). Theoretical
Analysis of the k-Means Algorithm – A Survey. In Algorithm Engineering
(pp. 81–116). Cham: Springer International Publishing. https://doi.org/10.1007/978-3-319-49487-6_3'
bibtex: '@inbook{Blömer_Lammersen_Schmidt_Sohler_2016, place={Cham}, title={Theoretical
Analysis of the k-Means Algorithm – A Survey}, DOI={10.1007/978-3-319-49487-6_3},
booktitle={Algorithm Engineering}, publisher={Springer International Publishing},
author={Blömer, Johannes and Lammersen, Christiane and Schmidt, Melanie and Sohler,
Christian}, year={2016}, pages={81–116} }'
chicago: 'Blömer, Johannes, Christiane Lammersen, Melanie Schmidt, and Christian
Sohler. “Theoretical Analysis of the K-Means Algorithm – A Survey.” In Algorithm
Engineering, 81–116. Cham: Springer International Publishing, 2016. https://doi.org/10.1007/978-3-319-49487-6_3.'
ieee: 'J. Blömer, C. Lammersen, M. Schmidt, and C. Sohler, “Theoretical Analysis
of the k-Means Algorithm – A Survey,” in Algorithm Engineering, Cham: Springer
International Publishing, 2016, pp. 81–116.'
mla: Blömer, Johannes, et al. “Theoretical Analysis of the K-Means Algorithm – A
Survey.” Algorithm Engineering, Springer International Publishing, 2016,
pp. 81–116, doi:10.1007/978-3-319-49487-6_3.
short: 'J. Blömer, C. Lammersen, M. Schmidt, C. Sohler, in: Algorithm Engineering,
Springer International Publishing, Cham, 2016, pp. 81–116.'
date_created: 2018-06-04T12:22:40Z
date_updated: 2022-01-06T06:58:49Z
department:
- _id: '64'
doi: 10.1007/978-3-319-49487-6_3
page: 81-116
place: Cham
publication: Algorithm Engineering
publication_identifier:
isbn:
- '9783319494869'
- '9783319494876'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: Theoretical Analysis of the k-Means Algorithm – A Survey
type: book_chapter
user_id: '25078'
year: '2016'
...