---
_id: '416'
author:
- first_name: Pascal
  full_name: Bemmann, Pascal
  id: '32571'
  last_name: Bemmann
citation:
  ama: Bemmann P. <i>Group Signature Schemes with Strong Exculpability</i>. Universität
    Paderborn; 2014.
  apa: Bemmann, P. (2014). <i>Group Signature Schemes with Strong Exculpability</i>.
    Universität Paderborn.
  bibtex: '@book{Bemmann_2014, title={Group Signature Schemes with Strong Exculpability},
    publisher={Universität Paderborn}, author={Bemmann, Pascal}, year={2014} }'
  chicago: Bemmann, Pascal. <i>Group Signature Schemes with Strong Exculpability</i>.
    Universität Paderborn, 2014.
  ieee: P. Bemmann, <i>Group Signature Schemes with Strong Exculpability</i>. Universität
    Paderborn, 2014.
  mla: Bemmann, Pascal. <i>Group Signature Schemes with Strong Exculpability</i>.
    Universität Paderborn, 2014.
  short: P. Bemmann, Group Signature Schemes with Strong Exculpability, Universität
    Paderborn, 2014.
date_created: 2017-10-17T12:42:13Z
date_updated: 2022-01-06T07:00:26Z
department:
- _id: '64'
project:
- _id: '1'
  name: SFB 901
- _id: '13'
  name: SFB 901 - Subprojekt C1
- _id: '4'
  name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: Group Signature Schemes with Strong Exculpability
type: bachelorsthesis
user_id: '25078'
year: '2014'
...
---
_id: '417'
abstract:
- lang: eng
  text: 'Model transformation is a key concept in modeldrivensoftware engineering.
    The definition of model transformationsis usually based on meta-models describing
    the abstractsyntax of languages. While meta-models are thereby able to abstractfrom
    superfluous details of concrete syntax, they often loosestructural information
    inherent in languages, like information onmodel elements always occurring together
    in particular shapes.As a consequence, model transformations cannot naturally
    re-uselanguage structures, thus leading to unnecessary complexity intheir development
    as well as analysis.In this paper, we propose a new approach to model transformationdevelopment
    which allows to simplify and improve thequality of the developed transformations
    via the exploitation ofthe languages’ structures. The approach is based on context-freegrammars
    and transformations defined by pairing productions ofsource and target grammars.
    We show that such transformationsexhibit three important characteristics: they
    are sound, completeand deterministic.'
author:
- first_name: Galina
  full_name: Besova, Galina
  last_name: Besova
- first_name: Dominik
  full_name: Steenke, Dominik
  last_name: Steenke
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
citation:
  ama: 'Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In:
    <i>Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD)</i>.
    ; 2014:1601-1610. doi:<a href="https://doi.org/10.1016/j.cl.2015.05.003">10.1016/j.cl.2015.05.003</a>'
  apa: Besova, G., Steenke, D., &#38; Wehrheim, H. (2014). Grammar-based model transformations.
    In <i>Proceedings 3rd Workshop on Model Driven Approaches in System Development
    (MDASD)</i> (pp. 1601–1610). <a href="https://doi.org/10.1016/j.cl.2015.05.003">https://doi.org/10.1016/j.cl.2015.05.003</a>
  bibtex: '@inproceedings{Besova_Steenke_Wehrheim_2014, title={Grammar-based model
    transformations}, DOI={<a href="https://doi.org/10.1016/j.cl.2015.05.003">10.1016/j.cl.2015.05.003</a>},
    booktitle={Proceedings 3rd Workshop on Model Driven Approaches in System Development
    (MDASD)}, author={Besova, Galina and Steenke, Dominik and Wehrheim, Heike}, year={2014},
    pages={1601–1610} }'
  chicago: Besova, Galina, Dominik Steenke, and Heike Wehrheim. “Grammar-Based Model
    Transformations.” In <i>Proceedings 3rd Workshop on Model Driven Approaches in
    System Development (MDASD)</i>, 1601–10, 2014. <a href="https://doi.org/10.1016/j.cl.2015.05.003">https://doi.org/10.1016/j.cl.2015.05.003</a>.
  ieee: G. Besova, D. Steenke, and H. Wehrheim, “Grammar-based model transformations,”
    in <i>Proceedings 3rd Workshop on Model Driven Approaches in System Development
    (MDASD)</i>, 2014, pp. 1601–1610.
  mla: Besova, Galina, et al. “Grammar-Based Model Transformations.” <i>Proceedings
    3rd Workshop on Model Driven Approaches in System Development (MDASD)</i>, 2014,
    pp. 1601–10, doi:<a href="https://doi.org/10.1016/j.cl.2015.05.003">10.1016/j.cl.2015.05.003</a>.
  short: 'G. Besova, D. Steenke, H. Wehrheim, in: Proceedings 3rd Workshop on Model
    Driven Approaches in System Development (MDASD), 2014, pp. 1601–1610.'
date_created: 2017-10-17T12:42:13Z
date_updated: 2022-01-06T07:00:28Z
ddc:
- '040'
department:
- _id: '77'
doi: 10.1016/j.cl.2015.05.003
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:33:33Z
  date_updated: 2018-03-16T11:33:33Z
  file_id: '1360'
  file_name: 417-main.pdf
  file_size: 643382
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:33:33Z
has_accepted_license: '1'
language:
- iso: eng
page: 1601-1610
project:
- _id: '1'
  name: SFB 901
- _id: '11'
  name: SFB 901 - Subprojekt B3
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings 3rd Workshop on Model Driven Approaches in System Development
  (MDASD)
status: public
title: Grammar-based model transformations
type: conference
user_id: '477'
year: '2014'
...
---
_id: '418'
author:
- first_name: Felix
  full_name: Pauck, Felix
  id: '22398'
  last_name: Pauck
citation:
  ama: Pauck F. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>.
    Universität Paderborn; 2014.
  apa: Pauck, F. (2014). <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>.
    Universität Paderborn.
  bibtex: '@book{Pauck_2014, title={Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren},
    publisher={Universität Paderborn}, author={Pauck, Felix}, year={2014} }'
  chicago: Pauck, Felix. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>.
    Universität Paderborn, 2014.
  ieee: F. Pauck, <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>.
    Universität Paderborn, 2014.
  mla: Pauck, Felix. <i>Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren</i>.
    Universität Paderborn, 2014.
  short: F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren,
    Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:13Z
date_updated: 2022-01-06T07:00:30Z
ddc:
- '000'
department:
- _id: '77'
file:
- access_level: open_access
  content_type: application/pdf
  creator: fpauck
  date_created: 2019-08-07T09:00:20Z
  date_updated: 2019-08-07T09:05:38Z
  file_id: '12906'
  file_name: fpauck_2014.pdf
  file_size: 3191756
  relation: main_file
  title: Bachelorarbeit
file_date_updated: 2019-08-07T09:05:38Z
has_accepted_license: '1'
language:
- iso: ger
oa: '1'
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Heike
  full_name: Wehrheim, Heike
  id: '573'
  last_name: Wehrheim
title: Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren
type: bachelorsthesis
user_id: '22398'
year: '2014'
...
---
_id: '421'
author:
- first_name: Jan
  full_name: Lippert, Jan
  last_name: Lippert
citation:
  ama: Lippert J. <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn; 2014.
  apa: Lippert, J. (2014). <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn.
  bibtex: '@book{Lippert_2014, title={Fujisaki-Okamoto Transformation}, publisher={Universität
    Paderborn}, author={Lippert, Jan}, year={2014} }'
  chicago: Lippert, Jan. <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn,
    2014.
  ieee: J. Lippert, <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn,
    2014.
  mla: Lippert, Jan. <i>Fujisaki-Okamoto Transformation</i>. Universität Paderborn,
    2014.
  short: J. Lippert, Fujisaki-Okamoto Transformation, Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:14Z
date_updated: 2022-01-06T07:00:36Z
department:
- _id: '64'
project:
- _id: '1'
  name: SFB 901
- _id: '13'
  name: SFB 901 - Subprojekt C1
- _id: '4'
  name: SFB 901 - Project Area C
- _id: '43'
  name: Securing the Financial Cloud
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: Fujisaki-Okamoto Transformation
type: bachelorsthesis
user_id: '25078'
year: '2014'
...
---
_id: '426'
author:
- first_name: Veit
  full_name: Dornseifer, Veit
  last_name: Dornseifer
citation:
  ama: Dornseifer V. <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data Center
    Network</i>. Universität Paderborn; 2014.
  apa: Dornseifer, V. (2014). <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data
    Center Network</i>. Universität Paderborn.
  bibtex: '@book{Dornseifer_2014, title={Evaluation of a Hybrid Packet-/Circuit-Switched
    Data Center Network}, publisher={Universität Paderborn}, author={Dornseifer, Veit},
    year={2014} }'
  chicago: Dornseifer, Veit. <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data
    Center Network</i>. Universität Paderborn, 2014.
  ieee: V. Dornseifer, <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data Center
    Network</i>. Universität Paderborn, 2014.
  mla: Dornseifer, Veit. <i>Evaluation of a Hybrid Packet-/Circuit-Switched Data Center
    Network</i>. Universität Paderborn, 2014.
  short: V. Dornseifer, Evaluation of a Hybrid Packet-/Circuit-Switched Data Center
    Network, Universität Paderborn, 2014.
date_created: 2017-10-17T12:42:15Z
date_updated: 2022-01-06T07:00:43Z
department:
- _id: '75'
project:
- _id: '1'
  name: SFB 901
- _id: '6'
  name: SFB 901 - Subprojekt A2
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Evaluation of a Hybrid Packet-/Circuit-Switched Data Center Network
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '428'
abstract:
- lang: eng
  text: Services are self-contained software components that can be used platform
    independent and that aim at maximizing software reuse. A basic concern in service
    oriented architectures is to measure the reusability of services. One of the most
    important qualities is the functional reusability, which indicates how relevant
    the task is that a service solves. Current metrics for functional reusability
    of software, however, either require source code analysis or have very little
    explanatory power. This paper gives a formally described vision statement for
    the estimation of functional reusability of services and sketches an exemplary
    reusability metric that is based on the service descriptions.
author:
- first_name: Felix
  full_name: Mohr, Felix
  last_name: Mohr
citation:
  ama: 'Mohr F. Estimating Functional Reusability of Services. In: <i>Proceedings
    of the 12th International Conference on Service Oriented Computing (ICSOC)</i>.
    LNCS. ; 2014:411-418.'
  apa: Mohr, F. (2014). Estimating Functional Reusability of Services. In <i>Proceedings
    of the 12th International Conference on Service Oriented Computing (ICSOC)</i>
    (pp. 411–418).
  bibtex: '@inproceedings{Mohr_2014, series={LNCS}, title={Estimating Functional Reusability
    of Services}, booktitle={Proceedings of the 12th International Conference on Service
    Oriented Computing (ICSOC)}, author={Mohr, Felix}, year={2014}, pages={411–418},
    collection={LNCS} }'
  chicago: Mohr, Felix. “Estimating Functional Reusability of Services.” In <i>Proceedings
    of the 12th International Conference on Service Oriented Computing (ICSOC)</i>,
    411–18. LNCS, 2014.
  ieee: F. Mohr, “Estimating Functional Reusability of Services,” in <i>Proceedings
    of the 12th International Conference on Service Oriented Computing (ICSOC)</i>,
    2014, pp. 411–418.
  mla: Mohr, Felix. “Estimating Functional Reusability of Services.” <i>Proceedings
    of the 12th International Conference on Service Oriented Computing (ICSOC)</i>,
    2014, pp. 411–18.
  short: 'F. Mohr, in: Proceedings of the 12th International Conference on Service
    Oriented Computing (ICSOC), 2014, pp. 411–418.'
date_created: 2017-10-17T12:42:15Z
date_updated: 2022-01-06T07:00:47Z
ddc:
- '040'
department:
- _id: '355'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:32:02Z
  date_updated: 2018-03-16T11:32:02Z
  file_id: '1357'
  file_name: 428-ICSOC14.pdf
  file_size: 200063
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:32:02Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: https://link.springer.com/chapter/10.1007%2F978-3-662-45391-9_31
page: 411-418
project:
- _id: '1'
  name: SFB 901
- _id: '10'
  name: SFB 901 - Subprojekt B2
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the 12th International Conference on Service Oriented
  Computing (ICSOC)
series_title: LNCS
status: public
title: Estimating Functional Reusability of Services
type: conference
user_id: '477'
year: '2014'
...
---
_id: '431'
abstract:
- lang: eng
  text: In meiner Dissertation besch{\"a}ftige ich mich mit dem Entwurf und der Analyse
    energieeffizienter Schedulingalgorithmen, insbesondere f{\"u}r sogenannte Speed-Scaling
    Modelle. Diese stellen das theoretische Pendant von Techniken wie AMDs PowerNOW!
    und Intels SpeedStep dar, welche es erlauben die Geschwindigkeit von Prozessoren
    zur Laufzeit an die derzeitigen Bedingungen anzupassen. Theoretische Untersuchungen
    solcher Modelle sind auf eine Arbeit von Yao, Demers und Shenker (FOCS'95) zur{\"u}ckzuf{\"u}hren.
    Hier kombinieren die Autoren klassisches Deadline-Scheduling mit einem Prozessor
    der Speed-Scaling beherrscht. Es gilt Jobs verschiedener Gr{\"o}ße fristgerecht
    abzuarbeiten und die dabei verwendete Energie zu minimieren. Der Energieverbrauch
    des Prozessors wird durch eine konvexe Funktion $\POW\colon\R_{\geq0}\to\R_{\geq0}$
    modelliert, welche die Geschwindigkeit auf den Energieverbrauch abbildet.Meine
    Dissertation betrachtet verschiedene Varianten des urspr{\"u}nglichen Speed-Scaling
    Modells. Forschungsrelevante Ergebnisse sind in den Kapiteln 3 bis 6 zu finden
    und erstrecken sich {\"u}ber die im Folgenden beschriebenen Aspekte:- Kapitel
    3 und 4 betrachten verschiedene \emph{Price-Collecting} Varianten des Originalproblems.
    Hier d{\"u}rfen einzelne Deadlines verfehlt werden, sofern eine jobabh{\"a}ngige
    Strafe gezahlt wird. Ich entwerfe insbesondere Online-Algorithmen mit einer beweisbar
    guten Competitiveness. Dabei liefern meine Ergebnisse substantielle Verbesserungen
    bestehender Arbeiten und erweitern diese unter Anderem auf Szenarien mit mehreren
    Prozessoren.- In Kapitel 5 wird statt des klassischen Deadline-Schedulings eine
    Linearkombination der durchschnittlichen Antwortzeit und des Energieverbrauchs
    betrachtet. Die Frage, ob dieses Problem NP-schwer ist, stellt eine der zentralen
    Forschungsfragen in diesem Gebiet dar. F{\"u}r eine relaxierte Form dieser Frage
    entwerfe ich einen effizienter Algorithmus und beweise seine Optimalit{\"a}t.-
    Das letzte Kapitel betrachtet ein Modell, welches – auf den ersten Blick – nicht
    direkt zur Speed-Scaling Literatur z{\"a}hlt. Hier geht es stattdessen um ein
    allgemeines Resource-Constrained Scheduling, in dem sich die Prozessoren zusammen
    eine gemeinsame, beliebig aufteilbare Ressource teilen. Ich untersuche die Komplexit{\"a}t
    des Problems und entwerfe verschiedene Approximationsalgorithmen.
author:
- first_name: Peter
  full_name: Kling, Peter
  last_name: Kling
citation:
  ama: Kling P. <i>Energy-Efficient Scheduling Algorithms</i>. Universität Paderborn;
    2014.
  apa: Kling, P. (2014). <i>Energy-efficient Scheduling Algorithms</i>. Universität
    Paderborn.
  bibtex: '@book{Kling_2014, title={Energy-efficient Scheduling Algorithms}, publisher={Universität
    Paderborn}, author={Kling, Peter}, year={2014} }'
  chicago: Kling, Peter. <i>Energy-Efficient Scheduling Algorithms</i>. Universität
    Paderborn, 2014.
  ieee: P. Kling, <i>Energy-efficient Scheduling Algorithms</i>. Universität Paderborn,
    2014.
  mla: Kling, Peter. <i>Energy-Efficient Scheduling Algorithms</i>. Universität Paderborn,
    2014.
  short: P. Kling, Energy-Efficient Scheduling Algorithms, Universität Paderborn,
    2014.
date_created: 2017-10-17T12:42:15Z
date_updated: 2022-01-06T07:00:52Z
ddc:
- '040'
department:
- _id: '63'
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:31:29Z
  date_updated: 2018-03-16T11:31:29Z
  file_id: '1356'
  file_name: 431-Peter_Kling_PhDThesis_01.pdf
  file_size: 792106
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:31:29Z
has_accepted_license: '1'
project:
- _id: '1'
  name: SFB 901
- _id: '14'
  name: SFB 901 - Subprojekt C2
- _id: '4'
  name: SFB 901 - Project Area C
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Friedhelm
  full_name: Meyer auf der Heide, Friedhelm
  id: '15523'
  last_name: Meyer auf der Heide
title: Energy-efficient Scheduling Algorithms
type: dissertation
user_id: '477'
year: '2014'
...
---
_id: '4315'
abstract:
- lang: eng
  text: 'We simulate numerically light scattering by random irregular particles of
    two classes of shape: Gaussian random field particles and agglomerated debri particles.
    Comparison of the angular dependencies of the scattering matrix elements for the
    case of non-absorbing material shows qualitative similarity of optical properties
    of both types despite different morphology of scatterers. Absorbing particles
    result in the difference in linear polarization. However, a strong similarty remains
    for the intensity curves.'
author:
- first_name: Yevgen
  full_name: Grynko, Yevgen
  id: '26059'
  last_name: Grynko
- first_name: Evgenij
  full_name: Zubko, Evgenij
  last_name: Zubko
citation:
  ama: 'Grynko Y, Zubko E. Light Scattering By Random Irregular Particles With Different
    Morphology. In: ; 2014.'
  apa: Grynko, Y., &#38; Zubko, E. (2014). Light Scattering By Random Irregular Particles
    With Different Morphology. Presented at the 10th International Conference on Laser-Light
    and Interactions with Particles, Marseille (France).
  bibtex: '@inproceedings{Grynko_Zubko_2014, title={Light Scattering By Random Irregular
    Particles With Different Morphology}, author={Grynko, Yevgen and Zubko, Evgenij},
    year={2014} }'
  chicago: Grynko, Yevgen, and Evgenij Zubko. “Light Scattering By Random Irregular
    Particles With Different Morphology,” 2014.
  ieee: Y. Grynko and E. Zubko, “Light Scattering By Random Irregular Particles With
    Different Morphology,” presented at the 10th International Conference on Laser-Light
    and Interactions with Particles, Marseille (France), 2014.
  mla: Grynko, Yevgen, and Evgenij Zubko. <i>Light Scattering By Random Irregular
    Particles With Different Morphology</i>. 2014.
  short: 'Y. Grynko, E. Zubko, in: 2014.'
conference:
  end_date: 2014-08-29
  location: Marseille (France)
  name: 10th International Conference on Laser-Light and Interactions with Particles
  start_date: 2014-08-25
date_created: 2018-08-30T09:29:24Z
date_updated: 2022-01-06T07:00:53Z
ddc:
- '530'
department:
- _id: '61'
file:
- access_level: closed
  content_type: application/pdf
  creator: hclaudia
  date_created: 2018-08-30T09:28:00Z
  date_updated: 2018-08-30T09:28:00Z
  file_id: '4316'
  file_name: 2014-08 Grynko,Zubko_Light Scattering by Radndom irregular particles
    with different morphology.pdf
  file_size: 794798
  relation: main_file
  success: 1
file_date_updated: 2018-08-30T09:28:00Z
has_accepted_license: '1'
language:
- iso: eng
publication_status: published
status: public
title: Light Scattering By Random Irregular Particles With Different Morphology
type: conference
user_id: '55706'
year: '2014'
...
---
_id: '432'
author:
- first_name: Nico
  full_name: Bredenbals, Nico
  last_name: Bredenbals
citation:
  ama: Bredenbals N. <i>Energy-Efficient Queuing with Delayed Deactivation</i>. Universität
    Paderborn; 2014.
  apa: Bredenbals, N. (2014). <i>Energy-Efficient Queuing with Delayed Deactivation</i>.
    Universität Paderborn.
  bibtex: '@book{Bredenbals_2014, title={Energy-Efficient Queuing with Delayed Deactivation},
    publisher={Universität Paderborn}, author={Bredenbals, Nico}, year={2014} }'
  chicago: Bredenbals, Nico. <i>Energy-Efficient Queuing with Delayed Deactivation</i>.
    Universität Paderborn, 2014.
  ieee: N. Bredenbals, <i>Energy-Efficient Queuing with Delayed Deactivation</i>.
    Universität Paderborn, 2014.
  mla: Bredenbals, Nico. <i>Energy-Efficient Queuing with Delayed Deactivation</i>.
    Universität Paderborn, 2014.
  short: N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation, Universität
    Paderborn, 2014.
date_created: 2017-10-17T12:42:16Z
date_updated: 2022-01-06T07:00:54Z
department:
- _id: '75'
project:
- _id: '1'
  name: SFB 901
- _id: '6'
  name: SFB 901 - Subprojekt A2
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
title: Energy-Efficient Queuing with Delayed Deactivation
type: mastersthesis
user_id: '15504'
year: '2014'
...
---
_id: '433'
abstract:
- lang: eng
  text: Virtual FPGAs are overlay architectures realized on top of physical FPGAs.
    They are proposed to enhance or abstract away from the physical FPGA for experimenting
    with novel architectures and design tool flows. In this paper, we present an embedding
    of a ZUMA-based virtual FPGA fabric into a complete configurable system-on-chip.
    Such an embedding is required to fully harness the potential of virtual FPGAs,
    in particular to give the virtual circuits access to main memory and operating
    system services, and to enable a concurrent operation of virtualized and non-virtualized
    circuitry. We discuss our extension to ZUMA and its embedding into the ReconOS
    operating system for hardware/software systems. Furthermore, we present an open
    source tool flow to synthesize configurations for the virtual FPGA.
author:
- first_name: Tobias
  full_name: Wiersema, Tobias
  id: '3118'
  last_name: Wiersema
- first_name: Arne
  full_name: Bockhorn, Arne
  last_name: Bockhorn
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Wiersema T, Bockhorn A, Platzner M. Embedding FPGA Overlays into Configurable
    Systems-on-Chip: ReconOS meets ZUMA. In: <i>Proceedings of the International Conference
    on ReConFigurable Computing and FPGAs (ReConFig)</i>. ; 2014:1-6. doi:<a href="https://doi.org/10.1109/ReConFig.2014.7032514">10.1109/ReConFig.2014.7032514</a>'
  apa: 'Wiersema, T., Bockhorn, A., &#38; Platzner, M. (2014). Embedding FPGA Overlays
    into Configurable Systems-on-Chip: ReconOS meets ZUMA. In <i>Proceedings of the
    International Conference on ReConFigurable Computing and FPGAs (ReConFig)</i>
    (pp. 1–6). <a href="https://doi.org/10.1109/ReConFig.2014.7032514">https://doi.org/10.1109/ReConFig.2014.7032514</a>'
  bibtex: '@inproceedings{Wiersema_Bockhorn_Platzner_2014, title={Embedding FPGA Overlays
    into Configurable Systems-on-Chip: ReconOS meets ZUMA}, DOI={<a href="https://doi.org/10.1109/ReConFig.2014.7032514">10.1109/ReConFig.2014.7032514</a>},
    booktitle={Proceedings of the International Conference on ReConFigurable Computing
    and FPGAs (ReConFig)}, author={Wiersema, Tobias and Bockhorn, Arne and Platzner,
    Marco}, year={2014}, pages={1–6} }'
  chicago: 'Wiersema, Tobias, Arne Bockhorn, and Marco Platzner. “Embedding FPGA Overlays
    into Configurable Systems-on-Chip: ReconOS Meets ZUMA.” In <i>Proceedings of the
    International Conference on ReConFigurable Computing and FPGAs (ReConFig)</i>,
    1–6, 2014. <a href="https://doi.org/10.1109/ReConFig.2014.7032514">https://doi.org/10.1109/ReConFig.2014.7032514</a>.'
  ieee: 'T. Wiersema, A. Bockhorn, and M. Platzner, “Embedding FPGA Overlays into
    Configurable Systems-on-Chip: ReconOS meets ZUMA,” in <i>Proceedings of the International
    Conference on ReConFigurable Computing and FPGAs (ReConFig)</i>, 2014, pp. 1–6.'
  mla: 'Wiersema, Tobias, et al. “Embedding FPGA Overlays into Configurable Systems-on-Chip:
    ReconOS Meets ZUMA.” <i>Proceedings of the International Conference on ReConFigurable
    Computing and FPGAs (ReConFig)</i>, 2014, pp. 1–6, doi:<a href="https://doi.org/10.1109/ReConFig.2014.7032514">10.1109/ReConFig.2014.7032514</a>.'
  short: 'T. Wiersema, A. Bockhorn, M. Platzner, in: Proceedings of the International
    Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.'
date_created: 2017-10-17T12:42:16Z
date_updated: 2022-01-06T07:00:56Z
ddc:
- '040'
department:
- _id: '78'
doi: 10.1109/ReConFig.2014.7032514
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:30:58Z
  date_updated: 2018-03-16T11:30:58Z
  file_id: '1355'
  file_name: 433-wiersema14_reconfig_IEEE_approved.pdf
  file_size: 369333
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:30:58Z
has_accepted_license: '1'
language:
- iso: eng
page: '1-6 '
project:
- _id: '1'
  name: SFB 901
- _id: '12'
  name: SFB 901 - Subprojekt B4
- _id: '3'
  name: SFB 901 - Project Area B
publication: Proceedings of the International Conference on ReConFigurable Computing
  and FPGAs (ReConFig)
status: public
title: 'Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '435'
abstract:
- lang: eng
  text: We give a polynomial time algorithm to compute an optimal energy and fractional
    weighted flow trade-off schedule for a speed-scalable processor with discrete
    speeds.Our algorithm uses a geometric approach that is based on structural properties
    obtained from a primal-dual formulation of the problem.
author:
- first_name: Antonios
  full_name: Antoniadis, Antonios
  last_name: Antoniadis
- first_name: Neal
  full_name: Barcelo, Neal
  last_name: Barcelo
- first_name: Mario
  full_name: Consuegra, Mario
  last_name: Consuegra
- first_name: Peer
  full_name: Kling, Peer
  last_name: Kling
- first_name: Michael
  full_name: Nugent, Michael
  last_name: Nugent
- first_name: Kirk
  full_name: Pruhs, Kirk
  last_name: Pruhs
- first_name: Michele
  full_name: Scquizzato, Michele
  last_name: Scquizzato
citation:
  ama: 'Antoniadis A, Barcelo N, Consuegra M, et al. Efficient Computation of Optimal
    Energy and Fractional Weighted Flow Trade-off Schedules. In: <i>Proceedings of
    the 31st Symposium on Theoretical Aspects of Computer Science (STACS)</i>. LIPIcs.
    ; 2014:63--74. doi:<a href="https://doi.org/10.4230/LIPIcs.STACS.2014.63">10.4230/LIPIcs.STACS.2014.63</a>'
  apa: Antoniadis, A., Barcelo, N., Consuegra, M., Kling, P., Nugent, M., Pruhs, K.,
    &#38; Scquizzato, M. (2014). Efficient Computation of Optimal Energy and Fractional
    Weighted Flow Trade-off Schedules. In <i>Proceedings of the 31st Symposium on
    Theoretical Aspects of Computer Science (STACS)</i> (pp. 63--74). <a href="https://doi.org/10.4230/LIPIcs.STACS.2014.63">https://doi.org/10.4230/LIPIcs.STACS.2014.63</a>
  bibtex: '@inproceedings{Antoniadis_Barcelo_Consuegra_Kling_Nugent_Pruhs_Scquizzato_2014,
    series={LIPIcs}, title={Efficient Computation of Optimal Energy and Fractional
    Weighted Flow Trade-off Schedules}, DOI={<a href="https://doi.org/10.4230/LIPIcs.STACS.2014.63">10.4230/LIPIcs.STACS.2014.63</a>},
    booktitle={Proceedings of the 31st Symposium on Theoretical Aspects of Computer
    Science (STACS)}, author={Antoniadis, Antonios and Barcelo, Neal and Consuegra,
    Mario and Kling, Peer and Nugent, Michael and Pruhs, Kirk and Scquizzato, Michele},
    year={2014}, pages={63--74}, collection={LIPIcs} }'
  chicago: Antoniadis, Antonios, Neal Barcelo, Mario Consuegra, Peer Kling, Michael
    Nugent, Kirk Pruhs, and Michele Scquizzato. “Efficient Computation of Optimal
    Energy and Fractional Weighted Flow Trade-off Schedules.” In <i>Proceedings of
    the 31st Symposium on Theoretical Aspects of Computer Science (STACS)</i>, 63--74.
    LIPIcs, 2014. <a href="https://doi.org/10.4230/LIPIcs.STACS.2014.63">https://doi.org/10.4230/LIPIcs.STACS.2014.63</a>.
  ieee: A. Antoniadis <i>et al.</i>, “Efficient Computation of Optimal Energy and
    Fractional Weighted Flow Trade-off Schedules,” in <i>Proceedings of the 31st Symposium
    on Theoretical Aspects of Computer Science (STACS)</i>, 2014, pp. 63--74.
  mla: Antoniadis, Antonios, et al. “Efficient Computation of Optimal Energy and Fractional
    Weighted Flow Trade-off Schedules.” <i>Proceedings of the 31st Symposium on Theoretical
    Aspects of Computer Science (STACS)</i>, 2014, pp. 63--74, doi:<a href="https://doi.org/10.4230/LIPIcs.STACS.2014.63">10.4230/LIPIcs.STACS.2014.63</a>.
  short: 'A. Antoniadis, N. Barcelo, M. Consuegra, P. Kling, M. Nugent, K. Pruhs,
    M. Scquizzato, in: Proceedings of the 31st Symposium on Theoretical Aspects of
    Computer Science (STACS), 2014, pp. 63--74.'
date_created: 2017-10-17T12:42:16Z
date_updated: 2022-01-06T07:00:58Z
ddc:
- '040'
department:
- _id: '63'
doi: 10.4230/LIPIcs.STACS.2014.63
file:
- access_level: closed
  content_type: application/pdf
  creator: florida
  date_created: 2018-03-16T11:30:23Z
  date_updated: 2018-03-16T11:30:23Z
  file_id: '1354'
  file_name: 435-Kling_C2_STACS2014.pdf
  file_size: 525851
  relation: main_file
  success: 1
file_date_updated: 2018-03-16T11:30:23Z
has_accepted_license: '1'
language:
- iso: eng
page: 63--74
project:
- _id: '1'
  name: SFB 901
- _id: '16'
  name: SFB 901 - Subprojekt C4
- _id: '14'
  name: SFB 901 - Subproject C2
- _id: '4'
  name: SFB 901 - Project Area C
publication: Proceedings of the 31st Symposium on Theoretical Aspects of Computer
  Science (STACS)
series_title: LIPIcs
status: public
title: Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off
  Schedules
type: conference
user_id: '477'
year: '2014'
...
---
_id: '5189'
author:
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Siegfried
  full_name: Rasthofer, Siegfried
  last_name: Rasthofer
- first_name: Christian
  full_name: Fritz, Christian
  last_name: Fritz
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Alexandre
  full_name: Bartel, Alexandre
  last_name: Bartel
- first_name: Jacques
  full_name: Klein, Jacques
  last_name: Klein
- first_name: Yves
  full_name: Le Traon, Yves
  last_name: Le Traon
- first_name: Damien
  full_name: Octeau, Damien
  last_name: Octeau
- first_name: Patrick
  full_name: McDaniel, Patrick
  last_name: McDaniel
citation:
  ama: 'Arzt S, Rasthofer S, Fritz C, et al. FlowDroid: Precise Context, Flow, Field,
    Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps. In: <i>Proceedings
    of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
    - PLDI ’14</i>. ACM Press; 2014. doi:<a href="https://doi.org/10.1145/2594291.2594299">10.1145/2594291.2594299</a>'
  apa: 'Arzt, S., Rasthofer, S., Fritz, C., Bodden, E., Bartel, A., Klein, J., … McDaniel,
    P. (2014). FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
    Taint Analysis for Android Apps. In <i>Proceedings of the 35th ACM SIGPLAN Conference
    on Programming Language Design and Implementation - PLDI ’14</i>. ACM Press. <a
    href="https://doi.org/10.1145/2594291.2594299">https://doi.org/10.1145/2594291.2594299</a>'
  bibtex: '@inproceedings{Arzt_Rasthofer_Fritz_Bodden_Bartel_Klein_Le Traon_Octeau_McDaniel_2014,
    title={FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
    Taint Analysis for Android Apps}, DOI={<a href="https://doi.org/10.1145/2594291.2594299">10.1145/2594291.2594299</a>},
    booktitle={Proceedings of the 35th ACM SIGPLAN Conference on Programming Language
    Design and Implementation - PLDI ’14}, publisher={ACM Press}, author={Arzt, Steven
    and Rasthofer, Siegfried and Fritz, Christian and Bodden, Eric and Bartel, Alexandre
    and Klein, Jacques and Le Traon, Yves and Octeau, Damien and McDaniel, Patrick},
    year={2014} }'
  chicago: 'Arzt, Steven, Siegfried Rasthofer, Christian Fritz, Eric Bodden, Alexandre
    Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, and Patrick McDaniel. “FlowDroid:
    Precise Context, Flow, Field, Object-Sensitive and Lifecycle-Aware Taint Analysis
    for Android Apps.” In <i>Proceedings of the 35th ACM SIGPLAN Conference on Programming
    Language Design and Implementation - PLDI ’14</i>. ACM Press, 2014. <a href="https://doi.org/10.1145/2594291.2594299">https://doi.org/10.1145/2594291.2594299</a>.'
  ieee: 'S. Arzt <i>et al.</i>, “FlowDroid: Precise Context, Flow, Field, Object-sensitive
    and Lifecycle-aware Taint Analysis for Android Apps,” in <i>Proceedings of the
    35th ACM SIGPLAN Conference on Programming Language Design and Implementation
    - PLDI ’14</i>, 2014.'
  mla: 'Arzt, Steven, et al. “FlowDroid: Precise Context, Flow, Field, Object-Sensitive
    and Lifecycle-Aware Taint Analysis for Android Apps.” <i>Proceedings of the 35th
    ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI
    ’14</i>, ACM Press, 2014, doi:<a href="https://doi.org/10.1145/2594291.2594299">10.1145/2594291.2594299</a>.'
  short: 'S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon,
    D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on
    Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.'
date_created: 2018-10-31T10:55:28Z
date_updated: 2022-01-06T07:01:42Z
ddc:
- '000'
department:
- _id: '76'
doi: 10.1145/2594291.2594299
extern: '1'
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T13:59:33Z
  date_updated: 2018-11-02T13:59:33Z
  file_id: '5258'
  file_name: p259-arzt.pdf
  file_size: 406920
  relation: main_file
  success: 1
file_date_updated: 2018-11-02T13:59:33Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/far+14flowdroid.pdf
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language
  Design and Implementation - PLDI '14
publication_identifier:
  isbn:
  - '9781450327848'
publication_status: published
publisher: ACM Press
status: public
title: 'FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware
  Taint Analysis for Android Apps'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '5190'
author:
- first_name: Steven
  full_name: Arzt, Steven
  last_name: Arzt
- first_name: Siegfried
  full_name: Rasthofer, Siegfried
  last_name: Rasthofer
- first_name: Enrico
  full_name: Lovat, Enrico
  last_name: Lovat
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
citation:
  ama: 'Arzt S, Rasthofer S, Lovat E, Bodden E. DroidForce: Enforcing Complex, Data-Centric,
    System-Wide Policies in Android. In: <i>International Conference on Availability,
    Reliability and Security (ARES 2014)</i>. IEEE; 2014:40-49.'
  apa: 'Arzt, S., Rasthofer, S., Lovat, E., &#38; Bodden, E. (2014). DroidForce: Enforcing
    Complex, Data-Centric, System-Wide Policies in Android. In <i>International Conference
    on Availability, Reliability and Security (ARES 2014)</i> (pp. 40–49). IEEE.'
  bibtex: '@inproceedings{Arzt_Rasthofer_Lovat_Bodden_2014, title={DroidForce: Enforcing
    Complex, Data-Centric, System-Wide Policies in Android}, booktitle={International
    Conference on Availability, Reliability and Security (ARES 2014)}, publisher={IEEE},
    author={Arzt, Steven and Rasthofer, Siegfried and Lovat, Enrico and Bodden, Eric},
    year={2014}, pages={40–49} }'
  chicago: 'Arzt, Steven, Siegfried Rasthofer, Enrico Lovat, and Eric Bodden. “DroidForce:
    Enforcing Complex, Data-Centric, System-Wide Policies in Android.” In <i>International
    Conference on Availability, Reliability and Security (ARES 2014)</i>, 40–49. IEEE,
    2014.'
  ieee: 'S. Arzt, S. Rasthofer, E. Lovat, and E. Bodden, “DroidForce: Enforcing Complex,
    Data-Centric, System-Wide Policies in Android,” in <i>International Conference
    on Availability, Reliability and Security (ARES 2014)</i>, 2014, pp. 40–49.'
  mla: 'Arzt, Steven, et al. “DroidForce: Enforcing Complex, Data-Centric, System-Wide
    Policies in Android.” <i>International Conference on Availability, Reliability
    and Security (ARES 2014)</i>, IEEE, 2014, pp. 40–49.'
  short: 'S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference
    on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.'
date_created: 2018-10-31T11:04:43Z
date_updated: 2022-01-06T07:01:43Z
ddc:
- '004'
department:
- _id: '76'
extern: '1'
file:
- access_level: closed
  content_type: application/pdf
  creator: ups
  date_created: 2018-11-02T13:21:13Z
  date_updated: 2018-11-02T13:21:13Z
  file_id: '5247'
  file_name: ralb14droidforce.pdf
  file_size: 661565
  relation: main_file
file_date_updated: 2018-11-02T13:21:13Z
has_accepted_license: '1'
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/ralb14droidforce.pdf
page: 40-49
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '12'
  name: SFB 901 - Subproject B4
publication: International Conference on Availability, Reliability and Security (ARES
  2014)
publisher: IEEE
status: public
title: 'DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android'
type: conference
user_id: '477'
year: '2014'
...
---
_id: '6550'
author:
- first_name: Fabian
  full_name: Bause, Fabian
  last_name: Bause
- first_name: Jens
  full_name: Rautenberg, Jens
  last_name: Rautenberg
- first_name: Nadine
  full_name: Feldmann, Nadine
  id: '23082'
  last_name: Feldmann
- first_name: Leander
  full_name: Claes, Leander
  id: '11829'
  last_name: Claes
  orcid: 0000-0002-4393-268X
- first_name: Bernd
  full_name: Henning, Bernd
  id: '213'
  last_name: Henning
citation:
  ama: Bause F, Rautenberg J, Feldmann N, Claes L, Henning B. <i>Methoden zur Zeit-Frequenz-Analyse
    bei der Untersuchung dispersionsbehafteter Signale</i>. Vol 8. DEGA-Symposium,
    Bad Honnef; 2014.
  apa: Bause, F., Rautenberg, J., Feldmann, N., Claes, L., &#38; Henning, B. (2014).
    <i>Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter
    Signale</i> (Vol. 8). DEGA-Symposium, Bad Honnef.
  bibtex: '@book{Bause_Rautenberg_Feldmann_Claes_Henning_2014, place={DEGA-Symposium,
    Bad Honnef}, title={Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter
    Signale}, volume={8}, author={Bause, Fabian and Rautenberg, Jens and Feldmann,
    Nadine and Claes, Leander and Henning, Bernd}, year={2014} }'
  chicago: Bause, Fabian, Jens Rautenberg, Nadine Feldmann, Leander Claes, and Bernd
    Henning. <i>Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter
    Signale</i>. Vol. 8. DEGA-Symposium, Bad Honnef, 2014.
  ieee: F. Bause, J. Rautenberg, N. Feldmann, L. Claes, and B. Henning, <i>Methoden
    zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale</i>,
    vol. 8. DEGA-Symposium, Bad Honnef, 2014.
  mla: Bause, Fabian, et al. <i>Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung
    dispersionsbehafteter Signale</i>. Vol. 8, 2014.
  short: F. Bause, J. Rautenberg, N. Feldmann, L. Claes, B. Henning, Methoden zur
    Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter Signale, DEGA-Symposium,
    Bad Honnef, 2014.
date_created: 2019-01-09T14:36:55Z
date_updated: 2022-01-06T07:03:11Z
department:
- _id: '49'
intvolume: '         8'
language:
- iso: ger
place: DEGA-Symposium, Bad Honnef
project:
- _id: '87'
  grant_number: '222271124'
  name: Bestimmung komplexer akustischer Materialkenngrößen
status: public
title: Methoden zur Zeit-Frequenz-Analyse bei der Untersuchung dispersionsbehafteter
  Signale
type: misc
user_id: '11829'
volume: 8
year: '2014'
...
---
_id: '6574'
author:
- first_name: Sergei
  full_name: Olfert, Sergei
  last_name: Olfert
- first_name: Leander
  full_name: Claes, Leander
  id: '11829'
  last_name: Claes
  orcid: 0000-0002-4393-268X
- first_name: Bernd
  full_name: Henning, Bernd
  id: '213'
  last_name: Henning
citation:
  ama: 'Olfert S, Claes L, Henning B. Rekonstruktion der räumlichen Schallwechseldruckverteilung
    unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim
    Schlierenverfahren. In: <i>Fortschritte Der Akustik - DAGA 2014</i>. ; 2014:541-542.'
  apa: Olfert, S., Claes, L., &#38; Henning, B. (2014). Rekonstruktion der räumlichen
    Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer
    und akustischer Achsen beim Schlierenverfahren. In <i>Fortschritte der Akustik
    - DAGA 2014</i> (pp. 541–542).
  bibtex: '@inproceedings{Olfert_Claes_Henning_2014, title={Rekonstruktion der räumlichen
    Schallwechseldruckverteilung unter Berücksichtigung der Orthogonalität optischer
    und akustischer Achsen beim Schlierenverfahren}, booktitle={Fortschritte der Akustik
    - DAGA 2014}, author={Olfert, Sergei and Claes, Leander and Henning, Bernd}, year={2014},
    pages={541–542} }'
  chicago: Olfert, Sergei, Leander Claes, and Bernd Henning. “Rekonstruktion Der Räumlichen
    Schallwechseldruckverteilung Unter Berücksichtigung Der Orthogonalität Optischer
    Und Akustischer Achsen Beim Schlierenverfahren.” In <i>Fortschritte Der Akustik
    - DAGA 2014</i>, 541–42, 2014.
  ieee: S. Olfert, L. Claes, and B. Henning, “Rekonstruktion der räumlichen Schallwechseldruckverteilung
    unter Berücksichtigung der Orthogonalität optischer und akustischer Achsen beim
    Schlierenverfahren,” in <i>Fortschritte der Akustik - DAGA 2014</i>, 2014, pp.
    541–542.
  mla: Olfert, Sergei, et al. “Rekonstruktion Der Räumlichen Schallwechseldruckverteilung
    Unter Berücksichtigung Der Orthogonalität Optischer Und Akustischer Achsen Beim
    Schlierenverfahren.” <i>Fortschritte Der Akustik - DAGA 2014</i>, 2014, pp. 541–42.
  short: 'S. Olfert, L. Claes, B. Henning, in: Fortschritte Der Akustik - DAGA 2014,
    2014, pp. 541–542.'
date_created: 2019-01-09T14:37:24Z
date_updated: 2022-01-06T07:03:12Z
department:
- _id: '49'
language:
- iso: eng
page: 541-542
publication: Fortschritte der Akustik - DAGA 2014
status: public
title: Rekonstruktion der räumlichen Schallwechseldruckverteilung unter Berücksichtigung
  der Orthogonalität optischer und akustischer Achsen beim Schlierenverfahren
type: conference
user_id: '11829'
year: '2014'
...
---
_id: '6727'
author:
- first_name: Lorijn
  full_name: van Rooijen, Lorijn
  id: '58843'
  last_name: van Rooijen
citation:
  ama: van Rooijen L. <i>A Combinatorial Approach to the Separation Problem for Regular
    Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages
    Réguliers)</i>. University of Bordeaux, France; 2014.
  apa: van Rooijen, L. (2014). <i>A combinatorial approach to the separation problem
    for regular languages. (Une approche combinatoire du problème de séparation pour
    les langages réguliers)</i>. University of Bordeaux, France.
  bibtex: '@book{van Rooijen_2014, title={A combinatorial approach to the separation
    problem for regular languages. (Une approche combinatoire du problème de séparation
    pour les langages réguliers)}, publisher={University of Bordeaux, France}, author={van
    Rooijen, Lorijn}, year={2014} }'
  chicago: Rooijen, Lorijn van. <i>A Combinatorial Approach to the Separation Problem
    for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour
    Les Langages Réguliers)</i>. University of Bordeaux, France, 2014.
  ieee: L. van Rooijen, <i>A combinatorial approach to the separation problem for
    regular languages. (Une approche combinatoire du problème de séparation pour les
    langages réguliers)</i>. University of Bordeaux, France, 2014.
  mla: van Rooijen, Lorijn. <i>A Combinatorial Approach to the Separation Problem
    for Regular Languages. (Une Approche Combinatoire Du Problème de Séparation Pour
    Les Langages Réguliers)</i>. University of Bordeaux, France, 2014.
  short: L. van Rooijen, A Combinatorial Approach to the Separation Problem for Regular
    Languages. (Une Approche Combinatoire Du Problème de Séparation Pour Les Langages
    Réguliers), University of Bordeaux, France, 2014.
date_created: 2019-01-15T10:05:42Z
date_updated: 2022-01-06T07:03:17Z
department:
- _id: '66'
extern: '1'
language:
- iso: eng
publisher: University of Bordeaux, France
status: public
title: A combinatorial approach to the separation problem for regular languages. (Une
  approche combinatoire du problème de séparation pour les langages réguliers)
type: dissertation
user_id: '58843'
year: '2014'
...
---
_id: '6728'
author:
- first_name: Thomas
  full_name: Place, Thomas
  last_name: Place
- first_name: Lorijn
  full_name: van Rooijen, Lorijn
  id: '58843'
  last_name: van Rooijen
- first_name: Marc
  full_name: Zeitoun, Marc
  last_name: Zeitoun
citation:
  ama: Place T, van Rooijen L, Zeitoun M. On Separation by Locally Testable and Locally
    Threshold Testable Languages. <i>Logical Methods in Computer Science</i>. 2014;10(3).
    doi:<a href="https://doi.org/10.2168/lmcs-10(3:24)2014">10.2168/lmcs-10(3:24)2014</a>
  apa: Place, T., van Rooijen, L., &#38; Zeitoun, M. (2014). On Separation by Locally
    Testable and Locally Threshold Testable Languages. <i>Logical Methods in Computer
    Science</i>, <i>10</i>(3). <a href="https://doi.org/10.2168/lmcs-10(3:24)2014">https://doi.org/10.2168/lmcs-10(3:24)2014</a>
  bibtex: '@article{Place_van Rooijen_Zeitoun_2014, title={On Separation by Locally
    Testable and Locally Threshold Testable Languages}, volume={10}, DOI={<a href="https://doi.org/10.2168/lmcs-10(3:24)2014">10.2168/lmcs-10(3:24)2014</a>},
    number={3}, journal={Logical Methods in Computer Science}, publisher={Logical
    Methods in Computer Science e.V.}, author={Place, Thomas and van Rooijen, Lorijn
    and Zeitoun, Marc}, year={2014} }'
  chicago: Place, Thomas, Lorijn van Rooijen, and Marc Zeitoun. “On Separation by
    Locally Testable and Locally Threshold Testable Languages.” <i>Logical Methods
    in Computer Science</i> 10, no. 3 (2014). <a href="https://doi.org/10.2168/lmcs-10(3:24)2014">https://doi.org/10.2168/lmcs-10(3:24)2014</a>.
  ieee: T. Place, L. van Rooijen, and M. Zeitoun, “On Separation by Locally Testable
    and Locally Threshold Testable Languages,” <i>Logical Methods in Computer Science</i>,
    vol. 10, no. 3, 2014.
  mla: Place, Thomas, et al. “On Separation by Locally Testable and Locally Threshold
    Testable Languages.” <i>Logical Methods in Computer Science</i>, vol. 10, no.
    3, Logical Methods in Computer Science e.V., 2014, doi:<a href="https://doi.org/10.2168/lmcs-10(3:24)2014">10.2168/lmcs-10(3:24)2014</a>.
  short: T. Place, L. van Rooijen, M. Zeitoun, Logical Methods in Computer Science
    10 (2014).
date_created: 2019-01-15T10:07:47Z
date_updated: 2022-01-06T07:03:17Z
department:
- _id: '66'
doi: 10.2168/lmcs-10(3:24)2014
extern: '1'
intvolume: '        10'
issue: '3'
language:
- iso: eng
publication: Logical Methods in Computer Science
publication_identifier:
  issn:
  - 1860-5974
publication_status: published
publisher: Logical Methods in Computer Science e.V.
status: public
title: On Separation by Locally Testable and Locally Threshold Testable Languages
type: journal_article
user_id: '58843'
volume: 10
year: '2014'
...
---
_id: '6741'
author:
- first_name: Dennis
  full_name: Bokermann, Dennis
  id: '11308'
  last_name: Bokermann
- first_name: Christian
  full_name: Gerth, Christian
  last_name: Gerth
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Bokermann D, Gerth C, Engels G. Use Your Best Device! Enabling Device Changes
    at Runtime. In: <i>12th International Conference on Business Process Management
    (BPM 2014)</i>. Vol 8659. Lecture Notes in Computer Science. Springer International
    Publishing; 2014:357-365. doi:<a href="https://doi.org/10.1007/978-3-319-10172-9_23">10.1007/978-3-319-10172-9_23</a>'
  apa: Bokermann, D., Gerth, C., &#38; Engels, G. (2014). Use Your Best Device! Enabling
    Device Changes at Runtime. In <i>12th International Conference on Business Process
    Management (BPM 2014)</i> (Vol. 8659, pp. 357–365). Springer International Publishing.
    <a href="https://doi.org/10.1007/978-3-319-10172-9_23">https://doi.org/10.1007/978-3-319-10172-9_23</a>
  bibtex: '@inproceedings{Bokermann_Gerth_Engels_2014, series={Lecture Notes in Computer
    Science}, title={Use Your Best Device! Enabling Device Changes at Runtime}, volume={8659},
    DOI={<a href="https://doi.org/10.1007/978-3-319-10172-9_23">10.1007/978-3-319-10172-9_23</a>},
    booktitle={12th International Conference on Business Process Management (BPM 2014)},
    publisher={Springer International Publishing}, author={Bokermann, Dennis and Gerth,
    Christian and Engels, Gregor}, year={2014}, pages={357–365}, collection={Lecture
    Notes in Computer Science} }'
  chicago: Bokermann, Dennis, Christian Gerth, and Gregor Engels. “Use Your Best Device!
    Enabling Device Changes at Runtime.” In <i>12th International Conference on Business
    Process Management (BPM 2014)</i>, 8659:357–65. Lecture Notes in Computer Science.
    Springer International Publishing, 2014. <a href="https://doi.org/10.1007/978-3-319-10172-9_23">https://doi.org/10.1007/978-3-319-10172-9_23</a>.
  ieee: D. Bokermann, C. Gerth, and G. Engels, “Use Your Best Device! Enabling Device
    Changes at Runtime,” in <i>12th International Conference on Business Process Management
    (BPM 2014)</i>, 2014, vol. 8659, pp. 357–365.
  mla: Bokermann, Dennis, et al. “Use Your Best Device! Enabling Device Changes at
    Runtime.” <i>12th International Conference on Business Process Management (BPM
    2014)</i>, vol. 8659, Springer International Publishing, 2014, pp. 357–65, doi:<a
    href="https://doi.org/10.1007/978-3-319-10172-9_23">10.1007/978-3-319-10172-9_23</a>.
  short: 'D. Bokermann, C. Gerth, G. Engels, in: 12th International Conference on
    Business Process Management (BPM 2014), Springer International Publishing, 2014,
    pp. 357–365.'
date_created: 2019-01-15T14:49:31Z
date_updated: 2022-01-06T07:03:17Z
department:
- _id: '66'
doi: 10.1007/978-3-319-10172-9_23
intvolume: '      8659'
language:
- iso: eng
page: 357-365
publication: 12th International Conference on Business Process Management (BPM 2014)
publication_identifier:
  isbn:
  - '9783319101712'
  - '9783319101729'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer International Publishing
series_title: Lecture Notes in Computer Science
status: public
title: Use Your Best Device! Enabling Device Changes at Runtime
type: conference
user_id: '11308'
volume: 8659
year: '2014'
...
---
_id: '6927'
author:
- first_name: Yassin
  full_name: Bouyraaman, Yassin
  last_name: Bouyraaman
- first_name: Jörg
  full_name: Bendfeld, Jörg
  id: '16148'
  last_name: Bendfeld
- first_name: Stefan
  full_name: Krauter, Stefan
  id: '28836'
  last_name: Krauter
  orcid: 0000-0002-3594-260X
citation:
  ama: 'Bouyraaman Y, Bendfeld J, Krauter S. Integration of offshore wind energy into
    the grid system in Germany: Modelling of a market oriented energy provision. In:
    <i>14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies
    in Europe, Rome, Italy, October 28-31, 2014</i>. ; 2014.'
  apa: 'Bouyraaman, Y., Bendfeld, J., &#38; Krauter, S. (2014). Integration of offshore
    wind energy into the grid system in Germany: Modelling of a market oriented energy
    provision. In <i>14th IAEE European Energy Conference- Sustainable Energy Policy
    and Strategies in Europe, Rome, Italy, October 28-31, 2014</i>.'
  bibtex: '@inproceedings{Bouyraaman_Bendfeld_Krauter_2014, title={Integration of
    offshore wind energy into the grid system in Germany: Modelling of a market oriented
    energy provision}, booktitle={14th IAEE European Energy Conference- Sustainable
    Energy Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014}, author={Bouyraaman,
    Yassin and Bendfeld, Jörg and Krauter, Stefan}, year={2014} }'
  chicago: 'Bouyraaman, Yassin, Jörg Bendfeld, and Stefan Krauter. “Integration of
    Offshore Wind Energy into the Grid System in Germany: Modelling of a Market Oriented
    Energy Provision.” In <i>14th IAEE European Energy Conference- Sustainable Energy
    Policy and Strategies in Europe, Rome, Italy, October 28-31, 2014</i>, 2014.'
  ieee: 'Y. Bouyraaman, J. Bendfeld, and S. Krauter, “Integration of offshore wind
    energy into the grid system in Germany: Modelling of a market oriented energy
    provision,” in <i>14th IAEE European Energy Conference- Sustainable Energy Policy
    and Strategies in Europe, Rome, Italy, October 28-31, 2014</i>, 2014.'
  mla: 'Bouyraaman, Yassin, et al. “Integration of Offshore Wind Energy into the Grid
    System in Germany: Modelling of a Market Oriented Energy Provision.” <i>14th IAEE
    European Energy Conference- Sustainable Energy Policy and Strategies in Europe,
    Rome, Italy, October 28-31, 2014</i>, 2014.'
  short: 'Y. Bouyraaman, J. Bendfeld, S. Krauter, in: 14th IAEE European Energy Conference-
    Sustainable Energy Policy and Strategies in Europe, Rome, Italy, October 28-31,
    2014, 2014.'
conference:
  name: 14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies
    in Europe, Rome, Italy, October 28-31, 2014
date_created: 2019-01-21T10:11:42Z
date_updated: 2022-01-06T07:03:23Z
department:
- _id: '53'
language:
- iso: eng
publication: 14th IAEE European Energy Conference- Sustainable Energy Policy and Strategies
  in Europe, Rome, Italy, October 28-31, 2014
status: public
title: 'Integration of offshore wind energy into the grid system in Germany: Modelling
  of a market oriented energy provision'
type: conference
user_id: '16148'
year: '2014'
...
---
_id: '6928'
author:
- first_name: Yassin
  full_name: Bouyraaman, Yassin
  last_name: Bouyraaman
- first_name: Jörg
  full_name: Bendfeld, Jörg
  id: '16148'
  last_name: Bendfeld
- first_name: Stefan
  full_name: Krauter, Stefan
  id: '28836'
  last_name: Krauter
  orcid: 0000-0002-3594-260X
- first_name: P.
  full_name: Breymann, P.
  last_name: Breymann
citation:
  ama: 'Bouyraaman Y, Bendfeld J, Krauter S, Breymann P. Integration of wind energy
    in power systems: Modeling of a market-orientated energy concept. In: <i>Proceedings
    of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014
    </i>. ; 2014.'
  apa: 'Bouyraaman, Y., Bendfeld, J., Krauter, S., &#38; Breymann, P. (2014). Integration
    of wind energy in power systems: Modeling of a market-orientated energy concept.
    In <i>Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK),
    August 3-8, 2014 </i>.'
  bibtex: '@inproceedings{Bouyraaman_Bendfeld_Krauter_Breymann_2014, title={Integration
    of wind energy in power systems: Modeling of a market-orientated energy concept},
    booktitle={Proceedings of the World Renewable Energy Congress WREC XIII, London,
    (UK), August 3-8, 2014 }, author={Bouyraaman, Yassin and Bendfeld, Jörg and Krauter,
    Stefan and Breymann, P.}, year={2014} }'
  chicago: 'Bouyraaman, Yassin, Jörg Bendfeld, Stefan Krauter, and P. Breymann. “Integration
    of Wind Energy in Power Systems: Modeling of a Market-Orientated Energy Concept.”
    In <i>Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK),
    August 3-8, 2014 </i>, 2014.'
  ieee: 'Y. Bouyraaman, J. Bendfeld, S. Krauter, and P. Breymann, “Integration of
    wind energy in power systems: Modeling of a market-orientated energy concept,”
    in <i>Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK),
    August 3-8, 2014 </i>, 2014.'
  mla: 'Bouyraaman, Yassin, et al. “Integration of Wind Energy in Power Systems: Modeling
    of a Market-Orientated Energy Concept.” <i>Proceedings of the World Renewable
    Energy Congress WREC XIII, London, (UK), August 3-8, 2014 </i>, 2014.'
  short: 'Y. Bouyraaman, J. Bendfeld, S. Krauter, P. Breymann, in: Proceedings of
    the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014
    , 2014.'
conference:
  name: 'World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 '
date_created: 2019-01-21T10:13:18Z
date_updated: 2022-01-06T07:03:23Z
department:
- _id: '53'
language:
- iso: eng
publication: 'Proceedings of the World Renewable Energy Congress WREC XIII, London,
  (UK), August 3-8, 2014 '
status: public
title: 'Integration of wind energy in power systems: Modeling of a market-orientated
  energy concept'
type: conference
user_id: '16148'
year: '2014'
...