---
_id: '20262'
author:
- first_name: Heiko
full_name: Hamann, Heiko
last_name: Hamann
citation:
ama: Hamann H. Space-Time Continuous Models of Swarm Robotic Systems.; 2008.
doi:10.1007/978-3-642-13377-0
apa: Hamann, H. (2008). Space-Time Continuous Models of Swarm Robotic Systems.
https://doi.org/10.1007/978-3-642-13377-0
bibtex: '@book{Hamann_2008, title={Space-Time Continuous Models of Swarm Robotic
Systems}, DOI={10.1007/978-3-642-13377-0},
author={Hamann, Heiko}, year={2008} }'
chicago: Hamann, Heiko. Space-Time Continuous Models of Swarm Robotic Systems,
2008. https://doi.org/10.1007/978-3-642-13377-0.
ieee: H. Hamann, Space-Time Continuous Models of Swarm Robotic Systems. 2008.
mla: Hamann, Heiko. Space-Time Continuous Models of Swarm Robotic Systems.
2008, doi:10.1007/978-3-642-13377-0.
short: H. Hamann, Space-Time Continuous Models of Swarm Robotic Systems, 2008.
date_created: 2020-11-02T14:23:36Z
date_updated: 2022-01-06T06:54:25Z
department:
- _id: '63'
- _id: '238'
doi: 10.1007/978-3-642-13377-0
language:
- iso: eng
publication_identifier:
isbn:
- '9783642133763'
- '9783642133770'
issn:
- 1867-4925
- 1867-4933
publication_status: published
status: public
title: Space-Time Continuous Models of Swarm Robotic Systems
type: dissertation
user_id: '15415'
year: '2008'
...
---
_id: '3207'
author:
- first_name: Gregor
full_name: Engels, Gregor
id: '107'
last_name: Engels
- first_name: Anneke
full_name: Kleppe, Anneke
last_name: Kleppe
- first_name: Arend
full_name: Rensink, Arend
last_name: Rensink
- first_name: Maria
full_name: Semenyak, Maria
last_name: Semenyak
- first_name: Christian
full_name: Soltenborn, Christian
id: '1737'
last_name: Soltenborn
orcid: 0000-0002-0342-8227
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Engels G, Kleppe A, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. From
{UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations.
In: Schieferdecker I, Hartman A, eds. Model Driven Architecture - Foundations
and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June
9-13, 2008. Proceedings. Lecture Notes in Computer Science. ; 2008:94--109.
doi:10.1007/978-3-540-69100-6_7'
apa: Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim,
H. (2008). From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model
Transformations. In I. Schieferdecker & A. Hartman (Eds.), Model Driven
Architecture - Foundations and Applications, 4th European Conference, {ECMDA-FA}
2008, Berlin, Germany, June 9-13, 2008. Proceedings (pp. 94--109). https://doi.org/10.1007/978-3-540-69100-6_7
bibtex: '@inproceedings{Engels_Kleppe_Rensink_Semenyak_Soltenborn_Wehrheim_2008,
series={Lecture Notes in Computer Science}, title={From {UML} Activities to {TAAL}
- Towards Behaviour-Preserving Model Transformations}, DOI={10.1007/978-3-540-69100-6_7},
booktitle={Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, author={Engels,
Gregor and Kleppe, Anneke and Rensink, Arend and Semenyak, Maria and Soltenborn,
Christian and Wehrheim, Heike}, editor={Schieferdecker, Ina and Hartman, AlanEditors},
year={2008}, pages={94--109}, collection={Lecture Notes in Computer Science} }'
chicago: Engels, Gregor, Anneke Kleppe, Arend Rensink, Maria Semenyak, Christian
Soltenborn, and Heike Wehrheim. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving
Model Transformations.” In Model Driven Architecture - Foundations and Applications,
4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings,
edited by Ina Schieferdecker and Alan Hartman, 94--109. Lecture Notes in Computer
Science, 2008. https://doi.org/10.1007/978-3-540-69100-6_7.
ieee: G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, and H. Wehrheim,
“From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations,”
in Model Driven Architecture - Foundations and Applications, 4th European Conference,
{ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings, 2008, pp.
94--109.
mla: Engels, Gregor, et al. “From {UML} Activities to {TAAL} - Towards Behaviour-Preserving
Model Transformations.” Model Driven Architecture - Foundations and Applications,
4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings,
edited by Ina Schieferdecker and Alan Hartman, 2008, pp. 94--109, doi:10.1007/978-3-540-69100-6_7.
short: 'G. Engels, A. Kleppe, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim,
in: I. Schieferdecker, A. Hartman (Eds.), Model Driven Architecture - Foundations
and Applications, 4th European Conference, {ECMDA-FA} 2008, Berlin, Germany, June
9-13, 2008. Proceedings, 2008, pp. 94--109.'
date_created: 2018-06-13T09:51:29Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-540-69100-6_7
editor:
- first_name: Ina
full_name: Schieferdecker, Ina
last_name: Schieferdecker
- first_name: Alan
full_name: Hartman, Alan
last_name: Hartman
language:
- iso: eng
page: 94--109
publication: Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model Transformations
type: conference
user_id: '14955'
year: '2008'
...
---
_id: '3208'
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. Mechanizing a Correctness Proof for a
Lock-Free Concurrent Stack. In: Barthe G, S. de Boer F, eds. Formal Methods
for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1 International
Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture
Notes in Computer Science. ; 2008:78--95. doi:10.1007/978-3-540-68863-1_6'
apa: Derrick, J., Schellhorn, G., & Wehrheim, H. (2008). Mechanizing a Correctness
Proof for a Lock-Free Concurrent Stack. In G. Barthe & F. S. de Boer (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG}
6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings
(pp. 78--95). https://doi.org/10.1007/978-3-540-68863-1_6
bibtex: '@inproceedings{Derrick_Schellhorn_Wehrheim_2008, series={Lecture Notes
in Computer Science}, title={Mechanizing a Correctness Proof for a Lock-Free Concurrent
Stack}, DOI={10.1007/978-3-540-68863-1_6},
booktitle={Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike},
editor={Barthe, Gilles and S. de Boer, FrankEditors}, year={2008}, pages={78--95},
collection={Lecture Notes in Computer Science} }'
chicago: Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Mechanizing a Correctness
Proof for a Lock-Free Concurrent Stack.” In Formal Methods for Open Object-Based
Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008,
Oslo, Norway, June 4-6, 2008, Proceedings, edited by Gilles Barthe and Frank
S. de Boer, 78--95. Lecture Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-68863-1_6.
ieee: J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanizing a Correctness Proof
for a Lock-Free Concurrent Stack,” in Formal Methods for Open Object-Based
Distributed Systems, 10th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2008,
Oslo, Norway, June 4-6, 2008, Proceedings, 2008, pp. 78--95.
mla: Derrick, John, et al. “Mechanizing a Correctness Proof for a Lock-Free Concurrent
Stack.” Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
Proceedings, edited by Gilles Barthe and Frank S. de Boer, 2008, pp. 78--95,
doi:10.1007/978-3-540-68863-1_6.
short: 'J. Derrick, G. Schellhorn, H. Wehrheim, in: G. Barthe, F. S. de Boer (Eds.),
Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP} {WG} 6.1
International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008, Proceedings,
2008, pp. 78--95.'
date_created: 2018-06-13T09:52:29Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-540-68863-1_6
editor:
- first_name: Gilles
full_name: Barthe, Gilles
last_name: Barthe
- first_name: Frank
full_name: S. de Boer, Frank
last_name: S. de Boer
page: 78--95
publication: Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June 4-6, 2008,
Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
type: conference
user_id: '29719'
year: '2008'
...
---
_id: '3209'
author:
- first_name: Björn
full_name: Metzler, Björn
last_name: Metzler
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
- first_name: Daniel
full_name: Wonisch, Daniel
last_name: Wonisch
citation:
ama: 'Metzler B, Wehrheim H, Wonisch D. Decomposition for Compositional Verification.
In: Liu S, S. E. Maibaum T, Araki K, eds. Formal Methods and Software Engineering,
10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City,
Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science.
; 2008:105--125. doi:10.1007/978-3-540-88194-0_9'
apa: Metzler, B., Wehrheim, H., & Wonisch, D. (2008). Decomposition for Compositional
Verification. In S. Liu, T. S. E. Maibaum, & K. Araki (Eds.), Formal Methods
and Software Engineering, 10th International Conference on Formal Engineering
Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings
(pp. 105--125). https://doi.org/10.1007/978-3-540-88194-0_9
bibtex: '@inproceedings{Metzler_Wehrheim_Wonisch_2008, series={Lecture Notes in
Computer Science}, title={Decomposition for Compositional Verification}, DOI={10.1007/978-3-540-88194-0_9},
booktitle={Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31,
2008. Proceedings}, author={Metzler, Björn and Wehrheim, Heike and Wonisch, Daniel},
editor={Liu, Shaoying and S. E. Maibaum, T. and Araki, KeijiroEditors}, year={2008},
pages={105--125}, collection={Lecture Notes in Computer Science} }'
chicago: Metzler, Björn, Heike Wehrheim, and Daniel Wonisch. “Decomposition for
Compositional Verification.” In Formal Methods and Software Engineering, 10th
International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City,
Japan, October 27-31, 2008. Proceedings, edited by Shaoying Liu, T. S. E.
Maibaum, and Keijiro Araki, 105--125. Lecture Notes in Computer Science, 2008.
https://doi.org/10.1007/978-3-540-88194-0_9.
ieee: B. Metzler, H. Wehrheim, and D. Wonisch, “Decomposition for Compositional
Verification,” in Formal Methods and Software Engineering, 10th International
Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
October 27-31, 2008. Proceedings, 2008, pp. 105--125.
mla: Metzler, Björn, et al. “Decomposition for Compositional Verification.” Formal
Methods and Software Engineering, 10th International Conference on Formal Engineering
Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings,
edited by Shaoying Liu et al., 2008, pp. 105--125, doi:10.1007/978-3-540-88194-0_9.
short: 'B. Metzler, H. Wehrheim, D. Wonisch, in: S. Liu, T. S. E. Maibaum, K. Araki
(Eds.), Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31,
2008. Proceedings, 2008, pp. 105--125.'
date_created: 2018-06-13T09:53:43Z
date_updated: 2022-01-06T06:59:04Z
department:
- _id: '77'
doi: 10.1007/978-3-540-88194-0_9
editor:
- first_name: Shaoying
full_name: Liu, Shaoying
last_name: Liu
- first_name: T.
full_name: S. E. Maibaum, T.
last_name: S. E. Maibaum
- first_name: Keijiro
full_name: Araki, Keijiro
last_name: Araki
page: 105--125
publication: Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31,
2008. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Decomposition for Compositional Verification
type: conference
user_id: '29719'
year: '2008'
...
---
_id: '3210'
author:
- first_name: Heike
full_name: Wehrheim, Heike
id: '573'
last_name: Wehrheim
citation:
ama: 'Wehrheim H. Bounded Model Checking for Partial Kripke Structures. In: S. Fitzgerald
J, Elisabeth Haxthausen A, Yenig{\"{u}}n H, eds. Theoretical Aspects of Computing
- {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3,
2008. Proceedings. Lecture Notes in Computer Science. ; 2008:380--394. doi:10.1007/978-3-540-85762-4_26'
apa: Wehrheim, H. (2008). Bounded Model Checking for Partial Kripke Structures.
In J. S. Fitzgerald, A. Elisabeth Haxthausen, & H. Yenig{\"{u}}n (Eds.), Theoretical
Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey,
September 1-3, 2008. Proceedings (pp. 380--394). https://doi.org/10.1007/978-3-540-85762-4_26
bibtex: '@inproceedings{Wehrheim_2008, series={Lecture Notes in Computer Science},
title={Bounded Model Checking for Partial Kripke Structures}, DOI={10.1007/978-3-540-85762-4_26},
booktitle={Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, author={Wehrheim,
Heike}, editor={S. Fitzgerald, John and Elisabeth Haxthausen, Anne and Yenig{\"{u}}n,
H{\"{u}}sn{\"{u}}Editors}, year={2008}, pages={380--394}, collection={Lecture
Notes in Computer Science} }'
chicago: Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.”
In Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium,
Istanbul, Turkey, September 1-3, 2008. Proceedings, edited by John S. Fitzgerald,
Anne Elisabeth Haxthausen, and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n, 380--394. Lecture
Notes in Computer Science, 2008. https://doi.org/10.1007/978-3-540-85762-4_26.
ieee: H. Wehrheim, “Bounded Model Checking for Partial Kripke Structures,” in Theoretical
Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey,
September 1-3, 2008. Proceedings, 2008, pp. 380--394.
mla: Wehrheim, Heike. “Bounded Model Checking for Partial Kripke Structures.” Theoretical
Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey,
September 1-3, 2008. Proceedings, edited by John S. Fitzgerald et al., 2008,
pp. 380--394, doi:10.1007/978-3-540-85762-4_26.
short: 'H. Wehrheim, in: J. S. Fitzgerald, A. Elisabeth Haxthausen, H. Yenig{\"{u}}n
(Eds.), Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium,
Istanbul, Turkey, September 1-3, 2008. Proceedings, 2008, pp. 380--394.'
date_created: 2018-06-13T09:54:58Z
date_updated: 2022-01-06T06:59:05Z
department:
- _id: '77'
doi: 10.1007/978-3-540-85762-4_26
editor:
- first_name: John
full_name: S. Fitzgerald, John
last_name: S. Fitzgerald
- first_name: Anne
full_name: Elisabeth Haxthausen, Anne
last_name: Elisabeth Haxthausen
- first_name: H{\"{u}}sn{\"{u}}
full_name: Yenig{\"{u}}n, H{\"{u}}sn{\"{u}}
last_name: Yenig{\"{u}}n
page: 380--394
publication: Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium,
Istanbul, Turkey, September 1-3, 2008. Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Bounded Model Checking for Partial Kripke Structures
type: conference
user_id: '29719'
year: '2008'
...
---
_id: '3143'
author:
- first_name: Sebastian
full_name: Gajek, Sebastian
last_name: Gajek
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Mark
full_name: Manulis, Mark
last_name: Manulis
- first_name: Jörg
full_name: Schwenk, Jörg
last_name: Schwenk
citation:
ama: 'Gajek S, Jager T, Manulis M, Schwenk J. A Browser-Based Kerberos Authentication
Scheme. In: Computer Security - ESORICS 2008, 13th European Symposium on Research
in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings. ; 2008:115--129.
doi:10.1007/978-3-540-88313-5_8'
apa: Gajek, S., Jager, T., Manulis, M., & Schwenk, J. (2008). A Browser-Based
Kerberos Authentication Scheme. In Computer Security - ESORICS 2008, 13th European
Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008.
Proceedings (pp. 115--129). https://doi.org/10.1007/978-3-540-88313-5_8
bibtex: '@inproceedings{Gajek_Jager_Manulis_Schwenk_2008, title={A Browser-Based
Kerberos Authentication Scheme}, DOI={10.1007/978-3-540-88313-5_8},
booktitle={Computer Security - ESORICS 2008, 13th European Symposium on Research
in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings}, author={Gajek,
Sebastian and Jager, Tibor and Manulis, Mark and Schwenk, Jörg}, year={2008},
pages={115--129} }'
chicago: Gajek, Sebastian, Tibor Jager, Mark Manulis, and Jörg Schwenk. “A Browser-Based
Kerberos Authentication Scheme.” In Computer Security - ESORICS 2008, 13th
European Symposium on Research in Computer Security, Málaga, Spain, October 6-8,
2008. Proceedings, 115--129, 2008. https://doi.org/10.1007/978-3-540-88313-5_8.
ieee: S. Gajek, T. Jager, M. Manulis, and J. Schwenk, “A Browser-Based Kerberos
Authentication Scheme,” in Computer Security - ESORICS 2008, 13th European
Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008.
Proceedings, 2008, pp. 115--129.
mla: Gajek, Sebastian, et al. “A Browser-Based Kerberos Authentication Scheme.”
Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer
Security, Málaga, Spain, October 6-8, 2008. Proceedings, 2008, pp. 115--129,
doi:10.1007/978-3-540-88313-5_8.
short: 'S. Gajek, T. Jager, M. Manulis, J. Schwenk, in: Computer Security - ESORICS
2008, 13th European Symposium on Research in Computer Security, Málaga, Spain,
October 6-8, 2008. Proceedings, 2008, pp. 115--129.'
date_created: 2018-06-07T09:30:48Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-540-88313-5_8
extern: '1'
page: 115--129
publication: Computer Security - ESORICS 2008, 13th European Symposium on Research
in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings
status: public
title: A Browser-Based Kerberos Authentication Scheme
type: conference
user_id: '38235'
year: '2008'
...
---
_id: '3144'
author:
- first_name: Kristina
full_name: Altmann, Kristina
last_name: Altmann
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Andy
full_name: Rupp, Andy
last_name: Rupp
citation:
ama: 'Altmann K, Jager T, Rupp A. On Black-Box Ring Extraction and Integer Factorization.
In: Automata, Languages and Programming, 35th International Colloquium, ICALP
2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic,
Semantics, and Theory of Programming & Track C: Security and Cryptography
Foundations. ; 2008:437--448. doi:10.1007/978-3-540-70583-3_36'
apa: 'Altmann, K., Jager, T., & Rupp, A. (2008). On Black-Box Ring Extraction
and Integer Factorization. In Automata, Languages and Programming, 35th International
Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security
and Cryptography Foundations (pp. 437--448). https://doi.org/10.1007/978-3-540-70583-3_36'
bibtex: '@inproceedings{Altmann_Jager_Rupp_2008, title={On Black-Box Ring Extraction
and Integer Factorization}, DOI={10.1007/978-3-540-70583-3_36},
booktitle={Automata, Languages and Programming, 35th International Colloquium,
ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track
B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography
Foundations}, author={Altmann, Kristina and Jager, Tibor and Rupp, Andy}, year={2008},
pages={437--448} }'
chicago: 'Altmann, Kristina, Tibor Jager, and Andy Rupp. “On Black-Box Ring Extraction
and Integer Factorization.” In Automata, Languages and Programming, 35th International
Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security
and Cryptography Foundations, 437--448, 2008. https://doi.org/10.1007/978-3-540-70583-3_36.'
ieee: 'K. Altmann, T. Jager, and A. Rupp, “On Black-Box Ring Extraction and Integer
Factorization,” in Automata, Languages and Programming, 35th International
Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security
and Cryptography Foundations, 2008, pp. 437--448.'
mla: 'Altmann, Kristina, et al. “On Black-Box Ring Extraction and Integer Factorization.”
Automata, Languages and Programming, 35th International Colloquium, ICALP 2008,
Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics,
and Theory of Programming & Track C: Security and Cryptography Foundations,
2008, pp. 437--448, doi:10.1007/978-3-540-70583-3_36.'
short: 'K. Altmann, T. Jager, A. Rupp, in: Automata, Languages and Programming,
35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008,
Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming &
Track C: Security and Cryptography Foundations, 2008, pp. 437--448.'
date_created: 2018-06-07T09:32:07Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-540-70583-3_36
extern: '1'
page: 437--448
publication: 'Automata, Languages and Programming, 35th International Colloquium,
ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B:
Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography
Foundations'
status: public
title: On Black-Box Ring Extraction and Integer Factorization
type: conference
user_id: '38235'
year: '2008'
...
---
_id: '3145'
author:
- first_name: Tibor
full_name: Jager, Tibor
id: '64669'
last_name: Jager
- first_name: Jörg
full_name: Schwenk, Jörg
last_name: Schwenk
citation:
ama: 'Jager T, Schwenk J. On the Equivalence of Generic Group Models. In: Provable
Security, Second International Conference, ProvSec 2008, Shanghai, China, October
30 - November 1, 2008. Proceedings. ; 2008:200--209. doi:10.1007/978-3-540-88733-1_14'
apa: Jager, T., & Schwenk, J. (2008). On the Equivalence of Generic Group Models.
In Provable Security, Second International Conference, ProvSec 2008, Shanghai,
China, October 30 - November 1, 2008. Proceedings (pp. 200--209). https://doi.org/10.1007/978-3-540-88733-1_14
bibtex: '@inproceedings{Jager_Schwenk_2008, title={On the Equivalence of Generic
Group Models}, DOI={10.1007/978-3-540-88733-1_14},
booktitle={Provable Security, Second International Conference, ProvSec 2008, Shanghai,
China, October 30 - November 1, 2008. Proceedings}, author={Jager, Tibor and Schwenk,
Jörg}, year={2008}, pages={200--209} }'
chicago: Jager, Tibor, and Jörg Schwenk. “On the Equivalence of Generic Group Models.”
In Provable Security, Second International Conference, ProvSec 2008, Shanghai,
China, October 30 - November 1, 2008. Proceedings, 200--209, 2008. https://doi.org/10.1007/978-3-540-88733-1_14.
ieee: T. Jager and J. Schwenk, “On the Equivalence of Generic Group Models,” in
Provable Security, Second International Conference, ProvSec 2008, Shanghai,
China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209.
mla: Jager, Tibor, and Jörg Schwenk. “On the Equivalence of Generic Group Models.”
Provable Security, Second International Conference, ProvSec 2008, Shanghai,
China, October 30 - November 1, 2008. Proceedings, 2008, pp. 200--209, doi:10.1007/978-3-540-88733-1_14.
short: 'T. Jager, J. Schwenk, in: Provable Security, Second International Conference,
ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings, 2008,
pp. 200--209.'
date_created: 2018-06-07T09:32:53Z
date_updated: 2022-01-06T06:58:58Z
department:
- _id: '558'
doi: 10.1007/978-3-540-88733-1_14
extern: '1'
page: 200--209
publication: Provable Security, Second International Conference, ProvSec 2008, Shanghai,
China, October 30 - November 1, 2008. Proceedings
status: public
title: On the Equivalence of Generic Group Models
type: conference
user_id: '38235'
year: '2008'
...
---
_id: '2737'
author:
- first_name: Thomas
full_name: Gries, Thomas
last_name: Gries
- first_name: Margarete
full_name: Redlin, Margarete
id: '135'
last_name: Redlin
citation:
ama: Gries T, Redlin M. International Integration and Regional Development in
China . Vol 2008.66. WIDER Research Papers, United Nations University (UNU);
2008.
apa: Gries, T., & Redlin, M. (2008). International integration and regional
development in China (Vol. 2008.66). WIDER Research Papers, United Nations
University (UNU).
bibtex: '@book{Gries_Redlin_2008, series={Research paper / UNU-WIDER }, title={International
integration and regional development in China }, volume={2008.66}, publisher={WIDER
Research Papers, United Nations University (UNU)}, author={Gries, Thomas and Redlin,
Margarete}, year={2008}, collection={Research paper / UNU-WIDER } }'
chicago: Gries, Thomas, and Margarete Redlin. International Integration and Regional
Development in China . Vol. 2008.66. Research Paper / UNU-WIDER . WIDER Research
Papers, United Nations University (UNU), 2008.
ieee: T. Gries and M. Redlin, International integration and regional development
in China , vol. 2008.66. WIDER Research Papers, United Nations University
(UNU), 2008.
mla: Gries, Thomas, and Margarete Redlin. International Integration and Regional
Development in China . Vol. 2008.66, WIDER Research Papers, United Nations
University (UNU), 2008.
short: T. Gries, M. Redlin, International Integration and Regional Development in
China , WIDER Research Papers, United Nations University (UNU), 2008.
date_created: 2018-05-14T08:12:22Z
date_updated: 2022-01-06T06:57:38Z
department:
- _id: '475'
- _id: '200'
- _id: '202'
main_file_link:
- open_access: '1'
url: https://www.econstor.eu/handle/10419/45083
oa: '1'
page: '37'
publication_identifier:
isbn:
- 978-92-9230-116-3
publisher: WIDER Research Papers, United Nations University (UNU)
series_title: 'Research paper / UNU-WIDER '
status: public
title: 'International integration and regional development in China '
type: working_paper
user_id: '135'
volume: '2008.66'
year: '2008'
...
---
_id: '17465'
citation:
ama: 'Peckhaus V, Bernhard P, eds. Methodisches Denken im Kontext. Festschrift
für Christian Thiel, mit einem unveröffentlichten Brief Gottlob Freges. Paderborn:
mentis Verlag; 2008.'
apa: 'Peckhaus, V., & Bernhard, P. (Eds.). (2008). Methodisches Denken im
Kontext. Festschrift für Christian Thiel, mit einem unveröffentlichten Brief Gottlob
Freges. Paderborn: mentis Verlag.'
bibtex: '@book{Peckhaus_Bernhard_2008, place={Paderborn}, title={Methodisches Denken
im Kontext. Festschrift für Christian Thiel, mit einem unveröffentlichten Brief
Gottlob Freges}, publisher={mentis Verlag}, year={2008} }'
chicago: 'Peckhaus, Volker, and Peter Bernhard, eds. Methodisches Denken im Kontext.
Festschrift für Christian Thiel, mit einem unveröffentlichten Brief Gottlob Freges.
Paderborn: mentis Verlag, 2008.'
ieee: 'V. Peckhaus and P. Bernhard, Eds., Methodisches Denken im Kontext. Festschrift
für Christian Thiel, mit einem unveröffentlichten Brief Gottlob Freges. Paderborn:
mentis Verlag, 2008.'
mla: Peckhaus, Volker, and Peter Bernhard, editors. Methodisches Denken im Kontext.
Festschrift für Christian Thiel, mit einem unveröffentlichten Brief Gottlob Freges.
mentis Verlag, 2008.
short: V. Peckhaus, P. Bernhard, eds., Methodisches Denken im Kontext. Festschrift
für Christian Thiel, mit einem unveröffentlichten Brief Gottlob Freges, mentis
Verlag, Paderborn, 2008.
date_created: 2020-07-30T07:45:49Z
date_updated: 2022-01-06T06:53:12Z
department:
- _id: '520'
editor:
- first_name: Volker
full_name: Peckhaus, Volker
id: '391'
last_name: Peckhaus
- first_name: Peter
full_name: Bernhard, Peter
last_name: Bernhard
language:
- iso: ger
page: '471'
place: Paderborn
publication_identifier:
isbn:
- 978-3-89785-594-6
publisher: mentis Verlag
status: public
title: Methodisches Denken im Kontext. Festschrift für Christian Thiel, mit einem
unveröffentlichten Brief Gottlob Freges
type: book_editor
user_id: '14932'
year: '2008'
...
---
_id: '17868'
abstract:
- lang: eng
text: 'The paper describes an approach for an aggregated animation of a simulation
experiment in an interactive 3D environment, visualizing multiple, distributed
simulation runs. Although the general approach of a 3-dimensional visualization
of material flow simulation helps to understand the dynamic behavior of a system
better as well as faster, it remains unclear, how typical the animated simulation
represents the model, if there is a stochastic influence for even some parameters.
By the integrated visualization of multiple distributed simulation runs, this
uncertainty can be solved, which will be shown in this paper for a typical simulation
study of a queuing system. '
author:
- first_name: Wilhelm
full_name: Dangelmaier, Wilhelm
last_name: Dangelmaier
- first_name: Matthias
full_name: Fischer, Matthias
id: '146'
last_name: Fischer
- first_name: Daniel
full_name: Huber, Daniel
last_name: Huber
- first_name: Christoph
full_name: Laroque, Christoph
last_name: Laroque
- first_name: Tim
full_name: Suess, Tim
last_name: Suess
citation:
ama: 'Dangelmaier W, Fischer M, Huber D, Laroque C, Suess T. Aggregated 3D-visualization
of a distributed simulation experiment of a queuing system. In: 2008 Winter
Simulation Conference. ; 2008:2012-2020. doi:10.1109/wsc.2008.4736296'
apa: Dangelmaier, W., Fischer, M., Huber, D., Laroque, C., & Suess, T. (2008).
Aggregated 3D-visualization of a distributed simulation experiment of a queuing
system. 2008 Winter Simulation Conference, 2012–2020. https://doi.org/10.1109/wsc.2008.4736296
bibtex: '@inproceedings{Dangelmaier_Fischer_Huber_Laroque_Suess_2008, place={Miami,
FL., USA}, title={Aggregated 3D-visualization of a distributed simulation experiment
of a queuing system}, DOI={10.1109/wsc.2008.4736296},
booktitle={2008 Winter Simulation Conference}, author={Dangelmaier, Wilhelm and
Fischer, Matthias and Huber, Daniel and Laroque, Christoph and Suess, Tim}, year={2008},
pages={2012–2020} }'
chicago: Dangelmaier, Wilhelm, Matthias Fischer, Daniel Huber, Christoph Laroque,
and Tim Suess. “Aggregated 3D-Visualization of a Distributed Simulation Experiment
of a Queuing System.” In 2008 Winter Simulation Conference, 2012–20. Miami,
FL., USA, 2008. https://doi.org/10.1109/wsc.2008.4736296.
ieee: 'W. Dangelmaier, M. Fischer, D. Huber, C. Laroque, and T. Suess, “Aggregated
3D-visualization of a distributed simulation experiment of a queuing system,”
in 2008 Winter Simulation Conference, 2008, pp. 2012–2020, doi: 10.1109/wsc.2008.4736296.'
mla: Dangelmaier, Wilhelm, et al. “Aggregated 3D-Visualization of a Distributed
Simulation Experiment of a Queuing System.” 2008 Winter Simulation Conference,
2008, pp. 2012–20, doi:10.1109/wsc.2008.4736296.
short: 'W. Dangelmaier, M. Fischer, D. Huber, C. Laroque, T. Suess, in: 2008 Winter
Simulation Conference, Miami, FL., USA, 2008, pp. 2012–2020.'
date_created: 2020-08-12T13:39:37Z
date_updated: 2022-01-06T06:53:22Z
department:
- _id: '63'
doi: 10.1109/wsc.2008.4736296
language:
- iso: eng
page: 2012-2020
place: Miami, FL., USA
publication: 2008 Winter Simulation Conference
publication_identifier:
isbn:
- '9781424427079'
publication_status: published
status: public
title: Aggregated 3D-visualization of a distributed simulation experiment of a queuing
system
type: conference
user_id: '15415'
year: '2008'
...
---
_id: '19003'
author:
- first_name: Bastian
full_name: Degener, Bastian
last_name: Degener
- first_name: Joachim
full_name: Gehweiler, Joachim
last_name: Gehweiler
- first_name: Christiane
full_name: Lammersen, Christiane
last_name: Lammersen
citation:
ama: 'Degener B, Gehweiler J, Lammersen C. The Kinetic Facility Location Problem.
In: Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT).
; 2008:378-389. doi:10.1007/978-3-540-69903-3_34'
apa: Degener, B., Gehweiler, J., & Lammersen, C. (2008). The Kinetic Facility
Location Problem. In Proceedings of the 11th Scandinavian Workshop on Algorithm
Theory (SWAT) (pp. 378–389). https://doi.org/10.1007/978-3-540-69903-3_34
bibtex: '@inproceedings{Degener_Gehweiler_Lammersen_2008, title={The Kinetic Facility
Location Problem}, DOI={10.1007/978-3-540-69903-3_34},
booktitle={Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT)},
author={Degener, Bastian and Gehweiler, Joachim and Lammersen, Christiane}, year={2008},
pages={378–389} }'
chicago: Degener, Bastian, Joachim Gehweiler, and Christiane Lammersen. “The Kinetic
Facility Location Problem.” In Proceedings of the 11th Scandinavian Workshop
on Algorithm Theory (SWAT), 378–89, 2008. https://doi.org/10.1007/978-3-540-69903-3_34.
ieee: B. Degener, J. Gehweiler, and C. Lammersen, “The Kinetic Facility Location
Problem,” in Proceedings of the 11th Scandinavian Workshop on Algorithm Theory
(SWAT), 2008, pp. 378–389.
mla: Degener, Bastian, et al. “The Kinetic Facility Location Problem.” Proceedings
of the 11th Scandinavian Workshop on Algorithm Theory (SWAT), 2008, pp. 378–89,
doi:10.1007/978-3-540-69903-3_34.
short: 'B. Degener, J. Gehweiler, C. Lammersen, in: Proceedings of the 11th Scandinavian
Workshop on Algorithm Theory (SWAT), 2008, pp. 378–389.'
date_created: 2020-09-04T10:04:49Z
date_updated: 2022-01-06T06:53:57Z
department:
- _id: '63'
doi: 10.1007/978-3-540-69903-3_34
language:
- iso: eng
page: 378-389
publication: Proceedings of the 11th Scandinavian Workshop on Algorithm Theory (SWAT)
publication_identifier:
isbn:
- '9783540699002'
- '9783540699033'
issn:
- 0302-9743
- 1611-3349
publication_status: published
status: public
title: The Kinetic Facility Location Problem
type: conference
user_id: '15415'
year: '2008'
...
---
_id: '19004'
abstract:
- lang: eng
text: "We present a deterministic kinetic data structure for the facility location
problem that maintains a subset of the moving points as facilities such that,
at any point of time, the sum of the maintenance cost for the facilities and the
connection cost for the clients is at most a constant factor larger than the current
optimal cost. In our scenario, each point can open a facility and moves continuously
along a known trajectory in a d-dimensional Euclidean space where d is a constant.\r\n\r\nOur
kinetic data structure has a storage requirement of O(n (log^d(n)+log(nR))), where
n is the number of points and R is the ratio of the product of the maximum maintenance
cost and demand to the product of their corresponding minimum values. In the case
that each trajectory can be described by a bounded degree polynomial, the data
structure processes O(n^2 log^2(nR)) events, each requiring only O(log(nR)) facility
changes and O(log^(d+1)(n) log(nR)) time. This results in a total processing time
of O(n^2 log^(d+1)(n) log^3(nR)). To the best of our knowledge, this is the first
kinetic data structure for the facility location problem."
author:
- first_name: Joachim
full_name: Gehweiler, Joachim
last_name: Gehweiler
- first_name: Christiane
full_name: Lammersen, Christiane
last_name: Lammersen
- first_name: Bastian
full_name: Degener, Bastian
last_name: Degener
citation:
ama: 'Gehweiler J, Lammersen C, Degener B. The Kinetic Facility Location Problem.
In: Proceedings of the 24th European Workshop on Computational Geometry.
; 2008:251-254.'
apa: Gehweiler, J., Lammersen, C., & Degener, B. (2008). The Kinetic Facility
Location Problem. In Proceedings of the 24th European Workshop on Computational
Geometry (pp. 251–254).
bibtex: '@inproceedings{Gehweiler_Lammersen_Degener_2008, title={The Kinetic Facility
Location Problem}, booktitle={Proceedings of the 24th European Workshop on Computational
Geometry}, author={Gehweiler, Joachim and Lammersen, Christiane and Degener, Bastian},
year={2008}, pages={251–254} }'
chicago: Gehweiler, Joachim, Christiane Lammersen, and Bastian Degener. “The Kinetic
Facility Location Problem.” In Proceedings of the 24th European Workshop on
Computational Geometry, 251–54, 2008.
ieee: J. Gehweiler, C. Lammersen, and B. Degener, “The Kinetic Facility Location
Problem,” in Proceedings of the 24th European Workshop on Computational Geometry,
2008, pp. 251–254.
mla: Gehweiler, Joachim, et al. “The Kinetic Facility Location Problem.” Proceedings
of the 24th European Workshop on Computational Geometry, 2008, pp. 251–54.
short: 'J. Gehweiler, C. Lammersen, B. Degener, in: Proceedings of the 24th European
Workshop on Computational Geometry, 2008, pp. 251–254.'
date_created: 2020-09-04T10:11:39Z
date_updated: 2022-01-06T06:53:57Z
department:
- _id: '63'
language:
- iso: eng
page: 251-254
publication: Proceedings of the 24th European Workshop on Computational Geometry
status: public
title: The Kinetic Facility Location Problem
type: conference
user_id: '15415'
year: '2008'
...
---
_id: '1941'
author:
- first_name: Thomas
full_name: Clouser, Thomas
last_name: Clouser
- first_name: Mikhail
full_name: Nesterenko, Mikhail
last_name: Nesterenko
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: 'Clouser T, Nesterenko M, Scheideler C. Tiara: A Self-stabilizing Deterministic
Skip List. In: Stabilization, Safety, and Security of Distributed Systems,
10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008.
Proceedings. Vol 5340. Lecture Notes in Computer Science. Springer; 2008:124--140.
doi:10.1007/978-3-540-89335-6_12'
apa: 'Clouser, T., Nesterenko, M., & Scheideler, C. (2008). Tiara: A Self-stabilizing
Deterministic Skip List. In Stabilization, Safety, and Security of Distributed
Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23,
2008. Proceedings (Vol. 5340, pp. 124--140). Springer. https://doi.org/10.1007/978-3-540-89335-6_12'
bibtex: '@inproceedings{Clouser_Nesterenko_Scheideler_2008, series={Lecture Notes
in Computer Science}, title={Tiara: A Self-stabilizing Deterministic Skip List},
volume={5340}, DOI={10.1007/978-3-540-89335-6_12},
booktitle={Stabilization, Safety, and Security of Distributed Systems, 10th International
Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings}, publisher={Springer},
author={Clouser, Thomas and Nesterenko, Mikhail and Scheideler, Christian}, year={2008},
pages={124--140}, collection={Lecture Notes in Computer Science} }'
chicago: 'Clouser, Thomas, Mikhail Nesterenko, and Christian Scheideler. “Tiara:
A Self-Stabilizing Deterministic Skip List.” In Stabilization, Safety, and
Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit,
MI, USA, November 21-23, 2008. Proceedings, 5340:124--140. Lecture Notes in
Computer Science. Springer, 2008. https://doi.org/10.1007/978-3-540-89335-6_12.'
ieee: 'T. Clouser, M. Nesterenko, and C. Scheideler, “Tiara: A Self-stabilizing
Deterministic Skip List,” in Stabilization, Safety, and Security of Distributed
Systems, 10th International Symposium, SSS 2008, Detroit, MI, USA, November 21-23,
2008. Proceedings, 2008, vol. 5340, pp. 124--140.'
mla: 'Clouser, Thomas, et al. “Tiara: A Self-Stabilizing Deterministic Skip List.”
Stabilization, Safety, and Security of Distributed Systems, 10th International
Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings,
vol. 5340, Springer, 2008, pp. 124--140, doi:10.1007/978-3-540-89335-6_12.'
short: 'T. Clouser, M. Nesterenko, C. Scheideler, in: Stabilization, Safety, and
Security of Distributed Systems, 10th International Symposium, SSS 2008, Detroit,
MI, USA, November 21-23, 2008. Proceedings, Springer, 2008, pp. 124--140.'
date_created: 2018-03-29T09:31:18Z
date_updated: 2022-01-06T06:54:03Z
department:
- _id: '79'
doi: 10.1007/978-3-540-89335-6_12
intvolume: ' 5340'
page: 124--140
publication: Stabilization, Safety, and Security of Distributed Systems, 10th International
Symposium, SSS 2008, Detroit, MI, USA, November 21-23, 2008. Proceedings
publication_identifier:
isbn:
- 978-3-540-89334-9
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'Tiara: A Self-stabilizing Deterministic Skip List'
type: conference
user_id: '15504'
volume: 5340
year: '2008'
...
---
_id: '1942'
author:
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
citation:
ama: 'Scheideler C. Broadcasting: Wie verbreite ich schnell Informationen? In: Taschenbuch
Der Algorithmen. eXamen.press. Springer; 2008:229--236. doi:10.1007/978-3-540-76394-9_22'
apa: 'Scheideler, C. (2008). Broadcasting: Wie verbreite ich schnell Informationen?
In Taschenbuch der Algorithmen (pp. 229--236). Springer. https://doi.org/10.1007/978-3-540-76394-9_22'
bibtex: '@inbook{Scheideler_2008, series={eXamen.press}, title={Broadcasting: Wie
verbreite ich schnell Informationen?}, DOI={10.1007/978-3-540-76394-9_22},
booktitle={Taschenbuch der Algorithmen}, publisher={Springer}, author={Scheideler,
Christian}, year={2008}, pages={229--236}, collection={eXamen.press} }'
chicago: 'Scheideler, Christian. “Broadcasting: Wie Verbreite Ich Schnell Informationen?”
In Taschenbuch Der Algorithmen, 229--236. EXamen.Press. Springer, 2008.
https://doi.org/10.1007/978-3-540-76394-9_22.'
ieee: 'C. Scheideler, “Broadcasting: Wie verbreite ich schnell Informationen?,”
in Taschenbuch der Algorithmen, Springer, 2008, pp. 229--236.'
mla: 'Scheideler, Christian. “Broadcasting: Wie Verbreite Ich Schnell Informationen?”
Taschenbuch Der Algorithmen, Springer, 2008, pp. 229--236, doi:10.1007/978-3-540-76394-9_22.'
short: 'C. Scheideler, in: Taschenbuch Der Algorithmen, Springer, 2008, pp. 229--236.'
date_created: 2018-03-29T09:32:34Z
date_updated: 2022-01-06T06:54:03Z
department:
- _id: '79'
doi: 10.1007/978-3-540-76394-9_22
page: 229--236
publication: Taschenbuch der Algorithmen
publication_identifier:
isbn:
- 978-3-540-76393-2
publisher: Springer
series_title: eXamen.press
status: public
title: 'Broadcasting: Wie verbreite ich schnell Informationen?'
type: book_chapter
user_id: '15504'
year: '2008'
...
---
_id: '1943'
citation:
ama: Hegering H-G, Lehmann A, Jürgen Ohlbach H, Scheideler C, eds. INFORMATIK
2008, Beherrschbare Systeme - Dank Informatik, Band 1, Beiträge Der 38. Jahrestagung
Der Gesellschaft Für Informatik e.V. (GI), 8. - 13. September, in München, Deutschland.
Vol 133.; 2008.
apa: Hegering, H.-G., Lehmann, A., Jürgen Ohlbach, H., & Scheideler, C. (Eds.).
(2008). INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge
der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September,
in München, Deutschland (Vol. 133).
bibtex: '@book{Hegering_Lehmann_Jürgen Ohlbach_Scheideler_2008, series={LNI}, title={INFORMATIK
2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung
der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München, Deutschland},
volume={133}, year={2008}, collection={LNI} }'
chicago: Hegering, Heinz-Gerd, Axel Lehmann, Hans Jürgen Ohlbach, and Christian
Scheideler, eds. INFORMATIK 2008, Beherrschbare Systeme - Dank Informatik,
Band 1, Beiträge Der 38. Jahrestagung Der Gesellschaft Für Informatik e.V. (GI),
8. - 13. September, in München, Deutschland. Vol. 133. LNI, 2008.
ieee: H.-G. Hegering, A. Lehmann, H. Jürgen Ohlbach, and C. Scheideler, Eds., INFORMATIK
2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge der 38. Jahrestagung
der Gesellschaft für Informatik e.V. (GI), 8. - 13. September, in München, Deutschland,
vol. 133. 2008.
mla: Hegering, Heinz-Gerd, et al., editors. INFORMATIK 2008, Beherrschbare Systeme
- Dank Informatik, Band 1, Beiträge Der 38. Jahrestagung Der Gesellschaft Für
Informatik e.V. (GI), 8. - 13. September, in München, Deutschland. Vol. 133,
2008.
short: H.-G. Hegering, A. Lehmann, H. Jürgen Ohlbach, C. Scheideler, eds., INFORMATIK
2008, Beherrschbare Systeme - Dank Informatik, Band 1, Beiträge Der 38. Jahrestagung
Der Gesellschaft Für Informatik e.V. (GI), 8. - 13. September, in München, Deutschland,
2008.
date_created: 2018-03-29T09:33:42Z
date_updated: 2022-01-06T06:54:03Z
department:
- _id: '79'
editor:
- first_name: Heinz-Gerd
full_name: Hegering, Heinz-Gerd
last_name: Hegering
- first_name: Axel
full_name: Lehmann, Axel
last_name: Lehmann
- first_name: Hans
full_name: Jürgen Ohlbach, Hans
last_name: Jürgen Ohlbach
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
intvolume: ' 133'
publication_identifier:
isbn:
- 978-3-88579-227-7
series_title: LNI
status: public
title: INFORMATIK 2008, Beherrschbare Systeme - dank Informatik, Band 1, Beiträge
der 38. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 8. - 13. September,
in München, Deutschland
type: conference_editor
user_id: '15504'
volume: 133
year: '2008'
...
---
_id: '1945'
author:
- first_name: Berthold
full_name: Vöcking, Berthold
last_name: Vöcking
- first_name: Helmut
full_name: Alt, Helmut
last_name: Alt
- first_name: Martin
full_name: Dietzfelbinger, Martin
last_name: Dietzfelbinger
- first_name: Rüdiger
full_name: Reischuk, Rüdiger
last_name: Reischuk
- first_name: Christian
full_name: Scheideler, Christian
id: '20792'
last_name: Scheideler
- first_name: Heribert
full_name: Vollmer, Heribert
last_name: Vollmer
- first_name: Dorothea
full_name: Wagner, Dorothea
last_name: Wagner
citation:
ama: Vöcking B, Alt H, Dietzfelbinger M, et al. Taschenbuch Der Algorithmen.;
2008.
apa: Vöcking, B., Alt, H., Dietzfelbinger, M., Reischuk, R., Scheideler, C., Vollmer,
H., & Wagner, D. (2008). Taschenbuch der Algorithmen.
bibtex: '@book{Vöcking_Alt_Dietzfelbinger_Reischuk_Scheideler_Vollmer_Wagner_2008,
series={eXamen.press}, title={Taschenbuch der Algorithmen}, author={Vöcking, Berthold
and Alt, Helmut and Dietzfelbinger, Martin and Reischuk, Rüdiger and Scheideler,
Christian and Vollmer, Heribert and Wagner, Dorothea}, year={2008}, collection={eXamen.press}
}'
chicago: Vöcking, Berthold, Helmut Alt, Martin Dietzfelbinger, Rüdiger Reischuk,
Christian Scheideler, Heribert Vollmer, and Dorothea Wagner. Taschenbuch Der
Algorithmen. EXamen.Press, 2008.
ieee: B. Vöcking et al., Taschenbuch der Algorithmen. 2008.
mla: Vöcking, Berthold, et al. Taschenbuch Der Algorithmen. 2008.
short: B. Vöcking, H. Alt, M. Dietzfelbinger, R. Reischuk, C. Scheideler, H. Vollmer,
D. Wagner, Taschenbuch Der Algorithmen, 2008.
date_created: 2018-03-29T09:39:00Z
date_updated: 2022-01-06T06:54:05Z
department:
- _id: '79'
main_file_link:
- url: http://www.springer.com/de/book/9783540763932
publication_identifier:
isbn:
- 978-3-540-76393-2
series_title: eXamen.press
status: public
title: Taschenbuch der Algorithmen
type: book
user_id: '15504'
year: '2008'
...
---
_id: '2355'
author:
- first_name: André
full_name: Brinkmann, André
last_name: Brinkmann
- first_name: Sascha
full_name: Effert, Sascha
last_name: Effert
citation:
ama: 'Brinkmann A, Effert S. Redundant Data Placement Strategies for Cluster Storage
Environments. In: Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS).
Berlin / Heidelberg: Springer; 2008:551-554. doi:10.1007/978-3-540-92221-6_38'
apa: 'Brinkmann, A., & Effert, S. (2008). Redundant Data Placement Strategies
for Cluster Storage Environments. In Proc. Int. Conf. on Principles Of DIstributed
Systems (OPODIS) (pp. 551–554). Berlin / Heidelberg: Springer. https://doi.org/10.1007/978-3-540-92221-6_38'
bibtex: '@inproceedings{Brinkmann_Effert_2008, place={Berlin / Heidelberg}, title={Redundant
Data Placement Strategies for Cluster Storage Environments}, DOI={10.1007/978-3-540-92221-6_38},
booktitle={Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS)}, publisher={Springer},
author={Brinkmann, André and Effert, Sascha}, year={2008}, pages={551–554} }'
chicago: 'Brinkmann, André, and Sascha Effert. “Redundant Data Placement Strategies
for Cluster Storage Environments.” In Proc. Int. Conf. on Principles Of DIstributed
Systems (OPODIS), 551–54. Berlin / Heidelberg: Springer, 2008. https://doi.org/10.1007/978-3-540-92221-6_38.'
ieee: A. Brinkmann and S. Effert, “Redundant Data Placement Strategies for Cluster
Storage Environments,” in Proc. Int. Conf. on Principles Of DIstributed Systems
(OPODIS), 2008, pp. 551–554.
mla: Brinkmann, André, and Sascha Effert. “Redundant Data Placement Strategies for
Cluster Storage Environments.” Proc. Int. Conf. on Principles Of DIstributed
Systems (OPODIS), Springer, 2008, pp. 551–54, doi:10.1007/978-3-540-92221-6_38.
short: 'A. Brinkmann, S. Effert, in: Proc. Int. Conf. on Principles Of DIstributed
Systems (OPODIS), Springer, Berlin / Heidelberg, 2008, pp. 551–554.'
date_created: 2018-04-17T09:40:20Z
date_updated: 2022-01-06T06:55:56Z
department:
- _id: '27'
doi: 10.1007/978-3-540-92221-6_38
page: 551-554
place: Berlin / Heidelberg
publication: Proc. Int. Conf. on Principles Of DIstributed Systems (OPODIS)
publisher: Springer
status: public
title: Redundant Data Placement Strategies for Cluster Storage Environments
type: conference
user_id: '24135'
year: '2008'
...
---
_id: '2383'
author:
- first_name: Stefan
full_name: Lietsch, Stefan
last_name: Lietsch
- first_name: Paul
full_name: Hermann Lensing, Paul
last_name: Hermann Lensing
citation:
ama: 'Lietsch S, Hermann Lensing P. GPU-Supported Image Compression for Remote Visualization
- Realization and Benchmarking. In: Proc. Int. Symp. on Visual Computing (ISVC).
Vol 5358. Lecture Notes in Computer Science (LNCS). Springer; 2008:658-668. doi:10.1007/978-3-540-89639-5_63'
apa: Lietsch, S., & Hermann Lensing, P. (2008). GPU-Supported Image Compression
for Remote Visualization - Realization and Benchmarking. In Proc. Int. Symp.
on Visual Computing (ISVC) (Vol. 5358, pp. 658–668). Springer. https://doi.org/10.1007/978-3-540-89639-5_63
bibtex: '@inproceedings{Lietsch_Hermann Lensing_2008, series={Lecture Notes in Computer
Science (LNCS)}, title={GPU-Supported Image Compression for Remote Visualization
- Realization and Benchmarking}, volume={5358}, DOI={10.1007/978-3-540-89639-5_63},
booktitle={Proc. Int. Symp. on Visual Computing (ISVC)}, publisher={Springer},
author={Lietsch, Stefan and Hermann Lensing, Paul}, year={2008}, pages={658–668},
collection={Lecture Notes in Computer Science (LNCS)} }'
chicago: Lietsch, Stefan, and Paul Hermann Lensing. “GPU-Supported Image Compression
for Remote Visualization - Realization and Benchmarking.” In Proc. Int. Symp.
on Visual Computing (ISVC), 5358:658–68. Lecture Notes in Computer Science
(LNCS). Springer, 2008. https://doi.org/10.1007/978-3-540-89639-5_63.
ieee: S. Lietsch and P. Hermann Lensing, “GPU-Supported Image Compression for Remote
Visualization - Realization and Benchmarking,” in Proc. Int. Symp. on Visual
Computing (ISVC), 2008, vol. 5358, pp. 658–668.
mla: Lietsch, Stefan, and Paul Hermann Lensing. “GPU-Supported Image Compression
for Remote Visualization - Realization and Benchmarking.” Proc. Int. Symp.
on Visual Computing (ISVC), vol. 5358, Springer, 2008, pp. 658–68, doi:10.1007/978-3-540-89639-5_63.
short: 'S. Lietsch, P. Hermann Lensing, in: Proc. Int. Symp. on Visual Computing
(ISVC), Springer, 2008, pp. 658–668.'
date_created: 2018-04-17T12:28:48Z
date_updated: 2022-01-06T06:56:01Z
department:
- _id: '27'
doi: 10.1007/978-3-540-89639-5_63
intvolume: ' 5358'
page: 658-668
publication: Proc. Int. Symp. on Visual Computing (ISVC)
publisher: Springer
series_title: Lecture Notes in Computer Science (LNCS)
status: public
title: GPU-Supported Image Compression for Remote Visualization - Realization and
Benchmarking
type: conference
user_id: '24135'
volume: 5358
year: '2008'
...
---
_id: '2384'
author:
- first_name: Christoph
full_name: Laroque, Christoph
last_name: Laroque
- first_name: Stefan
full_name: Lietsch, Stefan
last_name: Lietsch
- first_name: Henning
full_name: Zabel, Henning
last_name: Zabel
citation:
ama: 'Laroque C, Lietsch S, Zabel H. Computational Steering verteilter, interaktiver
Materialflusssimulationen. In: Augmented & Virtual Reality in Der Produktentstehung.
Vol 232. Verlagsschriftenreihe des Heinz Nixdorf Instituts. Paderborn, Germany:
Heinz Nixdorf Institut; 2008:221-239.'
apa: 'Laroque, C., Lietsch, S., & Zabel, H. (2008). Computational Steering verteilter,
interaktiver Materialflusssimulationen. In Augmented & Virtual Reality
in der Produktentstehung (Vol. 232, pp. 221–239). Paderborn, Germany: Heinz
Nixdorf Institut.'
bibtex: '@inbook{Laroque_Lietsch_Zabel_2008, place={Paderborn, Germany}, series={Verlagsschriftenreihe
des Heinz Nixdorf Instituts}, title={Computational Steering verteilter, interaktiver
Materialflusssimulationen}, volume={232}, booktitle={Augmented & Virtual Reality
in der Produktentstehung}, publisher={Heinz Nixdorf Institut}, author={Laroque,
Christoph and Lietsch, Stefan and Zabel, Henning}, year={2008}, pages={221–239},
collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }'
chicago: 'Laroque, Christoph, Stefan Lietsch, and Henning Zabel. “Computational
Steering Verteilter, Interaktiver Materialflusssimulationen.” In Augmented
& Virtual Reality in Der Produktentstehung, 232:221–39. Verlagsschriftenreihe
Des Heinz Nixdorf Instituts. Paderborn, Germany: Heinz Nixdorf Institut, 2008.'
ieee: 'C. Laroque, S. Lietsch, and H. Zabel, “Computational Steering verteilter,
interaktiver Materialflusssimulationen,” in Augmented & Virtual Reality
in der Produktentstehung, vol. 232, Paderborn, Germany: Heinz Nixdorf Institut,
2008, pp. 221–239.'
mla: Laroque, Christoph, et al. “Computational Steering Verteilter, Interaktiver
Materialflusssimulationen.” Augmented & Virtual Reality in Der Produktentstehung,
vol. 232, Heinz Nixdorf Institut, 2008, pp. 221–39.
short: 'C. Laroque, S. Lietsch, H. Zabel, in: Augmented & Virtual Reality in
Der Produktentstehung, Heinz Nixdorf Institut, Paderborn, Germany, 2008, pp. 221–239.'
date_created: 2018-04-17T12:31:24Z
date_updated: 2022-01-06T06:56:01Z
department:
- _id: '27'
intvolume: ' 232'
page: 221-239
place: Paderborn, Germany
publication: Augmented & Virtual Reality in der Produktentstehung
publication_identifier:
isbn:
- 978-3-939350-51-4
publisher: Heinz Nixdorf Institut
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts
status: public
title: Computational Steering verteilter, interaktiver Materialflusssimulationen
type: book_chapter
user_id: '24135'
volume: 232
year: '2008'
...