---
_id: '37578'
author:
- first_name: Rebecca
  full_name: Grotjahn, Rebecca
  id: '193'
  last_name: Grotjahn
citation:
  ama: 'Grotjahn R. Kappel, Gertrude. In: Finscher L, ed. <i>Die Musik in Geschichte
    und Gegenwart. Bd. 9</i>. 2nd ed. Bärenreiter/Metzler; 2003.'
  apa: Grotjahn, R. (2003). Kappel, Gertrude. In L. Finscher (Ed.), <i>Die Musik in
    Geschichte und Gegenwart. Bd. 9</i> (2nd ed.). Bärenreiter/Metzler.
  bibtex: '@inbook{Grotjahn_2003, place={Kassel}, edition={2}, title={Kappel, Gertrude},
    booktitle={Die Musik in Geschichte und Gegenwart. Bd. 9}, publisher={Bärenreiter/Metzler},
    author={Grotjahn, Rebecca}, editor={Finscher, Ludwig}, year={2003} }'
  chicago: 'Grotjahn, Rebecca. “Kappel, Gertrude.” In <i>Die Musik in Geschichte und
    Gegenwart. Bd. 9</i>, edited by Ludwig Finscher, 2nd ed. Kassel: Bärenreiter/Metzler,
    2003.'
  ieee: 'R. Grotjahn, “Kappel, Gertrude,” in <i>Die Musik in Geschichte und Gegenwart.
    Bd. 9</i>, 2nd ed., L. Finscher, Ed. Kassel: Bärenreiter/Metzler, 2003.'
  mla: Grotjahn, Rebecca. “Kappel, Gertrude.” <i>Die Musik in Geschichte und Gegenwart.
    Bd. 9</i>, edited by Ludwig Finscher, 2nd ed., Bärenreiter/Metzler, 2003.
  short: 'R. Grotjahn, in: L. Finscher (Ed.), Die Musik in Geschichte und Gegenwart.
    Bd. 9, 2nd ed., Bärenreiter/Metzler, Kassel, 2003.'
date_created: 2023-01-19T11:33:43Z
date_updated: 2023-01-19T11:33:57Z
department:
- _id: '535'
edition: '2'
editor:
- first_name: Ludwig
  full_name: Finscher, Ludwig
  last_name: Finscher
language:
- iso: ger
main_file_link:
- url: https://www.mgg-online.com/mgg/stable/16714
place: Kassel
publication: Die Musik in Geschichte und Gegenwart. Bd. 9
publisher: Bärenreiter/Metzler
status: public
title: Kappel, Gertrude
type: encyclopedia_article
user_id: '73564'
year: '2003'
...
---
_id: '37590'
author:
- first_name: Jutta
  full_name: Weber, Jutta
  id: '31494'
  last_name: Weber
citation:
  ama: 'Weber J. <i>Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. :
    Campus 2003</i>. Campus; 2003.'
  apa: 'Weber, J. (2003). <i>Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der
    Technoscience. : Campus 2003</i>. Campus.'
  bibtex: '@book{Weber_2003, place={Frankfurt a.M. / New York}, title={Umkämpfte Bedeutungen:
    Naturkonzepte im Zeitalter der Technoscience. : Campus 2003}, publisher={Campus},
    author={Weber, Jutta}, year={2003} }'
  chicago: 'Weber, Jutta. <i>Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der
    Technoscience. : Campus 2003</i>. Frankfurt a.M. / New York: Campus, 2003.'
  ieee: 'J. Weber, <i>Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. :
    Campus 2003</i>. Frankfurt a.M. / New York: Campus, 2003.'
  mla: 'Weber, Jutta. <i>Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. :
    Campus 2003</i>. Campus, 2003.'
  short: 'J. Weber, Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. :
    Campus 2003, Campus, Frankfurt a.M. / New York, 2003.'
date_created: 2023-01-19T12:13:11Z
date_updated: 2023-01-19T12:17:58Z
department:
- _id: '411'
extern: '1'
language:
- iso: ger
main_file_link:
- open_access: '1'
  url: https://juttaweber.eu/wordpress/wp-content/uploads/2014/07/Weber_Umk%c3%a4mpfte-Bedeutungen_komplett_Campus2013.pdf
oa: '1'
place: Frankfurt a.M. / New York
publisher: Campus
status: public
title: 'Umkämpfte Bedeutungen: Naturkonzepte im Zeitalter der Technoscience. : Campus
  2003'
type: dissertation
user_id: '14932'
year: '2003'
...
---
_id: '37603'
citation:
  ama: Weber J, Bath C, eds. <i>Turbulente Körper und soziale Maschinen. Feministische
    Studien zur Technowissenschaftskultur</i>. Leske &#38; Budrich; 2003.
  apa: Weber, J., &#38; Bath, C. (Eds.). (2003). <i>Turbulente Körper und soziale
    Maschinen. Feministische Studien zur Technowissenschaftskultur</i>. Leske &#38;
    Budrich.
  bibtex: '@book{Weber_Bath_2003, place={Opladen}, title={Turbulente Körper und soziale
    Maschinen. Feministische Studien zur Technowissenschaftskultur}, publisher={Leske
    &#38; Budrich}, year={2003} }'
  chicago: 'Weber, Jutta, and Corinna Bath, eds. <i>Turbulente Körper und soziale
    Maschinen. Feministische Studien zur Technowissenschaftskultur</i>. Opladen: Leske
    &#38; Budrich, 2003.'
  ieee: 'J. Weber and C. Bath, Eds., <i>Turbulente Körper und soziale Maschinen. Feministische
    Studien zur Technowissenschaftskultur</i>. Opladen: Leske &#38; Budrich, 2003.'
  mla: Weber, Jutta, and Corinna Bath, editors. <i>Turbulente Körper und soziale Maschinen.
    Feministische Studien zur Technowissenschaftskultur</i>. Leske &#38; Budrich,
    2003.
  short: J. Weber, C. Bath, eds., Turbulente Körper und soziale Maschinen. Feministische
    Studien zur Technowissenschaftskultur, Leske &#38; Budrich, Opladen, 2003.
date_created: 2023-01-19T12:39:38Z
date_updated: 2023-01-19T12:39:55Z
department:
- _id: '411'
editor:
- first_name: Jutta
  full_name: Weber, Jutta
  id: '31494'
  last_name: Weber
- first_name: Corinna
  full_name: Bath, Corinna
  last_name: Bath
extern: '1'
language:
- iso: ger
main_file_link:
- open_access: '1'
  url: https://juttaweber.eu/wordpress/wp-content/uploads/2021/03/Weber_Bath_Ed_TurbulenteKrper.pdf
oa: '1'
place: Opladen
publisher: Leske & Budrich
status: public
title: Turbulente Körper und soziale Maschinen. Feministische Studien zur Technowissenschaftskultur
type: book_editor
user_id: '14932'
year: '2003'
...
---
_id: '37604'
citation:
  ama: Weber J, Sick A, Bergermann U, et al., eds. <i>Eingreifen. Viren, Modelle,
    Tricks</i>. Thealit; 2003.
  apa: Weber, J., Sick, A., Bergermann, U., Bippus, E., von Oldenburg, H., Reiche,
    C., &#38; Herz, M. (Eds.). (2003). <i>Eingreifen. Viren, Modelle, Tricks</i>.
    Thealit.
  bibtex: '@book{Weber_Sick_Bergermann_Bippus_von Oldenburg_Reiche_Herz_2003, place={Bremen},
    title={Eingreifen. Viren, Modelle, Tricks}, publisher={Thealit}, year={2003} }'
  chicago: 'Weber, Jutta, Andrea Sick, Ulrike Bergermann, Elke Bippus, Helene von
    Oldenburg, Claudia Reiche, and Marion Herz, eds. <i>Eingreifen. Viren, Modelle,
    Tricks</i>. Bremen: Thealit, 2003.'
  ieee: 'J. Weber <i>et al.</i>, Eds., <i>Eingreifen. Viren, Modelle, Tricks</i>.
    Bremen: Thealit, 2003.'
  mla: Weber, Jutta, et al., editors. <i>Eingreifen. Viren, Modelle, Tricks</i>. Thealit,
    2003.
  short: J. Weber, A. Sick, U. Bergermann, E. Bippus, H. von Oldenburg, C. Reiche,
    M. Herz, eds., Eingreifen. Viren, Modelle, Tricks, Thealit, Bremen, 2003.
date_created: 2023-01-19T12:51:30Z
date_updated: 2023-01-19T12:51:44Z
department:
- _id: '411'
editor:
- first_name: Jutta
  full_name: Weber, Jutta
  id: '31494'
  last_name: Weber
- first_name: Andrea
  full_name: Sick, Andrea
  last_name: Sick
- first_name: Ulrike
  full_name: Bergermann, Ulrike
  last_name: Bergermann
- first_name: Elke
  full_name: Bippus, Elke
  last_name: Bippus
- first_name: Helene
  full_name: von Oldenburg, Helene
  last_name: von Oldenburg
- first_name: Claudia
  full_name: Reiche, Claudia
  last_name: Reiche
- first_name: Marion
  full_name: Herz, Marion
  last_name: Herz
extern: '1'
language:
- iso: ger
place: Bremen
publisher: Thealit
status: public
title: Eingreifen. Viren, Modelle, Tricks
type: book_editor
user_id: '14932'
year: '2003'
...
---
_id: '22614'
author:
- first_name: Maria Teresa
  full_name: de los Arcos de Pedro, Maria Teresa
  id: '54556'
  last_name: de los Arcos de Pedro
- first_name: M
  full_name: Gunnar Garnier, M
  last_name: Gunnar Garnier
- first_name: Peter
  full_name: Oelhafen, Peter
  last_name: Oelhafen
- first_name: Daniel
  full_name: Mathys, Daniel
  last_name: Mathys
- first_name: Jin
  full_name: Won Seo, Jin
  last_name: Won Seo
- first_name: Concepción
  full_name: Domingo, Concepción
  last_name: Domingo
- first_name: José
  full_name: Vicente Garcı́a-Ramos, José
  last_name: Vicente Garcı́a-Ramos
- first_name: Santiago
  full_name: Sánchez-Cortés, Santiago
  last_name: Sánchez-Cortés
citation:
  ama: de los Arcos de Pedro MT, Gunnar Garnier M, Oelhafen P, et al. Strong influence
    of buffer layer type on carbon nanotube characteristics. <i>Carbon</i>. Published
    online 2003:187-190. doi:<a href="https://doi.org/10.1016/j.carbon.2003.10.020">10.1016/j.carbon.2003.10.020</a>
  apa: de los Arcos de Pedro, M. T., Gunnar Garnier, M., Oelhafen, P., Mathys, D.,
    Won Seo, J., Domingo, C., Vicente Garcı́a-Ramos, J., &#38; Sánchez-Cortés, S.
    (2003). Strong influence of buffer layer type on carbon nanotube characteristics.
    <i>Carbon</i>, 187–190. <a href="https://doi.org/10.1016/j.carbon.2003.10.020">https://doi.org/10.1016/j.carbon.2003.10.020</a>
  bibtex: '@article{de los Arcos de Pedro_Gunnar Garnier_Oelhafen_Mathys_Won Seo_Domingo_Vicente
    Garcı́a-Ramos_Sánchez-Cortés_2003, title={Strong influence of buffer layer type
    on carbon nanotube characteristics}, DOI={<a href="https://doi.org/10.1016/j.carbon.2003.10.020">10.1016/j.carbon.2003.10.020</a>},
    journal={Carbon}, author={de los Arcos de Pedro, Maria Teresa and Gunnar Garnier,
    M and Oelhafen, Peter and Mathys, Daniel and Won Seo, Jin and Domingo, Concepción
    and Vicente Garcı́a-Ramos, José and Sánchez-Cortés, Santiago}, year={2003}, pages={187–190}
    }'
  chicago: Arcos de Pedro, Maria Teresa de los, M Gunnar Garnier, Peter Oelhafen,
    Daniel Mathys, Jin Won Seo, Concepción Domingo, José Vicente Garcı́a-Ramos, and
    Santiago Sánchez-Cortés. “Strong Influence of Buffer Layer Type on Carbon Nanotube
    Characteristics.” <i>Carbon</i>, 2003, 187–90. <a href="https://doi.org/10.1016/j.carbon.2003.10.020">https://doi.org/10.1016/j.carbon.2003.10.020</a>.
  ieee: 'M. T. de los Arcos de Pedro <i>et al.</i>, “Strong influence of buffer layer
    type on carbon nanotube characteristics,” <i>Carbon</i>, pp. 187–190, 2003, doi:
    <a href="https://doi.org/10.1016/j.carbon.2003.10.020">10.1016/j.carbon.2003.10.020</a>.'
  mla: de los Arcos de Pedro, Maria Teresa, et al. “Strong Influence of Buffer Layer
    Type on Carbon Nanotube Characteristics.” <i>Carbon</i>, 2003, pp. 187–90, doi:<a
    href="https://doi.org/10.1016/j.carbon.2003.10.020">10.1016/j.carbon.2003.10.020</a>.
  short: M.T. de los Arcos de Pedro, M. Gunnar Garnier, P. Oelhafen, D. Mathys, J.
    Won Seo, C. Domingo, J. Vicente Garcı́a-Ramos, S. Sánchez-Cortés, Carbon (2003)
    187–190.
date_created: 2021-07-07T11:40:00Z
date_updated: 2023-01-24T08:29:35Z
department:
- _id: '302'
doi: 10.1016/j.carbon.2003.10.020
extern: '1'
language:
- iso: eng
page: 187-190
publication: Carbon
publication_identifier:
  issn:
  - 0008-6223
publication_status: published
status: public
title: Strong influence of buffer layer type on carbon nanotube characteristics
type: journal_article
user_id: '54556'
year: '2003'
...
---
_id: '22618'
author:
- first_name: M.G.
  full_name: Garnier, M.G.
  last_name: Garnier
- first_name: Maria Teresa
  full_name: de los Arcos de Pedro, Maria Teresa
  id: '54556'
  last_name: de los Arcos de Pedro
- first_name: J.
  full_name: Boudaden, J.
  last_name: Boudaden
- first_name: P.
  full_name: Oelhafen, P.
  last_name: Oelhafen
citation:
  ama: Garnier MG, de los Arcos de Pedro MT, Boudaden J, Oelhafen P. Photoemission
    study of the iron-induced chemical reduction of silicon native oxide. <i>Surface
    Science</i>. Published online 2003:130-138. doi:<a href="https://doi.org/10.1016/s0039-6028(03)00581-8">10.1016/s0039-6028(03)00581-8</a>
  apa: Garnier, M. G., de los Arcos de Pedro, M. T., Boudaden, J., &#38; Oelhafen,
    P. (2003). Photoemission study of the iron-induced chemical reduction of silicon
    native oxide. <i>Surface Science</i>, 130–138. <a href="https://doi.org/10.1016/s0039-6028(03)00581-8">https://doi.org/10.1016/s0039-6028(03)00581-8</a>
  bibtex: '@article{Garnier_de los Arcos de Pedro_Boudaden_Oelhafen_2003, title={Photoemission
    study of the iron-induced chemical reduction of silicon native oxide}, DOI={<a
    href="https://doi.org/10.1016/s0039-6028(03)00581-8">10.1016/s0039-6028(03)00581-8</a>},
    journal={Surface Science}, author={Garnier, M.G. and de los Arcos de Pedro, Maria
    Teresa and Boudaden, J. and Oelhafen, P.}, year={2003}, pages={130–138} }'
  chicago: Garnier, M.G., Maria Teresa de los Arcos de Pedro, J. Boudaden, and P.
    Oelhafen. “Photoemission Study of the Iron-Induced Chemical Reduction of Silicon
    Native Oxide.” <i>Surface Science</i>, 2003, 130–38. <a href="https://doi.org/10.1016/s0039-6028(03)00581-8">https://doi.org/10.1016/s0039-6028(03)00581-8</a>.
  ieee: 'M. G. Garnier, M. T. de los Arcos de Pedro, J. Boudaden, and P. Oelhafen,
    “Photoemission study of the iron-induced chemical reduction of silicon native
    oxide,” <i>Surface Science</i>, pp. 130–138, 2003, doi: <a href="https://doi.org/10.1016/s0039-6028(03)00581-8">10.1016/s0039-6028(03)00581-8</a>.'
  mla: Garnier, M. G., et al. “Photoemission Study of the Iron-Induced Chemical Reduction
    of Silicon Native Oxide.” <i>Surface Science</i>, 2003, pp. 130–38, doi:<a href="https://doi.org/10.1016/s0039-6028(03)00581-8">10.1016/s0039-6028(03)00581-8</a>.
  short: M.G. Garnier, M.T. de los Arcos de Pedro, J. Boudaden, P. Oelhafen, Surface
    Science (2003) 130–138.
date_created: 2021-07-07T11:41:10Z
date_updated: 2023-01-24T08:30:05Z
department:
- _id: '302'
doi: 10.1016/s0039-6028(03)00581-8
extern: '1'
language:
- iso: eng
page: 130-138
publication: Surface Science
publication_identifier:
  issn:
  - 0039-6028
publication_status: published
status: public
title: Photoemission study of the iron-induced chemical reduction of silicon native
  oxide
type: journal_article
user_id: '54556'
year: '2003'
...
---
_id: '22617'
author:
- first_name: Maria Teresa
  full_name: de los Arcos de Pedro, Maria Teresa
  id: '54556'
  last_name: de los Arcos de Pedro
- first_name: Z.M.
  full_name: Wu, Z.M.
  last_name: Wu
- first_name: P.
  full_name: Oelhafen, P.
  last_name: Oelhafen
citation:
  ama: de los Arcos de Pedro MT, Wu ZM, Oelhafen P. Is aluminum a suitable buffer
    layer for carbon nanotube growth? <i>Chemical Physics Letters</i>. Published online
    2003:419-423. doi:<a href="https://doi.org/10.1016/j.cplett.2003.09.057">10.1016/j.cplett.2003.09.057</a>
  apa: de los Arcos de Pedro, M. T., Wu, Z. M., &#38; Oelhafen, P. (2003). Is aluminum
    a suitable buffer layer for carbon nanotube growth? <i>Chemical Physics Letters</i>,
    419–423. <a href="https://doi.org/10.1016/j.cplett.2003.09.057">https://doi.org/10.1016/j.cplett.2003.09.057</a>
  bibtex: '@article{de los Arcos de Pedro_Wu_Oelhafen_2003, title={Is aluminum a suitable
    buffer layer for carbon nanotube growth?}, DOI={<a href="https://doi.org/10.1016/j.cplett.2003.09.057">10.1016/j.cplett.2003.09.057</a>},
    journal={Chemical Physics Letters}, author={de los Arcos de Pedro, Maria Teresa
    and Wu, Z.M. and Oelhafen, P.}, year={2003}, pages={419–423} }'
  chicago: Arcos de Pedro, Maria Teresa de los, Z.M. Wu, and P. Oelhafen. “Is Aluminum
    a Suitable Buffer Layer for Carbon Nanotube Growth?” <i>Chemical Physics Letters</i>,
    2003, 419–23. <a href="https://doi.org/10.1016/j.cplett.2003.09.057">https://doi.org/10.1016/j.cplett.2003.09.057</a>.
  ieee: 'M. T. de los Arcos de Pedro, Z. M. Wu, and P. Oelhafen, “Is aluminum a suitable
    buffer layer for carbon nanotube growth?,” <i>Chemical Physics Letters</i>, pp.
    419–423, 2003, doi: <a href="https://doi.org/10.1016/j.cplett.2003.09.057">10.1016/j.cplett.2003.09.057</a>.'
  mla: de los Arcos de Pedro, Maria Teresa, et al. “Is Aluminum a Suitable Buffer
    Layer for Carbon Nanotube Growth?” <i>Chemical Physics Letters</i>, 2003, pp.
    419–23, doi:<a href="https://doi.org/10.1016/j.cplett.2003.09.057">10.1016/j.cplett.2003.09.057</a>.
  short: M.T. de los Arcos de Pedro, Z.M. Wu, P. Oelhafen, Chemical Physics Letters
    (2003) 419–423.
date_created: 2021-07-07T11:40:58Z
date_updated: 2023-01-24T08:29:49Z
department:
- _id: '302'
doi: 10.1016/j.cplett.2003.09.057
extern: '1'
language:
- iso: eng
page: 419-423
publication: Chemical Physics Letters
publication_identifier:
  issn:
  - 0009-2614
publication_status: published
status: public
title: Is aluminum a suitable buffer layer for carbon nanotube growth?
type: journal_article
user_id: '54556'
year: '2003'
...
---
_id: '22625'
author:
- first_name: M. M.
  full_name: Sanz, M. M.
  last_name: Sanz
- first_name: Concepcion M.
  full_name: Domingo, Concepcion M.
  last_name: Domingo
- first_name: Maria Teresa
  full_name: de los Arcos de Pedro, Maria Teresa
  id: '54556'
  last_name: de los Arcos de Pedro
- first_name: Isabel
  full_name: Tanarro, Isabel
  last_name: Tanarro
- first_name: Victor J.
  full_name: Herrero, Victor J.
  last_name: Herrero
citation:
  ama: 'Sanz MM, Domingo CM, de los Arcos de Pedro MT, Tanarro I, Herrero VJ. Time-resolved
    FTIR absorption and emission spectroscopy of plasmas produced in low-frequency-modulated
    N 2 O hollow cathode discharges. In: Sinitsa LN, ed. <i>13th Symposium and School
    on High-Resolution Molecular Spectroscopy</i>. ; 2003. doi:<a href="https://doi.org/10.1117/12.375373">10.1117/12.375373</a>'
  apa: Sanz, M. M., Domingo, C. M., de los Arcos de Pedro, M. T., Tanarro, I., &#38;
    Herrero, V. J. (2003). Time-resolved FTIR absorption and emission spectroscopy
    of plasmas produced in low-frequency-modulated N 2 O hollow cathode discharges.
    In L. N. Sinitsa (Ed.), <i>13th Symposium and School on High-Resolution Molecular
    Spectroscopy</i>. <a href="https://doi.org/10.1117/12.375373">https://doi.org/10.1117/12.375373</a>
  bibtex: '@inproceedings{Sanz_Domingo_de los Arcos de Pedro_Tanarro_Herrero_2003,
    title={Time-resolved FTIR absorption and emission spectroscopy of plasmas produced
    in low-frequency-modulated N 2 O hollow cathode discharges}, DOI={<a href="https://doi.org/10.1117/12.375373">10.1117/12.375373</a>},
    booktitle={13th Symposium and School on High-Resolution Molecular Spectroscopy},
    author={Sanz, M. M. and Domingo, Concepcion M. and de los Arcos de Pedro, Maria
    Teresa and Tanarro, Isabel and Herrero, Victor J.}, editor={Sinitsa, Leonid N.},
    year={2003} }'
  chicago: Sanz, M. M., Concepcion M. Domingo, Maria Teresa de los Arcos de Pedro,
    Isabel Tanarro, and Victor J. Herrero. “Time-Resolved FTIR Absorption and Emission
    Spectroscopy of Plasmas Produced in Low-Frequency-Modulated N 2 O Hollow Cathode
    Discharges.” In <i>13th Symposium and School on High-Resolution Molecular Spectroscopy</i>,
    edited by Leonid N. Sinitsa, 2003. <a href="https://doi.org/10.1117/12.375373">https://doi.org/10.1117/12.375373</a>.
  ieee: 'M. M. Sanz, C. M. Domingo, M. T. de los Arcos de Pedro, I. Tanarro, and V.
    J. Herrero, “Time-resolved FTIR absorption and emission spectroscopy of plasmas
    produced in low-frequency-modulated N 2 O hollow cathode discharges,” in <i>13th
    Symposium and School on High-Resolution Molecular Spectroscopy</i>, 2003, doi:
    <a href="https://doi.org/10.1117/12.375373">10.1117/12.375373</a>.'
  mla: Sanz, M. M., et al. “Time-Resolved FTIR Absorption and Emission Spectroscopy
    of Plasmas Produced in Low-Frequency-Modulated N 2 O Hollow Cathode Discharges.”
    <i>13th Symposium and School on High-Resolution Molecular Spectroscopy</i>, edited
    by Leonid N. Sinitsa, 2003, doi:<a href="https://doi.org/10.1117/12.375373">10.1117/12.375373</a>.
  short: 'M.M. Sanz, C.M. Domingo, M.T. de los Arcos de Pedro, I. Tanarro, V.J. Herrero,
    in: L.N. Sinitsa (Ed.), 13th Symposium and School on High-Resolution Molecular
    Spectroscopy, 2003.'
date_created: 2021-07-07T11:49:59Z
date_updated: 2023-01-24T08:30:20Z
department:
- _id: '302'
doi: 10.1117/12.375373
editor:
- first_name: Leonid N.
  full_name: Sinitsa, Leonid N.
  last_name: Sinitsa
extern: '1'
language:
- iso: eng
publication: 13th Symposium and School on High-Resolution Molecular Spectroscopy
publication_status: published
status: public
title: Time-resolved FTIR absorption and emission spectroscopy of plasmas produced
  in low-frequency-modulated N 2 O hollow cathode discharges
type: conference
user_id: '54556'
year: '2003'
...
---
_id: '39357'
abstract:
- lang: eng
  text: 'Engineering collaboration gets its new global dimension with the omnipotent
    access to Internet. Engineers have severe requirements concerning: security of
    design data, quality of net connections, easiness of collaboration, etc. This
    article presents visions and middleware architecture to establish pan-European
    col- laborative engineering infrastructure and its application in the field of
    Electronic Design Automation (EDA). We present a transparent infrastructure to
    engineers to enable their Internet-based collaboration during the de- sign of
    complex electronic systems. In thi s context, we introduce an advanced collaborative
    infrastructure (ACI) for distance spanning, tool integration, and administration
    as well as open interfaces for XML-based data exchange. ACI constitutes a backbone
    for our collaborative research and engineering studies by fostering a combination
    of most recent plug-and-play technologies and secure, peer-to-peer data transfer
    with XML- based tool integration. ACI and its deployments have been developed
    with the EU project E-Colleg (IST- 1999-11746).'
author:
- first_name: Tomasz
  full_name: Kostienko, Tomasz
  last_name: Kostienko
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Adam
  full_name: Pawlak, Adam
  last_name: Pawlak
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
citation:
  ama: 'Kostienko T, Müller W, Pawlak A, Schattkowsky T. An Advanced Infrastructure
    for Collaborative Engineering in Electronic Design Automation. In: <i>Proceedings
    of CE 2003</i>. ; 2003.'
  apa: Kostienko, T., Müller, W., Pawlak, A., &#38; Schattkowsky, T. (2003). An Advanced
    Infrastructure for Collaborative Engineering in Electronic Design Automation.
    <i>Proceedings of CE 2003</i>.
  bibtex: '@inproceedings{Kostienko_Müller_Pawlak_Schattkowsky_2003, place={Madeira,
    Portugal}, title={An Advanced Infrastructure for Collaborative Engineering in
    Electronic Design Automation}, booktitle={Proceedings of CE 2003}, author={Kostienko,
    Tomasz and Müller, Wolfgang and Pawlak, Adam and Schattkowsky, Tim}, year={2003}
    }'
  chicago: Kostienko, Tomasz, Wolfgang Müller, Adam Pawlak, and Tim Schattkowsky.
    “An Advanced Infrastructure for Collaborative Engineering in Electronic Design
    Automation.” In <i>Proceedings of CE 2003</i>. Madeira, Portugal, 2003.
  ieee: T. Kostienko, W. Müller, A. Pawlak, and T. Schattkowsky, “An Advanced Infrastructure
    for Collaborative Engineering in Electronic Design Automation,” 2003.
  mla: Kostienko, Tomasz, et al. “An Advanced Infrastructure for Collaborative Engineering
    in Electronic Design Automation.” <i>Proceedings of CE 2003</i>, 2003.
  short: 'T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of
    CE 2003, Madeira, Portugal, 2003.'
date_created: 2023-01-24T09:35:07Z
date_updated: 2023-01-24T09:35:11Z
department:
- _id: '672'
language:
- iso: eng
place: Madeira, Portugal
publication: Proceedings of CE 2003
status: public
title: An Advanced Infrastructure for Collaborative Engineering in Electronic Design
  Automation
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39355'
abstract:
- lang: eng
  text: "This pap er presents an approach to extend OSGi\r\nserver based home networks
    with JXTA's p eer-to-\r\np eer (P2P) technology to a multi-server home envi-\r\nronment
    connecting multiple private home networks\r\nto one true virtual environment for
    communication,\r\nmedia sharing/exchange, and distributed device con-\r\ntrol.
    We elab orate on the basic integration metho d-\r\nology and extend it to a general,
    security preserv-\r\ning, architectural concept based on a two level inte-\r\ngration
    concept for inhome and interhome networks.\r\nThe integration is achieved through
    additional OSGi\r\nservices for the management of virtual devices, p eer-\r\nto-p
    eer communication, and authentication. The ex-\r\nample of a Quality of Service
    based video streaming\r\nmanagement demonstrates one of the p otential ad-\r\nvanced
    application for which p eer-to-p eer can b e used\r\nin addition."
author:
- first_name: Chris
  full_name: Loeser, Chris
  last_name: Loeser
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Franz
  full_name: Berger, Franz
  last_name: Berger
- first_name: Heinz-Josef
  full_name: Eikerling, Heinz-Josef
  last_name: Eikerling
citation:
  ama: 'Loeser C, Müller W, Berger F, Eikerling H-J. Peer-to-Peer for Virtual Home
    Environments. In: <i>Proceedings of HICCS-36</i>. ; 2003.'
  apa: Loeser, C., Müller, W., Berger, F., &#38; Eikerling, H.-J. (2003). Peer-to-Peer
    for Virtual Home Environments. <i>Proceedings of HICCS-36</i>.
  bibtex: '@inproceedings{Loeser_Müller_Berger_Eikerling_2003, place={Hawaii, USA},
    title={Peer-to-Peer for Virtual Home Environments}, booktitle={Proceedings of
    HICCS-36}, author={Loeser, Chris and Müller, Wolfgang and Berger, Franz and Eikerling,
    Heinz-Josef}, year={2003} }'
  chicago: Loeser, Chris, Wolfgang Müller, Franz Berger, and Heinz-Josef Eikerling.
    “Peer-to-Peer for Virtual Home Environments.” In <i>Proceedings of HICCS-36</i>.
    Hawaii, USA, 2003.
  ieee: C. Loeser, W. Müller, F. Berger, and H.-J. Eikerling, “Peer-to-Peer for Virtual
    Home Environments,” 2003.
  mla: Loeser, Chris, et al. “Peer-to-Peer for Virtual Home Environments.” <i>Proceedings
    of HICCS-36</i>, 2003.
  short: 'C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36,
    Hawaii, USA, 2003.'
date_created: 2023-01-24T09:33:08Z
date_updated: 2023-01-24T09:33:14Z
department:
- _id: '672'
language:
- iso: eng
place: Hawaii, USA
publication: Proceedings of HICCS-36
status: public
title: Peer-to-Peer for Virtual Home Environments
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39354'
author:
- first_name: Heinz-Josef
  full_name: Eikerling, Heinz-Josef
  last_name: Eikerling
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Tim
  full_name: Schattkowski, Tim
  last_name: Schattkowski
- first_name: J.
  full_name: Wegner, J.
  last_name: Wegner
citation:
  ama: 'Eikerling H-J, Müller W, Schattkowski T, Wegner J. Tool Integration and Management
    in Heterogeneous Computer Networks. In: <i>Proceedings of DATE’03</i>. ; 2003.'
  apa: Eikerling, H.-J., Müller, W., Schattkowski, T., &#38; Wegner, J. (2003). Tool
    Integration and Management in Heterogeneous Computer Networks. <i>Proceedings
    of DATE’03</i>.
  bibtex: '@inproceedings{Eikerling_Müller_Schattkowski_Wegner_2003, place={Munich,
    Germany}, title={Tool Integration and Management in Heterogeneous Computer Networks},
    booktitle={Proceedings of DATE’03}, author={Eikerling, Heinz-Josef and Müller,
    Wolfgang and Schattkowski, Tim and Wegner, J.}, year={2003} }'
  chicago: Eikerling, Heinz-Josef, Wolfgang Müller, Tim Schattkowski, and J. Wegner.
    “Tool Integration and Management in Heterogeneous Computer Networks.” In <i>Proceedings
    of DATE’03</i>. Munich, Germany, 2003.
  ieee: H.-J. Eikerling, W. Müller, T. Schattkowski, and J. Wegner, “Tool Integration
    and Management in Heterogeneous Computer Networks,” 2003.
  mla: Eikerling, Heinz-Josef, et al. “Tool Integration and Management in Heterogeneous
    Computer Networks.” <i>Proceedings of DATE’03</i>, 2003.
  short: 'H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings
    of DATE’03, Munich, Germany, 2003.'
date_created: 2023-01-24T09:31:07Z
date_updated: 2023-01-24T09:31:12Z
department:
- _id: '672'
language:
- iso: eng
place: Munich, Germany
publication: Proceedings of DATE’03
status: public
title: Tool Integration and Management in Heterogeneous Computer Networks
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39365'
abstract:
- lang: eng
  text: Large-scale mobility in the era of embedded and mobile computers yields significant
    challenges with respect to personalization, networking, and security. Currently,
    mobile computing devices cannot be seamlessly and flexibly obtain information
    about the context in which computing takes place. This requires dedicated personalization
    and localization in combination with advanced autocustomization techniques in
    order to adapt them to the needs of the current context. For natural interaction,
    for instance, many devices offer different input and output modalities, which
    enable different modes of operation to perform the same task. Auto-customization
    of modalities and devices in range can be obtained, if the system has sufficient
    information on the user’s preferences, abilities, the current situation, and the
    device that performs a specific task. To aid the system’s decision, we propose
    a set of interrelated and expandable profiles, which are prepared for automated
    adaptation, what will play a central part in making the technology to become invisible.
author:
- first_name: Robbie
  full_name: Schäfer, Robbie
  last_name: Schäfer
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schäfer R, Müller W. Adaptive profiles for Multi-Modal Interaction in Intelligent
    Frameworks. In: <i>Proceedings of the Joint Workshop IJCAI Workshop on Artificial
    Intelligence, Information Access, and Mobile Computing</i>. ; 2003.'
  apa: Schäfer, R., &#38; Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction
    in Intelligent Frameworks. <i>Proceedings of the Joint Workshop IJCAI Workshop
    on Artificial Intelligence, Information Access, and Mobile Computing</i>.
  bibtex: '@inproceedings{Schäfer_Müller_2003, place={Acapulco, Mexico}, title={Adaptive
    profiles for Multi-Modal Interaction in Intelligent Frameworks}, booktitle={Proceedings
    of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access,
    and Mobile Computing}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2003}
    }'
  chicago: Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal
    Interaction in Intelligent Frameworks.” In <i>Proceedings of the Joint Workshop
    IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing</i>.
    Acapulco, Mexico, 2003.
  ieee: R. Schäfer and W. Müller, “Adaptive profiles for Multi-Modal Interaction in
    Intelligent Frameworks,” 2003.
  mla: Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction
    in Intelligent Frameworks.” <i>Proceedings of the Joint Workshop IJCAI Workshop
    on Artificial Intelligence, Information Access, and Mobile Computing</i>, 2003.
  short: 'R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop
    on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco,
    Mexico, 2003.'
date_created: 2023-01-24T09:47:49Z
date_updated: 2023-01-24T09:47:54Z
department:
- _id: '672'
language:
- iso: eng
place: Acapulco, Mexico
publication: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence,
  Information Access, and Mobile Computing
status: public
title: Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39364'
abstract:
- lang: eng
  text: "The textual Object Constraint Language (OCL) is an of-\r\nficial part of
    the Unified Modeling Language (UML). OCL\r\nis primarily used to formulate restrictions
    over UML mod-\r\nels, in particular, invariants and operation pre- and post-\r\nconditions
    in the context of class diagrams. However, OCL\r\nis missing means to specify
    constraints over the dynamic\r\nbehavior of a UML model. We have therefore developed
    a\r\ntemporal extension of OCL that enables modelers to specify\r\nbehavioral
    state-oriented constraints. That work provides\r\nan alternative to the rather
    cryptic temporal logic formulae\r\nthat are commonly used to specify behavioral
    system prop-\r\nerties.\r\nThis article now illustrates that our OCL extension
    al-\r\nlows for specifying all kinds of properties that are regarded\r\nas relevant
    in practice. We present according temporal OCL\r\nexpressions for property specification
    patterns that have\r\nbeen identified in the area of formal specification."
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Flake S, Müller W. Expressing Property Specification Patterns with OCL. In:
    <i>Proceedings of SERP’03</i>. ; 2003.'
  apa: Flake, S., &#38; Müller, W. (2003). Expressing Property Specification Patterns
    with OCL. <i>Proceedings of SERP’03</i>.
  bibtex: '@inproceedings{Flake_Müller_2003, place={Las Vegas, NV}, title={Expressing
    Property Specification Patterns with OCL}, booktitle={Proceedings of SERP’03},
    author={Flake, Stephan and Müller, Wolfgang}, year={2003} }'
  chicago: Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification
    Patterns with OCL.” In <i>Proceedings of SERP’03</i>. Las Vegas, NV, 2003.
  ieee: S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,”
    2003.
  mla: Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns
    with OCL.” <i>Proceedings of SERP’03</i>, 2003.
  short: 'S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.'
date_created: 2023-01-24T09:45:49Z
date_updated: 2023-01-24T09:45:54Z
department:
- _id: '672'
keyword:
- UML
- Object Constraint Language
- Patterns
- Property Specification
language:
- iso: eng
place: Las Vegas, NV
publication: Proceedings of SERP'03
status: public
title: Expressing Property Specification Patterns with OCL
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39366'
abstract:
- lang: eng
  text: Computer supported collaborative work (CSCW) is currently of growing interest
    for application industrial context. Integrated workflow systems are available
    to allow the integration of globally distributed teams. However, in many areas
    (i.e. in electronic design automation), tool integration remains to be a critical
    issue since existing legacy tools have to be integrated into distributed workflows.
    By integrating tools based on the operational semantics, dynamic assignment and
    replacement of tools in the workflows becomes possible. We present a middleware
    for secure collaborative engineering that enables flexible tool management and
    overcomes existing networking problems through a peer-to-peer based network infrastructure.
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. Distributed Engineering Environment for the Design
    of Electronic Systems. In: <i>Proceedings of CCE’03</i>. ; 2003.'
  apa: Schattkowsky, T., &#38; Müller, W. (2003). Distributed Engineering Environment
    for the Design of Electronic Systems. <i>Proceedings of CCE’03</i>.
  bibtex: '@inproceedings{Schattkowsky_Müller_2003, place={Poznan Poland}, title={Distributed
    Engineering Environment for the Design of Electronic Systems}, booktitle={Proceedings
    of CCE’03}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2003} }'
  chicago: Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment
    for the Design of Electronic Systems.” In <i>Proceedings of CCE’03</i>. Poznan
    Poland, 2003.
  ieee: T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the
    Design of Electronic Systems,” 2003.
  mla: Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment
    for the Design of Electronic Systems.” <i>Proceedings of CCE’03</i>, 2003.
  short: 'T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.'
date_created: 2023-01-24T09:49:18Z
date_updated: 2023-01-24T09:49:23Z
department:
- _id: '672'
language:
- iso: eng
place: Poznan Poland
publication: Proceedings of CCE'03
status: public
title: Distributed Engineering Environment for the Design of Electronic Systems
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39363'
abstract:
- lang: eng
  text: "The textual Object Constraint Language (OCL) is an of-\r\nficial part of
    the Unified Modeling Language (UML). It is\r\nprimarily used to formulate restrictions
    for UML class di-\r\nagrams. Additionally, it is possible to refer to UML State-\r\nchart
    states in OCL expressions to reason about currently\r\nactivated states.\r\nHowever,
    neither the current OCL standard nor the pro-\r\nposal for the new OCL 2.0 version
    integrate Statecharts on\r\nthe language definition level, i.e., the semantics
    of State-\r\nchart states in the context of OCL expressions is not suf-\r\nficiently
    defined so far. To overcome this deficiency, this\r\narticle provides a formal
    semantics for state-oriented OCL\r\nexpressions for application with UML Statecharts."
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Flake S, Müller W. Semantics of State-Oriented Expressions in the Object Constraint
    Language. In: <i>Proceedings of SEKE 2003</i>. ; 2003.'
  apa: Flake, S., &#38; Müller, W. (2003). Semantics of State-Oriented Expressions
    in the Object Constraint Language. <i>Proceedings of SEKE 2003</i>.
  bibtex: '@inproceedings{Flake_Müller_2003, place={San Francisco}, title={Semantics
    of State-Oriented Expressions in the Object Constraint Language}, booktitle={Proceedings
    of SEKE 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }'
  chicago: Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions
    in the Object Constraint Language.” In <i>Proceedings of SEKE 2003</i>. San Francisco,
    2003.
  ieee: S. Flake and W. Müller, “Semantics of State-Oriented Expressions in the Object
    Constraint Language,” 2003.
  mla: Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions
    in the Object Constraint Language.” <i>Proceedings of SEKE 2003</i>, 2003.
  short: 'S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.'
date_created: 2023-01-24T09:44:11Z
date_updated: 2023-01-24T09:44:24Z
department:
- _id: '672'
language:
- iso: eng
place: San Francisco
publication: Proceedings of SEKE 2003
status: public
title: Semantics of State-Oriented Expressions in the Object Constraint Language
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39367'
abstract:
- lang: eng
  text: 'Confidentiality and security in data access and transmission over multiple
    open networks are of utmost importance for most collaborative engineering environments.
    In this article, we review smart card based security technologies for their application
    in computer-based collaborative engineering environments. We focus on most recent
    microprocessor-based smart cards and on JavaCard as a development infrastructure
    and operating system. Since JavaCard supports the integration of multiple applications
    on one card, it enables smart cards to integrate large sets of additional applications.
    In that context, we identify and discuss three potential key applications: authentication
    with biometrics, certification, and advanced profile management.'
author:
- first_name: J.
  full_name: Wang, J.
  last_name: Wang
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Wang J, Müller W. SmartCard for Secure Collaborative Engineering. In: <i>Proceedings
    of CCE’03</i>. ; 2003.'
  apa: Wang, J., &#38; Müller, W. (2003). SmartCard for Secure Collaborative Engineering.
    <i>Proceedings of CCE’03</i>.
  bibtex: '@inproceedings{Wang_Müller_2003, place={Poznan Poland}, title={SmartCard
    for Secure Collaborative Engineering}, booktitle={Proceedings of CCE’03}, author={Wang,
    J. and Müller, Wolfgang}, year={2003} }'
  chicago: Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.”
    In <i>Proceedings of CCE’03</i>. Poznan Poland, 2003.
  ieee: J. Wang and W. Müller, “SmartCard for Secure Collaborative Engineering,” 2003.
  mla: Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.”
    <i>Proceedings of CCE’03</i>, 2003.
  short: 'J. Wang, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.'
date_created: 2023-01-24T09:51:15Z
date_updated: 2023-01-24T09:51:20Z
department:
- _id: '672'
language:
- iso: eng
place: Poznan Poland
publication: Proceedings of CCE'03
status: public
title: SmartCard for Secure Collaborative Engineering
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39360'
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: Krupp A, Müller W. Formale Verfeinerung und Modelchecking von zeitbehafteten
    endlichen Automaten. Published online 2003.
  apa: Krupp, A., &#38; Müller, W. (2003). <i>Formale Verfeinerung und Modelchecking
    von zeitbehafteten endlichen Automaten</i>.
  bibtex: '@article{Krupp_Müller_2003, place={Bremen}, series={Methoden und Beschreibungssprachen
    zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)}, title={Formale
    Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten}, author={Krupp,
    Alexander and Müller, Wolfgang}, year={2003}, collection={Methoden und Beschreibungssprachen
    zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)} }'
  chicago: Krupp, Alexander, and Wolfgang Müller. “Formale Verfeinerung Und Modelchecking
    von Zeitbehafteten Endlichen Automaten.” Methoden Und Beschreibungssprachen Zur
    Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Bremen, 2003.
  ieee: A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten
    endlichen Automaten.” Bremen, 2003.
  mla: Krupp, Alexander, and Wolfgang Müller. <i>Formale Verfeinerung Und Modelchecking
    von Zeitbehafteten Endlichen Automaten</i>. 2003.
  short: A. Krupp, W. Müller, (2003).
date_created: 2023-01-24T09:36:32Z
date_updated: 2023-01-24T09:36:37Z
department:
- _id: '672'
language:
- iso: eng
place: Bremen
series_title: Methoden und Beschreibungssprachen zur Modellierung und Verifikation
  von Schaltungen und Systemen (MBMV)
status: public
title: Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39368'
author:
- first_name: Alexander
  full_name: Krupp, Alexander
  last_name: Krupp
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Krupp A, Müller W. Combining Formal Refinement and Model Checking for Analysis
    of Realtime Systems. In: <i>Proceedings of FDL’03</i>. ; 2003.'
  apa: Krupp, A., &#38; Müller, W. (2003). Combining Formal Refinement and Model Checking
    for Analysis of Realtime Systems. <i>Proceedings of FDL’03</i>.
  bibtex: '@inproceedings{Krupp_Müller_2003, place={Frankfurt, Germany}, title={Combining
    Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Proceedings
    of FDL’03}, author={Krupp, Alexander and Müller, Wolfgang}, year={2003} }'
  chicago: Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and
    Model Checking for Analysis of Realtime Systems.” In <i>Proceedings of FDL’03</i>.
    Frankfurt, Germany, 2003.
  ieee: A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for
    Analysis of Realtime Systems,” 2003.
  mla: Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model
    Checking for Analysis of Realtime Systems.” <i>Proceedings of FDL’03</i>, 2003.
  short: 'A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.'
date_created: 2023-01-24T09:53:01Z
date_updated: 2023-01-24T09:53:06Z
department:
- _id: '672'
language:
- iso: eng
place: Frankfurt, Germany
publication: Proceedings of FDL'03
status: public
title: Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39369'
abstract:
- lang: eng
  text: The latest OCL 2.0 proposal provides two semantic descriptions, i.e., a metamodel
    based semantics that uses UML itself to associate the semantic domain with the
    language concepts and a formal semantics based on a set-theoretic approach called
    object model. Unfortunately, these two semantics are currently neither consistent
    nor complete, as (a) the formal semantics does not consider the newly introduced
    concept of OCL messages and (b) both semantics lack an integration of Statecharts
    and a semantic denition of state-related operations. This article focuses on a
    formal semantics for OCL messages as a foundation for consistency among,the two
    OCL semantics. We extend object models and present an extended denition of a system
    state that comprises all relevant information to be able to evaluate OCL expressions
    also w.r.t. OCL messages.
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Flake S, Müller W. Formal Semantics of OCL Messages. In: <i>Proceedings of
    the Workshop OCL 2.0 at UML 2003</i>. ; 2003.'
  apa: Flake, S., &#38; Müller, W. (2003). Formal Semantics of OCL Messages. <i>Proceedings
    of the Workshop OCL 2.0 at UML 2003</i>.
  bibtex: '@inproceedings{Flake_Müller_2003, place={San Francisco, USA}, title={Formal
    Semantics of OCL Messages}, booktitle={Proceedings of the Workshop OCL 2.0 at
    UML 2003}, author={Flake, Stephan and Müller, Wolfgang}, year={2003} }'
  chicago: Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.”
    In <i>Proceedings of the Workshop OCL 2.0 at UML 2003</i>. San Francisco, USA,
    2003.
  ieee: S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.
  mla: Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” <i>Proceedings
    of the Workshop OCL 2.0 at UML 2003</i>, 2003.
  short: 'S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003,
    San Francisco, USA, 2003.'
date_created: 2023-01-24T09:54:09Z
date_updated: 2023-01-24T09:54:24Z
department:
- _id: '672'
language:
- iso: eng
place: San Francisco, USA
publication: Proceedings of the Workshop OCL 2.0 at UML 2003
status: public
title: Formal Semantics of OCL Messages
type: conference
user_id: '5786'
year: '2003'
...
---
_id: '39985'
author:
- first_name: T
  full_name: Röder, T
  last_name: Röder
- first_name: Heinz-Siegfried
  full_name: Kitzerow, Heinz-Siegfried
  id: '254'
  last_name: Kitzerow
- first_name: J.C
  full_name: Hummelen, J.C
  last_name: Hummelen
citation:
  ama: Röder T, Kitzerow H-S, Hummelen JC. Morphology and fluorescence quenching in
    photovoltaic samples containing fullerene and poly(p-phenylene-vinylene) derivatives.
    <i>Synthetic Metals</i>. 2003;141(3):271-275. doi:<a href="https://doi.org/10.1016/s0379-6779(03)00412-0">10.1016/s0379-6779(03)00412-0</a>
  apa: Röder, T., Kitzerow, H.-S., &#38; Hummelen, J. C. (2003). Morphology and fluorescence
    quenching in photovoltaic samples containing fullerene and poly(p-phenylene-vinylene)
    derivatives. <i>Synthetic Metals</i>, <i>141</i>(3), 271–275. <a href="https://doi.org/10.1016/s0379-6779(03)00412-0">https://doi.org/10.1016/s0379-6779(03)00412-0</a>
  bibtex: '@article{Röder_Kitzerow_Hummelen_2003, title={Morphology and fluorescence
    quenching in photovoltaic samples containing fullerene and poly(p-phenylene-vinylene)
    derivatives}, volume={141}, DOI={<a href="https://doi.org/10.1016/s0379-6779(03)00412-0">10.1016/s0379-6779(03)00412-0</a>},
    number={3}, journal={Synthetic Metals}, publisher={Elsevier BV}, author={Röder,
    T and Kitzerow, Heinz-Siegfried and Hummelen, J.C}, year={2003}, pages={271–275}
    }'
  chicago: 'Röder, T, Heinz-Siegfried Kitzerow, and J.C Hummelen. “Morphology and
    Fluorescence Quenching in Photovoltaic Samples Containing Fullerene and Poly(p-Phenylene-Vinylene)
    Derivatives.” <i>Synthetic Metals</i> 141, no. 3 (2003): 271–75. <a href="https://doi.org/10.1016/s0379-6779(03)00412-0">https://doi.org/10.1016/s0379-6779(03)00412-0</a>.'
  ieee: 'T. Röder, H.-S. Kitzerow, and J. C. Hummelen, “Morphology and fluorescence
    quenching in photovoltaic samples containing fullerene and poly(p-phenylene-vinylene)
    derivatives,” <i>Synthetic Metals</i>, vol. 141, no. 3, pp. 271–275, 2003, doi:
    <a href="https://doi.org/10.1016/s0379-6779(03)00412-0">10.1016/s0379-6779(03)00412-0</a>.'
  mla: Röder, T., et al. “Morphology and Fluorescence Quenching in Photovoltaic Samples
    Containing Fullerene and Poly(p-Phenylene-Vinylene) Derivatives.” <i>Synthetic
    Metals</i>, vol. 141, no. 3, Elsevier BV, 2003, pp. 271–75, doi:<a href="https://doi.org/10.1016/s0379-6779(03)00412-0">10.1016/s0379-6779(03)00412-0</a>.
  short: T. Röder, H.-S. Kitzerow, J.C. Hummelen, Synthetic Metals 141 (2003) 271–275.
date_created: 2023-01-25T12:06:23Z
date_updated: 2023-01-25T12:09:38Z
department:
- _id: '313'
- _id: '638'
doi: 10.1016/s0379-6779(03)00412-0
intvolume: '       141'
issue: '3'
keyword:
- Materials Chemistry
- Metals and Alloys
- Mechanical Engineering
- Mechanics of Materials
- Condensed Matter Physics
- Electronic
- Optical and Magnetic Materials
language:
- iso: eng
page: 271-275
publication: Synthetic Metals
publication_identifier:
  issn:
  - 0379-6779
publication_status: published
publisher: Elsevier BV
status: public
title: Morphology and fluorescence quenching in photovoltaic samples containing fullerene
  and poly(p-phenylene-vinylene) derivatives
type: journal_article
user_id: '254'
volume: 141
year: '2003'
...
