---
_id: '18967'
author:
- first_name: Harald
  full_name: Räcke, Harald
  last_name: Räcke
citation:
  ama: Räcke H. <i>Data Management and Routing in General Networks</i>. Vol 154. Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn; 2005.
  apa: Räcke, H. (2005). <i>Data Management and Routing in General Networks</i> (Vol.
    154). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
  bibtex: '@book{Räcke_2005, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn}, title={Data Management and Routing in General Networks}, volume={154},
    publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Räcke,
    Harald}, year={2005}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts,
    Paderborn} }'
  chicago: Räcke, Harald. <i>Data Management and Routing in General Networks</i>.
    Vol. 154. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn, 2005.
  ieee: H. Räcke, <i>Data Management and Routing in General Networks</i>, vol. 154.
    Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2005.
  mla: Räcke, Harald. <i>Data Management and Routing in General Networks</i>. Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn, 2005.
  short: H. Räcke, Data Management and Routing in General Networks, Verlagsschriftenreihe
    des Heinz Nixdorf Instituts, Paderborn, 2005.
date_created: 2020-09-03T14:44:08Z
date_updated: 2022-01-06T06:53:56Z
department:
- _id: '63'
- _id: '26'
intvolume: '       154'
language:
- iso: eng
publication_identifier:
  isbn:
  - 3-935433-63-8
publisher: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
related_material:
  link:
  - relation: confirmation
    url: http://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466-20030101262
series_title: Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn
status: public
supervisor:
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
title: Data Management and Routing in General Networks
type: dissertation
user_id: '5786'
volume: 154
year: '2005'
...
---
_id: '23883'
abstract:
- lang: eng
  text: A dynamic geometric data stream is a sequence of m Add/Remove operations of
    points from a discrete geometric space (1,...,Δ)d [21]. Add(p) inserts a point
    p from (1,...,Δ)d into the current point set, Remove(p) deletes p from P. We develop
    low-storage data structures to (i) maintain ε-approximations of range spaces of
    P with constant VC-dimension and (ii) maintain an ε-approximation of the weight
    of the Euclidean minimum spanning tree of P. Our data structures use O(log3ε •
    log3(1/ε) • log(1/ε)/ε2) and O(log (1/δ) • (log Δ/ε)O(d)) bits of memory, respectively
    (we assume that the dimension d is a constant), and they are correct with probability
    1-δ. These results are based on a new data structure that maintains a set of elements
    chosen (almost) uniformly at random from P.
author:
- first_name: Gereon
  full_name: Frahling, Gereon
  last_name: Frahling
- first_name: Piotr
  full_name: Indyk, Piotr
  last_name: Indyk
- first_name: Christian
  full_name: Sohler, Christian
  last_name: Sohler
citation:
  ama: 'Frahling G, Indyk P, Sohler C. Sampling in dynamic data streams and applications.
    In: <i>Proceedings of the Twenty-First Annual Symposium on Computational Geometry 
    - SCG ’05</i>. ; 2005. doi:<a href="https://doi.org/10.1145/1064092.1064116">10.1145/1064092.1064116</a>'
  apa: Frahling, G., Indyk, P., &#38; Sohler, C. (2005). Sampling in dynamic data
    streams and applications. In <i>Proceedings of the twenty-first annual symposium
    on Computational geometry  - SCG ’05</i>. <a href="https://doi.org/10.1145/1064092.1064116">https://doi.org/10.1145/1064092.1064116</a>
  bibtex: '@inproceedings{Frahling_Indyk_Sohler_2005, title={Sampling in dynamic data
    streams and applications}, DOI={<a href="https://doi.org/10.1145/1064092.1064116">10.1145/1064092.1064116</a>},
    booktitle={Proceedings of the twenty-first annual symposium on Computational geometry 
    - SCG ’05}, author={Frahling, Gereon and Indyk, Piotr and Sohler, Christian},
    year={2005} }'
  chicago: Frahling, Gereon, Piotr Indyk, and Christian Sohler. “Sampling in Dynamic
    Data Streams and Applications.” In <i>Proceedings of the Twenty-First Annual Symposium
    on Computational Geometry  - SCG ’05</i>, 2005. <a href="https://doi.org/10.1145/1064092.1064116">https://doi.org/10.1145/1064092.1064116</a>.
  ieee: G. Frahling, P. Indyk, and C. Sohler, “Sampling in dynamic data streams and
    applications,” in <i>Proceedings of the twenty-first annual symposium on Computational
    geometry  - SCG ’05</i>, 2005.
  mla: Frahling, Gereon, et al. “Sampling in Dynamic Data Streams and Applications.”
    <i>Proceedings of the Twenty-First Annual Symposium on Computational Geometry 
    - SCG ’05</i>, 2005, doi:<a href="https://doi.org/10.1145/1064092.1064116">10.1145/1064092.1064116</a>.
  short: 'G. Frahling, P. Indyk, C. Sohler, in: Proceedings of the Twenty-First Annual
    Symposium on Computational Geometry  - SCG ’05, 2005.'
date_created: 2021-09-07T13:10:15Z
date_updated: 2022-01-06T06:56:02Z
department:
- _id: '63'
doi: 10.1145/1064092.1064116
language:
- iso: eng
publication: Proceedings of the twenty-first annual symposium on Computational geometry  -
  SCG '05
publication_status: published
status: public
title: Sampling in dynamic data streams and applications
type: conference
user_id: '15415'
year: '2005'
...
---
_id: '20926'
abstract:
- lang: eng
  text: "Reverse engineering based on dynamic analyses often uses method traces of
    the program under analysis. Recording all method traces during a program's execution
    produces too much data, though for most analyses, a 'slice' of all method traces
    is sufficient. In this paper, we present an approach to collect runtime information
    by selectively recording method calls during a program's execution. Only relevant
    classes and methods are monitored to reduce the amount of information. We developed
    the JavaTracer which we use for the recording of method calls in Java programs.\r\n"
author:
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
- first_name: Lothar
  full_name: Wendehals, Lothar
  last_name: Wendehals
citation:
  ama: 'Meyer M, Wendehals L. Selective Tracing for Dynamic Analyses. In: <i>Proc.
    of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA),
    Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA</i>. Vol 2005-12.
    Technical Report. ; 2005:33-37.'
  apa: Meyer, M., &#38; Wendehals, L. (2005). Selective Tracing for Dynamic Analyses.
    <i>Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis
    (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA</i>, <i>2005–12</i>,
    33–37.
  bibtex: '@inproceedings{Meyer_Wendehals_2005, series={Technical Report}, title={Selective
    Tracing for Dynamic Analyses}, volume={2005–12}, booktitle={Proc. of the 1st Workshop
    on Program Comprehension through Dynamic Analysis (PCODA), co-located with the
    12th WCRE, Pittsburgh, Pennsylvania, USA}, author={Meyer, Matthias and Wendehals,
    Lothar}, year={2005}, pages={33–37}, collection={Technical Report} }'
  chicago: Meyer, Matthias, and Lothar Wendehals. “Selective Tracing for Dynamic Analyses.”
    In <i>Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis
    (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA</i>, 2005–12:33–37.
    Technical Report, 2005.
  ieee: M. Meyer and L. Wendehals, “Selective Tracing for Dynamic Analyses,” in <i>Proc.
    of the 1st Workshop on Program Comprehension through Dynamic Analysis (PCODA),
    co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA</i>, 2005, vol. 2005–12,
    pp. 33–37.
  mla: Meyer, Matthias, and Lothar Wendehals. “Selective Tracing for Dynamic Analyses.”
    <i>Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis
    (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania, USA</i>, vol.
    2005–12, 2005, pp. 33–37.
  short: 'M. Meyer, L. Wendehals, in: Proc. of the 1st Workshop on Program Comprehension
    through Dynamic Analysis (PCODA), Co-Located with the 12th WCRE, Pittsburgh, Pennsylvania,
    USA, 2005, pp. 33–37.'
date_created: 2021-01-13T09:24:41Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
language:
- iso: eng
page: 33-37
publication: Proc. of the 1st Workshop on Program Comprehension through Dynamic Analysis
  (PCODA), co-located with the 12th WCRE, Pittsburgh, Pennsylvania, USA
series_title: Technical Report
status: public
title: Selective Tracing for Dynamic Analyses
type: conference
user_id: '5786'
volume: 2005-12
year: '2005'
...
---
_id: '20929'
abstract:
- lang: eng
  text: The paper presents a further step of the Fujaba Tool Suite RE to support coarse-grained
    analyses based on metrics and especially polymetric views. Polymetric views are
    graphical representations of certain metric combinations. Following an interactive
    reverse engineering approach, polymetric views can be created on demand. The reverse
    engineer is able to define new polymetric view descriptions and create new views
    afterwards.
author:
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
- first_name: Jörg
  full_name: Niere, Jörg
  last_name: Niere
citation:
  ama: 'Meyer M, Niere J. Calculation and Visualization of Software Product Metrics.
    In: <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>.
    Vol tr-ri-05-259. Technical Report. University of Paderborn; 2005:41-44.'
  apa: Meyer, M., &#38; Niere, J. (2005). Calculation and Visualization of Software
    Product Metrics. <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn,
    Germany</i>, <i>tr-ri-05-259</i>, 41–44.
  bibtex: '@inproceedings{Meyer_Niere_2005, series={Technical Report}, title={Calculation
    and Visualization of Software Product Metrics}, volume={tr-ri-05-259}, booktitle={Proc.
    of the 3rd International Fujaba Days 2005, Paderborn, Germany}, publisher={University
    of Paderborn}, author={Meyer, Matthias and Niere, Jörg}, year={2005}, pages={41–44},
    collection={Technical Report} }'
  chicago: Meyer, Matthias, and Jörg Niere. “Calculation and Visualization of Software
    Product Metrics.” In <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn,
    Germany</i>, tr-ri-05-259:41–44. Technical Report. University of Paderborn, 2005.
  ieee: M. Meyer and J. Niere, “Calculation and Visualization of Software Product
    Metrics,” in <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>,
    2005, vol. tr-ri-05-259, pp. 41–44.
  mla: Meyer, Matthias, and Jörg Niere. “Calculation and Visualization of Software
    Product Metrics.” <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn,
    Germany</i>, vol. tr-ri-05-259, University of Paderborn, 2005, pp. 41–44.
  short: 'M. Meyer, J. Niere, in: Proc. of the 3rd International Fujaba Days 2005,
    Paderborn, Germany, University of Paderborn, 2005, pp. 41–44.'
date_created: 2021-01-13T09:56:37Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
language:
- iso: eng
page: 41-44
publication: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany
publisher: University of Paderborn
series_title: Technical Report
status: public
title: Calculation and Visualization of Software Product Metrics
type: conference
user_id: '5786'
volume: tr-ri-05-259
year: '2005'
...
---
_id: '20930'
abstract:
- lang: eng
  text: "Model driven development facilitates the specification of software models
    from which code can be generated automatically. In practice, a software system
    can often not be modelled completely. Developers still have to implement parts
    of it manually and thus have to work with the generated code. Therefore, the usability
    of the code is important. The Fujaba Tool Suite is a UML case tool which allows
    to model the structure and behaviour of a system with UML diagrams and to generate
    Java code for the specifications. However, the code currently generated for associations
    is not type safe. Furthermore, a lot of code is added to the implementation of
    the model classes which decreases their usability. In this paper, we present an
    approach to generate type safe association implementations in Java which also
    improves the readability and usability of the generated code.\r\n"
author:
- first_name: Dietrich
  full_name: Travkin, Dietrich
  last_name: Travkin
- first_name: Matthias
  full_name: Meyer, Matthias
  id: '683'
  last_name: Meyer
citation:
  ama: 'Travkin D, Meyer M. Generation of Type Safe Association Implementations. In:
    <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>. Vol
    tr-ri-05-259. Technical Report. University of Paderborn; 2005:63-66.'
  apa: Travkin, D., &#38; Meyer, M. (2005). Generation of Type Safe Association Implementations.
    <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>, <i>tr-ri-05-259</i>,
    63–66.
  bibtex: '@inproceedings{Travkin_Meyer_2005, series={Technical Report}, title={Generation
    of Type Safe Association Implementations}, volume={tr-ri-05-259}, booktitle={Proc.
    of the 3rd International Fujaba Days 2005, Paderborn, Germany}, publisher={University
    of Paderborn}, author={Travkin, Dietrich and Meyer, Matthias}, year={2005}, pages={63–66},
    collection={Technical Report} }'
  chicago: Travkin, Dietrich, and Matthias Meyer. “Generation of Type Safe Association
    Implementations.” In <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn,
    Germany</i>, tr-ri-05-259:63–66. Technical Report. University of Paderborn, 2005.
  ieee: D. Travkin and M. Meyer, “Generation of Type Safe Association Implementations,”
    in <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany</i>,
    2005, vol. tr-ri-05-259, pp. 63–66.
  mla: Travkin, Dietrich, and Matthias Meyer. “Generation of Type Safe Association
    Implementations.” <i>Proc. of the 3rd International Fujaba Days 2005, Paderborn,
    Germany</i>, vol. tr-ri-05-259, University of Paderborn, 2005, pp. 63–66.
  short: 'D. Travkin, M. Meyer, in: Proc. of the 3rd International Fujaba Days 2005,
    Paderborn, Germany, University of Paderborn, 2005, pp. 63–66.'
date_created: 2021-01-13T09:57:16Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
language:
- iso: eng
page: 63-66
publication: Proc. of the 3rd International Fujaba Days 2005, Paderborn, Germany
publisher: University of Paderborn
series_title: Technical Report
status: public
title: Generation of Type Safe Association Implementations
type: conference
user_id: '5786'
volume: tr-ri-05-259
year: '2005'
...
---
_id: '17988'
author:
- first_name: Sven
  full_name: Köhler, Sven
  last_name: Köhler
- first_name: Christian
  full_name: Schindelhauer, Christian
  last_name: Schindelhauer
- first_name: Martin
  full_name: Ziegler, Martin
  last_name: Ziegler
citation:
  ama: 'Köhler S, Schindelhauer C, Ziegler M. On Approximating Real-World Halting
    Problems. In: <i>Fundamentals of Computation Theory</i>. Berlin, Heidelberg; 2005.
    doi:<a href="https://doi.org/10.1007/11537311_40">10.1007/11537311_40</a>'
  apa: Köhler, S., Schindelhauer, C., &#38; Ziegler, M. (2005). On Approximating Real-World
    Halting Problems. In <i>Fundamentals of Computation Theory</i>. Berlin, Heidelberg.
    <a href="https://doi.org/10.1007/11537311_40">https://doi.org/10.1007/11537311_40</a>
  bibtex: '@inbook{Köhler_Schindelhauer_Ziegler_2005, place={Berlin, Heidelberg},
    title={On Approximating Real-World Halting Problems}, DOI={<a href="https://doi.org/10.1007/11537311_40">10.1007/11537311_40</a>},
    booktitle={Fundamentals of Computation Theory}, author={Köhler, Sven and Schindelhauer,
    Christian and Ziegler, Martin}, year={2005} }'
  chicago: Köhler, Sven, Christian Schindelhauer, and Martin Ziegler. “On Approximating
    Real-World Halting Problems.” In <i>Fundamentals of Computation Theory</i>. Berlin,
    Heidelberg, 2005. <a href="https://doi.org/10.1007/11537311_40">https://doi.org/10.1007/11537311_40</a>.
  ieee: S. Köhler, C. Schindelhauer, and M. Ziegler, “On Approximating Real-World
    Halting Problems,” in <i>Fundamentals of Computation Theory</i>, Berlin, Heidelberg,
    2005.
  mla: Köhler, Sven, et al. “On Approximating Real-World Halting Problems.” <i>Fundamentals
    of Computation Theory</i>, 2005, doi:<a href="https://doi.org/10.1007/11537311_40">10.1007/11537311_40</a>.
  short: 'S. Köhler, C. Schindelhauer, M. Ziegler, in: Fundamentals of Computation
    Theory, Berlin, Heidelberg, 2005.'
date_created: 2020-08-14T13:44:48Z
date_updated: 2022-01-06T06:53:24Z
department:
- _id: '63'
doi: 10.1007/11537311_40
language:
- iso: eng
place: Berlin, Heidelberg
publication: Fundamentals of Computation Theory
publication_identifier:
  isbn:
  - '9783540281931'
  - '9783540318736'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: On Approximating Real-World Halting Problems
type: book_chapter
user_id: '15415'
year: '2005'
...
---
_id: '17989'
author:
- first_name: Klaus
  full_name: Meer, Klaus
  last_name: Meer
- first_name: Martin
  full_name: Ziegler, Martin
  last_name: Ziegler
citation:
  ama: 'Meer K, Ziegler M. An Explicit Solution to Post’s Problem over the Reals.
    In: <i>Fundamentals of Computation Theory</i>. Berlin, Heidelberg; 2005. doi:<a
    href="https://doi.org/10.1007/11537311_41">10.1007/11537311_41</a>'
  apa: Meer, K., &#38; Ziegler, M. (2005). An Explicit Solution to Post’s Problem
    over the Reals. In <i>Fundamentals of Computation Theory</i>. Berlin, Heidelberg.
    <a href="https://doi.org/10.1007/11537311_41">https://doi.org/10.1007/11537311_41</a>
  bibtex: '@inbook{Meer_Ziegler_2005, place={Berlin, Heidelberg}, title={An Explicit
    Solution to Post’s Problem over the Reals}, DOI={<a href="https://doi.org/10.1007/11537311_41">10.1007/11537311_41</a>},
    booktitle={Fundamentals of Computation Theory}, author={Meer, Klaus and Ziegler,
    Martin}, year={2005} }'
  chicago: Meer, Klaus, and Martin Ziegler. “An Explicit Solution to Post’s Problem
    over the Reals.” In <i>Fundamentals of Computation Theory</i>. Berlin, Heidelberg,
    2005. <a href="https://doi.org/10.1007/11537311_41">https://doi.org/10.1007/11537311_41</a>.
  ieee: K. Meer and M. Ziegler, “An Explicit Solution to Post’s Problem over the Reals,”
    in <i>Fundamentals of Computation Theory</i>, Berlin, Heidelberg, 2005.
  mla: Meer, Klaus, and Martin Ziegler. “An Explicit Solution to Post’s Problem over
    the Reals.” <i>Fundamentals of Computation Theory</i>, 2005, doi:<a href="https://doi.org/10.1007/11537311_41">10.1007/11537311_41</a>.
  short: 'K. Meer, M. Ziegler, in: Fundamentals of Computation Theory, Berlin, Heidelberg,
    2005.'
date_created: 2020-08-14T13:46:23Z
date_updated: 2022-01-06T06:53:24Z
department:
- _id: '63'
doi: 10.1007/11537311_41
language:
- iso: eng
place: Berlin, Heidelberg
publication: Fundamentals of Computation Theory
publication_identifier:
  isbn:
  - '9783540281931'
  - '9783540318736'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: An Explicit Solution to Post’s Problem over the Reals
type: book_chapter
user_id: '15415'
year: '2005'
...
---
_id: '18280'
abstract:
- lang: eng
  text: The sometimes so-called Main Theorem of Recursive Analysis implies that any
    computable real function is necessarily continuous. We consider three relaxations
    of this common notion of real computability for the purpose of treating also discontinuous
    functions f:R->R:<br>*) non-deterministic computation;<br>*) relativized computation,
    specifically given access to oracles like 0' or 0'';<br>*) encoding input x and/or
    output y=f(x) in weaker ways according to the Real Arithmetic Hierarchy.<br>It
    turns out that, among these approaches, only the first one provides the required
    power.
author:
- first_name: Martin
  full_name: Ziegler, Martin
  last_name: Ziegler
citation:
  ama: 'Ziegler M. Computability and Continuity on the Real Arithmetic Hierarchy and
    the Power of Type-2 Nondeterminism. In: <i>Proc. CiE 2005: New Computational Paradigms</i>.
    Vol 3526. Springer; 2005:562-571. doi:<a href="https://doi.org/10.1007/11494645_68">10.1007/11494645_68</a>'
  apa: 'Ziegler, M. (2005). Computability and Continuity on the Real Arithmetic Hierarchy
    and the Power of Type-2 Nondeterminism. In <i>Proc. CiE 2005: New Computational
    Paradigms</i> (Vol. 3526, pp. 562–571). Springer. <a href="https://doi.org/10.1007/11494645_68">https://doi.org/10.1007/11494645_68</a>'
  bibtex: '@inproceedings{Ziegler_2005, title={Computability and Continuity on the
    Real Arithmetic Hierarchy and the Power of Type-2 Nondeterminism}, volume={3526},
    DOI={<a href="https://doi.org/10.1007/11494645_68">10.1007/11494645_68</a>}, booktitle={Proc.
    CiE 2005: New Computational Paradigms}, publisher={Springer}, author={Ziegler,
    Martin}, year={2005}, pages={562–571} }'
  chicago: 'Ziegler, Martin. “Computability and Continuity on the Real Arithmetic
    Hierarchy and the Power of Type-2 Nondeterminism.” In <i>Proc. CiE 2005: New Computational
    Paradigms</i>, 3526:562–71. Springer, 2005. <a href="https://doi.org/10.1007/11494645_68">https://doi.org/10.1007/11494645_68</a>.'
  ieee: 'M. Ziegler, “Computability and Continuity on the Real Arithmetic Hierarchy
    and the Power of Type-2 Nondeterminism,” in <i>Proc. CiE 2005: New Computational
    Paradigms</i>, 2005, vol. 3526, pp. 562–571.'
  mla: 'Ziegler, Martin. “Computability and Continuity on the Real Arithmetic Hierarchy
    and the Power of Type-2 Nondeterminism.” <i>Proc. CiE 2005: New Computational
    Paradigms</i>, vol. 3526, Springer, 2005, pp. 562–71, doi:<a href="https://doi.org/10.1007/11494645_68">10.1007/11494645_68</a>.'
  short: 'M. Ziegler, in: Proc. CiE 2005: New Computational Paradigms, Springer, 2005,
    pp. 562–571.'
date_created: 2020-08-25T12:38:49Z
date_updated: 2022-01-06T06:53:28Z
department:
- _id: '63'
doi: 10.1007/11494645_68
intvolume: '      3526'
language:
- iso: eng
page: 562-571
publication: 'Proc. CiE 2005: New Computational Paradigms'
publication_identifier:
  isbn:
  - '9783540261797'
  - '9783540322665'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer
status: public
title: Computability and Continuity on the Real Arithmetic Hierarchy and the Power
  of Type-2 Nondeterminism
type: conference
user_id: '15415'
volume: 3526
year: '2005'
...
---
_id: '18282'
author:
- first_name: Martin
  full_name: Ziegler, Martin
  last_name: Ziegler
citation:
  ama: Ziegler M. Computational Power of Infinite Quantum Parallelism. <i>International
    Journal of Theoretical Physics</i>. 2005;44(11):2059-2071. doi:<a href="https://doi.org/10.1007/s10773-005-8984-0">10.1007/s10773-005-8984-0</a>
  apa: Ziegler, M. (2005). Computational Power of Infinite Quantum Parallelism. <i>International
    Journal of Theoretical Physics</i>, <i>44</i>(11), 2059–2071. <a href="https://doi.org/10.1007/s10773-005-8984-0">https://doi.org/10.1007/s10773-005-8984-0</a>
  bibtex: '@article{Ziegler_2005, title={Computational Power of Infinite Quantum Parallelism},
    volume={44}, DOI={<a href="https://doi.org/10.1007/s10773-005-8984-0">10.1007/s10773-005-8984-0</a>},
    number={11}, journal={International Journal of Theoretical Physics}, author={Ziegler,
    Martin}, year={2005}, pages={2059–2071} }'
  chicago: 'Ziegler, Martin. “Computational Power of Infinite Quantum Parallelism.”
    <i>International Journal of Theoretical Physics</i> 44, no. 11 (2005): 2059–71.
    <a href="https://doi.org/10.1007/s10773-005-8984-0">https://doi.org/10.1007/s10773-005-8984-0</a>.'
  ieee: M. Ziegler, “Computational Power of Infinite Quantum Parallelism,” <i>International
    Journal of Theoretical Physics</i>, vol. 44, no. 11, pp. 2059–2071, 2005.
  mla: Ziegler, Martin. “Computational Power of Infinite Quantum Parallelism.” <i>International
    Journal of Theoretical Physics</i>, vol. 44, no. 11, 2005, pp. 2059–71, doi:<a
    href="https://doi.org/10.1007/s10773-005-8984-0">10.1007/s10773-005-8984-0</a>.
  short: M. Ziegler, International Journal of Theoretical Physics 44 (2005) 2059–2071.
date_created: 2020-08-25T12:47:12Z
date_updated: 2022-01-06T06:53:28Z
department:
- _id: '63'
doi: 10.1007/s10773-005-8984-0
intvolume: '        44'
issue: '11'
language:
- iso: eng
page: 2059-2071
publication: International Journal of Theoretical Physics
publication_identifier:
  issn:
  - 0020-7748
  - 1572-9575
publication_status: published
status: public
title: Computational Power of Infinite Quantum Parallelism
type: journal_article
user_id: '15415'
volume: 44
year: '2005'
...
---
_id: '18366'
author:
- first_name: Wilhelm
  full_name: Dangelmaier, Wilhelm
  last_name: Dangelmaier
- first_name: Bengt
  full_name: Mueck, Bengt
  last_name: Mueck
- first_name: Matthias
  full_name: Fischer, Matthias
  id: '146'
  last_name: Fischer
- first_name: Kiran
  full_name: Mahajan, Kiran
  last_name: Mahajan
- first_name: Christoph
  full_name: ' Laroque, Christoph'
  last_name: ' Laroque'
citation:
  ama: 'Dangelmaier W, Mueck B, Fischer M, Mahajan K,  Laroque C. Methods to lead
    the user to significant processes in a 3D material flow simulation. In: <i>Simulation
    in Wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005</i>.
    ; 2005:267-270.'
  apa: Dangelmaier, W., Mueck, B., Fischer, M., Mahajan, K., &#38;  Laroque, C. (2005).
    Methods to lead the user to significant processes in a 3D material flow simulation.
    In <i>Simulation in wider Europe - 19th European Conference on Modelling and Simulation
    ECMS 2005</i> (pp. 267–270).
  bibtex: '@inproceedings{Dangelmaier_Mueck_Fischer_Mahajan_ Laroque_2005, title={Methods
    to lead the user to significant processes in a 3D material flow simulation}, booktitle={Simulation
    in wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005},
    author={Dangelmaier, Wilhelm and Mueck, Bengt and Fischer, Matthias and Mahajan,
    Kiran and  Laroque, Christoph}, year={2005}, pages={267–270} }'
  chicago: Dangelmaier, Wilhelm, Bengt Mueck, Matthias Fischer, Kiran Mahajan, and
    Christoph  Laroque. “Methods to Lead the User to Significant Processes in a 3D
    Material Flow Simulation.” In <i>Simulation in Wider Europe - 19th European Conference
    on Modelling and Simulation ECMS 2005</i>, 267–70, 2005.
  ieee: W. Dangelmaier, B. Mueck, M. Fischer, K. Mahajan, and C.  Laroque, “Methods
    to lead the user to significant processes in a 3D material flow simulation,” in
    <i>Simulation in wider Europe - 19th European Conference on Modelling and Simulation
    ECMS 2005</i>, 2005, pp. 267–270.
  mla: Dangelmaier, Wilhelm, et al. “Methods to Lead the User to Significant Processes
    in a 3D Material Flow Simulation.” <i>Simulation in Wider Europe - 19th European
    Conference on Modelling and Simulation ECMS 2005</i>, 2005, pp. 267–70.
  short: 'W. Dangelmaier, B. Mueck, M. Fischer, K. Mahajan, C.  Laroque, in: Simulation
    in Wider Europe - 19th European Conference on Modelling and Simulation ECMS 2005,
    2005, pp. 267–270.'
date_created: 2020-08-26T12:36:33Z
date_updated: 2022-01-06T06:53:30Z
department:
- _id: '63'
language:
- iso: eng
page: 267-270
publication: Simulation in wider Europe - 19th European Conference on Modelling and
  Simulation ECMS 2005
status: public
title: Methods to lead the user to significant processes in a 3D material flow simulation
type: conference
user_id: '15415'
year: '2005'
...
---
_id: '1843'
author:
- first_name: A.
  full_name: Aguiar, A.
  last_name: Aguiar
- first_name: A.
  full_name: Wolisz, A.
  last_name: Wolisz
- first_name: H.
  full_name: Lederer, H.
  last_name: Lederer
- first_name: Holger
  full_name: Karl, Holger
  id: '126'
  last_name: Karl
citation:
  ama: 'Aguiar A, Wolisz A, Lederer H, Karl H. Channel-Adaptive Schedulers with State-of-the-Art
    Channel Predictors. In: <i>Proceedings of the 11th European Wireless Conference
    2005</i>. ; 2005.'
  apa: Aguiar, A., Wolisz, A., Lederer, H., &#38; Karl, H. (2005). Channel-Adaptive
    Schedulers with State-of-the-Art Channel Predictors. In <i>Proceedings of the
    11th European Wireless Conference 2005</i>.
  bibtex: '@inproceedings{Aguiar_Wolisz_Lederer_Karl_2005, title={Channel-Adaptive
    Schedulers with State-of-the-Art Channel Predictors}, booktitle={Proceedings of
    the 11th European Wireless Conference 2005}, author={Aguiar, A. and Wolisz, A.
    and Lederer, H. and Karl, Holger}, year={2005} }'
  chicago: Aguiar, A., A. Wolisz, H. Lederer, and Holger Karl. “Channel-Adaptive Schedulers
    with State-of-the-Art Channel Predictors.” In <i>Proceedings of the 11th European
    Wireless Conference 2005</i>, 2005.
  ieee: A. Aguiar, A. Wolisz, H. Lederer, and H. Karl, “Channel-Adaptive Schedulers
    with State-of-the-Art Channel Predictors,” in <i>Proceedings of the 11th European
    Wireless Conference 2005</i>, 2005.
  mla: Aguiar, A., et al. “Channel-Adaptive Schedulers with State-of-the-Art Channel
    Predictors.” <i>Proceedings of the 11th European Wireless Conference 2005</i>,
    2005.
  short: 'A. Aguiar, A. Wolisz, H. Lederer, H. Karl, in: Proceedings of the 11th European
    Wireless Conference 2005, 2005.'
date_created: 2018-03-27T13:17:35Z
date_updated: 2022-01-06T06:53:32Z
department:
- _id: '75'
main_file_link:
- url: http://ieeexplore.ieee.org/document/5755344/?arnumber=5755344
publication: Proceedings of the 11th European Wireless Conference 2005
status: public
title: Channel-Adaptive Schedulers with State-of-the-Art Channel Predictors
type: conference
user_id: '15572'
year: '2005'
...
---
_id: '18449'
author:
- first_name: Christoph
  full_name: Loeser, Christoph
  last_name: Loeser
- first_name: Isabell
  full_name: Drüke, Isabell
  last_name: Drüke
- first_name: Brigitte
  full_name: Oesterdiekhoff, Brigitte
  last_name: Oesterdiekhoff
citation:
  ama: 'Loeser C, Drüke I, Oesterdiekhoff B.  Glaschick, Rainer: Integrative Approach
    of Web Services and Universal Plug and Play within an AV Scenario. In: <i>IEEE
    International Conference on Industrial Informatics (INDIN)</i>. ; 2005.'
  apa: 'Loeser, C., Drüke, I., &#38; Oesterdiekhoff, B. (2005).  Glaschick, Rainer:
    Integrative Approach of Web Services and Universal Plug and Play within an AV
    Scenario. In <i>IEEE International Conference on Industrial Informatics (INDIN)</i>.'
  bibtex: '@inproceedings{Loeser_Drüke_Oesterdiekhoff_2005, title={ Glaschick, Rainer:
    Integrative Approach of Web Services and Universal Plug and Play within an AV
    Scenario}, booktitle={IEEE International Conference on Industrial Informatics
    (INDIN)}, author={Loeser, Christoph and Drüke, Isabell and Oesterdiekhoff, Brigitte},
    year={2005} }'
  chicago: 'Loeser, Christoph, Isabell Drüke, and Brigitte Oesterdiekhoff. “ Glaschick,
    Rainer: Integrative Approach of Web Services and Universal Plug and Play within
    an AV Scenario.” In <i>IEEE International Conference on Industrial Informatics
    (INDIN)</i>, 2005.'
  ieee: 'C. Loeser, I. Drüke, and B. Oesterdiekhoff, “ Glaschick, Rainer: Integrative
    Approach of Web Services and Universal Plug and Play within an AV Scenario,” in
    <i>IEEE International Conference on Industrial Informatics (INDIN)</i>, 2005.'
  mla: 'Loeser, Christoph, et al. “ Glaschick, Rainer: Integrative Approach of Web
    Services and Universal Plug and Play within an AV Scenario.” <i>IEEE International
    Conference on Industrial Informatics (INDIN)</i>, 2005.'
  short: 'C. Loeser, I. Drüke, B. Oesterdiekhoff, in: IEEE International Conference
    on Industrial Informatics (INDIN), 2005.'
date_created: 2020-08-27T12:04:12Z
date_updated: 2022-01-06T06:53:32Z
department:
- _id: '63'
language:
- iso: eng
publication: IEEE International Conference on Industrial Informatics (INDIN)
status: public
title: ' Glaschick, Rainer: Integrative Approach of Web Services and Universal Plug
  and Play within an AV Scenario'
type: conference
user_id: '15415'
year: '2005'
...
---
_id: '18450'
author:
- first_name: Brigitte
  full_name: Oesterdiekhoff, Brigitte
  last_name: Oesterdiekhoff
citation:
  ama: 'Oesterdiekhoff B. Glaschick, Rainer; Service Oriented Interface Design for
    Embedded Devices. In: <i>IEEE International Conference on Emerging Technologies
    and Factory Automation (ETFA)</i>. ; 2005.'
  apa: Oesterdiekhoff, B. (2005). Glaschick, Rainer; Service Oriented Interface Design
    for Embedded Devices. In <i>IEEE International Conference on Emerging Technologies
    and Factory Automation (ETFA)</i>.
  bibtex: '@inproceedings{Oesterdiekhoff_2005, title={Glaschick, Rainer; Service Oriented
    Interface Design for Embedded Devices}, booktitle={IEEE International Conference
    on Emerging Technologies and Factory Automation (ETFA)}, author={Oesterdiekhoff,
    Brigitte}, year={2005} }'
  chicago: Oesterdiekhoff, Brigitte. “Glaschick, Rainer; Service Oriented Interface
    Design for Embedded Devices.” In <i>IEEE International Conference on Emerging
    Technologies and Factory Automation (ETFA)</i>, 2005.
  ieee: B. Oesterdiekhoff, “Glaschick, Rainer; Service Oriented Interface Design for
    Embedded Devices,” in <i>IEEE International Conference on Emerging Technologies
    and Factory Automation (ETFA)</i>, 2005.
  mla: Oesterdiekhoff, Brigitte. “Glaschick, Rainer; Service Oriented Interface Design
    for Embedded Devices.” <i>IEEE International Conference on Emerging Technologies
    and Factory Automation (ETFA)</i>, 2005.
  short: 'B. Oesterdiekhoff, in: IEEE International Conference on Emerging Technologies
    and Factory Automation (ETFA), 2005.'
date_created: 2020-08-27T12:06:59Z
date_updated: 2022-01-06T06:53:32Z
department:
- _id: '63'
language:
- iso: eng
publication: IEEE International Conference on Emerging Technologies and Factory Automation
  (ETFA)
status: public
title: Glaschick, Rainer; Service Oriented Interface Design for Embedded Devices
type: conference
user_id: '15415'
year: '2005'
...
---
_id: '2212'
author:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
citation:
  ama: 'Scheideler C. Overlay networks for wireless ad hoc networks. In: <i>IMA Workshop
    on Wireless Communications</i>. ; 2005.'
  apa: Scheideler, C. (2005). Overlay networks for wireless ad hoc networks. In <i>IMA
    Workshop on Wireless Communications</i>.
  bibtex: '@inproceedings{Scheideler_2005, title={Overlay networks for wireless ad
    hoc networks}, booktitle={IMA Workshop on Wireless Communications}, author={Scheideler,
    Christian}, year={2005} }'
  chicago: Scheideler, Christian. “Overlay Networks for Wireless Ad Hoc Networks.”
    In <i>IMA Workshop on Wireless Communications</i>, 2005.
  ieee: C. Scheideler, “Overlay networks for wireless ad hoc networks,” in <i>IMA
    Workshop on Wireless Communications</i>, 2005.
  mla: Scheideler, Christian. “Overlay Networks for Wireless Ad Hoc Networks.” <i>IMA
    Workshop on Wireless Communications</i>, 2005.
  short: 'C. Scheideler, in: IMA Workshop on Wireless Communications, 2005.'
date_created: 2018-04-05T07:05:16Z
date_updated: 2022-01-06T06:55:26Z
ddc:
- '040'
department:
- _id: '79'
file:
- access_level: open_access
  content_type: application/pdf
  creator: florida
  date_created: 2018-04-13T08:57:39Z
  date_updated: 2018-04-13T08:57:39Z
  file_id: '2329'
  file_name: IMA-05.pdf
  file_size: 295333
  relation: main_file
file_date_updated: 2018-04-13T08:57:39Z
has_accepted_license: '1'
oa: '1'
publication: IMA Workshop on Wireless Communications
status: public
title: Overlay networks for wireless ad hoc networks
type: conference
urn: '22129'
user_id: '15504'
year: '2005'
...
---
_id: '21779'
author:
- first_name: Frank
  full_name: Goetz, Frank
  last_name: Goetz
- first_name: Theodor
  full_name: Junklewitz, Theodor
  last_name: Junklewitz
- first_name: Gitta
  full_name: Domik, Gitta
  id: '90'
  last_name: Domik
citation:
  ama: 'Goetz F, Junklewitz T, Domik G. Real-Time Marching Cubes on the Vertex Shader.
    In: Dingliana J, Ganovelli F, eds. <i>EG Short Presentations</i>. The Eurographics
    Association; 2005:5-8. doi:<a href="https://doi.org/10.2312/egs.20051010">10.2312/egs.20051010</a>'
  apa: Goetz, F., Junklewitz, T., &#38; Domik, G. (2005). Real-Time Marching Cubes
    on the Vertex Shader. In J. Dingliana &#38; F. Ganovelli (Eds.), <i>EG Short Presentations</i>
    (pp. 5–8). The Eurographics Association. <a href="https://doi.org/10.2312/egs.20051010">https://doi.org/10.2312/egs.20051010</a>
  bibtex: '@inproceedings{Goetz_Junklewitz_Domik_2005, title={Real-Time Marching Cubes
    on the Vertex Shader}, DOI={<a href="https://doi.org/10.2312/egs.20051010">10.2312/egs.20051010</a>},
    booktitle={EG Short Presentations}, publisher={The Eurographics Association},
    author={Goetz, Frank and Junklewitz, Theodor and Domik, Gitta}, editor={Dingliana,
    John and Ganovelli, FabioEditors}, year={2005}, pages={5–8} }'
  chicago: Goetz, Frank, Theodor Junklewitz, and Gitta Domik. “Real-Time Marching
    Cubes on the Vertex Shader.” In <i>EG Short Presentations</i>, edited by John
    Dingliana and Fabio Ganovelli, 5–8. The Eurographics Association, 2005. <a href="https://doi.org/10.2312/egs.20051010">https://doi.org/10.2312/egs.20051010</a>.
  ieee: F. Goetz, T. Junklewitz, and G. Domik, “Real-Time Marching Cubes on the Vertex
    Shader,” in <i>EG Short Presentations</i>, 2005, pp. 5–8.
  mla: Goetz, Frank, et al. “Real-Time Marching Cubes on the Vertex Shader.” <i>EG
    Short Presentations</i>, edited by John Dingliana and Fabio Ganovelli, The Eurographics
    Association, 2005, pp. 5–8, doi:<a href="https://doi.org/10.2312/egs.20051010">10.2312/egs.20051010</a>.
  short: 'F. Goetz, T. Junklewitz, G. Domik, in: J. Dingliana, F. Ganovelli (Eds.),
    EG Short Presentations, The Eurographics Association, 2005, pp. 5–8.'
date_created: 2021-04-25T17:23:30Z
date_updated: 2022-01-06T06:55:13Z
department:
- _id: '65'
doi: 10.2312/egs.20051010
editor:
- first_name: John
  full_name: Dingliana, John
  last_name: Dingliana
- first_name: Fabio
  full_name: Ganovelli, Fabio
  last_name: Ganovelli
language:
- iso: eng
page: 5-8
publication: EG Short Presentations
publisher: The Eurographics Association
status: public
title: Real-Time Marching Cubes on the Vertex Shader
type: conference
user_id: '14955'
year: '2005'
...
---
_id: '7781'
citation:
  ama: Sauer S, ed. <i>Proceedings of the Workshop on Model Driven Development of
    Advanced User Interfaces, Satellite of the MoDELS 2005 Conference</i>. Vol 159.
    CEUR-WS.org; 2005.
  apa: Sauer, S. (Ed.). (2005). <i>Proceedings of the Workshop on Model Driven Development
    of Advanced User Interfaces, satellite of the MoDELS 2005 conference</i> (Vol.
    159). CEUR-WS.org.
  bibtex: '@book{Sauer_2005, series={CEUR Workshop Proceedings}, title={Proceedings
    of the Workshop on Model Driven Development of Advanced User Interfaces, satellite
    of the MoDELS 2005 conference}, volume={159}, publisher={CEUR-WS.org}, year={2005},
    collection={CEUR Workshop Proceedings} }'
  chicago: Sauer, Stefan, ed. <i>Proceedings of the Workshop on Model Driven Development
    of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference</i>. Vol.
    159. CEUR Workshop Proceedings. CEUR-WS.org, 2005.
  ieee: S. Sauer, Ed., <i>Proceedings of the Workshop on Model Driven Development
    of Advanced User Interfaces, satellite of the MoDELS 2005 conference</i>, vol.
    159. CEUR-WS.org, 2005.
  mla: Sauer, Stefan, editor. <i>Proceedings of the Workshop on Model Driven Development
    of Advanced User Interfaces, Satellite of the MoDELS 2005 Conference</i>. Vol.
    159, CEUR-WS.org, 2005.
  short: S. Sauer, ed., Proceedings of the Workshop on Model Driven Development of
    Advanced User Interfaces, Satellite of the MoDELS 2005 Conference, CEUR-WS.org,
    2005.
date_created: 2019-02-19T18:42:18Z
date_updated: 2022-01-06T07:03:46Z
department:
- _id: '66'
editor:
- first_name: Stefan
  full_name: Sauer, Stefan
  id: '447'
  last_name: Sauer
intvolume: '       159'
language:
- iso: eng
publisher: CEUR-WS.org
series_title: CEUR Workshop Proceedings
status: public
title: Proceedings of the Workshop on Model Driven Development of Advanced User Interfaces,
  satellite of the MoDELS 2005 conference
type: conference_editor
user_id: '52534'
volume: 159
year: '2005'
...
---
_id: '7934'
author:
- first_name: Harald
  full_name: Störrle, Harald
  last_name: Störrle
- first_name: Jan
  full_name: Hendrik Hausmann, Jan
  last_name: Hendrik Hausmann
citation:
  ama: 'Störrle H, Hendrik Hausmann J. Towards a Formal Semantics of UML 2.0 Activities.
    In: <i>Software Engineering</i>. Vol 64. Lecture Notes in Informatics. Bonn: Gesellschaft
    für Informatik (GI); 2005:117-128.'
  apa: 'Störrle, H., &#38; Hendrik Hausmann, J. (2005). Towards a Formal Semantics
    of UML 2.0 Activities. In <i>Software Engineering</i> (Vol. 64, pp. 117–128).
    Bonn: Gesellschaft für Informatik (GI).'
  bibtex: '@inproceedings{Störrle_Hendrik Hausmann_2005, place={Bonn}, series={Lecture
    Notes in Informatics}, title={Towards a Formal Semantics of UML 2.0 Activities},
    volume={64}, booktitle={Software Engineering}, publisher={Gesellschaft für Informatik
    (GI)}, author={Störrle, Harald and Hendrik Hausmann, Jan}, year={2005}, pages={117–128},
    collection={Lecture Notes in Informatics} }'
  chicago: 'Störrle, Harald, and Jan Hendrik Hausmann. “Towards a Formal Semantics
    of UML 2.0 Activities.” In <i>Software Engineering</i>, 64:117–28. Lecture Notes
    in Informatics. Bonn: Gesellschaft für Informatik (GI), 2005.'
  ieee: H. Störrle and J. Hendrik Hausmann, “Towards a Formal Semantics of UML 2.0
    Activities,” in <i>Software Engineering</i>, 2005, vol. 64, pp. 117–128.
  mla: Störrle, Harald, and Jan Hendrik Hausmann. “Towards a Formal Semantics of UML
    2.0 Activities.” <i>Software Engineering</i>, vol. 64, Gesellschaft für Informatik
    (GI), 2005, pp. 117–28.
  short: 'H. Störrle, J. Hendrik Hausmann, in: Software Engineering, Gesellschaft
    für Informatik (GI), Bonn, 2005, pp. 117–128.'
date_created: 2019-02-21T11:32:35Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
intvolume: '        64'
language:
- iso: eng
page: 117-128
place: Bonn
publication: Software Engineering
publisher: Gesellschaft für Informatik (GI)
series_title: Lecture Notes in Informatics
status: public
title: Towards a Formal Semantics of UML 2.0 Activities
type: conference
user_id: '52534'
volume: 64
year: '2005'
...
---
_id: '7935'
author:
- first_name: Fevzi
  full_name: Belli, Fevzi
  last_name: Belli
- first_name: Baris
  full_name: Güldali, Baris
  last_name: Güldali
citation:
  ama: 'Belli F, Güldali B. A holistic approach to test-driven model checking. In:
    <i>Proceedings of the Conference on Innovations in Applied Artificial Intelligence
    and Expert Systems (IEA/AIE 2005), Bari (Italy)</i>. LNCS. Berlin/Heidelberg:
    Springer; 2005:321-331.'
  apa: 'Belli, F., &#38; Güldali, B. (2005). A holistic approach to test-driven model
    checking. In <i>Proceedings of the conference on Innovations in Applied Artificial
    Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i> (pp. 321–331).
    Berlin/Heidelberg: Springer.'
  bibtex: '@inproceedings{Belli_Güldali_2005, place={Berlin/Heidelberg}, series={LNCS},
    title={A holistic approach to test-driven model checking}, booktitle={Proceedings
    of the conference on Innovations in Applied Artificial Intelligence and Expert
    Systems (IEA/AIE 2005), Bari (Italy)}, publisher={Springer}, author={Belli, Fevzi
    and Güldali, Baris}, year={2005}, pages={321–331}, collection={LNCS} }'
  chicago: 'Belli, Fevzi, and Baris Güldali. “A Holistic Approach to Test-Driven Model
    Checking.” In <i>Proceedings of the Conference on Innovations in Applied Artificial
    Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i>, 321–31. LNCS.
    Berlin/Heidelberg: Springer, 2005.'
  ieee: F. Belli and B. Güldali, “A holistic approach to test-driven model checking,”
    in <i>Proceedings of the conference on Innovations in Applied Artificial Intelligence
    and Expert Systems (IEA/AIE 2005), Bari (Italy)</i>, 2005, pp. 321–331.
  mla: Belli, Fevzi, and Baris Güldali. “A Holistic Approach to Test-Driven Model
    Checking.” <i>Proceedings of the Conference on Innovations in Applied Artificial
    Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy)</i>, Springer, 2005,
    pp. 321–31.
  short: 'F. Belli, B. Güldali, in: Proceedings of the Conference on Innovations in
    Applied Artificial Intelligence and Expert Systems (IEA/AIE 2005), Bari (Italy),
    Springer, Berlin/Heidelberg, 2005, pp. 321–331.'
date_created: 2019-02-21T11:32:58Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 321-331
place: Berlin/Heidelberg
publication: Proceedings of the conference on Innovations in Applied Artificial Intelligence
  and Expert Systems (IEA/AIE 2005), Bari (Italy)
publisher: Springer
series_title: LNCS
status: public
title: A holistic approach to test-driven model checking
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7936'
abstract:
- lang: eng
  text: Spreadsheets are widely used in all kinds of business applications. Numerous
    studies have shown that they contain many errors that sometimes have dramatic
    impacts. One reason for this situation is the low-level, cell-oriented development
    process of spreadsheets. We improve this process by introducing and formalizing
    a higher-level object-oriented model termed ClassSheet. While still following
    the tabular look-and-feel of spreadsheets, ClassSheets allow the developer to
    express explicitly business object structures within a spreadsheet, which is achieved
    by integrating concepts from the UML (Unified Modeling Language). A stepwise automatic
    transformation process generates a spreadsheet application that is consistent
    with the ClassSheet model. Thus, by deploying the formal underpinning of ClassSheets,
    a large variety of errors can be prevented that occur in many existing spreadsheet
    applications today. The presented ClassSheet approach links spreadsheet applications
    to the object-oriented modeling world and advocates an automatic model-driven
    development process for spreadsheet applications of high quality.
author:
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Martin
  full_name: Erwig, Martin
  last_name: Erwig
citation:
  ama: 'Engels G, Erwig M. ClassSheets: automatic generation of spreadsheet applications
    from object-oriented specifications. In: <i>Proceedings of the 20th IEEE/ACM International
    Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA)</i>.
    New York, NY, USA: ACM Press; 2005:124-133.'
  apa: 'Engels, G., &#38; Erwig, M. (2005). ClassSheets: automatic generation of spreadsheet
    applications from object-oriented specifications. In <i>Proceedings of the 20th
    IEEE/ACM International Conference on Automated Software Engineering (ASE 2005),
    Long Beach, CA (USA)</i> (pp. 124–133). New York, NY, USA: ACM Press.'
  bibtex: '@inproceedings{Engels_Erwig_2005, place={New York, NY, USA}, title={ClassSheets:
    automatic generation of spreadsheet applications from object-oriented specifications},
    booktitle={Proceedings of the 20th IEEE/ACM International Conference on Automated
    Software Engineering (ASE 2005), Long Beach, CA (USA)}, publisher={ACM Press},
    author={Engels, Gregor and Erwig, Martin}, year={2005}, pages={124–133} }'
  chicago: 'Engels, Gregor, and Martin Erwig. “ClassSheets: Automatic Generation of
    Spreadsheet Applications from Object-Oriented Specifications.” In <i>Proceedings
    of the 20th IEEE/ACM International Conference on Automated Software Engineering
    (ASE 2005), Long Beach, CA (USA)</i>, 124–33. New York, NY, USA: ACM Press, 2005.'
  ieee: 'G. Engels and M. Erwig, “ClassSheets: automatic generation of spreadsheet
    applications from object-oriented specifications,” in <i>Proceedings of the 20th
    IEEE/ACM International Conference on Automated Software Engineering (ASE 2005),
    Long Beach, CA (USA)</i>, 2005, pp. 124–133.'
  mla: 'Engels, Gregor, and Martin Erwig. “ClassSheets: Automatic Generation of Spreadsheet
    Applications from Object-Oriented Specifications.” <i>Proceedings of the 20th
    IEEE/ACM International Conference on Automated Software Engineering (ASE 2005),
    Long Beach, CA (USA)</i>, ACM Press, 2005, pp. 124–33.'
  short: 'G. Engels, M. Erwig, in: Proceedings of the 20th IEEE/ACM International
    Conference on Automated Software Engineering (ASE 2005), Long Beach, CA (USA),
    ACM Press, New York, NY, USA, 2005, pp. 124–133.'
date_created: 2019-02-21T11:33:39Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
language:
- iso: eng
page: 124-133
place: New York, NY, USA
publication: Proceedings of the 20th IEEE/ACM International Conference on Automated
  Software Engineering (ASE 2005), Long Beach, CA (USA)
publisher: ACM Press
status: public
title: 'ClassSheets: automatic generation of spreadsheet applications from object-oriented
  specifications'
type: conference
user_id: '52534'
year: '2005'
...
---
_id: '7937'
author:
- first_name: Alexander
  full_name: Förster, Alexander
  last_name: Förster
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
citation:
  ama: 'Förster A, Engels G, Schattkowsky T. Activity Diagram Patterns for Modeling
    Quality Constraints in Business Processes. In: <i>Proceedings of the 8th International
    Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego
    Bay (Jamaica)</i>. Vol 3713. LNCS. Berlin/Heidelberg: Springer; 2005:2-16.'
  apa: 'Förster, A., Engels, G., &#38; Schattkowsky, T. (2005). Activity Diagram Patterns
    for Modeling Quality Constraints in Business Processes. In <i>Proceedings of the
    8th International Conference on Model Driven Engineering Languages and Systems
    (MoDELS 2005), Montego Bay (Jamaica)</i> (Vol. 3713, pp. 2–16). Berlin/Heidelberg:
    Springer.'
  bibtex: '@inproceedings{Förster_Engels_Schattkowsky_2005, place={Berlin/Heidelberg},
    series={LNCS}, title={Activity Diagram Patterns for Modeling Quality Constraints
    in Business Processes}, volume={3713}, booktitle={Proceedings of the 8th International
    Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego
    Bay (Jamaica)}, publisher={Springer}, author={Förster, Alexander and Engels, Gregor
    and Schattkowsky, Tim}, year={2005}, pages={2–16}, collection={LNCS} }'
  chicago: 'Förster, Alexander, Gregor Engels, and Tim Schattkowsky. “Activity Diagram
    Patterns for Modeling Quality Constraints in Business Processes.” In <i>Proceedings
    of the 8th International Conference on Model Driven Engineering Languages and
    Systems (MoDELS 2005), Montego Bay (Jamaica)</i>, 3713:2–16. LNCS. Berlin/Heidelberg:
    Springer, 2005.'
  ieee: A. Förster, G. Engels, and T. Schattkowsky, “Activity Diagram Patterns for
    Modeling Quality Constraints in Business Processes,” in <i>Proceedings of the
    8th International Conference on Model Driven Engineering Languages and Systems
    (MoDELS 2005), Montego Bay (Jamaica)</i>, 2005, vol. 3713, pp. 2–16.
  mla: Förster, Alexander, et al. “Activity Diagram Patterns for Modeling Quality
    Constraints in Business Processes.” <i>Proceedings of the 8th International Conference
    on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)</i>,
    vol. 3713, Springer, 2005, pp. 2–16.
  short: 'A. Förster, G. Engels, T. Schattkowsky, in: Proceedings of the 8th International
    Conference on Model Driven Engineering Languages and Systems (MoDELS 2005), Montego
    Bay (Jamaica), Springer, Berlin/Heidelberg, 2005, pp. 2–16.'
date_created: 2019-02-21T11:34:17Z
date_updated: 2022-01-06T07:03:48Z
department:
- _id: '66'
intvolume: '      3713'
language:
- iso: eng
page: 2-16
place: Berlin/Heidelberg
publication: Proceedings of the 8th International Conference on Model Driven Engineering
  Languages and Systems (MoDELS 2005), Montego Bay (Jamaica)
publisher: Springer
series_title: LNCS
status: public
title: Activity Diagram Patterns for Modeling Quality Constraints in Business Processes
type: conference
user_id: '52534'
volume: 3713
year: '2005'
...
