---
_id: '48306'
abstract:
- lang: eng
  text: <jats:p>The goal of argumentation mining, an evolving research field in computational
    linguistics, is to design methods capable of analyzing people's argumentation.
    In this article, we go beyond the state of the art in several ways. (i) We deal
    with actual Web data and take up the challenges given by the variety of registers,
    multiple domains, and unrestricted noisy user-generated Web discourse. (ii) We
    bridge the gap between normative argumentation theories and argumentation phenomena
    encountered in actual data by adapting an argumentation model tested in an extensive
    annotation study. (iii) We create a new gold standard corpus (90k tokens in 340
    documents) and experiment with several machine learning methods to identify argument
    components. We offer the data, source codes, and annotation guidelines to the
    community under free licenses. Our findings show that argumentation mining in
    user-generated Web discourse is a feasible but challenging task.</jats:p>
author:
- first_name: Ivan
  full_name: Habernal, Ivan
  id: '101881'
  last_name: Habernal
- first_name: Iryna
  full_name: Gurevych, Iryna
  last_name: Gurevych
citation:
  ama: Habernal I, Gurevych I. Argumentation Mining in User-Generated Web Discourse.
    <i>Computational Linguistics</i>. 2016;43(1):125-179. doi:<a href="https://doi.org/10.1162/coli_a_00276">10.1162/coli_a_00276</a>
  apa: Habernal, I., &#38; Gurevych, I. (2016). Argumentation Mining in User-Generated
    Web Discourse. <i>Computational Linguistics</i>, <i>43</i>(1), 125–179. <a href="https://doi.org/10.1162/coli_a_00276">https://doi.org/10.1162/coli_a_00276</a>
  bibtex: '@article{Habernal_Gurevych_2016, title={Argumentation Mining in User-Generated
    Web Discourse}, volume={43}, DOI={<a href="https://doi.org/10.1162/coli_a_00276">10.1162/coli_a_00276</a>},
    number={1}, journal={Computational Linguistics}, publisher={MIT Press}, author={Habernal,
    Ivan and Gurevych, Iryna}, year={2016}, pages={125–179} }'
  chicago: 'Habernal, Ivan, and Iryna Gurevych. “Argumentation Mining in User-Generated
    Web Discourse.” <i>Computational Linguistics</i> 43, no. 1 (2016): 125–79. <a
    href="https://doi.org/10.1162/coli_a_00276">https://doi.org/10.1162/coli_a_00276</a>.'
  ieee: 'I. Habernal and I. Gurevych, “Argumentation Mining in User-Generated Web
    Discourse,” <i>Computational Linguistics</i>, vol. 43, no. 1, pp. 125–179, 2016,
    doi: <a href="https://doi.org/10.1162/coli_a_00276">10.1162/coli_a_00276</a>.'
  mla: Habernal, Ivan, and Iryna Gurevych. “Argumentation Mining in User-Generated
    Web Discourse.” <i>Computational Linguistics</i>, vol. 43, no. 1, MIT Press, 2016,
    pp. 125–79, doi:<a href="https://doi.org/10.1162/coli_a_00276">10.1162/coli_a_00276</a>.
  short: I. Habernal, I. Gurevych, Computational Linguistics 43 (2016) 125–179.
date_created: 2023-10-19T08:30:44Z
date_updated: 2023-10-19T12:08:00Z
department:
- _id: '34'
- _id: '820'
doi: 10.1162/coli_a_00276
intvolume: '        43'
issue: '1'
keyword:
- Artificial Intelligence
- Computer Science Applications
- Linguistics and Language
- Language and Linguistics
language:
- iso: eng
page: 125-179
publication: Computational Linguistics
publication_identifier:
  issn:
  - 0891-2017
  - 1530-9312
publication_status: published
publisher: MIT Press
status: public
title: Argumentation Mining in User-Generated Web Discourse
type: journal_article
user_id: '15504'
volume: 43
year: '2016'
...
---
_id: '52747'
author:
- first_name: Stefan
  full_name: Borgwardt, Stefan
  last_name: Borgwardt
- first_name: Theofilos
  full_name: Mailis, Theofilos
  last_name: Mailis
- first_name: Rafael
  full_name: Peñaloza, Rafael
  last_name: Peñaloza
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  last_name: Turhan
citation:
  ama: Borgwardt S, Mailis T, Peñaloza R, Turhan A-Y. Answering Fuzzy Conjunctive
    Queries Over Finitely Valued Fuzzy Ontologies. <i>Journal on Data Semantics</i>.
    2016;5(2):55-75. doi:<a href="https://doi.org/10.1007/s13740-015-0055-y">10.1007/s13740-015-0055-y</a>
  apa: Borgwardt, S., Mailis, T., Peñaloza, R., &#38; Turhan, A.-Y. (2016). Answering
    Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. <i>Journal on
    Data Semantics</i>, <i>5</i>(2), 55–75. <a href="https://doi.org/10.1007/s13740-015-0055-y">https://doi.org/10.1007/s13740-015-0055-y</a>
  bibtex: '@article{Borgwardt_Mailis_Peñaloza_Turhan_2016, title={Answering Fuzzy
    Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}, volume={5}, DOI={<a
    href="https://doi.org/10.1007/s13740-015-0055-y">10.1007/s13740-015-0055-y</a>},
    number={2}, journal={Journal on Data Semantics}, publisher={Springer Science and
    Business Media LLC}, author={Borgwardt, Stefan and Mailis, Theofilos and Peñaloza,
    Rafael and Turhan, Anni-Yasmin}, year={2016}, pages={55–75} }'
  chicago: 'Borgwardt, Stefan, Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin
    Turhan. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.”
    <i>Journal on Data Semantics</i> 5, no. 2 (2016): 55–75. <a href="https://doi.org/10.1007/s13740-015-0055-y">https://doi.org/10.1007/s13740-015-0055-y</a>.'
  ieee: 'S. Borgwardt, T. Mailis, R. Peñaloza, and A.-Y. Turhan, “Answering Fuzzy
    Conjunctive Queries Over Finitely Valued Fuzzy Ontologies,” <i>Journal on Data
    Semantics</i>, vol. 5, no. 2, pp. 55–75, 2016, doi: <a href="https://doi.org/10.1007/s13740-015-0055-y">10.1007/s13740-015-0055-y</a>.'
  mla: Borgwardt, Stefan, et al. “Answering Fuzzy Conjunctive Queries Over Finitely
    Valued Fuzzy Ontologies.” <i>Journal on Data Semantics</i>, vol. 5, no. 2, Springer
    Science and Business Media LLC, 2016, pp. 55–75, doi:<a href="https://doi.org/10.1007/s13740-015-0055-y">10.1007/s13740-015-0055-y</a>.
  short: S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics
    5 (2016) 55–75.
date_created: 2024-03-25T08:10:54Z
date_updated: 2024-03-25T08:23:55Z
doi: 10.1007/s13740-015-0055-y
intvolume: '         5'
issue: '2'
keyword:
- Artificial Intelligence
- Computer Networks and Communications
- Information Systems
language:
- iso: eng
page: 55-75
publication: Journal on Data Semantics
publication_identifier:
  issn:
  - 1861-2032
  - 1861-2040
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
type: journal_article
user_id: '9503'
volume: 5
year: '2016'
...
---
_id: '52803'
author:
- first_name: Stefan
  full_name: Borgwardt, Stefan
  last_name: Borgwardt
- first_name: Theofilos
  full_name: Mailis, Theofilos
  last_name: Mailis
- first_name: Rafael
  full_name: Peñaloza, Rafael
  last_name: Peñaloza
- first_name: Anni-Yasmin
  full_name: Turhan, Anni-Yasmin
  id: '104470'
  last_name: Turhan
citation:
  ama: Borgwardt S, Mailis T, Peñaloza R, Turhan A-Y. Answering Fuzzy Conjunctive
    Queries Over Finitely Valued Fuzzy Ontologies. <i>Journal on Data Semantics</i>.
    2016;5(2):55-75. doi:<a href="https://doi.org/10.1007/s13740-015-0055-y">10.1007/s13740-015-0055-y</a>
  apa: Borgwardt, S., Mailis, T., Peñaloza, R., &#38; Turhan, A.-Y. (2016). Answering
    Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. <i>Journal on
    Data Semantics</i>, <i>5</i>(2), 55–75. <a href="https://doi.org/10.1007/s13740-015-0055-y">https://doi.org/10.1007/s13740-015-0055-y</a>
  bibtex: '@article{Borgwardt_Mailis_Peñaloza_Turhan_2016, title={Answering Fuzzy
    Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}, volume={5}, DOI={<a
    href="https://doi.org/10.1007/s13740-015-0055-y">10.1007/s13740-015-0055-y</a>},
    number={2}, journal={Journal on Data Semantics}, publisher={Springer Science and
    Business Media LLC}, author={Borgwardt, Stefan and Mailis, Theofilos and Peñaloza,
    Rafael and Turhan, Anni-Yasmin}, year={2016}, pages={55–75} }'
  chicago: 'Borgwardt, Stefan, Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin
    Turhan. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.”
    <i>Journal on Data Semantics</i> 5, no. 2 (2016): 55–75. <a href="https://doi.org/10.1007/s13740-015-0055-y">https://doi.org/10.1007/s13740-015-0055-y</a>.'
  ieee: 'S. Borgwardt, T. Mailis, R. Peñaloza, and A.-Y. Turhan, “Answering Fuzzy
    Conjunctive Queries Over Finitely Valued Fuzzy Ontologies,” <i>Journal on Data
    Semantics</i>, vol. 5, no. 2, pp. 55–75, 2016, doi: <a href="https://doi.org/10.1007/s13740-015-0055-y">10.1007/s13740-015-0055-y</a>.'
  mla: Borgwardt, Stefan, et al. “Answering Fuzzy Conjunctive Queries Over Finitely
    Valued Fuzzy Ontologies.” <i>Journal on Data Semantics</i>, vol. 5, no. 2, Springer
    Science and Business Media LLC, 2016, pp. 55–75, doi:<a href="https://doi.org/10.1007/s13740-015-0055-y">10.1007/s13740-015-0055-y</a>.
  short: S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics
    5 (2016) 55–75.
date_created: 2024-03-25T09:23:39Z
date_updated: 2024-03-25T13:50:33Z
department:
- _id: '888'
doi: 10.1007/s13740-015-0055-y
intvolume: '         5'
issue: '2'
keyword:
- Artificial Intelligence
- Computer Networks and Communications
- Information Systems
language:
- iso: eng
page: 55-75
publication: Journal on Data Semantics
publication_identifier:
  issn:
  - 1861-2032
  - 1861-2040
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
type: journal_article
user_id: '9503'
volume: 5
year: '2016'
...
---
_id: '41866'
author:
- first_name: Johannes A.
  full_name: Russer, Johannes A.
  last_name: Russer
- first_name: Nasir
  full_name: Uddin, Nasir
  last_name: Uddin
- first_name: Ahmed Sanaa
  full_name: Awny, Ahmed Sanaa
  last_name: Awny
- first_name: Andreas
  full_name: Thiede, Andreas
  id: '538'
  last_name: Thiede
- first_name: Peter
  full_name: Russer, Peter
  last_name: Russer
citation:
  ama: Russer JA, Uddin N, Awny AS, Thiede A, Russer P. Near-field measurement of
    stochastic electromagnetic fields. <i>IEEE Electromagnetic Compatibility Magazine</i>.
    2015;4(3):79-85. doi:<a href="https://doi.org/10.1109/memc.2015.7336761">10.1109/memc.2015.7336761</a>
  apa: Russer, J. A., Uddin, N., Awny, A. S., Thiede, A., &#38; Russer, P. (2015).
    Near-field measurement of stochastic electromagnetic fields. <i>IEEE Electromagnetic
    Compatibility Magazine</i>, <i>4</i>(3), 79–85. <a href="https://doi.org/10.1109/memc.2015.7336761">https://doi.org/10.1109/memc.2015.7336761</a>
  bibtex: '@article{Russer_Uddin_Awny_Thiede_Russer_2015, title={Near-field measurement
    of stochastic electromagnetic fields}, volume={4}, DOI={<a href="https://doi.org/10.1109/memc.2015.7336761">10.1109/memc.2015.7336761</a>},
    number={3}, journal={IEEE Electromagnetic Compatibility Magazine}, publisher={Institute
    of Electrical and Electronics Engineers (IEEE)}, author={Russer, Johannes A. and
    Uddin, Nasir and Awny, Ahmed Sanaa and Thiede, Andreas and Russer, Peter}, year={2015},
    pages={79–85} }'
  chicago: 'Russer, Johannes A., Nasir Uddin, Ahmed Sanaa Awny, Andreas Thiede, and
    Peter Russer. “Near-Field Measurement of Stochastic Electromagnetic Fields.” <i>IEEE
    Electromagnetic Compatibility Magazine</i> 4, no. 3 (2015): 79–85. <a href="https://doi.org/10.1109/memc.2015.7336761">https://doi.org/10.1109/memc.2015.7336761</a>.'
  ieee: 'J. A. Russer, N. Uddin, A. S. Awny, A. Thiede, and P. Russer, “Near-field
    measurement of stochastic electromagnetic fields,” <i>IEEE Electromagnetic Compatibility
    Magazine</i>, vol. 4, no. 3, pp. 79–85, 2015, doi: <a href="https://doi.org/10.1109/memc.2015.7336761">10.1109/memc.2015.7336761</a>.'
  mla: Russer, Johannes A., et al. “Near-Field Measurement of Stochastic Electromagnetic
    Fields.” <i>IEEE Electromagnetic Compatibility Magazine</i>, vol. 4, no. 3, Institute
    of Electrical and Electronics Engineers (IEEE), 2015, pp. 79–85, doi:<a href="https://doi.org/10.1109/memc.2015.7336761">10.1109/memc.2015.7336761</a>.
  short: J.A. Russer, N. Uddin, A.S. Awny, A. Thiede, P. Russer, IEEE Electromagnetic
    Compatibility Magazine 4 (2015) 79–85.
date_created: 2023-02-07T10:59:53Z
date_updated: 2023-02-07T11:00:56Z
department:
- _id: '51'
doi: 10.1109/memc.2015.7336761
intvolume: '         4'
issue: '3'
keyword:
- Electrical and Electronic Engineering
- Computer Networks and Communications
- Instrumentation
- Signal Processing
- Software
language:
- iso: eng
page: 79-85
publication: IEEE Electromagnetic Compatibility Magazine
publication_identifier:
  issn:
  - 2162-2264
  - 2162-2272
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: Near-field measurement of stochastic electromagnetic fields
type: journal_article
user_id: '77496'
volume: 4
year: '2015'
...
---
_id: '39479'
author:
- first_name: Fábio
  full_name: Vidor, Fábio
  last_name: Vidor
- first_name: Thorsten
  full_name: Meyers, Thorsten
  last_name: Meyers
- first_name: Ulrich
  full_name: Hilleringmann, Ulrich
  id: '20179'
  last_name: Hilleringmann
citation:
  ama: 'Vidor F, Meyers T, Hilleringmann U. Flexible Electronics: Integration Processes
    for Organic and Inorganic Semiconductor-Based Thin-Film Transistors. <i>Electronics</i>.
    2015;4(3):480-506. doi:<a href="https://doi.org/10.3390/electronics4030480">10.3390/electronics4030480</a>'
  apa: 'Vidor, F., Meyers, T., &#38; Hilleringmann, U. (2015). Flexible Electronics:
    Integration Processes for Organic and Inorganic Semiconductor-Based Thin-Film
    Transistors. <i>Electronics</i>, <i>4</i>(3), 480–506. <a href="https://doi.org/10.3390/electronics4030480">https://doi.org/10.3390/electronics4030480</a>'
  bibtex: '@article{Vidor_Meyers_Hilleringmann_2015, title={Flexible Electronics:
    Integration Processes for Organic and Inorganic Semiconductor-Based Thin-Film
    Transistors}, volume={4}, DOI={<a href="https://doi.org/10.3390/electronics4030480">10.3390/electronics4030480</a>},
    number={3}, journal={Electronics}, publisher={MDPI AG}, author={Vidor, Fábio and
    Meyers, Thorsten and Hilleringmann, Ulrich}, year={2015}, pages={480–506} }'
  chicago: 'Vidor, Fábio, Thorsten Meyers, and Ulrich Hilleringmann. “Flexible Electronics:
    Integration Processes for Organic and Inorganic Semiconductor-Based Thin-Film
    Transistors.” <i>Electronics</i> 4, no. 3 (2015): 480–506. <a href="https://doi.org/10.3390/electronics4030480">https://doi.org/10.3390/electronics4030480</a>.'
  ieee: 'F. Vidor, T. Meyers, and U. Hilleringmann, “Flexible Electronics: Integration
    Processes for Organic and Inorganic Semiconductor-Based Thin-Film Transistors,”
    <i>Electronics</i>, vol. 4, no. 3, pp. 480–506, 2015, doi: <a href="https://doi.org/10.3390/electronics4030480">10.3390/electronics4030480</a>.'
  mla: 'Vidor, Fábio, et al. “Flexible Electronics: Integration Processes for Organic
    and Inorganic Semiconductor-Based Thin-Film Transistors.” <i>Electronics</i>,
    vol. 4, no. 3, MDPI AG, 2015, pp. 480–506, doi:<a href="https://doi.org/10.3390/electronics4030480">10.3390/electronics4030480</a>.'
  short: F. Vidor, T. Meyers, U. Hilleringmann, Electronics 4 (2015) 480–506.
date_created: 2023-01-24T11:23:57Z
date_updated: 2023-03-21T10:16:23Z
department:
- _id: '59'
doi: 10.3390/electronics4030480
intvolume: '         4'
issue: '3'
keyword:
- Electrical and Electronic Engineering
- Computer Networks and Communications
- Hardware and Architecture
- Signal Processing
- Control and Systems Engineering
language:
- iso: eng
page: 480-506
publication: Electronics
publication_identifier:
  issn:
  - 2079-9292
publication_status: published
publisher: MDPI AG
status: public
title: 'Flexible Electronics: Integration Processes for Organic and Inorganic Semiconductor-Based
  Thin-Film Transistors'
type: journal_article
user_id: '20179'
volume: 4
year: '2015'
...
---
_id: '10674'
author:
- first_name: Nam
  full_name: Ho, Nam
  last_name: Ho
- first_name: Paul
  full_name: Kaufmann, Paul
  last_name: Kaufmann
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Ho N, Kaufmann P, Platzner M. A hardware/software infrastructure for performance
    monitoring on LEON3 multicore platforms. In: <i>24th Intl. Conf. on Field Programmable
    Logic and Applications (FPL)</i>. ; 2014:1-4. doi:<a href="https://doi.org/10.1109/FPL.2014.6927437">10.1109/FPL.2014.6927437</a>'
  apa: Ho, N., Kaufmann, P., &#38; Platzner, M. (2014). A hardware/software infrastructure
    for performance monitoring on LEON3 multicore platforms. In <i>24th Intl. Conf.
    on Field Programmable Logic and Applications (FPL)</i> (pp. 1–4). <a href="https://doi.org/10.1109/FPL.2014.6927437">https://doi.org/10.1109/FPL.2014.6927437</a>
  bibtex: '@inproceedings{Ho_Kaufmann_Platzner_2014, title={A hardware/software infrastructure
    for performance monitoring on LEON3 multicore platforms}, DOI={<a href="https://doi.org/10.1109/FPL.2014.6927437">10.1109/FPL.2014.6927437</a>},
    booktitle={24th Intl. Conf. on Field Programmable Logic and Applications (FPL)},
    author={Ho, Nam and Kaufmann, Paul and Platzner, Marco}, year={2014}, pages={1–4}
    }'
  chicago: Ho, Nam, Paul Kaufmann, and Marco Platzner. “A Hardware/Software Infrastructure
    for Performance Monitoring on LEON3 Multicore Platforms.” In <i>24th Intl. Conf.
    on Field Programmable Logic and Applications (FPL)</i>, 1–4, 2014. <a href="https://doi.org/10.1109/FPL.2014.6927437">https://doi.org/10.1109/FPL.2014.6927437</a>.
  ieee: N. Ho, P. Kaufmann, and M. Platzner, “A hardware/software infrastructure for
    performance monitoring on LEON3 multicore platforms,” in <i>24th Intl. Conf. on
    Field Programmable Logic and Applications (FPL)</i>, 2014, pp. 1–4.
  mla: Ho, Nam, et al. “A Hardware/Software Infrastructure for Performance Monitoring
    on LEON3 Multicore Platforms.” <i>24th Intl. Conf. on Field Programmable Logic
    and Applications (FPL)</i>, 2014, pp. 1–4, doi:<a href="https://doi.org/10.1109/FPL.2014.6927437">10.1109/FPL.2014.6927437</a>.
  short: 'N. Ho, P. Kaufmann, M. Platzner, in: 24th Intl. Conf. on Field Programmable
    Logic and Applications (FPL), 2014, pp. 1–4.'
date_created: 2019-07-10T11:18:01Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '78'
doi: 10.1109/FPL.2014.6927437
keyword:
- Linux
- hardware-software codesign
- multiprocessing systems
- parallel processing
- LEON3 multicore platform
- Linux kernel
- PMU
- hardware counters
- hardware-software infrastructure
- high performance embedded computing
- perf_event
- performance monitoring unit
- Computer architecture
- Hardware
- Monitoring
- Phasor measurement units
- Radiation detectors
- Registers
- Software
language:
- iso: eng
page: 1-4
project:
- _id: '31'
  grant_number: '257906'
  name: Engineering Proprioception in Computing Systems
publication: 24th Intl. Conf. on Field Programmable Logic and Applications (FPL)
status: public
title: A hardware/software infrastructure for performance monitoring on LEON3 multicore
  platforms
type: conference
user_id: '3118'
year: '2014'
...
---
_id: '46266'
author:
- first_name: Bijan
  full_name: Alizadeh, Bijan
  last_name: Alizadeh
- first_name: Payman
  full_name: Behnam, Payman
  last_name: Behnam
- first_name: Somayeh
  full_name: Sadeghi-Kohan, Somayeh
  id: '78614'
  last_name: Sadeghi-Kohan
  orcid: https://orcid.org/0000-0001-7246-0610
citation:
  ama: Alizadeh B, Behnam P, Sadeghi-Kohan S. A Scalable Formal Debugging Approach
    with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for
    RTL Datapath Designs. <i>IEEE Transactions on Computers</i>. Published online
    2014:1-1. doi:<a href="https://doi.org/10.1109/tc.2014.2329687">10.1109/tc.2014.2329687</a>
  apa: Alizadeh, B., Behnam, P., &#38; Sadeghi-Kohan, S. (2014). A Scalable Formal
    Debugging Approach with Auto-Correction Capability based on Static Slicing and
    Dynamic Ranking for RTL Datapath Designs. <i>IEEE Transactions on Computers</i>,
    1–1. <a href="https://doi.org/10.1109/tc.2014.2329687">https://doi.org/10.1109/tc.2014.2329687</a>
  bibtex: '@article{Alizadeh_Behnam_Sadeghi-Kohan_2014, title={A Scalable Formal Debugging
    Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking
    for RTL Datapath Designs}, DOI={<a href="https://doi.org/10.1109/tc.2014.2329687">10.1109/tc.2014.2329687</a>},
    journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and
    Electronics Engineers (IEEE)}, author={Alizadeh, Bijan and Behnam, Payman and
    Sadeghi-Kohan, Somayeh}, year={2014}, pages={1–1} }'
  chicago: Alizadeh, Bijan, Payman Behnam, and Somayeh Sadeghi-Kohan. “A Scalable
    Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing
    and Dynamic Ranking for RTL Datapath Designs.” <i>IEEE Transactions on Computers</i>,
    2014, 1–1. <a href="https://doi.org/10.1109/tc.2014.2329687">https://doi.org/10.1109/tc.2014.2329687</a>.
  ieee: 'B. Alizadeh, P. Behnam, and S. Sadeghi-Kohan, “A Scalable Formal Debugging
    Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking
    for RTL Datapath Designs,” <i>IEEE Transactions on Computers</i>, pp. 1–1, 2014,
    doi: <a href="https://doi.org/10.1109/tc.2014.2329687">10.1109/tc.2014.2329687</a>.'
  mla: Alizadeh, Bijan, et al. “A Scalable Formal Debugging Approach with Auto-Correction
    Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.”
    <i>IEEE Transactions on Computers</i>, Institute of Electrical and Electronics
    Engineers (IEEE), 2014, pp. 1–1, doi:<a href="https://doi.org/10.1109/tc.2014.2329687">10.1109/tc.2014.2329687</a>.
  short: B. Alizadeh, P. Behnam, S. Sadeghi-Kohan, IEEE Transactions on Computers
    (2014) 1–1.
date_created: 2023-08-02T11:15:22Z
date_updated: 2023-08-02T11:32:37Z
department:
- _id: '48'
doi: 10.1109/tc.2014.2329687
extern: '1'
keyword:
- Computational Theory and Mathematics
- Hardware and Architecture
- Theoretical Computer Science
- Software
language:
- iso: eng
page: 1-1
publication: IEEE Transactions on Computers
publication_identifier:
  issn:
  - 0018-9340
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: A Scalable Formal Debugging Approach with Auto-Correction Capability based
  on Static Slicing and Dynamic Ranking for RTL Datapath Designs
type: journal_article
user_id: '78614'
year: '2014'
...
---
_id: '39504'
author:
- first_name: F. F.
  full_name: Vidor, F. F.
  last_name: Vidor
- first_name: G.
  full_name: Wirth, G.
  last_name: Wirth
- first_name: F.
  full_name: Assion, F.
  last_name: Assion
- first_name: K.
  full_name: Wolff, K.
  last_name: Wolff
- first_name: Ulrich
  full_name: Hilleringmann, Ulrich
  id: '20179'
  last_name: Hilleringmann
citation:
  ama: Vidor FF, Wirth G, Assion F, Wolff K, Hilleringmann U. Characterization and
    Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor. <i>IEEE
    Transactions on Nanotechnology</i>. 2013;12(3):296-303. doi:<a href="https://doi.org/10.1109/tnano.2012.2236891">10.1109/tnano.2012.2236891</a>
  apa: Vidor, F. F., Wirth, G., Assion, F., Wolff, K., &#38; Hilleringmann, U. (2013).
    Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film
    Transistor. <i>IEEE Transactions on Nanotechnology</i>, <i>12</i>(3), 296–303.
    <a href="https://doi.org/10.1109/tnano.2012.2236891">https://doi.org/10.1109/tnano.2012.2236891</a>
  bibtex: '@article{Vidor_Wirth_Assion_Wolff_Hilleringmann_2013, title={Characterization
    and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor}, volume={12},
    DOI={<a href="https://doi.org/10.1109/tnano.2012.2236891">10.1109/tnano.2012.2236891</a>},
    number={3}, journal={IEEE Transactions on Nanotechnology}, publisher={Institute
    of Electrical and Electronics Engineers (IEEE)}, author={Vidor, F. F. and Wirth,
    G. and Assion, F. and Wolff, K. and Hilleringmann, Ulrich}, year={2013}, pages={296–303}
    }'
  chicago: 'Vidor, F. F., G. Wirth, F. Assion, K. Wolff, and Ulrich Hilleringmann.
    “Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film
    Transistor.” <i>IEEE Transactions on Nanotechnology</i> 12, no. 3 (2013): 296–303.
    <a href="https://doi.org/10.1109/tnano.2012.2236891">https://doi.org/10.1109/tnano.2012.2236891</a>.'
  ieee: 'F. F. Vidor, G. Wirth, F. Assion, K. Wolff, and U. Hilleringmann, “Characterization
    and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor,” <i>IEEE
    Transactions on Nanotechnology</i>, vol. 12, no. 3, pp. 296–303, 2013, doi: <a
    href="https://doi.org/10.1109/tnano.2012.2236891">10.1109/tnano.2012.2236891</a>.'
  mla: Vidor, F. F., et al. “Characterization and Analysis of the Hysteresis in a
    ZnO Nanoparticle Thin-Film Transistor.” <i>IEEE Transactions on Nanotechnology</i>,
    vol. 12, no. 3, Institute of Electrical and Electronics Engineers (IEEE), 2013,
    pp. 296–303, doi:<a href="https://doi.org/10.1109/tnano.2012.2236891">10.1109/tnano.2012.2236891</a>.
  short: F.F. Vidor, G. Wirth, F. Assion, K. Wolff, U. Hilleringmann, IEEE Transactions
    on Nanotechnology 12 (2013) 296–303.
date_created: 2023-01-24T11:46:28Z
date_updated: 2023-03-22T10:09:49Z
department:
- _id: '59'
doi: 10.1109/tnano.2012.2236891
intvolume: '        12'
issue: '3'
keyword:
- Electrical and Electronic Engineering
- Computer Science Applications
language:
- iso: eng
page: 296-303
publication: IEEE Transactions on Nanotechnology
publication_identifier:
  issn:
  - 1536-125X
  - 1941-0085
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film
  Transistor
type: journal_article
user_id: '20179'
volume: 12
year: '2013'
...
---
_id: '4706'
abstract:
- lang: eng
  text: Purpose – The purpose of this paper is to show how to employ complex event
    processing (CEP) for the observation and management of business processes. It
    proposes a conceptual architecture of BPM event producer, processor, and consumer
    and describes technical implications for the application with standard software
    in a perfect order scenario. Design/methodology/approach – The authors discuss
    business process analytics as the technological background. The capabilities of
    CEP in a BPM context are outlined an architecture design is proposed. A sophisticated
    proof-of-concept demonstrates its applicability. Findings – The results overcome
    the separation and data latency issues of process controlling, monitoring, and
    simulation. Distinct analyses of past, present, and future blur into a holistic
    real-time approach. The authors highlight the necessity for configurable event
    producer in BPM engines, process event support in CEP engines, a common process
    event format, connectors to visualizers, notifiers and return channels to the
    BPM engine. Research limitations/implications – Further research will thoroughly
    evaluate the approach in a variety of business settings. New concepts and standards
    for the architecture's building blocks will be needed to improve maintainability
    and operability. Practical implications – Managers learn how CEP can yield insights
    into business processes' operations. The paper illustrates a path to overcome
    inflexibility, latency, and missing feedback mechanisms of current process modeling
    and control solutions. Software vendors might be interested in the conceptualization
    and the described needs for further development. Originality/value – So far, there
    is no commercial CEP-based BPM solution which facilitates a round trip from insight
    to action as outlines. As major software vendors have begun developing solutions
    (BPM/BPA solutions), this paper will stimulate a debate between research and practice
    on suitable design and technology.
author:
- first_name: Christian
  full_name: Janiesch, Christian
  last_name: Janiesch
- first_name: Martin
  full_name: Matzner, Martin
  last_name: Matzner
- first_name: Oliver
  full_name: Müller, Oliver
  id: '72849'
  last_name: Müller
citation:
  ama: 'Janiesch C, Matzner M, Müller O. Beyond process monitoring: A proof-of-concept
    of event-driven business activity management. <i>Business Process Management Journal</i>.
    2012;(4):625--643. doi:<a href="https://doi.org/10.1108/14637151211253765">10.1108/14637151211253765</a>'
  apa: 'Janiesch, C., Matzner, M., &#38; Müller, O. (2012). Beyond process monitoring:
    A proof-of-concept of event-driven business activity management. <i>Business Process
    Management Journal</i>, (4), 625--643. <a href="https://doi.org/10.1108/14637151211253765">https://doi.org/10.1108/14637151211253765</a>'
  bibtex: '@article{Janiesch_Matzner_Müller_2012, title={Beyond process monitoring:
    A proof-of-concept of event-driven business activity management}, DOI={<a href="https://doi.org/10.1108/14637151211253765">10.1108/14637151211253765</a>},
    number={4}, journal={Business Process Management Journal}, author={Janiesch, Christian
    and Matzner, Martin and Müller, Oliver}, year={2012}, pages={625--643} }'
  chicago: 'Janiesch, Christian, Martin Matzner, and Oliver Müller. “Beyond Process
    Monitoring: A Proof-of-Concept of Event-Driven Business Activity Management.”
    <i>Business Process Management Journal</i>, no. 4 (2012): 625--643. <a href="https://doi.org/10.1108/14637151211253765">https://doi.org/10.1108/14637151211253765</a>.'
  ieee: 'C. Janiesch, M. Matzner, and O. Müller, “Beyond process monitoring: A proof-of-concept
    of event-driven business activity management,” <i>Business Process Management
    Journal</i>, no. 4, pp. 625--643, 2012.'
  mla: 'Janiesch, Christian, et al. “Beyond Process Monitoring: A Proof-of-Concept
    of Event-Driven Business Activity Management.” <i>Business Process Management
    Journal</i>, no. 4, 2012, pp. 625--643, doi:<a href="https://doi.org/10.1108/14637151211253765">10.1108/14637151211253765</a>.'
  short: C. Janiesch, M. Matzner, O. Müller, Business Process Management Journal (2012)
    625--643.
date_created: 2018-10-12T08:36:51Z
date_updated: 2022-01-06T07:01:19Z
doi: 10.1108/14637151211253765
extern: '1'
issue: '4'
keyword:
- Architecture
- Business activity monitoring
- Business process management
- Business process re-engineering
- Complex event processing
- Computer software
- Standard software
page: 625--643
publication: Business Process Management Journal
publication_identifier:
  isbn:
  - '1020120096'
  issn:
  - '14637154'
status: public
title: 'Beyond process monitoring: A proof-of-concept of event-driven business activity
  management'
type: journal_article
user_id: '72849'
year: '2012'
...
---
_id: '17236'
abstract:
- lang: eng
  text: 'The behavior for a humanoid robot is often modeled in accordance with human
    behavior. Current research suggests that analyzing infant behavior as a basis
    for designing the robot behavior can guide us to a natural robot interface. Based
    on this idea many researchers support saliency systems as a bottom-up inspired
    way to simulate infant-like gazing behavior. In the field of saliency systems
    many different approaches have proposed and quantified in terms of speed, quality
    and other technical issues. But so far, no one compared and quantified them in
    terms of natural infant tutor interaction. The question we would like to address
    in this paper is: Can state-of-the-art saliency systems model infant gazing behavior
    in tutoring situations? By addressing these issues we want to take a step towards
    an autonomous robot system, which could be used more natural interaction experiments
    in future.'
author:
- first_name: Vikram
  full_name: Narayan, Vikram
  last_name: Narayan
- first_name: Katrin Solveig
  full_name: Lohan, Katrin Solveig
  last_name: Lohan
- first_name: Marko
  full_name: Tscherepanow, Marko
  last_name: Tscherepanow
- first_name: Katharina
  full_name: Rohlfing, Katharina
  id: '50352'
  last_name: Rohlfing
- first_name: Britta
  full_name: Wrede, Britta
  last_name: Wrede
citation:
  ama: Narayan V, Lohan KS, Tscherepanow M, Rohlfing K, Wrede B. Can state-of-the-art
    saliency systems model infant gazing behavior in tutoring situations? <i>Frontiers
    in Computational Neuroscience</i>. 2011;5(35). doi:<a href="https://doi.org/10.3389/conf.fncom.2011.52.00035">10.3389/conf.fncom.2011.52.00035</a>
  apa: Narayan, V., Lohan, K. S., Tscherepanow, M., Rohlfing, K., &#38; Wrede, B.
    (2011). Can state-of-the-art saliency systems model infant gazing behavior in
    tutoring situations? <i>Frontiers in Computational Neuroscience</i>, <i>5</i>(35).
    <a href="https://doi.org/10.3389/conf.fncom.2011.52.00035">https://doi.org/10.3389/conf.fncom.2011.52.00035</a>
  bibtex: '@article{Narayan_Lohan_Tscherepanow_Rohlfing_Wrede_2011, title={Can state-of-the-art
    saliency systems model infant gazing behavior in tutoring situations?}, volume={5},
    DOI={<a href="https://doi.org/10.3389/conf.fncom.2011.52.00035">10.3389/conf.fncom.2011.52.00035</a>},
    number={35}, journal={Frontiers in Computational Neuroscience}, publisher={Frontiers
    Media SA}, author={Narayan, Vikram and Lohan, Katrin Solveig and Tscherepanow,
    Marko and Rohlfing, Katharina and Wrede, Britta}, year={2011} }'
  chicago: Narayan, Vikram, Katrin Solveig Lohan, Marko Tscherepanow, Katharina Rohlfing,
    and Britta Wrede. “Can State-of-the-Art Saliency Systems Model Infant Gazing Behavior
    in Tutoring Situations?” <i>Frontiers in Computational Neuroscience</i> 5, no.
    35 (2011). <a href="https://doi.org/10.3389/conf.fncom.2011.52.00035">https://doi.org/10.3389/conf.fncom.2011.52.00035</a>.
  ieee: 'V. Narayan, K. S. Lohan, M. Tscherepanow, K. Rohlfing, and B. Wrede, “Can
    state-of-the-art saliency systems model infant gazing behavior in tutoring situations?,”
    <i>Frontiers in Computational Neuroscience</i>, vol. 5, no. 35, 2011, doi: <a
    href="https://doi.org/10.3389/conf.fncom.2011.52.00035">10.3389/conf.fncom.2011.52.00035</a>.'
  mla: Narayan, Vikram, et al. “Can State-of-the-Art Saliency Systems Model Infant
    Gazing Behavior in Tutoring Situations?” <i>Frontiers in Computational Neuroscience</i>,
    vol. 5, no. 35, Frontiers Media SA, 2011, doi:<a href="https://doi.org/10.3389/conf.fncom.2011.52.00035">10.3389/conf.fncom.2011.52.00035</a>.
  short: V. Narayan, K.S. Lohan, M. Tscherepanow, K. Rohlfing, B. Wrede, Frontiers
    in Computational Neuroscience 5 (2011).
date_created: 2020-06-24T13:02:00Z
date_updated: 2023-02-01T12:57:14Z
department:
- _id: '749'
doi: 10.3389/conf.fncom.2011.52.00035
intvolume: '         5'
issue: '35'
keyword:
- child gazing behavior
- computer vision
- saliency
- development
language:
- iso: eng
publication: Frontiers in Computational Neuroscience
publication_identifier:
  issn:
  - 1662-5188
publisher: Frontiers Media SA
status: public
title: Can state-of-the-art saliency systems model infant gazing behavior in tutoring
  situations?
type: journal_article
user_id: '14931'
volume: 5
year: '2011'
...
---
_id: '37011'
abstract:
- lang: eng
  text: Safety-critical automotive systems must fulfill hard real-time constraints
    for reliability and safety. This paper presents a case study for the application
    of an AUTOSAR-based language for timing modeling and analysis. We present and
    apply the Timing Augmented Description Language (TADL) and demonstrate a methodology
    for the development of a speed-adaptive steer-by-wire system. We examine the impact
    of TADL and the methodology on the development process and the suitability and
    interoperability of the applied tools with respect to the AUTOSAR-based tool chain
    in the context of our case study.
author:
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Andre
  full_name: Thuy, Andre
  last_name: Thuy
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for
    AUTOSAR-Based Software Development - A Case Study. In: <i>Proceedings of DATE’10,
    Dresden</i>. IEEE; 2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5457125">10.1109/DATE.2010.5457125</a>'
  apa: Klobedanz, K., Kuznik, C., Thuy, A., &#38; Müller, W. (2010). Timing Modeling
    and Analysis for AUTOSAR-Based Software Development - A Case Study. <i>Proceedings
    of DATE’10, Dresden</i>. 2010 Design, Automation &#38; Test in Europe Conference
    &#38; Exhibition (DATE 2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5457125">https://doi.org/10.1109/DATE.2010.5457125</a>
  bibtex: '@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing
    Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study},
    DOI={<a href="https://doi.org/10.1109/DATE.2010.5457125">10.1109/DATE.2010.5457125</a>},
    booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz,
    Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }'
  chicago: 'Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing
    Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.”
    In <i>Proceedings of DATE’10, Dresden</i>. Dresden: IEEE, 2010. <a href="https://doi.org/10.1109/DATE.2010.5457125">https://doi.org/10.1109/DATE.2010.5457125</a>.'
  ieee: 'K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis
    for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010
    Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010),
    Dresden, 2010, doi: <a href="https://doi.org/10.1109/DATE.2010.5457125">10.1109/DATE.2010.5457125</a>.'
  mla: Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software
    Development - A Case Study.” <i>Proceedings of DATE’10, Dresden</i>, IEEE, 2010,
    doi:<a href="https://doi.org/10.1109/DATE.2010.5457125">10.1109/DATE.2010.5457125</a>.
  short: 'K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10,
    Dresden, IEEE, Dresden, 2010.'
conference:
  location: Dresden
  name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:19:36Z
date_updated: 2023-01-17T09:19:46Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457125
keyword:
- Timing
- Programming
- Automotive engineering
- Application software
- Hardware
- Computer architecture
- Communication system software
- Software architecture
- Delay
- Software standards
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10, Dresden
publisher: IEEE
status: public
title: Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case
  Study
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '43503'
author:
- first_name: Claus
  full_name: Kröger, Claus
  last_name: Kröger
- first_name: Joachim
  full_name: Böcker, Joachim
  id: '66'
  last_name: Böcker
  orcid: 0000-0002-8480-7295
- first_name: Konstantin
  full_name: Neiß, Konstantin
  last_name: Neiß
citation:
  ama: Kröger C, Böcker J, Neiß K. Elektromobilität — ein aktuelles Forschungsfeld
    insbesondere der Regelungstechnik. <i>at - Automatisierungstechnik</i>. 2010;58(10):542-545.
    doi:<a href="https://doi.org/10.1524/auto.2010.9082">10.1524/auto.2010.9082</a>
  apa: Kröger, C., Böcker, J., &#38; Neiß, K. (2010). Elektromobilität — ein aktuelles
    Forschungsfeld insbesondere der Regelungstechnik. <i>at - Automatisierungstechnik</i>,
    <i>58</i>(10), 542–545. <a href="https://doi.org/10.1524/auto.2010.9082">https://doi.org/10.1524/auto.2010.9082</a>
  bibtex: '@article{Kröger_Böcker_Neiß_2010, title={Elektromobilität — ein aktuelles
    Forschungsfeld insbesondere der Regelungstechnik}, volume={58}, DOI={<a href="https://doi.org/10.1524/auto.2010.9082">10.1524/auto.2010.9082</a>},
    number={10}, journal={at - Automatisierungstechnik}, publisher={Walter de Gruyter
    GmbH}, author={Kröger, Claus and Böcker, Joachim and Neiß, Konstantin}, year={2010},
    pages={542–545} }'
  chicago: 'Kröger, Claus, Joachim Böcker, and Konstantin Neiß. “Elektromobilität
    — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik.” <i>at - Automatisierungstechnik</i>
    58, no. 10 (2010): 542–45. <a href="https://doi.org/10.1524/auto.2010.9082">https://doi.org/10.1524/auto.2010.9082</a>.'
  ieee: 'C. Kröger, J. Böcker, and K. Neiß, “Elektromobilität — ein aktuelles Forschungsfeld
    insbesondere der Regelungstechnik,” <i>at - Automatisierungstechnik</i>, vol.
    58, no. 10, pp. 542–545, 2010, doi: <a href="https://doi.org/10.1524/auto.2010.9082">10.1524/auto.2010.9082</a>.'
  mla: Kröger, Claus, et al. “Elektromobilität — ein aktuelles Forschungsfeld insbesondere
    der Regelungstechnik.” <i>at - Automatisierungstechnik</i>, vol. 58, no. 10, Walter
    de Gruyter GmbH, 2010, pp. 542–45, doi:<a href="https://doi.org/10.1524/auto.2010.9082">10.1524/auto.2010.9082</a>.
  short: C. Kröger, J. Böcker, K. Neiß, at - Automatisierungstechnik 58 (2010) 542–545.
date_created: 2023-04-14T07:27:54Z
date_updated: 2023-04-14T07:33:35Z
department:
- _id: '52'
doi: 10.1524/auto.2010.9082
intvolume: '        58'
issue: '10'
keyword:
- Electrical and Electronic Engineering
- Computer Science Applications
- Control and Systems Engineering
language:
- iso: ger
page: 542-545
publication: at - Automatisierungstechnik
publication_identifier:
  issn:
  - 0178-2312
publication_status: published
publisher: Walter de Gruyter GmbH
status: public
title: Elektromobilität — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik
type: journal_article
user_id: '66'
volume: 58
year: '2010'
...
---
_id: '42803'
abstract:
- lang: eng
  text: We provide algorithms to count and enumerate representatives of the (right)
    ideal classes of an Eichler order in a quaternion algebra defined over a number
    field. We analyze the run time of these algorithms and consider several related
    problems, including the computation of two-sided ideal classes, isomorphism classes
    of orders, connecting ideals for orders, and ideal principalization. We conclude
    by giving the complete list of definite Eichler orders with class number at most
    2.
author:
- first_name: Markus
  full_name: Kirschmer, Markus
  id: '82258'
  last_name: Kirschmer
- first_name: John
  full_name: Voight, John
  last_name: Voight
citation:
  ama: Kirschmer M, Voight J. Algorithmic Enumeration of Ideal Classes for Quaternion
    Orders. <i>SIAM Journal on Computing</i>. 2010;39(5):1714-1747. doi:<a href="https://doi.org/10.1137/080734467">10.1137/080734467</a>
  apa: Kirschmer, M., &#38; Voight, J. (2010). Algorithmic Enumeration of Ideal Classes
    for Quaternion Orders. <i>SIAM Journal on Computing</i>, <i>39</i>(5), 1714–1747.
    <a href="https://doi.org/10.1137/080734467">https://doi.org/10.1137/080734467</a>
  bibtex: '@article{Kirschmer_Voight_2010, title={Algorithmic Enumeration of Ideal
    Classes for Quaternion Orders}, volume={39}, DOI={<a href="https://doi.org/10.1137/080734467">10.1137/080734467</a>},
    number={5}, journal={SIAM Journal on Computing}, publisher={Society for Industrial
    &#38; Applied Mathematics (SIAM)}, author={Kirschmer, Markus and Voight, John},
    year={2010}, pages={1714–1747} }'
  chicago: 'Kirschmer, Markus, and John Voight. “Algorithmic Enumeration of Ideal
    Classes for Quaternion Orders.” <i>SIAM Journal on Computing</i> 39, no. 5 (2010):
    1714–47. <a href="https://doi.org/10.1137/080734467">https://doi.org/10.1137/080734467</a>.'
  ieee: 'M. Kirschmer and J. Voight, “Algorithmic Enumeration of Ideal Classes for
    Quaternion Orders,” <i>SIAM Journal on Computing</i>, vol. 39, no. 5, pp. 1714–1747,
    2010, doi: <a href="https://doi.org/10.1137/080734467">10.1137/080734467</a>.'
  mla: Kirschmer, Markus, and John Voight. “Algorithmic Enumeration of Ideal Classes
    for Quaternion Orders.” <i>SIAM Journal on Computing</i>, vol. 39, no. 5, Society
    for Industrial &#38; Applied Mathematics (SIAM), 2010, pp. 1714–47, doi:<a href="https://doi.org/10.1137/080734467">10.1137/080734467</a>.
  short: M. Kirschmer, J. Voight, SIAM Journal on Computing 39 (2010) 1714–1747.
date_created: 2023-03-07T08:49:35Z
date_updated: 2023-04-04T09:25:08Z
department:
- _id: '102'
doi: 10.1137/080734467
extern: '1'
intvolume: '        39'
issue: '5'
keyword:
- General Mathematics
- General Computer Science
language:
- iso: eng
page: 1714-1747
publication: SIAM Journal on Computing
publication_identifier:
  issn:
  - 0097-5397
  - 1095-7111
publication_status: published
publisher: Society for Industrial & Applied Mathematics (SIAM)
status: public
title: Algorithmic Enumeration of Ideal Classes for Quaternion Orders
type: journal_article
user_id: '93826'
volume: 39
year: '2010'
...
---
_id: '17272'
abstract:
- lang: eng
  text: In developmental research, tutoring behavior has been identified as scaffolding
    infants' learning processes. It has been defined in terms of child-directed speech
    (Motherese), child-directed motion (Motionese), and contingency. In the field
    of developmental robotics, research often assumes that in human-robot interaction
    (HRI), robots are treated similar to infants, because their immature cognitive
    capabilities benefit from this behavior. However, according to our knowledge,
    it has barely been studied whether this is true and how exactly humans alter their
    behavior towards a robotic interaction partner. In this paper, we present results
    concerning the acceptance of a robotic agent in a social learning scenario obtained
    via comparison to adults and 8-11 months old infants in equal conditions. These
    results constitute an important empirical basis for making use of tutoring behavior
    in social robotics. In our study, we performed a detailed multimodal analysis
    of HRI in a tutoring situation using the example of a robot simulation equipped
    with a bottom-up saliency-based attention model. Our results reveal significant
    differences in hand movement velocity, motion pauses, range of motion, and eye
    gaze suggesting that for example adults decrease their hand movement velocity
    in an Adult-Child Interaction (ACI), opposed to an Adult-Adult Interaction (AAI)
    and this decrease is even higher in the Adult-Robot Interaction (ARI). We also
    found important differences between ACI and ARI in how the behavior is modified
    over time as the interaction unfolds. These findings indicate the necessity of
    integrating top-down feedback structures into a bottom-up system for robots to
    be fully accepted as interaction partners.
author:
- first_name: Anna-Lisa
  full_name: Vollmer, Anna-Lisa
  last_name: Vollmer
- first_name: Katrin Solveig
  full_name: Lohan, Katrin Solveig
  last_name: Lohan
- first_name: Kerstin
  full_name: Fischer, Kerstin
  last_name: Fischer
- first_name: Yukie
  full_name: Nagai, Yukie
  last_name: Nagai
- first_name: Karola
  full_name: Pitsch, Karola
  last_name: Pitsch
- first_name: Jannik
  full_name: Fritsch, Jannik
  last_name: Fritsch
- first_name: Katharina
  full_name: Rohlfing, Katharina
  id: '50352'
  last_name: Rohlfing
- first_name: Britta
  full_name: Wrede, Britta
  last_name: Wrede
citation:
  ama: 'Vollmer A-L, Lohan KS, Fischer K, et al. People modify their tutoring behavior
    in robot-directed interaction for action learning. In: <i>Development and Learning,
    2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>.
    IEEE; 2009:1-6. doi:<a href="https://doi.org/10.1109/DEVLRN.2009.5175516">10.1109/DEVLRN.2009.5175516</a>'
  apa: Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch,
    J., Rohlfing, K., &#38; Wrede, B. (2009). People modify their tutoring behavior
    in robot-directed interaction for action learning. <i>Development and Learning,
    2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>,
    1–6. <a href="https://doi.org/10.1109/DEVLRN.2009.5175516">https://doi.org/10.1109/DEVLRN.2009.5175516</a>
  bibtex: '@inproceedings{Vollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009,
    title={People modify their tutoring behavior in robot-directed interaction for
    action learning}, DOI={<a href="https://doi.org/10.1109/DEVLRN.2009.5175516">10.1109/DEVLRN.2009.5175516</a>},
    booktitle={Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
    on Development and Learning}, publisher={IEEE}, author={Vollmer, Anna-Lisa and
    Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola
    and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}, year={2009}, pages={1–6}
    }'
  chicago: Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai,
    Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “People Modify
    Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” In
    <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
    on Development and Learning</i>, 1–6. IEEE, 2009. <a href="https://doi.org/10.1109/DEVLRN.2009.5175516">https://doi.org/10.1109/DEVLRN.2009.5175516</a>.
  ieee: 'A.-L. Vollmer <i>et al.</i>, “People modify their tutoring behavior in robot-directed
    interaction for action learning,” in <i>Development and Learning, 2009. ICDL 2009.
    IEEE 8th International Conference on Development and Learning</i>, 2009, pp. 1–6,
    doi: <a href="https://doi.org/10.1109/DEVLRN.2009.5175516">10.1109/DEVLRN.2009.5175516</a>.'
  mla: Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed
    Interaction for Action Learning.” <i>Development and Learning, 2009. ICDL 2009.
    IEEE 8th International Conference on Development and Learning</i>, IEEE, 2009,
    pp. 1–6, doi:<a href="https://doi.org/10.1109/DEVLRN.2009.5175516">10.1109/DEVLRN.2009.5175516</a>.
  short: 'A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch,
    K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th
    International Conference on Development and Learning, IEEE, 2009, pp. 1–6.'
date_created: 2020-06-24T13:02:43Z
date_updated: 2023-02-01T13:06:43Z
department:
- _id: '749'
doi: 10.1109/DEVLRN.2009.5175516
keyword:
- robot simulation
- hand movement velocity
- robotic interaction partner
- robotic agent
- robot-directed interaction
- multimodal analysis
- Motionese
- Motherese
- intelligent tutoring systems
- immature cognitive capability
- human computer interaction
- eye gaze
- child-directed speech
- child-directed motion
- bottom-up system
- bottom-up saliency-based attention model
- adult-robot interaction
- adult-child interaction
- adult-adult interaction
- human-robot interaction
- action learning
- social learning scenario
- social robotics
- software agents
- top-down feedback structures
- tutoring behavior
language:
- iso: eng
page: 1-6
publication: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
  on Development and Learning
publisher: IEEE
status: public
title: People modify their tutoring behavior in robot-directed interaction for action
  learning
type: conference
user_id: '14931'
year: '2009'
...
---
_id: '2262'
abstract:
- lang: eng
  text: 'In this work we present EvoCache, a novel approach for implementing application-specific
    caches. The key innovation of EvoCache is to make the function that maps memory
    addresses from the CPU address space to cache indices programmable. We support
    arbitrary Boolean mapping functions that are implemented within a small reconfigurable
    logic fabric. For finding suitable cache mapping functions we rely on techniques
    from the evolvable hardware domain and utilize an evolutionary optimization procedure.
    We evaluate the use of EvoCache in an embedded processor for two specific applications
    (JPEG and BZIP2 compression) with respect to execution time, cache miss rate and
    energy consumption. We show that the evolvable hardware approach for optimizing
    the cache functions not only significantly improves the cache performance for
    the training data used during optimization, but that the evolved mapping functions
    generalize very well. Compared to a conventional cache architecture, EvoCache
    applied to test data achieves a reduction in execution time of up to 14.31% for
    JPEG (10.98% for BZIP2), and in energy consumption by 16.43% for JPEG (10.70%
    for BZIP2). We also discuss the integration of EvoCache into the operating system
    and show that the area and delay overheads introduced by EvoCache are acceptable. '
author:
- first_name: Paul
  full_name: Kaufmann, Paul
  last_name: Kaufmann
- first_name: Christian
  full_name: Plessl, Christian
  id: '16153'
  last_name: Plessl
  orcid: 0000-0001-5728-9982
- first_name: Marco
  full_name: Platzner, Marco
  id: '398'
  last_name: Platzner
citation:
  ama: 'Kaufmann P, Plessl C, Platzner M. EvoCaches: Application-specific Adaptation
    of Cache Mapping. In: <i>Proc. NASA/ESA Conference on Adaptive Hardware and Systems
    (AHS)</i>. IEEE Computer Society; 2009:11-18.'
  apa: 'Kaufmann, P., Plessl, C., &#38; Platzner, M. (2009). EvoCaches: Application-specific
    Adaptation of Cache Mapping. <i>Proc. NASA/ESA Conference on Adaptive Hardware
    and Systems (AHS)</i>, 11–18.'
  bibtex: '@inproceedings{Kaufmann_Plessl_Platzner_2009, place={Los Alamitos, CA,
    USA}, title={EvoCaches: Application-specific Adaptation of Cache Mapping}, booktitle={Proc.
    NASA/ESA Conference on Adaptive Hardware and Systems (AHS)}, publisher={IEEE Computer
    Society}, author={Kaufmann, Paul and Plessl, Christian and Platzner, Marco}, year={2009},
    pages={11–18} }'
  chicago: 'Kaufmann, Paul, Christian Plessl, and Marco Platzner. “EvoCaches: Application-Specific
    Adaptation of Cache Mapping.” In <i>Proc. NASA/ESA Conference on Adaptive Hardware
    and Systems (AHS)</i>, 11–18. Los Alamitos, CA, USA: IEEE Computer Society, 2009.'
  ieee: 'P. Kaufmann, C. Plessl, and M. Platzner, “EvoCaches: Application-specific
    Adaptation of Cache Mapping,” in <i>Proc. NASA/ESA Conference on Adaptive Hardware
    and Systems (AHS)</i>, 2009, pp. 11–18.'
  mla: 'Kaufmann, Paul, et al. “EvoCaches: Application-Specific Adaptation of Cache
    Mapping.” <i>Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS)</i>,
    IEEE Computer Society, 2009, pp. 11–18.'
  short: 'P. Kaufmann, C. Plessl, M. Platzner, in: Proc. NASA/ESA Conference on Adaptive
    Hardware and Systems (AHS), IEEE Computer Society, Los Alamitos, CA, USA, 2009,
    pp. 11–18.'
date_created: 2018-04-06T15:18:24Z
date_updated: 2023-09-26T13:53:11Z
department:
- _id: '27'
- _id: '518'
- _id: '78'
keyword:
- EvoCache
- evolvable hardware
- computer architecture
language:
- iso: eng
page: 11-18
place: Los Alamitos, CA, USA
publication: Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS)
publisher: IEEE Computer Society
quality_controlled: '1'
status: public
title: 'EvoCaches: Application-specific Adaptation of Cache Mapping'
type: conference
user_id: '15278'
year: '2009'
...
---
_id: '17278'
abstract:
- lang: eng
  text: This paper investigates the influence of feedback provided by an autonomous
    robot (BIRON) on users’ discursive behavior. A user study is described during
    which users show objects to the robot. The results of the experiment indicate,
    that the robot’s verbal feedback utterances cause the humans to adapt their own
    way of speaking. The changes in users’ verbal behavior are due to their beliefs
    about the robots knowledge and abilities. In this paper they are identified and
    grouped. Moreover, the data implies variations in user behavior regarding gestures.
    Unlike speech, the robot was not able to give feedback with gestures. Due to the
    lack of feedback, users did not seem to have a consistent mental representation
    of the robot’s abilities to recognize gestures. As a result, changes between different
    gestures are interpreted to be unconscious variations accompanying speech.
author:
- first_name: Manja
  full_name: Lohse, Manja
  last_name: Lohse
- first_name: Katharina
  full_name: Rohlfing, Katharina
  id: '50352'
  last_name: Rohlfing
- first_name: Britta
  full_name: Wrede, Britta
  last_name: Wrede
- first_name: Gerhard
  full_name: Sagerer, Gerhard
  last_name: Sagerer
citation:
  ama: 'Lohse M, Rohlfing K, Wrede B, Sagerer G. “Try something else!” — When users
    change their discursive behavior in human-robot interaction. In: ; 2008:3481-3486.
    doi:<a href="https://doi.org/10.1109/ROBOT.2008.4543743">10.1109/ROBOT.2008.4543743</a>'
  apa: Lohse, M., Rohlfing, K., Wrede, B., &#38; Sagerer, G. (2008). <i>“Try something
    else!” — When users change their discursive behavior in human-robot interaction</i>.
    3481–3486. <a href="https://doi.org/10.1109/ROBOT.2008.4543743">https://doi.org/10.1109/ROBOT.2008.4543743</a>
  bibtex: '@inproceedings{Lohse_Rohlfing_Wrede_Sagerer_2008, title={“Try something
    else!” — When users change their discursive behavior in human-robot interaction},
    DOI={<a href="https://doi.org/10.1109/ROBOT.2008.4543743">10.1109/ROBOT.2008.4543743</a>},
    author={Lohse, Manja and Rohlfing, Katharina and Wrede, Britta and Sagerer, Gerhard},
    year={2008}, pages={3481–3486} }'
  chicago: Lohse, Manja, Katharina Rohlfing, Britta Wrede, and Gerhard Sagerer. “‘Try
    Something Else!’ — When Users Change Their Discursive Behavior in Human-Robot
    Interaction,” 3481–86, 2008. <a href="https://doi.org/10.1109/ROBOT.2008.4543743">https://doi.org/10.1109/ROBOT.2008.4543743</a>.
  ieee: 'M. Lohse, K. Rohlfing, B. Wrede, and G. Sagerer, “‘Try something else!’ —
    When users change their discursive behavior in human-robot interaction,” 2008,
    pp. 3481–3486, doi: <a href="https://doi.org/10.1109/ROBOT.2008.4543743">10.1109/ROBOT.2008.4543743</a>.'
  mla: Lohse, Manja, et al. <i>“Try Something Else!” — When Users Change Their Discursive
    Behavior in Human-Robot Interaction</i>. 2008, pp. 3481–86, doi:<a href="https://doi.org/10.1109/ROBOT.2008.4543743">10.1109/ROBOT.2008.4543743</a>.
  short: 'M. Lohse, K. Rohlfing, B. Wrede, G. Sagerer, in: 2008, pp. 3481–3486.'
date_created: 2020-06-24T13:02:49Z
date_updated: 2023-02-01T13:08:20Z
department:
- _id: '749'
doi: 10.1109/ROBOT.2008.4543743
keyword:
- discursive behavior
- autonomous robot
- BIRON
- man-machine systems
- robot abilities
- robot knowledge
- user gestures
- robot verbal feedback utterance
- speech processing
- user verbal behavior
- service robots
- human-robot interaction
- human computer interaction
- gesture recognition
language:
- iso: eng
page: 3481-3486
publication_identifier:
  isbn:
  - 1050-4729
status: public
title: “Try something else!” — When users change their discursive behavior in human-robot
  interaction
type: conference
user_id: '14931'
year: '2008'
...
---
_id: '38107'
abstract:
- lang: eng
  text: TestML is an XML-based language for the exchange of test descriptions in automotive
    systems design and mainly introduced through the structural definition of an XML
    schema as an independent exchange format for existing tools and methods covering
    a wide range of different test technologies. In this paper, we present a rigorous
    formal behavioral semantics for TestML by means of Abstract State Machines (ASMs).
    Our semantics is a concise, unambiguous, high-level specification for TestML-based
    implementations and serves as a basis to define exact and well-defined mappings
    between existing test languages and TestML.
author:
- first_name: Jürgen
  full_name: Großmann, Jürgen
  last_name: Großmann
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: <i>Proc.
    of ISOLA 06</i>. ; 2006. doi:<a href="https://doi.org/10.1109/ISoLA.2006.37">10.1109/ISoLA.2006.37</a>'
  apa: Großmann, J., &#38; Müller, W. (2006). A Formal Behavioral Semantics for TestML.
    <i>Proc. of ISOLA 06</i>. <a href="https://doi.org/10.1109/ISoLA.2006.37">https://doi.org/10.1109/ISoLA.2006.37</a>
  bibtex: '@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal
    Behavioral Semantics for TestML}, DOI={<a href="https://doi.org/10.1109/ISoLA.2006.37">10.1109/ISoLA.2006.37</a>},
    booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang},
    year={2006} }'
  chicago: Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for
    TestML.” In <i>Proc. of ISOLA 06</i>. Paphos, Cyprus, 2006. <a href="https://doi.org/10.1109/ISoLA.2006.37">https://doi.org/10.1109/ISoLA.2006.37</a>.
  ieee: 'J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos,
    Cyprus, 2006, doi: <a href="https://doi.org/10.1109/ISoLA.2006.37">10.1109/ISoLA.2006.37</a>.'
  mla: Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.”
    <i>Proc. of ISOLA 06</i>, 2006, doi:<a href="https://doi.org/10.1109/ISoLA.2006.37">10.1109/ISoLA.2006.37</a>.
  short: 'J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.'
conference:
  location: Paphos, Cyprus
date_created: 2023-01-23T12:00:06Z
date_updated: 2023-01-23T12:06:26Z
department:
- _id: '672'
doi: 10.1109/ISoLA.2006.37
keyword:
- System testing
- Software testing
- Automotive engineering
- Automatic testing
- Machinery production industries
- Protocols
- Hardware design languages
- Samarium
- XML
- Computer industry
language:
- iso: eng
place: Paphos, Cyprus
publication: Proc. of ISOLA 06
publication_identifier:
  isbn:
  - 978-0-7695-3071-0
status: public
title: A Formal Behavioral Semantics for TestML
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '39032'
abstract:
- lang: eng
  text: Executable UML models are nowadays gaining interest in embedded systems design.
    This domain is strongly devoted to the modeling of reactive behavior using StateChart
    variants. In this context, the direct execution of UML state machines is an interesting
    alternative to native code generation approaches since it significantly increases
    portability. However, fully featured UML 2.0 State Machines may contain a broad
    set of features with complex execution semantics that differ significantly from
    other StateChart variants. This makes their direct execution complex and inefficient.
    In this paper, we demonstrate how such state machines can be represented using
    a small subset of the UML state machine features that enables efficient execution.
    We describe the necessary model transformations in terms of graph transformations
    and discuss the underlying semantics and implications for execution.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Müller W. Transformation of UML State Machines for Direct
    Execution. In: <i>Proceedings of VL/HCC 05</i>. ; 2005. doi:<a href="https://doi.org/10.1109/VLHCC.2005.64">10.1109/VLHCC.2005.64</a>'
  apa: Schattkowsky, T., &#38; Müller, W. (2005). Transformation of UML State Machines
    for Direct Execution. <i>Proceedings of VL/HCC 05</i>. <a href="https://doi.org/10.1109/VLHCC.2005.64">https://doi.org/10.1109/VLHCC.2005.64</a>
  bibtex: '@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation
    of UML State Machines for Direct Execution}, DOI={<a href="https://doi.org/10.1109/VLHCC.2005.64">10.1109/VLHCC.2005.64</a>},
    booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang},
    year={2005} }'
  chicago: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines
    for Direct Execution.” In <i>Proceedings of VL/HCC 05</i>. Dallas, TX, USA, 2005.
    <a href="https://doi.org/10.1109/VLHCC.2005.64">https://doi.org/10.1109/VLHCC.2005.64</a>.
  ieee: 'T. Schattkowsky and W. Müller, “Transformation of UML State Machines for
    Direct Execution,” 2005, doi: <a href="https://doi.org/10.1109/VLHCC.2005.64">10.1109/VLHCC.2005.64</a>.'
  mla: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines
    for Direct Execution.” <i>Proceedings of VL/HCC 05</i>, 2005, doi:<a href="https://doi.org/10.1109/VLHCC.2005.64">10.1109/VLHCC.2005.64</a>.
  short: 'T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA,
    2005.'
date_created: 2023-01-24T08:18:10Z
date_updated: 2023-01-24T08:18:27Z
department:
- _id: '672'
doi: 10.1109/VLHCC.2005.64
keyword:
- Unified modeling language
- Software design
- Virtual machining
- Embedded system
- Programming
- Documentation
- Hardware
- Computer languages
- Operating systems
- Runtime
language:
- iso: eng
place: Dallas, TX, USA
publication: Proceedings of VL/HCC 05
publication_identifier:
  isbn:
  - 0-7695-2443-5
status: public
title: Transformation of UML State Machines for Direct Execution
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39050'
abstract:
- lang: eng
  text: Currently, middleware for smart home networks with embedded and mobile devices
    are in the focus of several investigations. In this paper, we propose a middleware
    for secure management of device and user profiles by integrating a profile database
    with a generic authentication scheme for an X.509 enabled ticket management in
    the context of the OSGi framework. After the introduction of the individual system
    components and their interaction, we also discuss potential system attacks.
author:
- first_name: Max
  full_name: Ziegler, Max
  last_name: Ziegler
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Chris
  full_name: Loeser, Chris
  last_name: Loeser
citation:
  ama: 'Ziegler M, Müller W, Schäfer R, Loeser C. Secure Profile Management in Smart
    Home Networks. In: <i>Proceedings of the 1st International Workshop on Secure
    and Ubiquitous Networks (SUN-2005)</i>. IEEE; 2005. doi:<a href="https://doi.org/10.1109/DEXA.2005.171">10.1109/DEXA.2005.171</a>'
  apa: Ziegler, M., Müller, W., Schäfer, R., &#38; Loeser, C. (2005). Secure Profile
    Management in Smart Home Networks. <i>Proceedings of the 1st International Workshop
    on Secure and Ubiquitous Networks (SUN-2005)</i>. 16th International Workshop
    on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark . <a
    href="https://doi.org/10.1109/DEXA.2005.171">https://doi.org/10.1109/DEXA.2005.171</a>
  bibtex: '@inproceedings{Ziegler_Müller_Schäfer_Loeser_2005, place={Copenhagen, Denmark
    }, title={Secure Profile Management in Smart Home Networks}, DOI={<a href="https://doi.org/10.1109/DEXA.2005.171">10.1109/DEXA.2005.171</a>},
    booktitle={Proceedings of the 1st International Workshop on Secure and Ubiquitous
    Networks (SUN-2005)}, publisher={IEEE}, author={Ziegler, Max and Müller, Wolfgang
    and Schäfer, Robbie and Loeser, Chris}, year={2005} }'
  chicago: 'Ziegler, Max, Wolfgang Müller, Robbie Schäfer, and Chris Loeser. “Secure
    Profile Management in Smart Home Networks.” In <i>Proceedings of the 1st International
    Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>. Copenhagen, Denmark
    : IEEE, 2005. <a href="https://doi.org/10.1109/DEXA.2005.171">https://doi.org/10.1109/DEXA.2005.171</a>.'
  ieee: 'M. Ziegler, W. Müller, R. Schäfer, and C. Loeser, “Secure Profile Management
    in Smart Home Networks,” presented at the 16th International Workshop on Database
    and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005, doi: <a
    href="https://doi.org/10.1109/DEXA.2005.171">10.1109/DEXA.2005.171</a>.'
  mla: Ziegler, Max, et al. “Secure Profile Management in Smart Home Networks.” <i>Proceedings
    of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)</i>,
    IEEE, 2005, doi:<a href="https://doi.org/10.1109/DEXA.2005.171">10.1109/DEXA.2005.171</a>.
  short: 'M. Ziegler, W. Müller, R. Schäfer, C. Loeser, in: Proceedings of the 1st
    International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen,
    Denmark , 2005.'
conference:
  location: 'Copenhagen, Denmark '
  name: 16th International Workshop on Database and Expert Systems Applications (DEXA'05)
date_created: 2023-01-24T08:39:45Z
date_updated: 2023-01-24T08:39:50Z
department:
- _id: '672'
doi: 10.1109/DEXA.2005.171
keyword:
- Intelligent networks
- Smart homes
- Middleware
- Project management
- Data security
- Ubiquitous computing
- Context-aware services
- Computer architecture
- Home automation
- Environmental management
language:
- iso: eng
place: 'Copenhagen, Denmark '
publication: Proceedings of the 1st International Workshop on Secure and Ubiquitous
  Networks (SUN-2005)
publication_identifier:
  isbn:
  - 0-7695-2424-9
publisher: IEEE
status: public
title: Secure Profile Management in Smart Home Networks
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '29924'
author:
- first_name: Notker
  full_name: Amann, Notker
  last_name: Amann
- first_name: Joachim
  full_name: Böcker, Joachim
  id: '66'
  last_name: Böcker
  orcid: 0000-0002-8480-7295
- first_name: Franz
  full_name: Prenner, Franz
  last_name: Prenner
citation:
  ama: Amann N, Böcker J, Prenner F. Active Damping of Drive Train Oscillations for
    an Electrically Driven Vehicle. <i>IEEE/ASME Transactions on Mechatronics</i>.
    2004;9(4):697-700. doi:<a href="https://doi.org/10.1109/tmech.2004.839036">10.1109/tmech.2004.839036</a>
  apa: Amann, N., Böcker, J., &#38; Prenner, F. (2004). Active Damping of Drive Train
    Oscillations for an Electrically Driven Vehicle. <i>IEEE/ASME Transactions on
    Mechatronics</i>, <i>9</i>(4), 697–700. <a href="https://doi.org/10.1109/tmech.2004.839036">https://doi.org/10.1109/tmech.2004.839036</a>
  bibtex: '@article{Amann_Böcker_Prenner_2004, title={Active Damping of Drive Train
    Oscillations for an Electrically Driven Vehicle}, volume={9}, DOI={<a href="https://doi.org/10.1109/tmech.2004.839036">10.1109/tmech.2004.839036</a>},
    number={4}, journal={IEEE/ASME Transactions on Mechatronics}, publisher={Institute
    of Electrical and Electronics Engineers (IEEE)}, author={Amann, Notker and Böcker,
    Joachim and Prenner, Franz}, year={2004}, pages={697–700} }'
  chicago: 'Amann, Notker, Joachim Böcker, and Franz Prenner. “Active Damping of Drive
    Train Oscillations for an Electrically Driven Vehicle.” <i>IEEE/ASME Transactions
    on Mechatronics</i> 9, no. 4 (2004): 697–700. <a href="https://doi.org/10.1109/tmech.2004.839036">https://doi.org/10.1109/tmech.2004.839036</a>.'
  ieee: 'N. Amann, J. Böcker, and F. Prenner, “Active Damping of Drive Train Oscillations
    for an Electrically Driven Vehicle,” <i>IEEE/ASME Transactions on Mechatronics</i>,
    vol. 9, no. 4, pp. 697–700, 2004, doi: <a href="https://doi.org/10.1109/tmech.2004.839036">10.1109/tmech.2004.839036</a>.'
  mla: Amann, Notker, et al. “Active Damping of Drive Train Oscillations for an Electrically
    Driven Vehicle.” <i>IEEE/ASME Transactions on Mechatronics</i>, vol. 9, no. 4,
    Institute of Electrical and Electronics Engineers (IEEE), 2004, pp. 697–700, doi:<a
    href="https://doi.org/10.1109/tmech.2004.839036">10.1109/tmech.2004.839036</a>.
  short: N. Amann, J. Böcker, F. Prenner, IEEE/ASME Transactions on Mechatronics 9
    (2004) 697–700.
date_created: 2022-02-21T10:42:14Z
date_updated: 2022-03-17T09:53:29Z
department:
- _id: '52'
doi: 10.1109/tmech.2004.839036
extern: '1'
intvolume: '         9'
issue: '4'
keyword:
- Electrical and Electronic Engineering
- Computer Science Applications
- Control and Systems Engineering
language:
- iso: eng
page: 697-700
publication: IEEE/ASME Transactions on Mechatronics
publication_identifier:
  issn:
  - 1083-4435
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: Active Damping of Drive Train Oscillations for an Electrically Driven Vehicle
type: journal_article
user_id: '66'
volume: 9
year: '2004'
...
