---
_id: '26810'
abstract:
- lang: eng
text: "The paradigm of imitation provides a powerful means for increasing the overall
learning speed in a group of robots. While separately exploring the environment
in order to learn how to behave with respect to a pre-defined goal, a robot gathers
experience based on its own actions and interactions with the surroundings, respectively.
By accumulating additional experience via observing the behaviour of other robots,
the learning process can be significantly improved in terms of speed and quality.
Within this article we present an approach, that enables robots in a multi-robot
society to imitate any other available robot without imposing unnecessary restrictions
regarding the robots\x92 design. Therefore, it benefits not only from its own
actions, but also from actions that an observed robot performs. In order to realise
the imitation paradigm, we solve three main challenges, namely enabling a robot
to decide whom and when to imitate, to interpret and thereby understand the behaviour
of an observed robot, and to integrate the experience gathered by observation
into its individual learning process."
author:
- first_name: Alexander
full_name: Jungmann, Alexander
last_name: Jungmann
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
- first_name: Willi
full_name: Richert, Willi
last_name: Richert
citation:
ama: "Jungmann A, Kleinjohann B, Richert W. Increasing Learning Speed by Imitation
in Multi-robot Societies. In: Organic Computing \x97 A Paradigm Shift for Complex
Systems, Autonomic Systems, Band 1 . Springer Basel; 2011:295-307. doi:10.1007/978-3-0348-0130-0_19"
apa: "Jungmann, A., Kleinjohann, B., & Richert, W. (2011). Increasing Learning
Speed by Imitation in Multi-robot Societies. In Organic Computing \x97 A Paradigm
Shift for Complex Systems, Autonomic Systems, Band 1 (pp. 295–307). Springer
Basel. https://doi.org/10.1007/978-3-0348-0130-0_19"
bibtex: "@inbook{Jungmann_Kleinjohann_Richert_2011, title={Increasing Learning Speed
by Imitation in Multi-robot Societies}, DOI={10.1007/978-3-0348-0130-0_19},
booktitle={Organic Computing \x97 A Paradigm Shift for Complex Systems, Autonomic
Systems, Band 1 }, publisher={Springer Basel}, author={Jungmann, Alexander and
Kleinjohann, Bernd and Richert, Willi}, year={2011}, pages={295–307} }"
chicago: "Jungmann, Alexander, Bernd Kleinjohann, and Willi Richert. “Increasing
Learning Speed by Imitation in Multi-Robot Societies.” In Organic Computing
\x97 A Paradigm Shift for Complex Systems, Autonomic Systems, Band 1 , 295–307.
Springer Basel, 2011. https://doi.org/10.1007/978-3-0348-0130-0_19."
ieee: "A. Jungmann, B. Kleinjohann, and W. Richert, “Increasing Learning Speed by
Imitation in Multi-robot Societies,” in Organic Computing \x97 A Paradigm Shift
for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp.
295–307."
mla: "Jungmann, Alexander, et al. “Increasing Learning Speed by Imitation in Multi-Robot
Societies.” Organic Computing \x97 A Paradigm Shift for Complex Systems, Autonomic
Systems, Band 1 , Springer Basel, 2011, pp. 295–307, doi:10.1007/978-3-0348-0130-0_19."
short: "A. Jungmann, B. Kleinjohann, W. Richert, in: Organic Computing \x97 A Paradigm
Shift for Complex Systems, Autonomic Systems, Band 1 , Springer Basel, 2011, pp.
295–307."
date_created: 2021-10-25T11:05:02Z
date_updated: 2022-01-06T06:57:28Z
department:
- _id: '672'
doi: 10.1007/978-3-0348-0130-0_19
language:
- iso: eng
page: 295-307
publication: "Organic Computing \x97 A Paradigm Shift for Complex Systems, Autonomic
Systems, Band 1 "
publisher: Springer Basel
status: public
title: Increasing Learning Speed by Imitation in Multi-robot Societies
type: book_chapter
user_id: '21240'
year: '2011'
...
---
_id: '3811'
author:
- first_name: Henning
full_name: Wachsmuth, Henning
id: '3900'
last_name: Wachsmuth
- first_name: Kathrin
full_name: Bujna, Kathrin
last_name: Bujna
citation:
ama: 'Wachsmuth H, Bujna K. Back to the Roots of Genres: Text Classification by
Language Function. In: Berendt B, de Vries A, Fan W, Macdonald C, Ounis I, Ruthven
I, eds. Proceedings of 5th International Joint Conference on Natural Language
Processing. ; 2011:632-640.'
apa: 'Wachsmuth, H., & Bujna, K. (2011). Back to the Roots of Genres: Text Classification
by Language Function. In B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis,
& I. Ruthven (Eds.), Proceedings of 5th International Joint Conference
on Natural Language Processing (pp. 632–640).'
bibtex: '@inproceedings{Wachsmuth_Bujna_2011, title={Back to the Roots of Genres:
Text Classification by Language Function}, booktitle={Proceedings of 5th International
Joint Conference on Natural Language Processing}, author={Wachsmuth, Henning and
Bujna, Kathrin}, editor={Berendt, Bettina and de Vries, Arjen and Fan, Wenfei
and Macdonald, Craig and Ounis, Iadh and Ruthven, IanEditors}, year={2011}, pages={632–640}
}'
chicago: 'Wachsmuth, Henning, and Kathrin Bujna. “Back to the Roots of Genres: Text
Classification by Language Function.” In Proceedings of 5th International Joint
Conference on Natural Language Processing, edited by Bettina Berendt, Arjen
de Vries, Wenfei Fan, Craig Macdonald, Iadh Ounis, and Ian Ruthven, 632–40, 2011.'
ieee: 'H. Wachsmuth and K. Bujna, “Back to the Roots of Genres: Text Classification
by Language Function,” in Proceedings of 5th International Joint Conference
on Natural Language Processing, 2011, pp. 632–640.'
mla: 'Wachsmuth, Henning, and Kathrin Bujna. “Back to the Roots of Genres: Text
Classification by Language Function.” Proceedings of 5th International Joint
Conference on Natural Language Processing, edited by Bettina Berendt et al.,
2011, pp. 632–40.'
short: 'H. Wachsmuth, K. Bujna, in: B. Berendt, A. de Vries, W. Fan, C. Macdonald,
I. Ounis, I. Ruthven (Eds.), Proceedings of 5th International Joint Conference
on Natural Language Processing, 2011, pp. 632–640.'
date_created: 2018-08-02T13:38:36Z
date_updated: 2022-01-06T06:59:37Z
department:
- _id: '600'
editor:
- first_name: Bettina
full_name: Berendt, Bettina
last_name: Berendt
- first_name: Arjen
full_name: de Vries, Arjen
last_name: de Vries
- first_name: Wenfei
full_name: Fan, Wenfei
last_name: Fan
- first_name: Craig
full_name: Macdonald, Craig
last_name: Macdonald
- first_name: Iadh
full_name: Ounis, Iadh
last_name: Ounis
- first_name: Ian
full_name: Ruthven, Ian
last_name: Ruthven
language:
- iso: eng
main_file_link:
- url: https://www.aclweb.org/anthology/I11-1071.pdf
page: 632-640
publication: Proceedings of 5th International Joint Conference on Natural Language
Processing
publication_identifier:
isbn:
- 978-1-4503-0717-8
status: public
title: 'Back to the Roots of Genres: Text Classification by Language Function'
type: conference
user_id: '82920'
year: '2011'
...
---
_id: '3875'
author:
- first_name: Henning
full_name: Wachsmuth, Henning
id: '3900'
last_name: Wachsmuth
- first_name: Benno
full_name: Stein, Benno
last_name: Stein
- first_name: Gregor
full_name: Engels, Gregor
last_name: Engels
citation:
ama: 'Wachsmuth H, Stein B, Engels G. Constructing Efficient Information Extraction
Pipelines. In: Berendt B, de Vries A, Fan W, Macdonald C, Ounis I, Ruthven I,
eds. 20th ACM International Conference on Information and Knowledge Management.
; 2011:2237-2240.'
apa: Wachsmuth, H., Stein, B., & Engels, G. (2011). Constructing Efficient Information
Extraction Pipelines. In B. Berendt, A. de Vries, W. Fan, C. Macdonald, I. Ounis,
& I. Ruthven (Eds.), 20th ACM International Conference on Information and
Knowledge Management (pp. 2237–2240).
bibtex: '@inproceedings{Wachsmuth_Stein_Engels_2011, title={Constructing Efficient
Information Extraction Pipelines}, booktitle={20th ACM International Conference
on Information and Knowledge Management}, author={Wachsmuth, Henning and Stein,
Benno and Engels, Gregor}, editor={Berendt, Bettina and de Vries, Arjen and Fan,
Wenfei and Macdonald, Craig and Ounis, Iadh and Ruthven, IanEditors}, year={2011},
pages={2237–2240} }'
chicago: Wachsmuth, Henning, Benno Stein, and Gregor Engels. “Constructing Efficient
Information Extraction Pipelines.” In 20th ACM International Conference on
Information and Knowledge Management, edited by Bettina Berendt, Arjen de
Vries, Wenfei Fan, Craig Macdonald, Iadh Ounis, and Ian Ruthven, 2237–40, 2011.
ieee: H. Wachsmuth, B. Stein, and G. Engels, “Constructing Efficient Information
Extraction Pipelines,” in 20th ACM International Conference on Information
and Knowledge Management, 2011, pp. 2237–2240.
mla: Wachsmuth, Henning, et al. “Constructing Efficient Information Extraction Pipelines.”
20th ACM International Conference on Information and Knowledge Management,
edited by Bettina Berendt et al., 2011, pp. 2237–40.
short: 'H. Wachsmuth, B. Stein, G. Engels, in: B. Berendt, A. de Vries, W. Fan,
C. Macdonald, I. Ounis, I. Ruthven (Eds.), 20th ACM International Conference on
Information and Knowledge Management, 2011, pp. 2237–2240.'
date_created: 2018-08-11T16:11:20Z
date_updated: 2022-01-06T06:59:47Z
department:
- _id: '600'
editor:
- first_name: Bettina
full_name: Berendt, Bettina
last_name: Berendt
- first_name: Arjen
full_name: de Vries, Arjen
last_name: de Vries
- first_name: Wenfei
full_name: Fan, Wenfei
last_name: Fan
- first_name: Craig
full_name: Macdonald, Craig
last_name: Macdonald
- first_name: Iadh
full_name: Ounis, Iadh
last_name: Ounis
- first_name: Ian
full_name: Ruthven, Ian
last_name: Ruthven
language:
- iso: eng
main_file_link:
- url: https://webis.de/downloads/publications/papers/stein_2011m.pdf
page: 2237-2240
publication: 20th ACM International Conference on Information and Knowledge Management
publication_identifier:
isbn:
- 978-1-4503-0717-8
status: public
title: Constructing Efficient Information Extraction Pipelines
type: conference
user_id: '82920'
year: '2011'
...
---
_id: '2902'
author:
- first_name: Marcus
full_name: Märtens, Marcus
last_name: Märtens
citation:
ama: Märtens M. The Monotone Complexity of Computing K-Clique on Random Graphs.;
2011.
apa: Märtens, M. (2011). The Monotone Complexity of Computing k-Clique on Random
Graphs.
bibtex: '@book{Märtens_2011, title={The Monotone Complexity of Computing k-Clique
on Random Graphs}, author={Märtens, Marcus}, year={2011} }'
chicago: Märtens, Marcus. The Monotone Complexity of Computing K-Clique on Random
Graphs, 2011.
ieee: M. Märtens, The Monotone Complexity of Computing k-Clique on Random Graphs.
2011.
mla: Märtens, Marcus. The Monotone Complexity of Computing K-Clique on Random
Graphs. 2011.
short: M. Märtens, The Monotone Complexity of Computing K-Clique on Random Graphs,
2011.
date_created: 2018-05-25T09:46:27Z
date_updated: 2022-01-06T06:58:44Z
department:
- _id: '64'
status: public
supervisor:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
title: The Monotone Complexity of Computing k-Clique on Random Graphs
type: mastersthesis
user_id: '25078'
year: '2011'
...
---
_id: '2985'
author:
- first_name: Marcel R
full_name: Ackermann, Marcel R
last_name: Ackermann
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
- first_name: Christoph
full_name: Scholz, Christoph
last_name: Scholz
citation:
ama: Ackermann MR, Blömer J, Scholz C. Hardness and Non-Approximability of Bregman
Clustering Problems. 2011.
apa: Ackermann, M. R., Blömer, J., & Scholz, C. (2011). Hardness and Non-Approximability
of Bregman Clustering Problems.
bibtex: '@article{Ackermann_Blömer_Scholz_2011, series={Electronic Colloquium on
Computational Complexity (ECCC)}, title={Hardness and Non-Approximability of Bregman
Clustering Problems.}, author={Ackermann, Marcel R and Blömer, Johannes and Scholz,
Christoph}, year={2011}, collection={Electronic Colloquium on Computational Complexity
(ECCC)} }'
chicago: Ackermann, Marcel R, Johannes Blömer, and Christoph Scholz. “Hardness and
Non-Approximability of Bregman Clustering Problems.” Electronic Colloquium on
Computational Complexity (ECCC), 2011.
ieee: M. R. Ackermann, J. Blömer, and C. Scholz, “Hardness and Non-Approximability
of Bregman Clustering Problems.” 2011.
mla: Ackermann, Marcel R., et al. Hardness and Non-Approximability of Bregman
Clustering Problems. 2011.
short: M.R. Ackermann, J. Blömer, C. Scholz, (2011).
date_created: 2018-06-05T07:47:21Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
publication_status: published
series_title: Electronic Colloquium on Computational Complexity (ECCC)
status: public
title: Hardness and Non-Approximability of Bregman Clustering Problems.
type: conference
user_id: '25078'
year: '2011'
...
---
_id: '2986'
author:
- first_name: Johannes
full_name: Blömer, Johannes
id: '23'
last_name: Blömer
citation:
ama: 'Blömer J. How to Share a Secret. In: Algorithms Unplugged. Berlin,
Heidelberg: Springer Berlin Heidelberg; 2011:159-168. doi:10.1007/978-3-642-15328-0_17'
apa: 'Blömer, J. (2011). How to Share a Secret. In Algorithms Unplugged (pp.
159–168). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-15328-0_17'
bibtex: '@inbook{Blömer_2011, place={Berlin, Heidelberg}, title={How to Share a
Secret}, DOI={10.1007/978-3-642-15328-0_17},
booktitle={Algorithms Unplugged}, publisher={Springer Berlin Heidelberg}, author={Blömer,
Johannes}, year={2011}, pages={159–168} }'
chicago: 'Blömer, Johannes. “How to Share a Secret.” In Algorithms Unplugged,
159–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. https://doi.org/10.1007/978-3-642-15328-0_17.'
ieee: 'J. Blömer, “How to Share a Secret,” in Algorithms Unplugged, Berlin,
Heidelberg: Springer Berlin Heidelberg, 2011, pp. 159–168.'
mla: Blömer, Johannes. “How to Share a Secret.” Algorithms Unplugged, Springer
Berlin Heidelberg, 2011, pp. 159–68, doi:10.1007/978-3-642-15328-0_17.
short: 'J. Blömer, in: Algorithms Unplugged, Springer Berlin Heidelberg, Berlin,
Heidelberg, 2011, pp. 159–168.'
date_created: 2018-06-05T07:48:25Z
date_updated: 2022-01-06T06:58:50Z
department:
- _id: '64'
doi: 10.1007/978-3-642-15328-0_17
page: 159-168
place: Berlin, Heidelberg
publication: Algorithms Unplugged
publication_identifier:
isbn:
- '9783642153273'
- '9783642153280'
publication_status: published
publisher: Springer Berlin Heidelberg
status: public
title: How to Share a Secret
type: book_chapter
user_id: '25078'
year: '2011'
...
---
_id: '3137'
author:
- first_name: Dennis
full_name: Hofheinz, Dennis
last_name: Hofheinz
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Eike
full_name: Kiltz, Eike
last_name: Kiltz
citation:
ama: 'Hofheinz D, Jager T, Kiltz E. Short Signatures from Weaker Assumptions. In:
Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference on
the Theory and Application of Cryptology and Information Security, Seoul, South
Korea, December 4-8, 2011. Proceedings. ; 2011:647--666. doi:10.1007/978-3-642-25385-0_35'
apa: Hofheinz, D., Jager, T., & Kiltz, E. (2011). Short Signatures from Weaker
Assumptions. In Advances in Cryptology - ASIACRYPT 2011 - 17th International
Conference on the Theory and Application of Cryptology and Information Security,
Seoul, South Korea, December 4-8, 2011. Proceedings (pp. 647--666). https://doi.org/10.1007/978-3-642-25385-0_35
bibtex: '@inproceedings{Hofheinz_Jager_Kiltz_2011, title={Short Signatures from
Weaker Assumptions}, DOI={10.1007/978-3-642-25385-0_35},
booktitle={Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference
on the Theory and Application of Cryptology and Information Security, Seoul, South
Korea, December 4-8, 2011. Proceedings}, author={Hofheinz, Dennis and Jager, Tibor
and Kiltz, Eike}, year={2011}, pages={647--666} }'
chicago: Hofheinz, Dennis, Tibor Jager, and Eike Kiltz. “Short Signatures from Weaker
Assumptions.” In Advances in Cryptology - ASIACRYPT 2011 - 17th International
Conference on the Theory and Application of Cryptology and Information Security,
Seoul, South Korea, December 4-8, 2011. Proceedings, 647--666, 2011. https://doi.org/10.1007/978-3-642-25385-0_35.
ieee: D. Hofheinz, T. Jager, and E. Kiltz, “Short Signatures from Weaker Assumptions,”
in Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference
on the Theory and Application of Cryptology and Information Security, Seoul, South
Korea, December 4-8, 2011. Proceedings, 2011, pp. 647--666.
mla: Hofheinz, Dennis, et al. “Short Signatures from Weaker Assumptions.” Advances
in Cryptology - ASIACRYPT 2011 - 17th International Conference on the Theory and
Application of Cryptology and Information Security, Seoul, South Korea, December
4-8, 2011. Proceedings, 2011, pp. 647--666, doi:10.1007/978-3-642-25385-0_35.
short: 'D. Hofheinz, T. Jager, E. Kiltz, in: Advances in Cryptology - ASIACRYPT
2011 - 17th International Conference on the Theory and Application of Cryptology
and Information Security, Seoul, South Korea, December 4-8, 2011. Proceedings,
2011, pp. 647--666.'
date_created: 2018-06-07T09:27:58Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-642-25385-0_35
extern: '1'
page: 647--666
publication: Advances in Cryptology - ASIACRYPT 2011 - 17th International Conference
on the Theory and Application of Cryptology and Information Security, Seoul, South
Korea, December 4-8, 2011. Proceedings
status: public
title: Short Signatures from Weaker Assumptions
type: conference
user_id: '38235'
year: '2011'
...
---
_id: '3138'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Juraj
full_name: Somorovsky, Juraj
last_name: Somorovsky
citation:
ama: 'Jager T, Somorovsky J. How to break XML encryption. In: Proceedings of
the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago,
Illinois, USA, October 17-21, 2011. ; 2011:413--422. doi:10.1145/2046707.2046756'
apa: Jager, T., & Somorovsky, J. (2011). How to break XML encryption. In Proceedings
of the 18th ACM Conference on Computer and Communications Security, CCS 2011,
Chicago, Illinois, USA, October 17-21, 2011 (pp. 413--422). https://doi.org/10.1145/2046707.2046756
bibtex: '@inproceedings{Jager_Somorovsky_2011, title={How to break XML encryption},
DOI={10.1145/2046707.2046756},
booktitle={Proceedings of the 18th ACM Conference on Computer and Communications
Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011}, author={Jager,
Tibor and Somorovsky, Juraj}, year={2011}, pages={413--422} }'
chicago: Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.” In Proceedings
of the 18th ACM Conference on Computer and Communications Security, CCS 2011,
Chicago, Illinois, USA, October 17-21, 2011, 413--422, 2011. https://doi.org/10.1145/2046707.2046756.
ieee: T. Jager and J. Somorovsky, “How to break XML encryption,” in Proceedings
of the 18th ACM Conference on Computer and Communications Security, CCS 2011,
Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422.
mla: Jager, Tibor, and Juraj Somorovsky. “How to Break XML Encryption.” Proceedings
of the 18th ACM Conference on Computer and Communications Security, CCS 2011,
Chicago, Illinois, USA, October 17-21, 2011, 2011, pp. 413--422, doi:10.1145/2046707.2046756.
short: 'T. Jager, J. Somorovsky, in: Proceedings of the 18th ACM Conference on Computer
and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21,
2011, 2011, pp. 413--422.'
date_created: 2018-06-07T09:28:23Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1145/2046707.2046756
extern: '1'
page: 413--422
publication: Proceedings of the 18th ACM Conference on Computer and Communications
Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011
status: public
title: How to break XML encryption
type: conference
user_id: '38235'
year: '2011'
...
---
_id: '3183'
author:
- first_name: Steve
full_name: Schneider, Steve
last_name: Schneider
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Schneider S, Treharne H, Wehrheim H. Bounded Retransmission in Event-B{\(\parallel\)}CSP:
a Case Study. Electr Notes Theor Comput Sci. 2011:69--80. doi:10.1016/j.entcs.2011.11.019'
apa: 'Schneider, S., Treharne, H., & Wehrheim, H. (2011). Bounded Retransmission
in Event-B{\(\parallel\)}CSP: a Case Study. Electr. Notes Theor. Comput. Sci.,
69--80. https://doi.org/10.1016/j.entcs.2011.11.019'
bibtex: '@article{Schneider_Treharne_Wehrheim_2011, title={Bounded Retransmission
in Event-B{\(\parallel\)}CSP: a Case Study}, DOI={10.1016/j.entcs.2011.11.019},
journal={Electr. Notes Theor. Comput. Sci.}, author={Schneider, Steve and Treharne,
Helen and Wehrheim, Heike}, year={2011}, pages={69--80} }'
chicago: 'Schneider, Steve, Helen Treharne, and Heike Wehrheim. “Bounded Retransmission
in Event-B{\(\parallel\)}CSP: A Case Study.” Electr. Notes Theor. Comput. Sci.,
2011, 69--80. https://doi.org/10.1016/j.entcs.2011.11.019.'
ieee: 'S. Schneider, H. Treharne, and H. Wehrheim, “Bounded Retransmission in Event-B{\(\parallel\)}CSP:
a Case Study,” Electr. Notes Theor. Comput. Sci., pp. 69--80, 2011.'
mla: 'Schneider, Steve, et al. “Bounded Retransmission in Event-B{\(\parallel\)}CSP:
A Case Study.” Electr. Notes Theor. Comput. Sci., 2011, pp. 69--80, doi:10.1016/j.entcs.2011.11.019.'
short: S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci.
(2011) 69--80.
date_created: 2018-06-13T08:20:47Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1016/j.entcs.2011.11.019
page: 69--80
publication: Electr. Notes Theor. Comput. Sci.
status: public
title: 'Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study'
type: journal_article
user_id: '29719'
year: '2011'
...
---
_id: '3184'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: Derrick J, Schellhorn G, Wehrheim H. Mechanically verified proof obligations
for linearizability. {ACM} Trans Program Lang Syst. 2011;(1):4:1--4:43.
doi:10.1145/1889997.1890001
apa: Derrick, J., Schellhorn, G., & Wehrheim, H. (2011). Mechanically verified
proof obligations for linearizability. {ACM} Trans. Program. Lang. Syst.,
(1), 4:1--4:43. https://doi.org/10.1145/1889997.1890001
bibtex: '@article{Derrick_Schellhorn_Wehrheim_2011, title={Mechanically verified
proof obligations for linearizability}, DOI={10.1145/1889997.1890001},
number={1}, journal={{ACM} Trans. Program. Lang. Syst.}, author={Derrick, John
and Schellhorn, Gerhard and Wehrheim, Heike}, year={2011}, pages={4:1--4:43} }'
chicago: 'Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanically Verified
Proof Obligations for Linearizability.” {ACM} Trans. Program. Lang. Syst.,
no. 1 (2011): 4:1--4:43. https://doi.org/10.1145/1889997.1890001.'
ieee: J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanically verified proof obligations
for linearizability,” {ACM} Trans. Program. Lang. Syst., no. 1, pp. 4:1--4:43,
2011.
mla: Derrick, John, et al. “Mechanically Verified Proof Obligations for Linearizability.”
{ACM} Trans. Program. Lang. Syst., no. 1, 2011, pp. 4:1--4:43, doi:10.1145/1889997.1890001.
short: J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst.
(2011) 4:1--4:43.
date_created: 2018-06-13T08:22:02Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1145/1889997.1890001
issue: '1'
page: 4:1--4:43
publication: '{ACM} Trans. Program. Lang. Syst.'
status: public
title: Mechanically verified proof obligations for linearizability
type: journal_article
user_id: '29719'
year: '2011'
...
---
_id: '3185'
author:
- first_name: Thomas
full_name: Ruhroth, Thomas
last_name: Ruhroth
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Steffen
full_name: Ziegert, Steffen
last_name: Ziegert
citation:
ama: 'Ruhroth T, Wehrheim H, Ziegert S. ReL: {A} Generic Refactoring Language for
Specification and Execution. In: 37th {EUROMICRO} Conference on Software Engineering
and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2,
2011. ; 2011:83--90. doi:10.1109/SEAA.2011.22'
apa: 'Ruhroth, T., Wehrheim, H., & Ziegert, S. (2011). ReL: {A} Generic Refactoring
Language for Specification and Execution. In 37th {EUROMICRO} Conference on
Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August
30 - September 2, 2011 (pp. 83--90). https://doi.org/10.1109/SEAA.2011.22'
bibtex: '@inproceedings{Ruhroth_Wehrheim_Ziegert_2011, title={ReL: {A} Generic Refactoring
Language for Specification and Execution}, DOI={10.1109/SEAA.2011.22},
booktitle={37th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011}, author={Ruhroth, Thomas
and Wehrheim, Heike and Ziegert, Steffen}, year={2011}, pages={83--90} }'
chicago: 'Ruhroth, Thomas, Heike Wehrheim, and Steffen Ziegert. “ReL: {A} Generic
Refactoring Language for Specification and Execution.” In 37th {EUROMICRO}
Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu,
Finland, August 30 - September 2, 2011, 83--90, 2011. https://doi.org/10.1109/SEAA.2011.22.'
ieee: 'T. Ruhroth, H. Wehrheim, and S. Ziegert, “ReL: {A} Generic Refactoring Language
for Specification and Execution,” in 37th {EUROMICRO} Conference on Software
Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 -
September 2, 2011, 2011, pp. 83--90.'
mla: 'Ruhroth, Thomas, et al. “ReL: {A} Generic Refactoring Language for Specification
and Execution.” 37th {EUROMICRO} Conference on Software Engineering and Advanced
Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011,
pp. 83--90, doi:10.1109/SEAA.2011.22.'
short: 'T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on
Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August
30 - September 2, 2011, 2011, pp. 83--90.'
date_created: 2018-06-13T08:23:28Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1109/SEAA.2011.22
page: 83--90
publication: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
{SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011
status: public
title: 'ReL: {A} Generic Refactoring Language for Specification and Execution'
type: conference
user_id: '29719'
year: '2011'
...
---
_id: '3186'
author:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Gerhard
full_name: Schellhorn, Gerhard
last_name: Schellhorn
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Derrick J, Schellhorn G, Wehrheim H. Verifying Linearisability with Potential
Linearisation Points. In: J. Butler M, Schulte W, eds. {FM} 2011: Formal Methods
- 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24,
2011. Proceedings. Lecture Notes in Computer Science. ; 2011:323--337. doi:10.1007/978-3-642-21437-0_25'
apa: 'Derrick, J., Schellhorn, G., & Wehrheim, H. (2011). Verifying Linearisability
with Potential Linearisation Points. In M. J. Butler & W. Schulte (Eds.),
{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods,
Limerick, Ireland, June 20-24, 2011. Proceedings (pp. 323--337). https://doi.org/10.1007/978-3-642-21437-0_25'
bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2011, series={Lecture Notes
in Computer Science}, title={Verifying Linearisability with Potential Linearisation
Points}, DOI={10.1007/978-3-642-21437-0_25},
booktitle={{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, author={Derrick, John
and Schellhorn, Gerhard and Wehrheim, Heike}, editor={J. Butler, Michael and Schulte,
WolframEditors}, year={2011}, pages={323--337}, collection={Lecture Notes in Computer
Science} }'
chicago: 'Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Verifying Linearisability
with Potential Linearisation Points.” In {FM} 2011: Formal Methods - 17th International
Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings,
edited by Michael J. Butler and Wolfram Schulte, 323--337. Lecture Notes in Computer
Science, 2011. https://doi.org/10.1007/978-3-642-21437-0_25.'
ieee: 'J. Derrick, G. Schellhorn, and H. Wehrheim, “Verifying Linearisability with
Potential Linearisation Points,” in {FM} 2011: Formal Methods - 17th International
Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings,
2011, pp. 323--337.'
mla: 'Derrick, John, et al. “Verifying Linearisability with Potential Linearisation
Points.” {FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, edited by Michael
J. Butler and Wolfram Schulte, 2011, pp. 323--337, doi:10.1007/978-3-642-21437-0_25.'
short: 'J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.),
{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick,
Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.'
date_created: 2018-06-13T08:25:07Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1007/978-3-642-21437-0_25
editor:
- first_name: Michael
full_name: J. Butler, Michael
last_name: J. Butler
- first_name: Wolfram
full_name: Schulte, Wolfram
last_name: Schulte
page: 323--337
publication: '{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods,
Limerick, Ireland, June 20-24, 2011. Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Verifying Linearisability with Potential Linearisation Points
type: conference
user_id: '29719'
year: '2011'
...
---
_id: '3187'
author:
- first_name: Dominik
full_name: Steenken, Dominik
last_name: Steenken
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Daniel
full_name: Wonisch, Daniel
last_name: Wonisch
citation:
ama: 'Steenken D, Wehrheim H, Wonisch D. Sound and Complete Abstract Graph Transformation.
In: da Silva Sim{\~{a}}o A, Morgan C, eds. Formal Methods, Foundations and
Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil,
September 26-30, 2011, Revised Selected Papers. Lecture Notes in Computer
Science. ; 2011:92--107. doi:10.1007/978-3-642-25032-3_7'
apa: Steenken, D., Wehrheim, H., & Wonisch, D. (2011). Sound and Complete Abstract
Graph Transformation. In A. da Silva Sim{\~{a}}o & C. Morgan (Eds.), Formal
Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011,
S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers (pp.
92--107). https://doi.org/10.1007/978-3-642-25032-3_7
bibtex: '@inproceedings{Steenken_Wehrheim_Wonisch_2011, series={Lecture Notes in
Computer Science}, title={Sound and Complete Abstract Graph Transformation}, DOI={10.1007/978-3-642-25032-3_7},
booktitle={Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected
Papers}, author={Steenken, Dominik and Wehrheim, Heike and Wonisch, Daniel}, editor={da
Silva Sim{\~{a}}o, Adenilso and Morgan, CarrollEditors}, year={2011}, pages={92--107},
collection={Lecture Notes in Computer Science} }'
chicago: Steenken, Dominik, Heike Wehrheim, and Daniel Wonisch. “Sound and Complete
Abstract Graph Transformation.” In Formal Methods, Foundations and Applications
- 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30,
2011, Revised Selected Papers, edited by Adenilso da Silva Sim{\~{a}}o and
Carroll Morgan, 92--107. Lecture Notes in Computer Science, 2011. https://doi.org/10.1007/978-3-642-25032-3_7.
ieee: D. Steenken, H. Wehrheim, and D. Wonisch, “Sound and Complete Abstract Graph
Transformation,” in Formal Methods, Foundations and Applications - 14th Brazilian
Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised
Selected Papers, 2011, pp. 92--107.
mla: Steenken, Dominik, et al. “Sound and Complete Abstract Graph Transformation.”
Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF}
2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers,
edited by Adenilso da Silva Sim{\~{a}}o and Carroll Morgan, 2011, pp. 92--107,
doi:10.1007/978-3-642-25032-3_7.
short: 'D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\~{a}}o, C. Morgan
(Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected
Papers, 2011, pp. 92--107.'
date_created: 2018-06-13T08:32:12Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.1007/978-3-642-25032-3_7
editor:
- first_name: Adenilso
full_name: da Silva Sim{\~{a}}o, Adenilso
last_name: da Silva Sim{\~{a}}o
- first_name: Carroll
full_name: Morgan, Carroll
last_name: Morgan
page: 92--107
publication: Formal Methods, Foundations and Applications - 14th Brazilian Symposium,
{SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
series_title: Lecture Notes in Computer Science
status: public
title: Sound and Complete Abstract Graph Transformation
type: conference
user_id: '29719'
year: '2011'
...
---
_id: '3188'
author:
- first_name: Steve
full_name: Schneider, Steve
last_name: Schneider
- first_name: Helen
full_name: Treharne, Helen
last_name: Treharne
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Schneider S, Treharne H, Wehrheim H. A {CSP} Account of Event-B Refinement.
In: Derrick J, A. Boiten E, Reeves S, eds. Proceedings 15th International Refinement
Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. {EPTCS}. ; 2011:139--154.
doi:10.4204/EPTCS.55.9'
apa: Schneider, S., Treharne, H., & Wehrheim, H. (2011). A {CSP} Account of
Event-B Refinement. In J. Derrick, E. A. Boiten, & S. Reeves (Eds.), Proceedings
15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th
June 2011. (pp. 139--154). https://doi.org/10.4204/EPTCS.55.9
bibtex: '@inproceedings{Schneider_Treharne_Wehrheim_2011, series={{EPTCS}}, title={A
{CSP} Account of Event-B Refinement}, DOI={10.4204/EPTCS.55.9},
booktitle={Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011.}, author={Schneider, Steve and Treharne, Helen
and Wehrheim, Heike}, editor={Derrick, John and A. Boiten, Eerke and Reeves, SteveEditors},
year={2011}, pages={139--154}, collection={{EPTCS}} }'
chicago: Schneider, Steve, Helen Treharne, and Heike Wehrheim. “A {CSP} Account
of Event-B Refinement.” In Proceedings 15th International Refinement Workshop,
Refine@FM 2011, Limerick, Ireland, 20th June 2011., edited by John Derrick,
Eerke A. Boiten, and Steve Reeves, 139--154. {EPTCS}, 2011. https://doi.org/10.4204/EPTCS.55.9.
ieee: S. Schneider, H. Treharne, and H. Wehrheim, “A {CSP} Account of Event-B Refinement,”
in Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick,
Ireland, 20th June 2011., 2011, pp. 139--154.
mla: Schneider, Steve, et al. “A {CSP} Account of Event-B Refinement.” Proceedings
15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th
June 2011., edited by John Derrick et al., 2011, pp. 139--154, doi:10.4204/EPTCS.55.9.
short: 'S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S.
Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011,
Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.'
date_created: 2018-06-13T08:43:19Z
date_updated: 2022-01-06T06:59:03Z
department:
- _id: '77'
doi: 10.4204/EPTCS.55.9
editor:
- first_name: John
full_name: Derrick, John
last_name: Derrick
- first_name: Eerke
full_name: A. Boiten, Eerke
last_name: A. Boiten
- first_name: Steve
full_name: Reeves, Steve
last_name: Reeves
page: 139--154
publication: Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick,
Ireland, 20th June 2011.
series_title: '{EPTCS}'
status: public
title: A {CSP} Account of Event-B Refinement
type: conference
user_id: '29719'
year: '2011'
...
---
_id: '27622'
author:
- first_name: Karsten
full_name: Nebe, Karsten
last_name: Nebe
- first_name: Holger Gerhard
full_name: Fischer, Holger Gerhard
id: '30457'
last_name: Fischer
- first_name: 'Florian '
full_name: 'Klompmaker, Florian '
last_name: Klompmaker
- first_name: Helge
full_name: Jung, Helge
last_name: Jung
citation:
ama: 'Nebe K, Fischer HG, Klompmaker F, Jung H. Multi-touch, tangible and pen-based
interaction in incident planning. In: Oldenbourg Wissenschaftsverlag GmbH, M {\
"u} nchen; 2011:263-273.'
apa: Nebe, K., Fischer, H. G., Klompmaker, F., & Jung, H. (2011). Multi-touch,
tangible and pen-based interaction in incident planning. 263–273.
bibtex: '@inproceedings{Nebe_Fischer_Klompmaker_Jung_2011, title={Multi-touch, tangible
and pen-based interaction in incident planning}, publisher={Oldenbourg Wissenschaftsverlag
GmbH, M {\ "u} nchen}, author={Nebe, Karsten and Fischer, Holger Gerhard and Klompmaker,
Florian and Jung, Helge}, year={2011}, pages={263–273} }'
chicago: Nebe, Karsten, Holger Gerhard Fischer, Florian Klompmaker, and Helge Jung.
“Multi-Touch, Tangible and Pen-Based Interaction in Incident Planning,” 263–73.
Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011.
ieee: K. Nebe, H. G. Fischer, F. Klompmaker, and H. Jung, “Multi-touch, tangible
and pen-based interaction in incident planning,” 2011, pp. 263–273.
mla: Nebe, Karsten, et al. Multi-Touch, Tangible and Pen-Based Interaction in
Incident Planning. Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen, 2011,
pp. 263–73.
short: 'K. Nebe, H.G. Fischer, F. Klompmaker, H. Jung, in: Oldenbourg Wissenschaftsverlag
GmbH, M {\ "u} nchen, 2011, pp. 263–273.'
date_created: 2021-11-21T18:35:27Z
date_updated: 2022-01-06T06:57:43Z
department:
- _id: '71'
language:
- iso: eng
page: 263-273
publication_status: published
publisher: Oldenbourg Wissenschaftsverlag GmbH, M {\ "u} nchen
status: public
title: Multi-touch, tangible and pen-based interaction in incident planning
type: conference
user_id: '71124'
year: '2011'
...
---
_id: '27623'
abstract:
- lang: eng
text: "Kollaboratives Lernen kann im Großen und Ganzen durch verteilte, unterbrochene
kooperative Prozesse charakterisiert werden, da die Interaktion mit anderen Lernern
und Lehrenden zu verschiedenen Zeiten an verschiedenen Orten stattfindet. Um die
zeitlich und räumlich verteilten Lernaktivitäten zu integrieren, muss ein virtueller
Lernraum bereitgestellt werden der einerseits als Arena kooperativer Interaktionen
dient und andererseits gleichzeitig ein verteiltes externes Gedächtnis durch persistente
Lernobjekte bietet. Das Konzept des ko-aktiven Lernens umfasst eine Vielzahl von
technischen Konzepten und Funktionen, die kollaboratives Lernen in unterschiedlichsten
Lernarrangements unterstützen.\r\n"
author:
- first_name: Reinhard
full_name: Keil, Reinhard
last_name: Keil
- first_name: Harald
full_name: Selke, Harald
id: '497'
last_name: Selke
citation:
ama: 'Keil R, Selke H. Virtual Learning Spaces for Co-Active Learning. In: Proc.
of Int. Conf. on Improving University Teaching. ; 2011:191-202.'
apa: Keil, R., & Selke, H. (2011). Virtual Learning Spaces for Co-Active Learning.
Proc. of Int. Conf. on Improving University Teaching, 191–202.
bibtex: '@inproceedings{Keil_Selke_2011, title={Virtual Learning Spaces for Co-Active
Learning}, booktitle={Proc. of Int. Conf. on Improving University Teaching}, author={Keil,
Reinhard and Selke, Harald}, year={2011}, pages={191–202} }'
chicago: Keil, Reinhard, and Harald Selke. “Virtual Learning Spaces for Co-Active
Learning.” In Proc. of Int. Conf. on Improving University Teaching, 191–202,
2011.
ieee: R. Keil and H. Selke, “Virtual Learning Spaces for Co-Active Learning,” in
Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
mla: Keil, Reinhard, and Harald Selke. “Virtual Learning Spaces for Co-Active Learning.”
Proc. of Int. Conf. on Improving University Teaching, 2011, pp. 191–202.
short: 'R. Keil, H. Selke, in: Proc. of Int. Conf. on Improving University Teaching,
2011, pp. 191–202.'
conference:
end_date: 2011-07-22
start_date: 2011-07-19
date_created: 2021-11-21T19:32:20Z
date_updated: 2022-01-06T06:57:43Z
department:
- _id: '71'
language:
- iso: eng
page: 191-202
publication: Proc. of Int. Conf. on Improving University Teaching
publication_status: published
status: public
title: Virtual Learning Spaces for Co-Active Learning
type: conference
user_id: '71124'
year: '2011'
...
---
_id: '27624'
author:
- first_name: Volker
full_name: Paelke, Volker
last_name: Paelke
- first_name: Karsten
full_name: Nebe, Karsten
last_name: Nebe
- first_name: Florian
full_name: Klompmaker, Florian
last_name: Klompmaker
- first_name: Helge
full_name: Jung, Helge
last_name: Jung
citation:
ama: 'Paelke V, Nebe K, Klompmaker F, Jung H. Multi-Touch Interaction for Disaster
Management.}. In: ; 2011.'
apa: Paelke, V., Nebe, K., Klompmaker, F., & Jung, H. (2011). Multi-Touch
Interaction for Disaster Management.}.
bibtex: '@inproceedings{Paelke_Nebe_Klompmaker_Jung_2011, title={Multi-Touch Interaction
for Disaster Management.}}, author={Paelke, Volker and Nebe, Karsten and Klompmaker,
Florian and Jung, Helge}, year={2011} }'
chicago: Paelke, Volker, Karsten Nebe, Florian Klompmaker, and Helge Jung. “Multi-Touch
Interaction for Disaster Management.},” 2011.
ieee: V. Paelke, K. Nebe, F. Klompmaker, and H. Jung, “Multi-Touch Interaction for
Disaster Management.},” 2011.
mla: Paelke, Volker, et al. Multi-Touch Interaction for Disaster Management.}.
2011.
short: 'V. Paelke, K. Nebe, F. Klompmaker, H. Jung, in: 2011.'
date_created: 2021-11-21T19:38:09Z
date_updated: 2022-01-06T06:57:43Z
department:
- _id: '71'
language:
- iso: eng
publication_status: published
status: public
title: Multi-Touch Interaction for Disaster Management.}
type: conference
user_id: '71124'
year: '2011'
...
---
_id: '27625'
author:
- first_name: Reinhard
full_name: Keil, Reinhard
last_name: Keil
citation:
ama: 'Keil R. Hypothesis- guided technology design as the basis of contextual computer
science. In: Breiter A, Wind M, eds. Lit Verlag, M {\" u} nster; 2011:165-184.'
apa: Keil, R. (2011). Hypothesis- guided technology design as the basis of contextual
computer science (A. Breiter & M. Wind, Eds.; pp. 165–184). Lit Verlag,
M {\" u} nster.
bibtex: '@inproceedings{Keil_2011, title={Hypothesis- guided technology design as
the basis of contextual computer science}, publisher={Lit Verlag, M {\" u} nster},
author={Keil, Reinhard}, editor={Breiter, A and Wind, M}, year={2011}, pages={165–184}
}'
chicago: Keil, Reinhard. “Hypothesis- Guided Technology Design as the Basis of Contextual
Computer Science.” edited by A Breiter and M Wind, 165–84. Lit Verlag, M {\" u}
nster, 2011.
ieee: R. Keil, “Hypothesis- guided technology design as the basis of contextual
computer science,” 2011, pp. 165–184.
mla: Keil, Reinhard. Hypothesis- Guided Technology Design as the Basis of Contextual
Computer Science. Edited by A Breiter and M Wind, Lit Verlag, M {\" u} nster,
2011, pp. 165–84.
short: 'R. Keil, in: A. Breiter, M. Wind (Eds.), Lit Verlag, M {\" u} nster, 2011,
pp. 165–184.'
date_created: 2021-11-21T19:43:58Z
date_updated: 2022-01-06T06:57:43Z
department:
- _id: '71'
editor:
- first_name: A
full_name: Breiter, A
last_name: Breiter
- first_name: M
full_name: Wind, M
last_name: Wind
language:
- iso: eng
page: 165-184
publication_status: published
publisher: Lit Verlag, M {\" u} nster
status: public
title: Hypothesis- guided technology design as the basis of contextual computer science
type: conference
user_id: '71124'
year: '2011'
...
---
_id: '27626'
author:
- first_name: Florian
full_name: Klompmaker, Florian
last_name: Klompmaker
- first_name: ' Karsten'
full_name: Nebe, Karsten
last_name: Nebe
- first_name: H
full_name: Jung, H
last_name: Jung
citation:
ama: 'Klompmaker F, Nebe Karsten, Jung H. Smart Fiducials: Advanced Tangible Interaction
Techniques through Dynamic Visual Paterns. In: ; 2011.'
apa: 'Klompmaker, F., Nebe, Karsten, & Jung, H. (2011). Smart Fiducials:
Advanced Tangible Interaction Techniques through Dynamic Visual Paterns.'
bibtex: '@inproceedings{Klompmaker_Nebe_Jung_2011, title={Smart Fiducials: Advanced
Tangible Interaction Techniques through Dynamic Visual Paterns}, author={Klompmaker,
Florian and Nebe, Karsten and Jung, H}, year={2011} }'
chicago: 'Klompmaker, Florian, Karsten Nebe, and H Jung. “Smart Fiducials: Advanced
Tangible Interaction Techniques through Dynamic Visual Paterns,” 2011.'
ieee: 'F. Klompmaker, Karsten Nebe, and H. Jung, “Smart Fiducials: Advanced Tangible
Interaction Techniques through Dynamic Visual Paterns,” 2011.'
mla: 'Klompmaker, Florian, et al. Smart Fiducials: Advanced Tangible Interaction
Techniques through Dynamic Visual Paterns. 2011.'
short: 'F. Klompmaker, Karsten Nebe, H. Jung, in: 2011.'
date_created: 2021-11-21T19:51:23Z
date_updated: 2022-01-06T06:57:43Z
department:
- _id: '71'
language:
- iso: eng
publication_status: published
status: public
title: 'Smart Fiducials: Advanced Tangible Interaction Techniques through Dynamic
Visual Paterns'
type: conference
user_id: '71124'
year: '2011'
...
---
_id: '27627'
author:
- first_name: 'Florian '
full_name: 'Klompmaker, Florian '
last_name: Klompmaker
- first_name: ' Karsten'
full_name: Nebe, Karsten
last_name: Nebe
- first_name: Clemens
full_name: ' Busch, Clemens'
last_name: ' Busch'
- first_name: ' Detlev'
full_name: Willemsen, Detlev
last_name: Willemsen
citation:
ama: 'Klompmaker F, Nebe Karsten, Busch C, Willemsen Detlev. User Centered Design
Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training
Application. In: Proceedings of the International Conference on Health Informatics.
; 2011.'
apa: 'Klompmaker, F., Nebe, Karsten, Busch, C., & Willemsen, Detlev. (2011).
User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote
Ergometer Training Application. Proceedings of the International Conference
on Health Informatics.'
bibtex: '@inproceedings{Klompmaker_Nebe_ Busch_Willemsen_2011, title={User Centered
Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training
Application}, booktitle={Proceedings of the International Conference on Health
Informatics}, author={Klompmaker, Florian and Nebe, Karsten and Busch, Clemens
and Willemsen, Detlev}, year={2011} }'
chicago: 'Klompmaker, Florian , Karsten Nebe, Clemens Busch, and Detlev Willemsen.
“User Centered Design Process of OSAMI-D: Developing User Interfaces for a Remote
Ergometer Training Application.” In Proceedings of the International Conference
on Health Informatics, 2011.'
ieee: 'F. Klompmaker, Karsten Nebe, C. Busch, and Detlev Willemsen, “User Centered
Design Process of OSAMI-D: Developing User Interfaces for a Remote Ergometer Training
Application,” 2011.'
mla: 'Klompmaker, Florian, et al. “User Centered Design Process of OSAMI-D: Developing
User Interfaces for a Remote Ergometer Training Application.” Proceedings of
the International Conference on Health Informatics, 2011.'
short: 'F. Klompmaker, Karsten Nebe, C. Busch, Detlev Willemsen, in: Proceedings
of the International Conference on Health Informatics, 2011.'
date_created: 2021-11-21T19:57:05Z
date_updated: 2022-01-06T06:57:43Z
department:
- _id: '71'
language:
- iso: eng
publication: Proceedings of the International Conference on Health Informatics
status: public
title: 'User Centered Design Process of OSAMI-D: Developing User Interfaces for a
Remote Ergometer Training Application'
type: conference
user_id: '71124'
year: '2011'
...