---
_id: '19836'
author:
- first_name: Christian
  full_name: Schindelhauer, Christian
  last_name: Schindelhauer
- first_name: Kerstin
  full_name: Voß, Kerstin
  last_name: Voß
citation:
  ama: 'Schindelhauer C, Voß K. Probability Distributions for Channel Utilisation.
    In: <i>Proc. of 4th International Conference on Ad-Hoc Networks &#38; Wireless
    (ADHOC-NOW 2005)</i>. 3738. ; 2005:271-284. doi:<a href="https://doi.org/10.1007/11561354_23">10.1007/11561354_23</a>'
  apa: Schindelhauer, C., &#38; Voß, K. (2005). Probability Distributions for Channel
    Utilisation. In <i>Proc. of 4th International Conference on Ad-Hoc Networks &#38;
    Wireless (ADHOC-NOW 2005)</i> (pp. 271–284). <a href="https://doi.org/10.1007/11561354_23">https://doi.org/10.1007/11561354_23</a>
  bibtex: '@inbook{Schindelhauer_Voß_2005, series={3738}, title={Probability Distributions
    for Channel Utilisation}, DOI={<a href="https://doi.org/10.1007/11561354_23">10.1007/11561354_23</a>},
    booktitle={Proc. of 4th International Conference on Ad-Hoc Networks &#38; Wireless
    (ADHOC-NOW 2005)}, author={Schindelhauer, Christian and Voß, Kerstin}, year={2005},
    pages={271–284}, collection={3738} }'
  chicago: Schindelhauer, Christian, and Kerstin Voß. “Probability Distributions for
    Channel Utilisation.” In <i>Proc. of 4th International Conference on Ad-Hoc Networks
    &#38; Wireless (ADHOC-NOW 2005)</i>, 271–84. 3738, 2005. <a href="https://doi.org/10.1007/11561354_23">https://doi.org/10.1007/11561354_23</a>.
  ieee: C. Schindelhauer and K. Voß, “Probability Distributions for Channel Utilisation,”
    in <i>Proc. of 4th International Conference on Ad-Hoc Networks &#38; Wireless
    (ADHOC-NOW 2005)</i>, 2005, pp. 271–284.
  mla: Schindelhauer, Christian, and Kerstin Voß. “Probability Distributions for Channel
    Utilisation.” <i>Proc. of 4th International Conference on Ad-Hoc Networks &#38;
    Wireless (ADHOC-NOW 2005)</i>, 2005, pp. 271–84, doi:<a href="https://doi.org/10.1007/11561354_23">10.1007/11561354_23</a>.
  short: 'C. Schindelhauer, K. Voß, in: Proc. of 4th International Conference on Ad-Hoc
    Networks &#38; Wireless (ADHOC-NOW 2005), 2005, pp. 271–284.'
date_created: 2020-10-01T11:36:30Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '63'
doi: 10.1007/11561354_23
language:
- iso: eng
page: 271-284
publication: Proc. of 4th International Conference on Ad-Hoc Networks & Wireless (ADHOC-NOW
  2005)
publication_identifier:
  isbn:
  - '9783540291329'
  - '9783540320869'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
series_title: '3738'
status: public
title: Probability Distributions for Channel Utilisation
type: book_chapter
user_id: '15415'
year: '2005'
...
---
_id: '19837'
author:
- first_name: Christian
  full_name: Schindelhauer, Christian
  last_name: Schindelhauer
- first_name: Gerhard
  full_name: Weikum, Gerhard
  last_name: Weikum
- first_name: David
  full_name: Hales, David
  last_name: Hales
- first_name: Peter
  full_name: Triantafillou, Peter
  last_name: Triantafillou
citation:
  ama: 'Schindelhauer C, Weikum G, Hales D, Triantafillou P. Towards Self-Organizing
    Query Routing and Processing for Peer-to-Peer Web Search. In: <i>European Conference
    on Complex Systems (ECCS 2005)</i>. ; 2005.'
  apa: Schindelhauer, C., Weikum, G., Hales, D., &#38; Triantafillou, P. (2005). Towards
    Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search. In <i>European
    Conference on Complex Systems (ECCS 2005)</i>.
  bibtex: '@inproceedings{Schindelhauer_Weikum_Hales_Triantafillou_2005, title={Towards
    Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search}, booktitle={European
    Conference on Complex Systems (ECCS 2005)}, author={Schindelhauer, Christian and
    Weikum, Gerhard and Hales, David and Triantafillou, Peter}, year={2005} }'
  chicago: Schindelhauer, Christian, Gerhard Weikum, David Hales, and Peter Triantafillou.
    “Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search.”
    In <i>European Conference on Complex Systems (ECCS 2005)</i>, 2005.
  ieee: C. Schindelhauer, G. Weikum, D. Hales, and P. Triantafillou, “Towards Self-Organizing
    Query Routing and Processing for Peer-to-Peer Web Search,” in <i>European Conference
    on Complex Systems (ECCS 2005)</i>, 2005.
  mla: Schindelhauer, Christian, et al. “Towards Self-Organizing Query Routing and
    Processing for Peer-to-Peer Web Search.” <i>European Conference on Complex Systems
    (ECCS 2005)</i>, 2005.
  short: 'C. Schindelhauer, G. Weikum, D. Hales, P. Triantafillou, in: European Conference
    on Complex Systems (ECCS 2005), 2005.'
date_created: 2020-10-01T11:45:28Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '63'
language:
- iso: eng
publication: European Conference on Complex Systems (ECCS 2005)
status: public
title: Towards Self-Organizing Query Routing and Processing for Peer-to-Peer Web Search
type: conference
user_id: '15415'
year: '2005'
...
---
_id: '19871'
abstract:
- lang: eng
  text: Data has become the most valuable asset for many companies; loosing important
    data can cause companies to fail quite immediately. The protection of data inside
    storage systems is mostly achieved by using a RAID scheme that adds redundant
    data to user data, enabling recovery from single or multiple disk failures. This
    protection against data loss in case of a disk failure can be achieved either
    by dedicated hardware or a software RAID solution.<br><br>One major advantage
    of software RAID is that it comes for free as a built-in functionality in many
    operating systems like Linux or Microsoft Windows. The drawback of the built-in
    functionality is that it is not suited to run in multiple server environments;
    synchronization and recovery processes can be corrupted if more than a single
    server is allowed to access a software RAID volume.<br><br>In this paper, we present
    an enhancement for the Linux md-driver that enables a consistent usage of RAID
    in multiple server environments. Based on the V:DRIVE virtualization environment,
    RAID volumes can be consistently synchronized and recovered even in distributed
    environments. Besides the architectural concepts, we present measurements that
    indicate the viability of this enhanced, distributed version of md.
author:
- first_name: André
  full_name: Brinkmann, André
  last_name: Brinkmann
- first_name: Sascha
  full_name: Effert, Sascha
  last_name: Effert
- first_name: Michael
  full_name: Heidebuer, Michael
  last_name: Heidebuer
- first_name: Mario
  full_name: Vodisek, Mario
  last_name: Vodisek
citation:
  ama: 'Brinkmann A, Effert S, Heidebuer M, Vodisek M. Distributed MD. In: <i>In Proceedings
    of the International Workshop on Storage Network Architecture and Parallel I/Os</i>.
    ; 2005:81-88.'
  apa: Brinkmann, A., Effert, S., Heidebuer, M., &#38; Vodisek, M. (2005). Distributed
    MD. In <i>In Proceedings of the International Workshop on Storage Network Architecture
    and Parallel I/Os</i> (pp. 81–88).
  bibtex: '@inproceedings{Brinkmann_Effert_Heidebuer_Vodisek_2005, title={Distributed
    MD}, booktitle={In Proceedings of the International Workshop on Storage Network
    Architecture and Parallel I/Os}, author={Brinkmann, André and Effert, Sascha and
    Heidebuer, Michael and Vodisek, Mario}, year={2005}, pages={81–88} }'
  chicago: Brinkmann, André, Sascha Effert, Michael Heidebuer, and Mario Vodisek.
    “Distributed MD.” In <i>In Proceedings of the International Workshop on Storage
    Network Architecture and Parallel I/Os</i>, 81–88, 2005.
  ieee: A. Brinkmann, S. Effert, M. Heidebuer, and M. Vodisek, “Distributed MD,” in
    <i>In Proceedings of the International Workshop on Storage Network Architecture
    and Parallel I/Os</i>, 2005, pp. 81–88.
  mla: Brinkmann, André, et al. “Distributed MD.” <i>In Proceedings of the International
    Workshop on Storage Network Architecture and Parallel I/Os</i>, 2005, pp. 81–88.
  short: 'A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, in: In Proceedings of
    the International Workshop on Storage Network Architecture and Parallel I/Os,
    2005, pp. 81–88.'
date_created: 2020-10-05T08:49:22Z
date_updated: 2022-01-06T06:54:14Z
department:
- _id: '63'
- _id: '58'
language:
- iso: eng
page: 81 - 88
publication: In Proceedings of the International Workshop on Storage Network Architecture
  and Parallel I/Os
status: public
title: Distributed MD
type: conference
user_id: '15415'
year: '2005'
...
---
_id: '19872'
abstract:
- lang: eng
  text: "Recent developments both in the business and the technological domain have
    led to a significant increase in demand for Business Intelligence (BI) infrastructures
    that can handle huge amounts of data in small time frames. BI applications are
    increasingly used by large user bases on all management levels; support tasks
    spanning the complete value chain are based on transactional data and are directly
    coupled with operational systems in \x94closed loop\x94 approaches.<br><br>To
    effectively handle the resulting data volume turns out to be an extremely challenging
    task which encompasses a variety of issues on different levels. We propose an
    integrated multi layer tool for monitoring, benchmarking, analyzing, and optimizing
    the performance of such BI infrastructures.<br><br>Inside this paper we give a
    coarse outline of the tool\x92s architecture and demonstrate the value of distinct
    measurement points at operating system layer. For that purpose we introduce a
    kernel based benchmark environment and present first measurement results. The
    gathered data clearly indicates that a meaningful analysis of performance benchmarks
    without kernel trace points is of limited value - which shows the necessity to
    consider a separate component within the tool\x92s architecture."
author:
- first_name: André
  full_name: Brinkmann, André
  last_name: Brinkmann
- first_name: Sascha
  full_name: Effert, Sascha
  last_name: Effert
- first_name: Michael
  full_name: Heidebuer, Michael
  last_name: Heidebuer
- first_name: Mario
  full_name: Vodisek, Mario
  last_name: Vodisek
- first_name: Henning
  full_name: Baars, Henning
  last_name: Baars
citation:
  ama: 'Brinkmann A, Effert S, Heidebuer M, Vodisek M, Baars H. An integrated Architecture
    for Business Intelligence support from Application down to Storage. In: <i>In
    Proceedings of the International Workshop on Storage Network Architecture and
    Parallel I/Os</i>. ; 2005:1-8.'
  apa: Brinkmann, A., Effert, S., Heidebuer, M., Vodisek, M., &#38; Baars, H. (2005).
    An integrated Architecture for Business Intelligence support from Application
    down to Storage. In <i>In Proceedings of the International Workshop on Storage
    Network Architecture and Parallel I/Os</i> (pp. 1–8).
  bibtex: '@inproceedings{Brinkmann_Effert_Heidebuer_Vodisek_Baars_2005, title={An
    integrated Architecture for Business Intelligence support from Application down
    to Storage}, booktitle={In Proceedings of the International Workshop on Storage
    Network Architecture and Parallel I/Os}, author={Brinkmann, André and Effert,
    Sascha and Heidebuer, Michael and Vodisek, Mario and Baars, Henning}, year={2005},
    pages={1–8} }'
  chicago: Brinkmann, André, Sascha Effert, Michael Heidebuer, Mario Vodisek, and
    Henning Baars. “An Integrated Architecture for Business Intelligence Support from
    Application down to Storage.” In <i>In Proceedings of the International Workshop
    on Storage Network Architecture and Parallel I/Os</i>, 1–8, 2005.
  ieee: A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, and H. Baars, “An integrated
    Architecture for Business Intelligence support from Application down to Storage,”
    in <i>In Proceedings of the International Workshop on Storage Network Architecture
    and Parallel I/Os</i>, 2005, pp. 1–8.
  mla: Brinkmann, André, et al. “An Integrated Architecture for Business Intelligence
    Support from Application down to Storage.” <i>In Proceedings of the International
    Workshop on Storage Network Architecture and Parallel I/Os</i>, 2005, pp. 1–8.
  short: 'A. Brinkmann, S. Effert, M. Heidebuer, M. Vodisek, H. Baars, in: In Proceedings
    of the International Workshop on Storage Network Architecture and Parallel I/Os,
    2005, pp. 1–8.'
date_created: 2020-10-05T08:56:38Z
date_updated: 2022-01-06T06:54:14Z
department:
- _id: '63'
- _id: '58'
language:
- iso: eng
page: 1-8
publication: In Proceedings of the International Workshop on Storage Network Architecture
  and Parallel I/Os
status: public
title: An integrated Architecture for Business Intelligence support from Application
  down to Storage
type: conference
user_id: '15415'
year: '2005'
...
---
_id: '19888'
author:
- first_name: Jan
  full_name: Klein, Jan
  last_name: Klein
- first_name: Gabriel
  full_name: Zachmann, Gabriel
  last_name: Zachmann
citation:
  ama: 'Klein J, Zachmann G. The expected running time of hierarchical collision detection.
    In: <i>ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05</i>. ; 2005. doi:<a href="https://doi.org/10.1145/1186954.1187087">10.1145/1186954.1187087</a>'
  apa: Klein, J., &#38; Zachmann, G. (2005). The expected running time of hierarchical
    collision detection. In <i>ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05</i>.
    <a href="https://doi.org/10.1145/1186954.1187087">https://doi.org/10.1145/1186954.1187087</a>
  bibtex: '@inproceedings{Klein_Zachmann_2005, title={The expected running time of
    hierarchical collision detection}, DOI={<a href="https://doi.org/10.1145/1186954.1187087">10.1145/1186954.1187087</a>},
    booktitle={ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05}, author={Klein, Jan
    and Zachmann, Gabriel}, year={2005} }'
  chicago: Klein, Jan, and Gabriel Zachmann. “The Expected Running Time of Hierarchical
    Collision Detection.” In <i>ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05</i>,
    2005. <a href="https://doi.org/10.1145/1186954.1187087">https://doi.org/10.1145/1186954.1187087</a>.
  ieee: J. Klein and G. Zachmann, “The expected running time of hierarchical collision
    detection,” in <i>ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05</i>, 2005.
  mla: Klein, Jan, and Gabriel Zachmann. “The Expected Running Time of Hierarchical
    Collision Detection.” <i>ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05</i>, 2005,
    doi:<a href="https://doi.org/10.1145/1186954.1187087">10.1145/1186954.1187087</a>.
  short: 'J. Klein, G. Zachmann, in: ACM SIGGRAPH 2005 Posters on   - SIGGRAPH ’05,
    2005.'
date_created: 2020-10-05T13:25:41Z
date_updated: 2022-01-06T06:54:14Z
department:
- _id: '63'
doi: 10.1145/1186954.1187087
language:
- iso: eng
publication: ACM SIGGRAPH 2005 Posters on   - SIGGRAPH '05
publication_status: published
status: public
title: The expected running time of hierarchical collision detection
type: conference
user_id: '15415'
year: '2005'
...
---
_id: '19890'
author:
- first_name: Jan
  full_name: Klein, Jan
  last_name: Klein
- first_name: Gabriel
  full_name: Zachmann, Gabriel
  last_name: Zachmann
citation:
  ama: 'Klein J, Zachmann G. Interpolation Search for Point Cloud Intersection. In:
    <i>Proceedings of the 13-Th International Conference in Central Europe on Computer
    Graphics, Visualization and Computer Vision’2005 (WSCG’2005)</i>. ; 2005:163-170.
    doi:<a href="https://doi.org/10.1145/1186223.1186329">10.1145/1186223.1186329</a>'
  apa: Klein, J., &#38; Zachmann, G. (2005). Interpolation Search for Point Cloud
    Intersection. In <i>Proceedings of the 13-th International Conference in Central
    Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005)</i>
    (pp. 163–170). <a href="https://doi.org/10.1145/1186223.1186329">https://doi.org/10.1145/1186223.1186329</a>
  bibtex: '@inproceedings{Klein_Zachmann_2005, title={Interpolation Search for Point
    Cloud Intersection}, DOI={<a href="https://doi.org/10.1145/1186223.1186329">10.1145/1186223.1186329</a>},
    booktitle={Proceedings of the 13-th International Conference in Central Europe
    on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005)}, author={Klein,
    Jan and Zachmann, Gabriel}, year={2005}, pages={163–170} }'
  chicago: Klein, Jan, and Gabriel Zachmann. “Interpolation Search for Point Cloud
    Intersection.” In <i>Proceedings of the 13-Th International Conference in Central
    Europe on Computer Graphics, Visualization and Computer Vision’2005 (WSCG’2005)</i>,
    163–70, 2005. <a href="https://doi.org/10.1145/1186223.1186329">https://doi.org/10.1145/1186223.1186329</a>.
  ieee: J. Klein and G. Zachmann, “Interpolation Search for Point Cloud Intersection,”
    in <i>Proceedings of the 13-th International Conference in Central Europe on Computer
    Graphics, Visualization and Computer Vision’2005 (WSCG’2005)</i>, 2005, pp. 163–170.
  mla: Klein, Jan, and Gabriel Zachmann. “Interpolation Search for Point Cloud Intersection.”
    <i>Proceedings of the 13-Th International Conference in Central Europe on Computer
    Graphics, Visualization and Computer Vision’2005 (WSCG’2005)</i>, 2005, pp. 163–70,
    doi:<a href="https://doi.org/10.1145/1186223.1186329">10.1145/1186223.1186329</a>.
  short: 'J. Klein, G. Zachmann, in: Proceedings of the 13-Th International Conference
    in Central Europe on Computer Graphics, Visualization and Computer Vision’2005
    (WSCG’2005), 2005, pp. 163–170.'
date_created: 2020-10-05T13:38:33Z
date_updated: 2022-01-06T06:54:14Z
department:
- _id: '63'
doi: 10.1145/1186223.1186329
language:
- iso: eng
page: 163-170
publication: Proceedings of the 13-th International Conference in Central Europe on
  Computer Graphics, Visualization and Computer Vision'2005 (WSCG'2005)
status: public
title: Interpolation Search for Point Cloud Intersection
type: conference
user_id: '15415'
year: '2005'
...
---
_id: '19912'
author:
- first_name: Chris
  full_name: Loeser, Chris
  last_name: Loeser
- first_name: Gunnar
  full_name: Schomaker, Gunnar
  last_name: Schomaker
- first_name: André
  full_name: Brinkmann, André
  last_name: Brinkmann
- first_name: Mario
  full_name: Vodisek, Mario
  last_name: Vodisek
- first_name: Michael
  full_name: Heidebuer, Michael
  last_name: Heidebuer
citation:
  ama: 'Loeser C, Schomaker G, Brinkmann A, Vodisek M, Heidebuer M. Content Distribution
    in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts. In: <i>Proceedings
    of the 4th International Conference on Networking</i>. Vol 3421. Berlin, Heidelberg;
    2005:800-810. doi:<a href="https://doi.org/10.1007/978-3-540-31957-3_90">10.1007/978-3-540-31957-3_90</a>'
  apa: Loeser, C., Schomaker, G., Brinkmann, A., Vodisek, M., &#38; Heidebuer, M.
    (2005). Content Distribution in Heterogenous Video-on-Demand P2P Networks with
    ARIMA Forecasts. In <i>Proceedings of the 4th International Conference on Networking</i>
    (Vol. 3421, pp. 800–810). Berlin, Heidelberg. <a href="https://doi.org/10.1007/978-3-540-31957-3_90">https://doi.org/10.1007/978-3-540-31957-3_90</a>
  bibtex: '@inproceedings{Loeser_Schomaker_Brinkmann_Vodisek_Heidebuer_2005, place={Berlin,
    Heidelberg}, title={Content Distribution in Heterogenous Video-on-Demand P2P Networks
    with ARIMA Forecasts}, volume={3421}, DOI={<a href="https://doi.org/10.1007/978-3-540-31957-3_90">10.1007/978-3-540-31957-3_90</a>},
    booktitle={Proceedings of the 4th International Conference on Networking}, author={Loeser,
    Chris and Schomaker, Gunnar and Brinkmann, André and Vodisek, Mario and Heidebuer,
    Michael}, year={2005}, pages={800–810} }'
  chicago: Loeser, Chris, Gunnar Schomaker, André Brinkmann, Mario Vodisek, and Michael
    Heidebuer. “Content Distribution in Heterogenous Video-on-Demand P2P Networks
    with ARIMA Forecasts.” In <i>Proceedings of the 4th International Conference on
    Networking</i>, 3421:800–810. Berlin, Heidelberg, 2005. <a href="https://doi.org/10.1007/978-3-540-31957-3_90">https://doi.org/10.1007/978-3-540-31957-3_90</a>.
  ieee: C. Loeser, G. Schomaker, A. Brinkmann, M. Vodisek, and M. Heidebuer, “Content
    Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA Forecasts,”
    in <i>Proceedings of the 4th International Conference on Networking</i>, 2005,
    vol. 3421, pp. 800–810.
  mla: Loeser, Chris, et al. “Content Distribution in Heterogenous Video-on-Demand
    P2P Networks with ARIMA Forecasts.” <i>Proceedings of the 4th International Conference
    on Networking</i>, vol. 3421, 2005, pp. 800–10, doi:<a href="https://doi.org/10.1007/978-3-540-31957-3_90">10.1007/978-3-540-31957-3_90</a>.
  short: 'C. Loeser, G. Schomaker, A. Brinkmann, M. Vodisek, M. Heidebuer, in: Proceedings
    of the 4th International Conference on Networking, Berlin, Heidelberg, 2005, pp.
    800–810.'
date_created: 2020-10-06T10:36:14Z
date_updated: 2022-01-06T06:54:14Z
department:
- _id: '63'
- _id: '58'
doi: 10.1007/978-3-540-31957-3_90
intvolume: '      3421'
language:
- iso: eng
page: 800-810
place: Berlin, Heidelberg
publication: Proceedings of the 4th International Conference on Networking
publication_identifier:
  isbn:
  - '9783540253389'
  - '9783540319573'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: Content Distribution in Heterogenous Video-on-Demand P2P Networks with ARIMA
  Forecasts
type: conference
user_id: '15415'
volume: 3421
year: '2005'
...
---
_id: '2411'
abstract:
- lang: eng
  text: ' This paper motivates the use of hardware virtualization on coarse-grained
    reconfigurable architectures. We introduce Zippy, a coarse-grained multi-context
    hybrid CPU with architectural support for efficient hardware virtualization. The
    architectural details and the corresponding tool flow are outlined. As a case
    study, we compare the non-virtualized and the virtualized execution of an ADPCM
    decoder. '
author:
- first_name: Christian
  full_name: Plessl, Christian
  id: '16153'
  last_name: Plessl
  orcid: 0000-0001-5728-9982
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Plessl C, Platzner M. Zippy – A coarse-grained reconfigurable array with support
    for hardware virtualization. In: <i>Proc. Int. Conf. on Application-Specific Systems,
    Architectures, and Processors (ASAP)</i>. IEEE Computer Society; 2005:213-218.
    doi:<a href="https://doi.org/10.1109/ASAP.2005.69">10.1109/ASAP.2005.69</a>'
  apa: Plessl, C., &#38; Platzner, M. (2005). Zippy – A coarse-grained reconfigurable
    array with support for hardware virtualization. In <i>Proc. Int. Conf. on Application-Specific
    Systems, Architectures, and Processors (ASAP)</i> (pp. 213–218). IEEE Computer
    Society. <a href="https://doi.org/10.1109/ASAP.2005.69">https://doi.org/10.1109/ASAP.2005.69</a>
  bibtex: '@inproceedings{Plessl_Platzner_2005, title={Zippy – A coarse-grained reconfigurable
    array with support for hardware virtualization}, DOI={<a href="https://doi.org/10.1109/ASAP.2005.69">10.1109/ASAP.2005.69</a>},
    booktitle={Proc. Int. Conf. on Application-Specific Systems, Architectures, and
    Processors (ASAP)}, publisher={IEEE Computer Society}, author={Plessl, Christian
    and Platzner, Marco}, year={2005}, pages={213–218} }'
  chicago: Plessl, Christian, and Marco Platzner. “Zippy – A Coarse-Grained Reconfigurable
    Array with Support for Hardware Virtualization.” In <i>Proc. Int. Conf. on Application-Specific
    Systems, Architectures, and Processors (ASAP)</i>, 213–18. IEEE Computer Society,
    2005. <a href="https://doi.org/10.1109/ASAP.2005.69">https://doi.org/10.1109/ASAP.2005.69</a>.
  ieee: C. Plessl and M. Platzner, “Zippy – A coarse-grained reconfigurable array
    with support for hardware virtualization,” in <i>Proc. Int. Conf. on Application-Specific
    Systems, Architectures, and Processors (ASAP)</i>, 2005, pp. 213–218.
  mla: Plessl, Christian, and Marco Platzner. “Zippy – A Coarse-Grained Reconfigurable
    Array with Support for Hardware Virtualization.” <i>Proc. Int. Conf. on Application-Specific
    Systems, Architectures, and Processors (ASAP)</i>, IEEE Computer Society, 2005,
    pp. 213–18, doi:<a href="https://doi.org/10.1109/ASAP.2005.69">10.1109/ASAP.2005.69</a>.
  short: 'C. Plessl, M. Platzner, in: Proc. Int. Conf. on Application-Specific Systems,
    Architectures, and Processors (ASAP), IEEE Computer Society, 2005, pp. 213–218.'
date_created: 2018-04-17T14:34:03Z
date_updated: 2022-01-06T06:56:07Z
department:
- _id: '518'
- _id: '78'
doi: 10.1109/ASAP.2005.69
keyword:
- Zippy
page: 213-218
publication: Proc. Int. Conf. on Application-Specific Systems, Architectures, and
  Processors (ASAP)
publisher: IEEE Computer Society
status: public
title: Zippy – A coarse-grained reconfigurable array with support for hardware virtualization
type: conference
user_id: '24135'
year: '2005'
...
---
_id: '2412'
abstract:
- lang: eng
  text: ' Reconfigurable architectures that tightly integrate a standard CPU core
    with a field-programmable hardware structure have recently been receiving impact
    of these design decisions on the overall system performance is a challenging task.
    In this paper, we first present a framework for the cycle-accurate performance
    evaluation of hybrid reconfigurable processors on the system level. Then, we discuss
    a reconfigurable processor for data-streaming applications, which attaches a coarse-grained
    reconfigurable unit to the coprocessor interface of a standard embedded CPU core.
    By means of a case study we evaluate the system-level impact of certain design
    features for the reconfigurable unit, such as multiple contexts, register replication,
    and hardware context scheduling. The results illustrate that a system-level evaluation
    framework is of paramount importance for studying the architectural trade-offs
    and optimizing design parameters for reconfigurable processors.'
author:
- first_name: Rolf
  full_name: Enzler, Rolf
  last_name: Enzler
- first_name: Christian
  full_name: Plessl, Christian
  id: '16153'
  last_name: Plessl
  orcid: 0000-0001-5728-9982
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: Enzler R, Plessl C, Platzner M. System-level performance evaluation of reconfigurable
    processors. <i>Microprocessors and Microsystems</i>. 2005;29(2-3):63-73. doi:<a
    href="https://doi.org/10.1016/j.micpro.2004.06.004">10.1016/j.micpro.2004.06.004</a>
  apa: Enzler, R., Plessl, C., &#38; Platzner, M. (2005). System-level performance
    evaluation of reconfigurable processors. <i>Microprocessors and Microsystems</i>,
    <i>29</i>(2–3), 63–73. <a href="https://doi.org/10.1016/j.micpro.2004.06.004">https://doi.org/10.1016/j.micpro.2004.06.004</a>
  bibtex: '@article{Enzler_Plessl_Platzner_2005, title={System-level performance evaluation
    of reconfigurable processors}, volume={29}, DOI={<a href="https://doi.org/10.1016/j.micpro.2004.06.004">10.1016/j.micpro.2004.06.004</a>},
    number={2–3}, journal={Microprocessors and Microsystems}, publisher={Elsevier},
    author={Enzler, Rolf and Plessl, Christian and Platzner, Marco}, year={2005},
    pages={63–73} }'
  chicago: 'Enzler, Rolf, Christian Plessl, and Marco Platzner. “System-Level Performance
    Evaluation of Reconfigurable Processors.” <i>Microprocessors and Microsystems</i>
    29, no. 2–3 (2005): 63–73. <a href="https://doi.org/10.1016/j.micpro.2004.06.004">https://doi.org/10.1016/j.micpro.2004.06.004</a>.'
  ieee: R. Enzler, C. Plessl, and M. Platzner, “System-level performance evaluation
    of reconfigurable processors,” <i>Microprocessors and Microsystems</i>, vol. 29,
    no. 2–3, pp. 63–73, 2005.
  mla: Enzler, Rolf, et al. “System-Level Performance Evaluation of Reconfigurable
    Processors.” <i>Microprocessors and Microsystems</i>, vol. 29, no. 2–3, Elsevier,
    2005, pp. 63–73, doi:<a href="https://doi.org/10.1016/j.micpro.2004.06.004">10.1016/j.micpro.2004.06.004</a>.
  short: R. Enzler, C. Plessl, M. Platzner, Microprocessors and Microsystems 29 (2005)
    63–73.
date_created: 2018-04-17T14:36:10Z
date_updated: 2022-01-06T06:56:07Z
department:
- _id: '518'
- _id: '78'
doi: 10.1016/j.micpro.2004.06.004
intvolume: '        29'
issue: 2-3
keyword:
- FPGA
- reconfigurable computing
- co-simulation
- Zippy
page: 63-73
publication: Microprocessors and Microsystems
publisher: Elsevier
status: public
title: System-level performance evaluation of reconfigurable processors
type: journal_article
user_id: '24135'
volume: 29
year: '2005'
...
---
_id: '26278'
author:
- first_name: Martin
  full_name: Ziegler, Martin
  last_name: Ziegler
- first_name: Benno
  full_name: Fuchssteiner, Benno
  last_name: Fuchssteiner
citation:
  ama: Ziegler M, Fuchssteiner B. Nonlinear Reformulation of Heisenberg’s Dynamics.
    <i>International Journal of Theoretical Physics</i>. Published online 2005:693-717.
    doi:<a href="https://doi.org/10.1007/s10773-005-7048-9">10.1007/s10773-005-7048-9</a>
  apa: Ziegler, M., &#38; Fuchssteiner, B. (2005). Nonlinear Reformulation of Heisenberg’s
    Dynamics. <i>International Journal of Theoretical Physics</i>, 693–717. <a href="https://doi.org/10.1007/s10773-005-7048-9">https://doi.org/10.1007/s10773-005-7048-9</a>
  bibtex: '@article{Ziegler_Fuchssteiner_2005, title={Nonlinear Reformulation of Heisenberg’s
    Dynamics}, DOI={<a href="https://doi.org/10.1007/s10773-005-7048-9">10.1007/s10773-005-7048-9</a>},
    journal={International Journal of Theoretical Physics}, author={Ziegler, Martin
    and Fuchssteiner, Benno}, year={2005}, pages={693–717} }'
  chicago: Ziegler, Martin, and Benno Fuchssteiner. “Nonlinear Reformulation of Heisenberg’s
    Dynamics.” <i>International Journal of Theoretical Physics</i>, 2005, 693–717.
    <a href="https://doi.org/10.1007/s10773-005-7048-9">https://doi.org/10.1007/s10773-005-7048-9</a>.
  ieee: 'M. Ziegler and B. Fuchssteiner, “Nonlinear Reformulation of Heisenberg’s
    Dynamics,” <i>International Journal of Theoretical Physics</i>, pp. 693–717, 2005,
    doi: <a href="https://doi.org/10.1007/s10773-005-7048-9">10.1007/s10773-005-7048-9</a>.'
  mla: Ziegler, Martin, and Benno Fuchssteiner. “Nonlinear Reformulation of Heisenberg’s
    Dynamics.” <i>International Journal of Theoretical Physics</i>, 2005, pp. 693–717,
    doi:<a href="https://doi.org/10.1007/s10773-005-7048-9">10.1007/s10773-005-7048-9</a>.
  short: M. Ziegler, B. Fuchssteiner, International Journal of Theoretical Physics
    (2005) 693–717.
date_created: 2021-10-15T12:29:17Z
date_updated: 2022-01-06T06:57:18Z
department:
- _id: '63'
- _id: '26'
doi: 10.1007/s10773-005-7048-9
language:
- iso: eng
page: 693-717
publication: International Journal of Theoretical Physics
publication_identifier:
  issn:
  - 0020-7748
  - 1572-9575
publication_status: published
status: public
title: Nonlinear Reformulation of Heisenberg's Dynamics
type: journal_article
user_id: '15415'
year: '2005'
...
---
_id: '3227'
author:
- first_name: Ernst-Rüdiger
  full_name: Olderog, Ernst-Rüdiger
  last_name: Olderog
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Olderog E-R, Wehrheim H. Specification and (property) inheritance in {CSP-OZ}.
    <i>Sci Comput Program</i>. 2005;(1-3):227--257. doi:<a href="https://doi.org/10.1016/j.scico.2004.05.017">10.1016/j.scico.2004.05.017</a>
  apa: Olderog, E.-R., &#38; Wehrheim, H. (2005). Specification and (property) inheritance
    in {CSP-OZ}. <i>Sci. Comput. Program.</i>, (1–3), 227--257. <a href="https://doi.org/10.1016/j.scico.2004.05.017">https://doi.org/10.1016/j.scico.2004.05.017</a>
  bibtex: '@article{Olderog_Wehrheim_2005, title={Specification and (property) inheritance
    in {CSP-OZ}}, DOI={<a href="https://doi.org/10.1016/j.scico.2004.05.017">10.1016/j.scico.2004.05.017</a>},
    number={1–3}, journal={Sci. Comput. Program.}, author={Olderog, Ernst-Rüdiger
    and Wehrheim, Heike}, year={2005}, pages={227--257} }'
  chicago: 'Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property)
    Inheritance in {CSP-OZ}.” <i>Sci. Comput. Program.</i>, no. 1–3 (2005): 227--257.
    <a href="https://doi.org/10.1016/j.scico.2004.05.017">https://doi.org/10.1016/j.scico.2004.05.017</a>.'
  ieee: E.-R. Olderog and H. Wehrheim, “Specification and (property) inheritance in
    {CSP-OZ},” <i>Sci. Comput. Program.</i>, no. 1–3, pp. 227--257, 2005.
  mla: Olderog, Ernst-Rüdiger, and Heike Wehrheim. “Specification and (Property) Inheritance
    in {CSP-OZ}.” <i>Sci. Comput. Program.</i>, no. 1–3, 2005, pp. 227--257, doi:<a
    href="https://doi.org/10.1016/j.scico.2004.05.017">10.1016/j.scico.2004.05.017</a>.
  short: E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
date_created: 2018-06-14T06:38:42Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1016/j.scico.2004.05.017
issue: 1-3
page: 227--257
publication: Sci. Comput. Program.
status: public
title: Specification and (property) inheritance in {CSP-OZ}
type: journal_article
user_id: '29719'
year: '2005'
...
---
_id: '3228'
author:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: Wehrheim H. Slicing techniques for verification re-use. <i>Theor Comput Sci</i>.
    2005;(3):509--528. doi:<a href="https://doi.org/10.1016/j.tcs.2005.06.020">10.1016/j.tcs.2005.06.020</a>
  apa: Wehrheim, H. (2005). Slicing techniques for verification re-use. <i>Theor.
    Comput. Sci.</i>, (3), 509--528. <a href="https://doi.org/10.1016/j.tcs.2005.06.020">https://doi.org/10.1016/j.tcs.2005.06.020</a>
  bibtex: '@article{Wehrheim_2005, title={Slicing techniques for verification re-use},
    DOI={<a href="https://doi.org/10.1016/j.tcs.2005.06.020">10.1016/j.tcs.2005.06.020</a>},
    number={3}, journal={Theor. Comput. Sci.}, author={Wehrheim, Heike}, year={2005},
    pages={509--528} }'
  chicago: 'Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” <i>Theor.
    Comput. Sci.</i>, no. 3 (2005): 509--528. <a href="https://doi.org/10.1016/j.tcs.2005.06.020">https://doi.org/10.1016/j.tcs.2005.06.020</a>.'
  ieee: H. Wehrheim, “Slicing techniques for verification re-use,” <i>Theor. Comput.
    Sci.</i>, no. 3, pp. 509--528, 2005.
  mla: Wehrheim, Heike. “Slicing Techniques for Verification Re-Use.” <i>Theor. Comput.
    Sci.</i>, no. 3, 2005, pp. 509--528, doi:<a href="https://doi.org/10.1016/j.tcs.2005.06.020">10.1016/j.tcs.2005.06.020</a>.
  short: H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
date_created: 2018-06-14T06:40:02Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1016/j.tcs.2005.06.020
issue: '3'
page: 509--528
publication: Theor. Comput. Sci.
status: public
title: Slicing techniques for verification re-use
type: journal_article
user_id: '29719'
year: '2005'
...
---
_id: '3229'
author:
- first_name: Holger
  full_name: Rasch, Holger
  last_name: Rasch
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Rasch H, Wehrheim H. Checking the Validity of Scenarios in {UML} Models. In:
    Steffen M, Zavattaro G, eds. <i>Formal Methods for Open Object-Based Distributed
    Systems, 7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens,
    Greece, June 15-17, 2005, Proceedings</i>. Lecture Notes in Computer Science.
    ; 2005:67--82. doi:<a href="https://doi.org/10.1007/11494881_5">10.1007/11494881_5</a>'
  apa: Rasch, H., &#38; Wehrheim, H. (2005). Checking the Validity of Scenarios in
    {UML} Models. In M. Steffen &#38; G. Zavattaro (Eds.), <i>Formal Methods for Open
    Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings</i> (pp. 67--82).
    <a href="https://doi.org/10.1007/11494881_5">https://doi.org/10.1007/11494881_5</a>
  bibtex: '@inproceedings{Rasch_Wehrheim_2005, series={Lecture Notes in Computer Science},
    title={Checking the Validity of Scenarios in {UML} Models}, DOI={<a href="https://doi.org/10.1007/11494881_5">10.1007/11494881_5</a>},
    booktitle={Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
    {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17,
    2005, Proceedings}, author={Rasch, Holger and Wehrheim, Heike}, editor={Steffen,
    Martin and Zavattaro, GianluigiEditors}, year={2005}, pages={67--82}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios
    in {UML} Models.” In <i>Formal Methods for Open Object-Based Distributed Systems,
    7th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June
    15-17, 2005, Proceedings</i>, edited by Martin Steffen and Gianluigi Zavattaro,
    67--82. Lecture Notes in Computer Science, 2005. <a href="https://doi.org/10.1007/11494881_5">https://doi.org/10.1007/11494881_5</a>.
  ieee: H. Rasch and H. Wehrheim, “Checking the Validity of Scenarios in {UML} Models,”
    in <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP} {WG}
    6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005,
    Proceedings</i>, 2005, pp. 67--82.
  mla: Rasch, Holger, and Heike Wehrheim. “Checking the Validity of Scenarios in {UML}
    Models.” <i>Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
    {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17,
    2005, Proceedings</i>, edited by Martin Steffen and Gianluigi Zavattaro, 2005,
    pp. 67--82, doi:<a href="https://doi.org/10.1007/11494881_5">10.1007/11494881_5</a>.
  short: 'H. Rasch, H. Wehrheim, in: M. Steffen, G. Zavattaro (Eds.), Formal Methods
    for Open Object-Based Distributed Systems, 7th {IFIP} {WG} 6.1 International Conference,
    {FMOODS} 2005, Athens, Greece, June 15-17, 2005, Proceedings, 2005, pp. 67--82.'
date_created: 2018-06-14T06:41:20Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11494881_5
editor:
- first_name: Martin
  full_name: Steffen, Martin
  last_name: Steffen
- first_name: Gianluigi
  full_name: Zavattaro, Gianluigi
  last_name: Zavattaro
page: 67--82
publication: Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
  {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece, June 15-17, 2005,
  Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Checking the Validity of Scenarios in {UML} Models
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3230'
author:
- first_name: Ingo
  full_name: Brückner, Ingo
  last_name: Brückner
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Brückner I, Wehrheim H. Slicing an Integrated Formal Method for Verification.
    In: Lau K-}Kiu, Banach R, eds. <i>Formal Methods and Software Engineering, 7th
    International Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester,
    UK, November 1-4, 2005, Proceedings</i>. Lecture Notes in Computer Science. ;
    2005:360--374. doi:<a href="https://doi.org/10.1007/11576280_25">10.1007/11576280_25</a>'
  apa: Brückner, I., &#38; Wehrheim, H. (2005). Slicing an Integrated Formal Method
    for Verification. In K.-}Kiu Lau &#38; R. Banach (Eds.), <i>Formal Methods and
    Software Engineering, 7th International Conference on Formal Engineering Methods,
    {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings</i> (pp. 360--374).
    <a href="https://doi.org/10.1007/11576280_25">https://doi.org/10.1007/11576280_25</a>
  bibtex: '@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer
    Science}, title={Slicing an Integrated Formal Method for Verification}, DOI={<a
    href="https://doi.org/10.1007/11576280_25">10.1007/11576280_25</a>}, booktitle={Formal
    Methods and Software Engineering, 7th International Conference on Formal Engineering
    Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings}, author={Brückner,
    Ingo and Wehrheim, Heike}, editor={Lau, Kung{-}Kiu and Banach, RichardEditors},
    year={2005}, pages={360--374}, collection={Lecture Notes in Computer Science}
    }'
  chicago: Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method
    for Verification.” In <i>Formal Methods and Software Engineering, 7th International
    Conference on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
    1-4, 2005, Proceedings</i>, edited by Kung{-}Kiu Lau and Richard Banach, 360--374.
    Lecture Notes in Computer Science, 2005. <a href="https://doi.org/10.1007/11576280_25">https://doi.org/10.1007/11576280_25</a>.
  ieee: I. Brückner and H. Wehrheim, “Slicing an Integrated Formal Method for Verification,”
    in <i>Formal Methods and Software Engineering, 7th International Conference on
    Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
    Proceedings</i>, 2005, pp. 360--374.
  mla: Brückner, Ingo, and Heike Wehrheim. “Slicing an Integrated Formal Method for
    Verification.” <i>Formal Methods and Software Engineering, 7th International Conference
    on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
    Proceedings</i>, edited by Kung{-}Kiu Lau and Richard Banach, 2005, pp. 360--374,
    doi:<a href="https://doi.org/10.1007/11576280_25">10.1007/11576280_25</a>.
  short: 'I. Brückner, H. Wehrheim, in: K.-}Kiu Lau, R. Banach (Eds.), Formal Methods
    and Software Engineering, 7th International Conference on Formal Engineering Methods,
    {ICFEM} 2005, Manchester, UK, November 1-4, 2005, Proceedings, 2005, pp. 360--374.'
date_created: 2018-06-14T06:42:51Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11576280_25
editor:
- first_name: Kung{-}Kiu
  full_name: Lau, Kung{-}Kiu
  last_name: Lau
- first_name: Richard
  full_name: Banach, Richard
  last_name: Banach
page: 360--374
publication: Formal Methods and Software Engineering, 7th International Conference
  on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November 1-4, 2005,
  Proceedings
series_title: Lecture Notes in Computer Science
status: public
title: Slicing an Integrated Formal Method for Verification
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3231'
author:
- first_name: John
  full_name: Derrick, John
  last_name: Derrick
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Derrick J, Wehrheim H. Non-atomic Refinement in {Z} and {CSP}. In: Treharne
    H, King S, C. Henson M, A. Schneider S, eds. <i>{ZB} 2005: Formal Specification
    and Development in {Z} and B, 4th International Conference of {B} and {Z} Users,
    Guildford, UK, April 13-15, 2005, Proceedings</i>. Lecture Notes in Computer Science.
    ; 2005:24--44. doi:<a href="https://doi.org/10.1007/11415787_3">10.1007/11415787_3</a>'
  apa: 'Derrick, J., &#38; Wehrheim, H. (2005). Non-atomic Refinement in {Z} and {CSP}.
    In H. Treharne, S. King, M. C. Henson, &#38; S. A. Schneider (Eds.), <i>{ZB} 2005:
    Formal Specification and Development in {Z} and B, 4th International Conference
    of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i> (pp. 24--44).
    <a href="https://doi.org/10.1007/11415787_3">https://doi.org/10.1007/11415787_3</a>'
  bibtex: '@inproceedings{Derrick_Wehrheim_2005, series={Lecture Notes in Computer
    Science}, title={Non-atomic Refinement in {Z} and {CSP}}, DOI={<a href="https://doi.org/10.1007/11415787_3">10.1007/11415787_3</a>},
    booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings},
    author={Derrick, John and Wehrheim, Heike}, editor={Treharne, Helen and King,
    Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={24--44},
    collection={Lecture Notes in Computer Science} }'
  chicago: 'Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.”
    In <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>,
    edited by Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider,
    24--44. Lecture Notes in Computer Science, 2005. <a href="https://doi.org/10.1007/11415787_3">https://doi.org/10.1007/11415787_3</a>.'
  ieee: 'J. Derrick and H. Wehrheim, “Non-atomic Refinement in {Z} and {CSP},” in
    <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>,
    2005, pp. 24--44.'
  mla: 'Derrick, John, and Heike Wehrheim. “Non-Atomic Refinement in {Z} and {CSP}.”
    <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>,
    edited by Helen Treharne et al., 2005, pp. 24--44, doi:<a href="https://doi.org/10.1007/11415787_3">10.1007/11415787_3</a>.'
  short: 'J. Derrick, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A. Schneider
    (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings,
    2005, pp. 24--44.'
date_created: 2018-06-14T06:44:17Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11415787_3
editor:
- first_name: Helen
  full_name: Treharne, Helen
  last_name: Treharne
- first_name: Steve
  full_name: King, Steve
  last_name: King
- first_name: Martin
  full_name: C. Henson, Martin
  last_name: C. Henson
- first_name: Steve
  full_name: A. Schneider, Steve
  last_name: A. Schneider
page: 24--44
publication: '{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
  Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Non-atomic Refinement in {Z} and {CSP}
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '3232'
author:
- first_name: Ingo
  full_name: Brückner, Ingo
  last_name: Brückner
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Brückner I, Wehrheim H. Slicing Object-Z Specifications for Verification.
    In: Treharne H, King S, C. Henson M, A. Schneider S, eds. <i>{ZB} 2005: Formal
    Specification and Development in {Z} and B, 4th International Conference of {B}
    and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>. Lecture Notes
    in Computer Science. ; 2005:414--433. doi:<a href="https://doi.org/10.1007/11415787_24">10.1007/11415787_24</a>'
  apa: 'Brückner, I., &#38; Wehrheim, H. (2005). Slicing Object-Z Specifications for
    Verification. In H. Treharne, S. King, M. C. Henson, &#38; S. A. Schneider (Eds.),
    <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>
    (pp. 414--433). <a href="https://doi.org/10.1007/11415787_24">https://doi.org/10.1007/11415787_24</a>'
  bibtex: '@inproceedings{Brückner_Wehrheim_2005, series={Lecture Notes in Computer
    Science}, title={Slicing Object-Z Specifications for Verification}, DOI={<a href="https://doi.org/10.1007/11415787_24">10.1007/11415787_24</a>},
    booktitle={{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings},
    author={Brückner, Ingo and Wehrheim, Heike}, editor={Treharne, Helen and King,
    Steve and C. Henson, Martin and A. Schneider, SteveEditors}, year={2005}, pages={414--433},
    collection={Lecture Notes in Computer Science} }'
  chicago: 'Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for
    Verification.” In <i>{ZB} 2005: Formal Specification and Development in {Z} and
    B, 4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15,
    2005, Proceedings</i>, edited by Helen Treharne, Steve King, Martin C. Henson,
    and Steve A. Schneider, 414--433. Lecture Notes in Computer Science, 2005. <a
    href="https://doi.org/10.1007/11415787_24">https://doi.org/10.1007/11415787_24</a>.'
  ieee: 'I. Brückner and H. Wehrheim, “Slicing Object-Z Specifications for Verification,”
    in <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>,
    2005, pp. 414--433.'
  mla: 'Brückner, Ingo, and Heike Wehrheim. “Slicing Object-Z Specifications for Verification.”
    <i>{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
    Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings</i>,
    edited by Helen Treharne et al., 2005, pp. 414--433, doi:<a href="https://doi.org/10.1007/11415787_24">10.1007/11415787_24</a>.'
  short: 'I. Brückner, H. Wehrheim, in: H. Treharne, S. King, M. C. Henson, S. A.
    Schneider (Eds.), {ZB} 2005: Formal Specification and Development in {Z} and B,
    4th International Conference of {B} and {Z} Users, Guildford, UK, April 13-15,
    2005, Proceedings, 2005, pp. 414--433.'
date_created: 2018-06-14T06:45:30Z
date_updated: 2022-01-06T06:59:06Z
department:
- _id: '77'
doi: 10.1007/11415787_24
editor:
- first_name: Helen
  full_name: Treharne, Helen
  last_name: Treharne
- first_name: Steve
  full_name: King, Steve
  last_name: King
- first_name: Martin
  full_name: C. Henson, Martin
  last_name: C. Henson
- first_name: Steve
  full_name: A. Schneider, Steve
  last_name: A. Schneider
page: 414--433
publication: '{ZB} 2005: Formal Specification and Development in {Z} and B, 4th International
  Conference of {B} and {Z} Users, Guildford, UK, April 13-15, 2005, Proceedings'
series_title: Lecture Notes in Computer Science
status: public
title: Slicing Object-Z Specifications for Verification
type: conference
user_id: '29719'
year: '2005'
...
---
_id: '28987'
author:
- first_name: Christian
  full_name: Schindelhauer, Christian
  last_name: Schindelhauer
- first_name: Gunnar
  full_name: Schomaker, Gunnar
  last_name: Schomaker
citation:
  ama: 'Schindelhauer C, Schomaker G. Weighted distributed hash tables. In: <i>SPAA
    2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms
    and Architectures, Las Vegas, Nevada, USA</i>. ; 2005. doi:<a href="https://doi.org/10.1145/1073970.1074008">10.1145/1073970.1074008</a>'
  apa: 'Schindelhauer, C., &#38; Schomaker, G. (2005). Weighted distributed hash tables.
    <i>SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms
    and Architectures, Las Vegas, Nevada, USA</i>. <a href="https://doi.org/10.1145/1073970.1074008">https://doi.org/10.1145/1073970.1074008</a>'
  bibtex: '@inproceedings{Schindelhauer_Schomaker_2005, title={Weighted distributed
    hash tables}, DOI={<a href="https://doi.org/10.1145/1073970.1074008">10.1145/1073970.1074008</a>},
    booktitle={SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism
    in Algorithms and Architectures, Las Vegas, Nevada, USA}, author={Schindelhauer,
    Christian and Schomaker, Gunnar}, year={2005} }'
  chicago: 'Schindelhauer, Christian, and Gunnar Schomaker. “Weighted Distributed
    Hash Tables.” In <i>SPAA 2005: Proceedings of the 17th Annual ACM Symposium on
    Parallelism in Algorithms and Architectures, Las Vegas, Nevada, USA</i>, 2005.
    <a href="https://doi.org/10.1145/1073970.1074008">https://doi.org/10.1145/1073970.1074008</a>.'
  ieee: 'C. Schindelhauer and G. Schomaker, “Weighted distributed hash tables,” 2005,
    doi: <a href="https://doi.org/10.1145/1073970.1074008">10.1145/1073970.1074008</a>.'
  mla: 'Schindelhauer, Christian, and Gunnar Schomaker. “Weighted Distributed Hash
    Tables.” <i>SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism
    in Algorithms and Architectures, Las Vegas, Nevada, USA</i>, 2005, doi:<a href="https://doi.org/10.1145/1073970.1074008">10.1145/1073970.1074008</a>.'
  short: 'C. Schindelhauer, G. Schomaker, in: SPAA 2005: Proceedings of the 17th Annual
    ACM Symposium on Parallelism in Algorithms and Architectures, Las Vegas, Nevada,
    USA, 2005.'
date_created: 2021-12-15T14:37:16Z
date_updated: 2022-01-06T06:58:42Z
department:
- _id: '63'
- _id: '26'
doi: 10.1145/1073970.1074008
language:
- iso: eng
publication: 'SPAA 2005: Proceedings of the 17th Annual ACM Symposium on Parallelism
  in Algorithms and Architectures, Las Vegas, Nevada, USA'
status: public
title: Weighted distributed hash tables
type: conference
user_id: '15415'
year: '2005'
...
---
_id: '2913'
author:
- first_name: Martin
  full_name: Otto, Martin
  last_name: Otto
citation:
  ama: Otto M. <i>Fault Attacks and Countermeasures</i>. Universität Paderborn; 2005.
  apa: Otto, M. (2005). <i>Fault Attacks and Countermeasures</i>. Universität Paderborn.
  bibtex: '@book{Otto_2005, title={Fault Attacks and Countermeasures}, publisher={Universität
    Paderborn}, author={Otto, Martin}, year={2005} }'
  chicago: Otto, Martin. <i>Fault Attacks and Countermeasures</i>. Universität Paderborn,
    2005.
  ieee: M. Otto, <i>Fault Attacks and Countermeasures</i>. Universität Paderborn,
    2005.
  mla: Otto, Martin. <i>Fault Attacks and Countermeasures</i>. Universität Paderborn,
    2005.
  short: M. Otto, Fault Attacks and Countermeasures, Universität Paderborn, 2005.
date_created: 2018-05-25T10:50:49Z
date_updated: 2022-01-06T06:58:46Z
department:
- _id: '64'
main_file_link:
- url: http://nbn-resolving.de/urn:nbn:de:hbz:466-20040101308
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: Fault Attacks and Countermeasures
type: dissertation
user_id: '25078'
year: '2005'
...
---
_id: '3006'
author:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
- first_name: Alexander
  full_name: May, Alexander
  last_name: May
citation:
  ama: 'Blömer J, May A. A Tool Kit for Finding Small Roots of Bivariate Polynomials
    over the Integers. In: <i>EUROCRYPT 2005</i>. Lecture Notes in Computer Science.
    Berlin, Heidelberg: Springer Berlin Heidelberg; 2005:251-267. doi:<a href="https://doi.org/10.1007/11426639_15">10.1007/11426639_15</a>'
  apa: 'Blömer, J., &#38; May, A. (2005). A Tool Kit for Finding Small Roots of Bivariate
    Polynomials over the Integers. In <i>EUROCRYPT 2005</i> (pp. 251–267). Berlin,
    Heidelberg: Springer Berlin Heidelberg. <a href="https://doi.org/10.1007/11426639_15">https://doi.org/10.1007/11426639_15</a>'
  bibtex: '@inbook{Blömer_May_2005, place={Berlin, Heidelberg}, series={Lecture Notes
    in Computer Science}, title={A Tool Kit for Finding Small Roots of Bivariate Polynomials
    over the Integers}, DOI={<a href="https://doi.org/10.1007/11426639_15">10.1007/11426639_15</a>},
    booktitle={EUROCRYPT 2005}, publisher={Springer Berlin Heidelberg}, author={Blömer,
    Johannes and May, Alexander}, year={2005}, pages={251–267}, collection={Lecture
    Notes in Computer Science} }'
  chicago: 'Blömer, Johannes, and Alexander May. “A Tool Kit for Finding Small Roots
    of Bivariate Polynomials over the Integers.” In <i>EUROCRYPT 2005</i>, 251–67.
    Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg,
    2005. <a href="https://doi.org/10.1007/11426639_15">https://doi.org/10.1007/11426639_15</a>.'
  ieee: 'J. Blömer and A. May, “A Tool Kit for Finding Small Roots of Bivariate Polynomials
    over the Integers,” in <i>EUROCRYPT 2005</i>, Berlin, Heidelberg: Springer Berlin
    Heidelberg, 2005, pp. 251–267.'
  mla: Blömer, Johannes, and Alexander May. “A Tool Kit for Finding Small Roots of
    Bivariate Polynomials over the Integers.” <i>EUROCRYPT 2005</i>, Springer Berlin
    Heidelberg, 2005, pp. 251–67, doi:<a href="https://doi.org/10.1007/11426639_15">10.1007/11426639_15</a>.
  short: 'J. Blömer, A. May, in: EUROCRYPT 2005, Springer Berlin Heidelberg, Berlin,
    Heidelberg, 2005, pp. 251–267.'
date_created: 2018-06-05T08:16:47Z
date_updated: 2022-01-06T06:58:50Z
ddc:
- '000'
department:
- _id: '64'
doi: 10.1007/11426639_15
file:
- access_level: closed
  content_type: application/pdf
  creator: feidens
  date_created: 2018-06-05T08:18:20Z
  date_updated: 2018-06-05T08:18:20Z
  file_id: '3008'
  file_name: toolkit.pdf
  file_size: 333655
  relation: main_file
  success: 1
file_date_updated: 2018-06-05T08:18:20Z
has_accepted_license: '1'
page: 251-267
place: Berlin, Heidelberg
publication: EUROCRYPT 2005
publication_identifier:
  isbn:
  - '9783540259107'
  - '9783540320555'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer Berlin Heidelberg
series_title: Lecture Notes in Computer Science
status: public
title: A Tool Kit for Finding Small Roots of Bivariate Polynomials over the Integers
type: book_chapter
user_id: '25078'
year: '2005'
...
---
_id: '3010'
author:
- first_name: Matthias
  full_name: Ernst, Matthias
  last_name: Ernst
- first_name: Ellen
  full_name: Jochemsz, Ellen
  last_name: Jochemsz
- first_name: Alexander
  full_name: May, Alexander
  last_name: May
- first_name: Benne
  full_name: de Weger, Benne
  last_name: de Weger
citation:
  ama: 'Ernst M, Jochemsz E, May A, de Weger B. Partial Key Exposure Attacks on RSA
    up to Full Size Exponents. In: <i>EUROCRYPT 2005</i>. LNCS. Berlin, Heidelberg:
    Springer Berlin Heidelberg; 2005:371-386. doi:<a href="https://doi.org/10.1007/11426639_22">10.1007/11426639_22</a>'
  apa: 'Ernst, M., Jochemsz, E., May, A., &#38; de Weger, B. (2005). Partial Key Exposure
    Attacks on RSA up to Full Size Exponents. In <i>EUROCRYPT 2005</i> (pp. 371–386).
    Berlin, Heidelberg: Springer Berlin Heidelberg. <a href="https://doi.org/10.1007/11426639_22">https://doi.org/10.1007/11426639_22</a>'
  bibtex: '@inbook{Ernst_Jochemsz_May_de Weger_2005, place={Berlin, Heidelberg}, series={LNCS},
    title={Partial Key Exposure Attacks on RSA up to Full Size Exponents}, DOI={<a
    href="https://doi.org/10.1007/11426639_22">10.1007/11426639_22</a>}, booktitle={EUROCRYPT
    2005}, publisher={Springer Berlin Heidelberg}, author={Ernst, Matthias and Jochemsz,
    Ellen and May, Alexander and de Weger, Benne}, year={2005}, pages={371–386}, collection={LNCS}
    }'
  chicago: 'Ernst, Matthias, Ellen Jochemsz, Alexander May, and Benne de Weger. “Partial
    Key Exposure Attacks on RSA up to Full Size Exponents.” In <i>EUROCRYPT 2005</i>,
    371–86. LNCS. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. <a href="https://doi.org/10.1007/11426639_22">https://doi.org/10.1007/11426639_22</a>.'
  ieee: 'M. Ernst, E. Jochemsz, A. May, and B. de Weger, “Partial Key Exposure Attacks
    on RSA up to Full Size Exponents,” in <i>EUROCRYPT 2005</i>, Berlin, Heidelberg:
    Springer Berlin Heidelberg, 2005, pp. 371–386.'
  mla: Ernst, Matthias, et al. “Partial Key Exposure Attacks on RSA up to Full Size
    Exponents.” <i>EUROCRYPT 2005</i>, Springer Berlin Heidelberg, 2005, pp. 371–86,
    doi:<a href="https://doi.org/10.1007/11426639_22">10.1007/11426639_22</a>.
  short: 'M. Ernst, E. Jochemsz, A. May, B. de Weger, in: EUROCRYPT 2005, Springer
    Berlin Heidelberg, Berlin, Heidelberg, 2005, pp. 371–386.'
date_created: 2018-06-05T08:19:48Z
date_updated: 2022-01-06T06:58:51Z
department:
- _id: '64'
doi: 10.1007/11426639_22
page: 371-386
place: Berlin, Heidelberg
publication: EUROCRYPT 2005
publication_identifier:
  isbn:
  - '9783540259107'
  - '9783540320555'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer Berlin Heidelberg
series_title: LNCS
status: public
title: Partial Key Exposure Attacks on RSA up to Full Size Exponents
type: book_chapter
user_id: '25078'
year: '2005'
...
