---
_id: '32720'
author:
- first_name: Jörn
full_name: Steigerwald, Jörn
id: '37947'
last_name: Steigerwald
citation:
ama: 'Steigerwald J. Encyclopédie der Sexualpathologie. In: Ders., ed. Sexualität
Und Imagination. Pathologien Der Einbildungskraft Im Medizinischen Diskurs Der
Frühen Neuzeit. ; 2004:137-163.'
apa: Steigerwald, J. (2004). Encyclopédie der Sexualpathologie. In Ders. (Ed.),
Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen
Diskurs der Frühen Neuzeit (pp. 137–163).
bibtex: '@inbook{Steigerwald_2004, place={Frankfurt/Main}, title={Encyclopédie der
Sexualpathologie}, booktitle={Sexualität und Imagination. Pathologien der Einbildungskraft
im medizinischen Diskurs der Frühen Neuzeit}, author={Steigerwald, Jörn}, editor={Ders.},
year={2004}, pages={137–163} }'
chicago: Steigerwald, Jörn. “Encyclopédie Der Sexualpathologie.” In Sexualität
Und Imagination. Pathologien Der Einbildungskraft Im Medizinischen Diskurs Der
Frühen Neuzeit, edited by Ders., 137–63. Frankfurt/Main, 2004.
ieee: J. Steigerwald, “Encyclopédie der Sexualpathologie,” in Sexualität und
Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen
Neuzeit, Ders., Ed. Frankfurt/Main, 2004, pp. 137–163.
mla: Steigerwald, Jörn. “Encyclopédie Der Sexualpathologie.” Sexualität Und Imagination.
Pathologien Der Einbildungskraft Im Medizinischen Diskurs Der Frühen Neuzeit,
edited by Ders., 2004, pp. 137–63.
short: 'J. Steigerwald, in: Ders. (Ed.), Sexualität Und Imagination. Pathologien
Der Einbildungskraft Im Medizinischen Diskurs Der Frühen Neuzeit, Frankfurt/Main,
2004, pp. 137–163.'
corporate_editor:
- Ders.
date_created: 2022-08-09T19:02:35Z
date_updated: 2022-10-04T01:34:30Z
department:
- _id: '5'
- _id: '116'
extern: '1'
language:
- iso: eng
page: 137-163
place: Frankfurt/Main
publication: Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen
Diskurs der Frühen Neuzeit
status: public
title: Encyclopédie der Sexualpathologie
type: book_chapter
user_id: '49063'
year: '2004'
...
---
_id: '32620'
citation:
ama: Steigerwald J, ed. Sexualität und Imagination. Pathologien der Einbildungskraft
im medizinischen Diskurs der Frühen Neuzeit.; 2004.
apa: Steigerwald J. (Ed.). (2004). Sexualität und Imagination. Pathologien der
Einbildungskraft im medizinischen Diskurs der Frühen Neuzeit.
bibtex: '@book{Steigerwald_2004, place={Frankfurt/ Main}, title={Sexualität und
Imagination. Pathologien der Einbildungskraft im medizinischen Diskurs der Frühen
Neuzeit}, year={2004} }'
chicago: Steigerwald Jörn, ed. Sexualität und Imagination. Pathologien der Einbildungskraft
im medizinischen Diskurs der Frühen Neuzeit. Frankfurt/ Main, 2004.
ieee: Steigerwald J., Ed., Sexualität und Imagination. Pathologien der Einbildungskraft
im medizinischen Diskurs der Frühen Neuzeit. Frankfurt/ Main, 2004.
mla: Steigerwald Jörn, editor. Sexualität und Imagination. Pathologien der Einbildungskraft
im medizinischen Diskurs der Frühen Neuzeit. 2004.
short: Steigerwald J., ed., Sexualität und Imagination. Pathologien der Einbildungskraft
im medizinischen Diskurs der Frühen Neuzeit, Frankfurt/ Main, 2004.
date_created: 2022-08-09T17:07:59Z
date_updated: 2022-10-04T06:05:55Z
department:
- _id: '5'
- _id: '116'
editor:
- first_name: Jörn
full_name: Steigerwald, Jörn
id: '37947'
last_name: Steigerwald
extern: '1'
language:
- iso: chi
place: Frankfurt/ Main
status: public
title: Sexualität und Imagination. Pathologien der Einbildungskraft im medizinischen
Diskurs der Frühen Neuzeit
type: book_editor
user_id: '49063'
year: '2004'
...
---
_id: '33788'
author:
- first_name: Cornelia
full_name: Zierau, Cornelia
id: '36883'
last_name: Zierau
citation:
ama: 'Zierau C. Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das
Leben ist eine Karawanserei. In: Durzak M, Kuruyazıcı N, eds. Die andere Deutsche
Literatur. Königshausen & Neumann; 2004:166-173.'
apa: Zierau, C. (2004). Story und History – „Nation-Writing“ in Emine Sevgi Özdamars
Das Leben ist eine Karawanserei. In M. Durzak & N. Kuruyazıcı (Eds.), Die
andere Deutsche Literatur (pp. 166–173). Königshausen & Neumann.
bibtex: '@inbook{Zierau_2004, place={Würzburg}, title={Story und History – „Nation-Writing“
in Emine Sevgi Özdamars Das Leben ist eine Karawanserei}, booktitle={Die andere
Deutsche Literatur}, publisher={Königshausen & Neumann}, author={Zierau, Cornelia},
editor={Durzak, Manfred and Kuruyazıcı, Nilüfer}, year={2004}, pages={166–173}
}'
chicago: 'Zierau, Cornelia. “Story und History – „Nation-Writing“ in Emine Sevgi
Özdamars Das Leben ist eine Karawanserei.” In Die andere Deutsche Literatur,
edited by Manfred Durzak and Nilüfer Kuruyazıcı, 166–73. Würzburg: Königshausen
& Neumann, 2004.'
ieee: 'C. Zierau, “Story und History – „Nation-Writing“ in Emine Sevgi Özdamars
Das Leben ist eine Karawanserei,” in Die andere Deutsche Literatur, M.
Durzak and N. Kuruyazıcı, Eds. Würzburg: Königshausen & Neumann, 2004, pp.
166–173.'
mla: Zierau, Cornelia. “Story und History – „Nation-Writing“ in Emine Sevgi Özdamars
Das Leben ist eine Karawanserei.” Die andere Deutsche Literatur, edited
by Manfred Durzak and Nilüfer Kuruyazıcı, Königshausen & Neumann, 2004, pp.
166–73.
short: 'C. Zierau, in: M. Durzak, N. Kuruyazıcı (Eds.), Die andere Deutsche Literatur,
Königshausen & Neumann, Würzburg, 2004, pp. 166–173.'
date_created: 2022-10-17T12:56:34Z
date_updated: 2022-10-17T12:56:42Z
department:
- _id: '465'
- _id: '464'
editor:
- first_name: Manfred
full_name: Durzak, Manfred
last_name: Durzak
- first_name: Nilüfer
full_name: Kuruyazıcı, Nilüfer
last_name: Kuruyazıcı
extern: '1'
language:
- iso: ger
page: 166-173
place: Würzburg
publication: Die andere Deutsche Literatur
publisher: Königshausen & Neumann
status: public
title: Story und History – „Nation-Writing“ in Emine Sevgi Özdamars Das Leben ist
eine Karawanserei
type: book_chapter
user_id: '49063'
year: '2004'
...
---
_id: '33789'
author:
- first_name: Cornelia
full_name: Zierau, Cornelia
id: '36883'
last_name: Zierau
citation:
ama: 'Zierau C. Bericht über eine Studienreise. Alman Dili ve Edebiyatı Dergisi
- Studien zur Deutschen Sprache und Literatur No XV İstanbul: İÜ Edebiyat Fakültesi
(Hg: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät
der Universität İstanbul). Published online 2004:155-159.'
apa: 'Zierau, C. (2004). Bericht über eine Studienreise. Alman Dili ve Edebiyatı
Dergisi - Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat
Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen
Fakultät der Universität İstanbul), 155–159.'
bibtex: '@article{Zierau_2004, title={Bericht über eine Studienreise}, journal={Alman
Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und Literatur No. XV.
İstanbul: İÜ Edebiyat Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur
an der Philosophischen Fakultät der Universität İstanbul)}, publisher={İÜ Edebiyat
Fakültesi, Istanbul}, author={Zierau, Cornelia}, year={2004}, pages={155–159}
}'
chicago: 'Zierau, Cornelia. “Bericht über eine Studienreise.” Alman Dili ve Edebiyatı
Dergisi - Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat
Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen
Fakultät der Universität İstanbul), 2004, 155–59.'
ieee: 'C. Zierau, “Bericht über eine Studienreise,” Alman Dili ve Edebiyatı Dergisi
- Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat Fakültesi
(Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen Fakultät
der Universität İstanbul), pp. 155–159, 2004.'
mla: 'Zierau, Cornelia. “Bericht über eine Studienreise.” Alman Dili ve Edebiyatı
Dergisi - Studien zur Deutschen Sprache und Literatur No. XV. İstanbul: İÜ Edebiyat
Fakültesi (Hg.: Abteilung für deutsche Sprache und Literatur an der Philosophischen
Fakultät der Universität İstanbul), İÜ Edebiyat Fakültesi, Istanbul, 2004,
pp. 155–59.'
short: 'C. Zierau, Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache
und Literatur No. XV. İstanbul: İÜ Edebiyat Fakültesi (Hg.: Abteilung für deutsche
Sprache und Literatur an der Philosophischen Fakultät der Universität İstanbul)
(2004) 155–159.'
date_created: 2022-10-17T12:57:49Z
date_updated: 2022-10-18T11:46:44Z
department:
- _id: '465'
- _id: '464'
extern: '1'
language:
- iso: ger
page: 155-159
publication: 'Alman Dili ve Edebiyatı Dergisi - Studien zur Deutschen Sprache und
Literatur No. XV. İstanbul: İÜ Edebiyat Fakültesi (Hg.: Abteilung für deutsche Sprache
und Literatur an der Philosophischen Fakultät der Universität İstanbul)'
publisher: İÜ Edebiyat Fakültesi, Istanbul
status: public
title: Bericht über eine Studienreise
type: journal_article
user_id: '14932'
year: '2004'
...
---
_id: '33825'
abstract:
- lang: eng
text: This article describes our approach for the specification and verification
of production automation systems with real-time properties. We focus on the graphical
MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification
of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint
Language (OCL) that is part of the Unified Modeling Language (UML). We introduce
the formal semantics of RT-OCL based on a formal model of UML Class and State
Diagrams and provide a mapping to temporal logics. The applicability of our approach
is demonstrated by the case study of a manufacturing system with automated guided
vehicles.
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
- first_name: Ulrich
full_name: Pape, Ulrich
last_name: Pape
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
citation:
ama: 'Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of
Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel
J, et al., eds. Integration of Software Specification Techniques for Applications
in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag;
2004:206-226. doi:10.1007/978-3-540-27863-4_13'
apa: Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal
Verification of Temporal Properties of Production Automation Systems. In H. Ehrig,
W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper
(Eds.), Integration of Software Specification Techniques for Applications in
Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
bibtex: '@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture
Notes in Computer Science}, title={Specification and Formal Verification of Temporal
Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13},
booktitle={Integration of Software Specification Techniques for Applications in
Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller,
Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner
and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard
and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture
Notes in Computer Science} }'
chicago: 'Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification
and Formal Verification of Temporal Properties of Production Automation Systems.”
In Integration of Software Specification Techniques for Applications in Engineering,
edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang
Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes
in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.'
ieee: 'S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification
of Temporal Properties of Production Automation Systems,” in Integration of
Software Specification Techniques for Applications in Engineering, vol. 3147,
H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper,
Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.'
mla: Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties
of Production Automation Systems.” Integration of Software Specification Techniques
for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147,
Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
short: 'S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M.
Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software
Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin,
Heidelberg, 2004, pp. 206–226.'
date_created: 2022-10-20T09:25:53Z
date_updated: 2022-10-20T09:26:15Z
department:
- _id: '672'
doi: 10.1007/978-3-540-27863-4_13
editor:
- first_name: Hartmut
full_name: Ehrig, Hartmut
last_name: Ehrig
- first_name: Werner
full_name: Damm, Werner
last_name: Damm
- first_name: Jörg
full_name: Desel, Jörg
last_name: Desel
- first_name: Martin
full_name: Große-Rhode, Martin
last_name: Große-Rhode
- first_name: Wolfgang
full_name: Reif, Wolfgang
last_name: Reif
- first_name: Eckehard
full_name: Schnieder, Eckehard
last_name: Schnieder
- first_name: Engelbert
full_name: Westkämper, Engelbert
last_name: Westkämper
intvolume: ' 3147'
keyword:
- Model Check
- Temporal Logic
- Object Constraint Language
- Abstract Syntax
- Temporal Logic Formula
language:
- iso: eng
page: 206-226
place: Berlin, Heidelberg
publication: Integration of Software Specification Techniques for Applications in
Engineering
publication_identifier:
isbn:
- 978-3-540-27863-4
publisher: Springer-Verlag
series_title: Lecture Notes in Computer Science
status: public
title: Specification and Formal Verification of Temporal Properties of Production
Automation Systems
type: book_chapter
user_id: '5786'
volume: 3147
year: '2004'
...
---
_id: '33827'
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
- first_name: Adam
full_name: Pawlak, Adam
last_name: Pawlak
citation:
ama: 'Schattkowsky T, Müller W, Pawlak A. Workflow Management Middleware for Secure
Distance-Spanning Collaborative Engineering. In: Fischer L, ed. Workflow Handbook
2004. Workflow Management Coalition (WfMC); 2004.'
apa: Schattkowsky, T., Müller, W., & Pawlak, A. (2004). Workflow Management
Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer
(Ed.), Workflow Handbook 2004. Workflow Management Coalition (WfMC).
bibtex: '@inbook{Schattkowsky_Müller_Pawlak_2004, place={Lighthouse Point, FL, USA},
title={Workflow Management Middleware for Secure Distance-Spanning Collaborative
Engineering}, booktitle={Workflow Handbook 2004}, publisher={Workflow Management
Coalition (WfMC)}, author={Schattkowsky, Tim and Müller, Wolfgang and Pawlak,
Adam}, editor={Fischer, Layna}, year={2004} }'
chicago: 'Schattkowsky, Tim, Wolfgang Müller, and Adam Pawlak. “Workflow Management
Middleware for Secure Distance-Spanning Collaborative Engineering.” In Workflow
Handbook 2004, edited by Layna Fischer. Lighthouse Point, FL, USA: Workflow
Management Coalition (WfMC), 2004.'
ieee: 'T. Schattkowsky, W. Müller, and A. Pawlak, “Workflow Management Middleware
for Secure Distance-Spanning Collaborative Engineering,” in Workflow Handbook
2004, L. Fischer, Ed. Lighthouse Point, FL, USA: Workflow Management Coalition
(WfMC), 2004.'
mla: Schattkowsky, Tim, et al. “Workflow Management Middleware for Secure Distance-Spanning
Collaborative Engineering.” Workflow Handbook 2004, edited by Layna Fischer,
Workflow Management Coalition (WfMC), 2004.
short: 'T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook
2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.'
date_created: 2022-10-20T09:33:49Z
date_updated: 2022-10-20T09:34:51Z
department:
- _id: '672'
editor:
- first_name: Layna
full_name: Fischer, Layna
last_name: Fischer
language:
- iso: eng
place: Lighthouse Point, FL, USA
publication: Workflow Handbook 2004
publication_identifier:
isbn:
- '0970350961'
publisher: Workflow Management Coalition (WfMC)
status: public
title: Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
type: book_chapter
user_id: '5786'
year: '2004'
...
---
_id: '33830'
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. Refinement of Finite State Machines with Complementary
Model Checking. In: Mermet J, ed. UML-B System Specification for Proven Electronic
Design. Kluwer; 2004:155-168.'
apa: Krupp, A., & Müller, W. (2004). Refinement of Finite State Machines with
Complementary Model Checking. In J. Mermet (Ed.), UML-B System Specification
for Proven Electronic Design (pp. 155–168). Kluwer.
bibtex: '@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite
State Machines with Complementary Model Checking}, booktitle={UML-B System Specification
for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and
Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }'
chicago: 'Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines
with Complementary Model Checking.” In UML-B System Specification for Proven
Electronic Design, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.'
ieee: 'A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary
Model Checking,” in UML-B System Specification for Proven Electronic Design,
J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.'
mla: Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines
with Complementary Model Checking.” UML-B System Specification for Proven Electronic
Design, edited by J. Mermet, Kluwer, 2004, pp. 155–68.
short: 'A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for
Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.'
date_created: 2022-10-20T09:54:53Z
date_updated: 2022-10-20T09:56:28Z
department:
- _id: '672'
editor:
- first_name: J.
full_name: Mermet, J.
last_name: Mermet
language:
- iso: eng
page: 155-168
place: Dordrecht
publication: UML-B System Specification for Proven Electronic Design
publication_identifier:
isbn:
- 1-4020-2866-0
publisher: Kluwer
status: public
title: Refinement of Finite State Machines with Complementary Model Checking
type: book_chapter
user_id: '5786'
year: '2004'
...
---
_id: '33829'
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
- first_name: Ian
full_name: Oliver, Ian
last_name: Oliver
citation:
ama: 'Krupp A, Müller W, Oliver I. Combining Formal Refinement and Model Checking
for Analysis of Realtime Systems. In: Grimm Ch, ed. Best of FDL’03. Kluwer;
2004:301-314.'
apa: Krupp, A., Müller, W., & Oliver, I. (2004). Combining Formal Refinement
and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), Best
of FDL’03 (pp. 301–314). Kluwer.
bibtex: '@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={Combining Formal
Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Best
of FDL’03}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang
and Oliver, Ian}, editor={Grimm, Ch.}, year={2004}, pages={301–314} }'
chicago: 'Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement
and Model Checking for Analysis of Realtime Systems.” In Best of FDL’03,
edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.'
ieee: 'A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model
Checking for Analysis of Realtime Systems,” in Best of FDL’03, Ch. Grimm,
Ed. Dordrecht: Kluwer, 2004, pp. 301–314.'
mla: Krupp, Alexander, et al. “Combining Formal Refinement and Model Checking for
Analysis of Realtime Systems.” Best of FDL’03, edited by Ch. Grimm, Kluwer,
2004, pp. 301–14.
short: 'A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer,
Dordrecht, 2004, pp. 301–314.'
date_created: 2022-10-20T09:49:57Z
date_updated: 2022-10-20T09:50:11Z
department:
- _id: '672'
editor:
- first_name: Ch.
full_name: Grimm, Ch.
last_name: Grimm
language:
- iso: eng
page: 301-314
place: Dordrecht
publication: Best of FDL'03
publication_identifier:
isbn:
- 978-1-4020-7991-7
publisher: Kluwer
status: public
title: Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
type: book_chapter
user_id: '5786'
year: '2004'
...
---
_id: '33832'
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
- first_name: Ian
full_name: Oliver, Ian
last_name: Oliver
citation:
ama: 'Krupp A, Müller W, Oliver I. The Echo Cancellation Unit Case Study. In: Mermet
J, ed. UML-B System Specification for Proven Electronic Design. Kluwer;
2004:227-240.'
apa: Krupp, A., Müller, W., & Oliver, I. (2004). The Echo Cancellation Unit
Case Study. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic
Design (pp. 227–240). Kluwer.
bibtex: '@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={The Echo Cancellation
Unit Case Study}, booktitle={UML-B System Specification for Proven Electronic
Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and
Oliver, Ian}, editor={Mermet, J.}, year={2004}, pages={227–240} }'
chicago: 'Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “The Echo Cancellation
Unit Case Study.” In UML-B System Specification for Proven Electronic Design,
edited by J. Mermet, 227–40. Dordrecht: Kluwer, 2004.'
ieee: 'A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,”
in UML-B System Specification for Proven Electronic Design, J. Mermet,
Ed. Dordrecht: Kluwer, 2004, pp. 227–240.'
mla: Krupp, Alexander, et al. “The Echo Cancellation Unit Case Study.” UML-B
System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer,
2004, pp. 227–40.
short: 'A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification
for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.'
date_created: 2022-10-20T09:59:04Z
date_updated: 2022-10-20T09:59:24Z
department:
- _id: '672'
editor:
- first_name: J.
full_name: Mermet, J.
last_name: Mermet
language:
- iso: eng
page: 227-240
place: Dordrecht
publication: UML-B System Specification for Proven Electronic Design
publication_identifier:
isbn:
- 1-4020-2866-0
publisher: Kluwer
status: public
title: The Echo Cancellation Unit Case Study
type: book_chapter
user_id: '5786'
year: '2004'
...
---
_id: '33881'
author:
- first_name: Thomas
full_name: Tröster, Thomas
id: '553'
last_name: Tröster
- first_name: W.
full_name: Rostek, W.
last_name: Rostek
citation:
ama: 'Tröster T, Rostek W. Innovative Warmumformung. In: Tröster T, Rostek W, eds.
Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung
Internationale Konferenz “Neuere Entwicklungen in der Blechumformung” in Fellbach.
Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung
Internationale Konferenz “Neuere Entwicklungen in der Blechumformung.” ; 2004:51-66.'
apa: 'Tröster, T., & Rostek, W. (2004). Innovative Warmumformung. In T. Tröster
& W. Rostek (Eds.), Neuere Entwicklungen in der Blechumformung : [Vortragstexte
zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung”
in Fellbach (Issue 2004, pp. 51–66).'
bibtex: '@inproceedings{Tröster_Rostek_2004, place={Fellbach}, series={Neuere Entwicklungen
in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz
“Neuere Entwicklungen in der Blechumformung”}, title={Innovative Warmumformung},
number={2004}, booktitle={Neuere Entwicklungen in der Blechumformung : [Vortragstexte
zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen in der Blechumformung”
in Fellbach}, author={Tröster, Thomas and Rostek, W.}, editor={Tröster, Thomas
and Rostek, W.}, year={2004}, pages={51–66}, collection={Neuere Entwicklungen
in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz
“Neuere Entwicklungen in der Blechumformung”} }'
chicago: 'Tröster, Thomas, and W. Rostek. “Innovative Warmumformung.” In Neuere
Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale
Konferenz “Neuere Entwicklungen in der Blechumformung” in Fellbach, edited
by Thomas Tröster and W. Rostek, 51–66. Neuere Entwicklungen in der Blechumformung :
[Vortragstexte zur Veranstaltung Internationale Konferenz “Neuere Entwicklungen
in der Blechumformung.” Fellbach, 2004.'
ieee: 'T. Tröster and W. Rostek, “Innovative Warmumformung,” in Neuere Entwicklungen
in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz
“Neuere Entwicklungen in der Blechumformung” in Fellbach, Fellbach, 2004,
no. 2004, pp. 51–66.'
mla: 'Tröster, Thomas, and W. Rostek. “Innovative Warmumformung.” Neuere Entwicklungen
in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz
“Neuere Entwicklungen in der Blechumformung” in Fellbach, edited by Thomas
Tröster and W. Rostek, no. 2004, 2004, pp. 51–66.'
short: 'T. Tröster, W. Rostek, in: T. Tröster, W. Rostek (Eds.), Neuere Entwicklungen
in der Blechumformung : [Vortragstexte zur Veranstaltung Internationale Konferenz
“Neuere Entwicklungen in der Blechumformung” in Fellbach, Fellbach, 2004, pp.
51–66.'
conference:
end_date: 2004-05-12
location: Fellbach
name: Internationale Konferenz "Neuere Entwicklungen in der Blechumformung"
start_date: 2004-05-11
date_created: 2022-10-26T07:47:10Z
date_updated: 2022-10-26T07:47:28Z
department:
- _id: '9'
- _id: '149'
- _id: '321'
editor:
- first_name: Thomas
full_name: Tröster, Thomas
last_name: Tröster
- first_name: W.
full_name: Rostek, W.
last_name: Rostek
extern: '1'
issue: '2004'
language:
- iso: ger
page: 51-66
place: Fellbach
publication: 'Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung
Internationale Konferenz "Neuere Entwicklungen in der Blechumformung" in Fellbach'
publication_identifier:
unknown:
- 978-3-88355-331-3
publication_status: published
series_title: 'Neuere Entwicklungen in der Blechumformung : [Vortragstexte zur Veranstaltung
Internationale Konferenz "Neuere Entwicklungen in der Blechumformung"'
status: public
title: Innovative Warmumformung
type: conference
user_id: '15952'
year: '2004'
...
---
_id: '35359'
article_type: original
author:
- first_name: Ryan J.
full_name: Cormier, Ryan J.
last_name: Cormier
- first_name: Claudia
full_name: Schmidt, Claudia
id: '466'
last_name: Schmidt
orcid: 0000-0003-3179-9997
- first_name: Paul T.
full_name: Callaghan, Paul T.
last_name: Callaghan
citation:
ama: Cormier RJ, Schmidt C, Callaghan PT. Director reorientation of a side-chain
liquid crystalline polymer under extensional flow. Journal of Rheology.
2004;48(4):881-894. doi:10.1122/1.1753278
apa: Cormier, R. J., Schmidt, C., & Callaghan, P. T. (2004). Director reorientation
of a side-chain liquid crystalline polymer under extensional flow. Journal
of Rheology, 48(4), 881–894. https://doi.org/10.1122/1.1753278
bibtex: '@article{Cormier_Schmidt_Callaghan_2004, title={Director reorientation
of a side-chain liquid crystalline polymer under extensional flow}, volume={48},
DOI={10.1122/1.1753278}, number={4},
journal={Journal of Rheology}, publisher={Society of Rheology}, author={Cormier,
Ryan J. and Schmidt, Claudia and Callaghan, Paul T.}, year={2004}, pages={881–894}
}'
chicago: 'Cormier, Ryan J., Claudia Schmidt, and Paul T. Callaghan. “Director Reorientation
of a Side-Chain Liquid Crystalline Polymer under Extensional Flow.” Journal
of Rheology 48, no. 4 (2004): 881–94. https://doi.org/10.1122/1.1753278.'
ieee: 'R. J. Cormier, C. Schmidt, and P. T. Callaghan, “Director reorientation of
a side-chain liquid crystalline polymer under extensional flow,” Journal of
Rheology, vol. 48, no. 4, pp. 881–894, 2004, doi: 10.1122/1.1753278.'
mla: Cormier, Ryan J., et al. “Director Reorientation of a Side-Chain Liquid Crystalline
Polymer under Extensional Flow.” Journal of Rheology, vol. 48, no. 4, Society
of Rheology, 2004, pp. 881–94, doi:10.1122/1.1753278.
short: R.J. Cormier, C. Schmidt, P.T. Callaghan, Journal of Rheology 48 (2004) 881–894.
date_created: 2023-01-06T13:15:08Z
date_updated: 2023-01-07T11:23:31Z
department:
- _id: '2'
- _id: '315'
doi: 10.1122/1.1753278
intvolume: ' 48'
issue: '4'
keyword:
- Mechanical Engineering
- Mechanics of Materials
- Condensed Matter Physics
- General Materials Science
language:
- iso: eng
page: 881-894
publication: Journal of Rheology
publication_identifier:
issn:
- 0148-6055
- 1520-8516
publication_status: published
publisher: Society of Rheology
quality_controlled: '1'
status: public
title: Director reorientation of a side-chain liquid crystalline polymer under extensional
flow
type: journal_article
user_id: '466'
volume: 48
year: '2004'
...
---
_id: '35358'
article_type: original
author:
- first_name: C.
full_name: Stubenrauch, C.
last_name: Stubenrauch
- first_name: S.
full_name: Burauer, S.
last_name: Burauer
- first_name: R.
full_name: Strey, R.
last_name: Strey
- first_name: Claudia
full_name: Schmidt, Claudia
id: '466'
last_name: Schmidt
orcid: 0000-0003-3179-9997
citation:
ama: Stubenrauch C, Burauer S, Strey R, Schmidt C. A new approach to lamellar phases
(Lα) in water – non-ionic surfactant systems. Liquid Crystals.
2004;31(1):39-53. doi:10.1080/02678290310001628555
apa: Stubenrauch, C., Burauer, S., Strey, R., & Schmidt, C. (2004). A new approach
to lamellar phases (Lα) in water – non-ionic surfactant systems. Liquid
Crystals, 31(1), 39–53. https://doi.org/10.1080/02678290310001628555
bibtex: '@article{Stubenrauch_Burauer_Strey_Schmidt_2004, title={A new approach
to lamellar phases (Lα) in water – non-ionic surfactant systems}, volume={31},
DOI={10.1080/02678290310001628555},
number={1}, journal={Liquid Crystals}, publisher={Informa UK Limited}, author={Stubenrauch,
C. and Burauer, S. and Strey, R. and Schmidt, Claudia}, year={2004}, pages={39–53}
}'
chicago: 'Stubenrauch, C., S. Burauer, R. Strey, and Claudia Schmidt. “A New Approach
to Lamellar Phases (Lα) in Water – Non-Ionic Surfactant Systems.” Liquid
Crystals 31, no. 1 (2004): 39–53. https://doi.org/10.1080/02678290310001628555.'
ieee: 'C. Stubenrauch, S. Burauer, R. Strey, and C. Schmidt, “A new approach to
lamellar phases (Lα) in water – non-ionic surfactant systems,” Liquid
Crystals, vol. 31, no. 1, pp. 39–53, 2004, doi: 10.1080/02678290310001628555.'
mla: Stubenrauch, C., et al. “A New Approach to Lamellar Phases (Lα)
in Water – Non-Ionic Surfactant Systems.” Liquid Crystals, vol. 31, no.
1, Informa UK Limited, 2004, pp. 39–53, doi:10.1080/02678290310001628555.
short: C. Stubenrauch, S. Burauer, R. Strey, C. Schmidt, Liquid Crystals 31 (2004)
39–53.
date_created: 2023-01-06T13:14:53Z
date_updated: 2023-01-07T11:23:00Z
department:
- _id: '2'
- _id: '315'
doi: 10.1080/02678290310001628555
intvolume: ' 31'
issue: '1'
keyword:
- Condensed Matter Physics
- General Materials Science
- General Chemistry
language:
- iso: eng
page: 39-53
publication: Liquid Crystals
publication_identifier:
issn:
- 0267-8292
- 1366-5855
publication_status: published
publisher: Informa UK Limited
quality_controlled: '1'
status: public
title: A new approach to lamellar phases (Lα) in water – non-ionic surfactant
systems
type: journal_article
user_id: '466'
volume: 31
year: '2004'
...
---
_id: '18278'
author:
- first_name: Doris
full_name: Tophinke, Doris
id: '16277'
last_name: Tophinke
citation:
ama: 'Tophinke D. Texttypen und Diskurse in Zusammenhängen sprachlicher Identitätskonstruktion.
Überlegungen im Anschluss an Foucault. In: Berg u. a. WB, ed. Fliegende Bilder,
fliehende Texte. Vervuert; 2004:97-114.'
apa: Tophinke, D. (2004). Texttypen und Diskurse in Zusammenhängen sprachlicher
Identitätskonstruktion. Überlegungen im Anschluss an Foucault. In W. B. Berg u.
a. (Ed.), Fliegende Bilder, fliehende Texte (pp. 97–114). Vervuert.
bibtex: '@inbook{Tophinke_2004, place={Frankfurt am Main}, title={Texttypen und
Diskurse in Zusammenhängen sprachlicher Identitätskonstruktion. Überlegungen im
Anschluss an Foucault}, booktitle={Fliegende Bilder, fliehende Texte}, publisher={Vervuert},
author={Tophinke, Doris}, editor={Berg u. a., Walter Bruno}, year={2004}, pages={97–114}
}'
chicago: 'Tophinke, Doris. “Texttypen und Diskurse in Zusammenhängen sprachlicher
Identitätskonstruktion. Überlegungen im Anschluss an Foucault.” In Fliegende
Bilder, fliehende Texte, edited by Walter Bruno Berg u. a., 97–114. Frankfurt
am Main: Vervuert, 2004.'
ieee: 'D. Tophinke, “Texttypen und Diskurse in Zusammenhängen sprachlicher Identitätskonstruktion.
Überlegungen im Anschluss an Foucault,” in Fliegende Bilder, fliehende Texte,
W. B. Berg u. a., Ed. Frankfurt am Main: Vervuert, 2004, pp. 97–114.'
mla: Tophinke, Doris. “Texttypen und Diskurse in Zusammenhängen sprachlicher Identitätskonstruktion.
Überlegungen im Anschluss an Foucault.” Fliegende Bilder, fliehende Texte,
edited by Walter Bruno Berg u. a., Vervuert, 2004, pp. 97–114.
short: 'D. Tophinke, in: W.B. Berg u. a. (Ed.), Fliegende Bilder, fliehende Texte,
Vervuert, Frankfurt am Main, 2004, pp. 97–114.'
date_created: 2020-08-25T12:32:26Z
date_updated: 2023-01-09T14:44:21Z
department:
- _id: '5'
- _id: '115'
editor:
- first_name: Walter Bruno
full_name: Berg u. a., Walter Bruno
last_name: Berg u. a.
extern: '1'
language:
- iso: ger
page: 97-114
place: Frankfurt am Main
publication: Fliegende Bilder, fliehende Texte
publisher: Vervuert
status: public
title: Texttypen und Diskurse in Zusammenhängen sprachlicher Identitätskonstruktion.
Überlegungen im Anschluss an Foucault
type: book_chapter
user_id: '16277'
year: '2004'
...
---
_id: '18281'
author:
- first_name: Doris
full_name: Tophinke, Doris
id: '16277'
last_name: Tophinke
citation:
ama: Tophinke D. Quatschwörterverse und Satzklötze. Sprachförderung im Kindergarten.
Infodienst Kulturpädagogische Nachrichten . 2004;71:26-27.
apa: Tophinke, D. (2004). Quatschwörterverse und Satzklötze. Sprachförderung im
Kindergarten. Infodienst. Kulturpädagogische Nachrichten , 71, 26–27.
bibtex: '@article{Tophinke_2004, title={Quatschwörterverse und Satzklötze. Sprachförderung
im Kindergarten}, volume={71}, journal={Infodienst. Kulturpädagogische Nachrichten
}, author={Tophinke, Doris}, year={2004}, pages={26–27} }'
chicago: 'Tophinke, Doris. “Quatschwörterverse und Satzklötze. Sprachförderung im
Kindergarten.” Infodienst. Kulturpädagogische Nachrichten 71 (2004): 26–27.'
ieee: D. Tophinke, “Quatschwörterverse und Satzklötze. Sprachförderung im Kindergarten,”
Infodienst. Kulturpädagogische Nachrichten , vol. 71, pp. 26–27, 2004.
mla: Tophinke, Doris. “Quatschwörterverse und Satzklötze. Sprachförderung im Kindergarten.”
Infodienst. Kulturpädagogische Nachrichten , vol. 71, 2004, pp. 26–27.
short: D. Tophinke, Infodienst. Kulturpädagogische Nachrichten 71 (2004) 26–27.
date_created: 2020-08-25T12:45:30Z
date_updated: 2023-01-09T14:44:34Z
department:
- _id: '5'
- _id: '115'
extern: '1'
intvolume: ' 71'
language:
- iso: ger
page: 26-27
publication: 'Infodienst. Kulturpädagogische Nachrichten '
status: public
title: Quatschwörterverse und Satzklötze. Sprachförderung im Kindergarten
type: journal_article
user_id: '16277'
volume: 71
year: '2004'
...
---
_id: '15565'
author:
- first_name: Ruth Edith
full_name: Hagengruber, Ruth Edith
id: '198'
last_name: Hagengruber
orcid: https://orcid.org/0000-0003-3360-6335
citation:
ama: 'Hagengruber RE. The Selfexplication of Thinking through AI. In: Philosophy
and Informatics: Philosophy and Artificial Intelligence. ; 2004.'
apa: 'Hagengruber, R. E. (2004). The Selfexplication of Thinking through AI. Philosophy
and Informatics: Philosophy and Artificial Intelligence. Philosophy and Informatics:
Philosophy and Artificial Intelligence, Ulm.'
bibtex: '@inproceedings{Hagengruber_2004, title={The Selfexplication of Thinking
through AI}, booktitle={Philosophy and Informatics: Philosophy and Artificial
Intelligence}, author={Hagengruber, Ruth Edith}, year={2004} }'
chicago: 'Hagengruber, Ruth Edith. “The Selfexplication of Thinking through AI.”
In Philosophy and Informatics: Philosophy and Artificial Intelligence,
2004.'
ieee: 'R. E. Hagengruber, “The Selfexplication of Thinking through AI,” presented
at the Philosophy and Informatics: Philosophy and Artificial Intelligence, Ulm,
2004.'
mla: 'Hagengruber, Ruth Edith. “The Selfexplication of Thinking through AI.” Philosophy
and Informatics: Philosophy and Artificial Intelligence, 2004.'
short: 'R.E. Hagengruber, in: Philosophy and Informatics: Philosophy and Artificial
Intelligence, 2004.'
conference:
end_date: 2004-10-19
location: Ulm
name: 'Philosophy and Informatics: Philosophy and Artificial Intelligence'
start_date: 2004-10-19
date_created: 2020-01-14T11:08:02Z
date_updated: 2023-01-10T20:56:41Z
department:
- _id: '519'
extern: '1'
language:
- iso: eng
publication: 'Philosophy and Informatics: Philosophy and Artificial Intelligence'
status: public
title: The Selfexplication of Thinking through AI
type: conference
user_id: '49063'
year: '2004'
...
---
_id: '15564'
author:
- first_name: Ruth Edith
full_name: Hagengruber, Ruth Edith
id: '198'
last_name: Hagengruber
orcid: https://orcid.org/0000-0003-3360-6335
citation:
ama: 'Hagengruber RE. Das Unsichtbare sichtbar machen. Die soziale Wirklichkeit
und ihre Grundlagen in der Philosophie von Edith Stein . In: Edith Stein Jahrbuch.
Vol 10. ; 2004:157-175.'
apa: Hagengruber, R. E. (2004). Das Unsichtbare sichtbar machen. Die soziale Wirklichkeit
und ihre Grundlagen in der Philosophie von Edith Stein . In Edith Stein Jahrbuch
(Vol. 10, pp. 157–175).
bibtex: '@inbook{Hagengruber_2004, title={Das Unsichtbare sichtbar machen. Die soziale
Wirklichkeit und ihre Grundlagen in der Philosophie von Edith Stein }, volume={10},
booktitle={Edith Stein Jahrbuch}, author={Hagengruber, Ruth Edith}, year={2004},
pages={157–175} }'
chicago: Hagengruber, Ruth Edith. “Das Unsichtbare sichtbar machen. Die soziale
Wirklichkeit und ihre Grundlagen in der Philosophie von Edith Stein .” In Edith
Stein Jahrbuch, 10:157–75, 2004.
ieee: R. E. Hagengruber, “Das Unsichtbare sichtbar machen. Die soziale Wirklichkeit
und ihre Grundlagen in der Philosophie von Edith Stein ,” in Edith Stein Jahrbuch,
vol. 10, 2004, pp. 157–175.
mla: Hagengruber, Ruth Edith. “Das Unsichtbare sichtbar machen. Die soziale Wirklichkeit
und ihre Grundlagen in der Philosophie von Edith Stein .” Edith Stein Jahrbuch,
vol. 10, 2004, pp. 157–75.
short: 'R.E. Hagengruber, in: Edith Stein Jahrbuch, 2004, pp. 157–175.'
date_created: 2020-01-14T10:57:36Z
date_updated: 2023-01-10T20:58:45Z
department:
- _id: '519'
extern: '1'
intvolume: ' 10'
language:
- iso: ger
page: 157-175
publication: Edith Stein Jahrbuch
status: public
title: 'Das Unsichtbare sichtbar machen. Die soziale Wirklichkeit und ihre Grundlagen
in der Philosophie von Edith Stein '
type: book_chapter
user_id: '49063'
volume: 10
year: '2004'
...
---
_id: '15563'
author:
- first_name: Ruth Edith
full_name: Hagengruber, Ruth Edith
id: '198'
last_name: Hagengruber
orcid: https://orcid.org/0000-0003-3360-6335
citation:
ama: 'Hagengruber RE. Ontologische Strukturen. Gegenwärtige Tendenzen und ihre Anwendung
in der Wirtschaftsinformatik. In: Frank U, ed. Wissenschaftstheorie in Ökonomie
und Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien, Wissensmanagement. Deutscher
Universitätsverlag; 2004:417-431.'
apa: Hagengruber, R. E. (2004). Ontologische Strukturen. Gegenwärtige Tendenzen
und ihre Anwendung in der Wirtschaftsinformatik. In U. Frank (Ed.), Wissenschaftstheorie
in Ökonomie und Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien,
Wissensmanagement (pp. 417–431). Deutscher Universitätsverlag.
bibtex: '@inbook{Hagengruber_2004, place={Wiesbaden}, title={Ontologische Strukturen.
Gegenwärtige Tendenzen und ihre Anwendung in der Wirtschaftsinformatik}, booktitle={Wissenschaftstheorie
in Ökonomie und Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien,
Wissensmanagement}, publisher={ Deutscher Universitätsverlag}, author={Hagengruber,
Ruth Edith}, editor={Frank, Ulrich}, year={2004}, pages={417–431} }'
chicago: 'Hagengruber, Ruth Edith. “Ontologische Strukturen. Gegenwärtige Tendenzen
und ihre Anwendung in der Wirtschaftsinformatik.” In Wissenschaftstheorie in
Ökonomie und Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien,
Wissensmanagement, edited by Ulrich Frank, 417–31. Wiesbaden: Deutscher Universitätsverlag,
2004.'
ieee: 'R. E. Hagengruber, “Ontologische Strukturen. Gegenwärtige Tendenzen und ihre
Anwendung in der Wirtschaftsinformatik,” in Wissenschaftstheorie in Ökonomie
und Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien, Wissensmanagement,
U. Frank, Ed. Wiesbaden: Deutscher Universitätsverlag, 2004, pp. 417–431.'
mla: Hagengruber, Ruth Edith. “Ontologische Strukturen. Gegenwärtige Tendenzen und
ihre Anwendung in der Wirtschaftsinformatik.” Wissenschaftstheorie in Ökonomie
und Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien, Wissensmanagement,
edited by Ulrich Frank, Deutscher Universitätsverlag, 2004, pp. 417–31.
short: 'R.E. Hagengruber, in: U. Frank (Ed.), Wissenschaftstheorie in Ökonomie und
Wirtschaftsinformatik. Theoriebildung und –bewertung, Ontologien, Wissensmanagement, Deutscher
Universitätsverlag, Wiesbaden, 2004, pp. 417–431.'
date_created: 2020-01-14T10:50:13Z
date_updated: 2023-01-10T22:47:04Z
department:
- _id: '519'
editor:
- first_name: Ulrich
full_name: Frank, Ulrich
last_name: Frank
extern: '1'
language:
- iso: ger
page: 417-431
place: Wiesbaden
publication: Wissenschaftstheorie in Ökonomie und Wirtschaftsinformatik. Theoriebildung
und –bewertung, Ontologien, Wissensmanagement
publisher: ' Deutscher Universitätsverlag'
status: public
title: Ontologische Strukturen. Gegenwärtige Tendenzen und ihre Anwendung in der Wirtschaftsinformatik
type: book_chapter
user_id: '49063'
year: '2004'
...
---
_id: '15562'
author:
- first_name: Ruth Edith
full_name: Hagengruber, Ruth Edith
id: '198'
last_name: Hagengruber
orcid: https://orcid.org/0000-0003-3360-6335
citation:
ama: 'Hagengruber RE. Vom Besonderen zum Allgemeinen – zu einer Neuorientierung
im Verhältnis von Philosophie, Wissenschaft und Feminismus. In: Doetsch B, ed.
Philosophinnen im 3. Jahrtausend. Ein Einblick in aktuelle Forschungsfelder.
Kleine Verlag; 2004:17-29.'
apa: Hagengruber, R. E. (2004). Vom Besonderen zum Allgemeinen – zu einer Neuorientierung
im Verhältnis von Philosophie, Wissenschaft und Feminismus. In B. Doetsch (Ed.),
Philosophinnen im 3. Jahrtausend. Ein Einblick in aktuelle Forschungsfelder
(pp. 17–29). Kleine Verlag.
bibtex: '@inbook{Hagengruber_2004, place={Bielefeld}, title={Vom Besonderen zum
Allgemeinen – zu einer Neuorientierung im Verhältnis von Philosophie, Wissenschaft
und Feminismus}, booktitle={ Philosophinnen im 3. Jahrtausend. Ein Einblick in
aktuelle Forschungsfelder}, publisher={Kleine Verlag}, author={Hagengruber, Ruth
Edith}, editor={Doetsch, Brigitte}, year={2004}, pages={17–29} }'
chicago: 'Hagengruber, Ruth Edith. “Vom Besonderen zum Allgemeinen – zu einer Neuorientierung
im Verhältnis von Philosophie, Wissenschaft und Feminismus.” In Philosophinnen
im 3. Jahrtausend. Ein Einblick in aktuelle Forschungsfelder, edited by Brigitte
Doetsch, 17–29. Bielefeld: Kleine Verlag, 2004.'
ieee: 'R. E. Hagengruber, “Vom Besonderen zum Allgemeinen – zu einer Neuorientierung
im Verhältnis von Philosophie, Wissenschaft und Feminismus,” in Philosophinnen
im 3. Jahrtausend. Ein Einblick in aktuelle Forschungsfelder, B. Doetsch,
Ed. Bielefeld: Kleine Verlag, 2004, pp. 17–29.'
mla: Hagengruber, Ruth Edith. “Vom Besonderen zum Allgemeinen – zu einer Neuorientierung
im Verhältnis von Philosophie, Wissenschaft und Feminismus.” Philosophinnen
im 3. Jahrtausend. Ein Einblick in aktuelle Forschungsfelder, edited by Brigitte
Doetsch, Kleine Verlag, 2004, pp. 17–29.
short: 'R.E. Hagengruber, in: B. Doetsch (Ed.), Philosophinnen im 3. Jahrtausend.
Ein Einblick in aktuelle Forschungsfelder, Kleine Verlag, Bielefeld, 2004, pp.
17–29.'
date_created: 2020-01-14T10:47:58Z
date_updated: 2023-01-10T22:45:54Z
department:
- _id: '519'
editor:
- first_name: Brigitte
full_name: Doetsch, Brigitte
last_name: Doetsch
extern: '1'
language:
- iso: ger
page: 17-29
place: Bielefeld
publication: ' Philosophinnen im 3. Jahrtausend. Ein Einblick in aktuelle Forschungsfelder'
publisher: Kleine Verlag
status: public
title: Vom Besonderen zum Allgemeinen – zu einer Neuorientierung im Verhältnis von
Philosophie, Wissenschaft und Feminismus
type: book_chapter
user_id: '49063'
year: '2004'
...
---
_id: '36082'
author:
- first_name: Kirsten
full_name: Schlegel-Matthies, Kirsten
id: '459'
last_name: Schlegel-Matthies
citation:
ama: 'Schlegel-Matthies K. „Liebe geht durch den Magen“: Mahlzeit und Familienglück
im Strom der Zeit. In: Teuteberg H-J, ed. Die Revolution am Esstisch. Neue
Studien zur Nahrungskultur im 19./20. Jahrhundert. Steiner-Verlag; 2004:148–161.'
apa: 'Schlegel-Matthies, K. (2004). „Liebe geht durch den Magen“: Mahlzeit und Familienglück
im Strom der Zeit. In H.-J. Teuteberg (Ed.), Die Revolution am Esstisch. Neue
Studien zur Nahrungskultur im 19./20. Jahrhundert (pp. 148–161). Steiner-Verlag.'
bibtex: '@inbook{Schlegel-Matthies_2004, place={Stuttgart}, title={„Liebe geht durch
den Magen“: Mahlzeit und Familienglück im Strom der Zeit}, booktitle={Die Revolution
am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert}, publisher={Steiner-Verlag},
author={Schlegel-Matthies, Kirsten}, editor={Teuteberg, Hans-Jürgen}, year={2004},
pages={148–161} }'
chicago: 'Schlegel-Matthies, Kirsten. “„Liebe geht durch den Magen“: Mahlzeit und
Familienglück im Strom der Zeit.” In Die Revolution am Esstisch. Neue Studien
zur Nahrungskultur im 19./20. Jahrhundert, edited by Hans-Jürgen Teuteberg,
148–161. Stuttgart: Steiner-Verlag, 2004.'
ieee: 'K. Schlegel-Matthies, “„Liebe geht durch den Magen“: Mahlzeit und Familienglück
im Strom der Zeit,” in Die Revolution am Esstisch. Neue Studien zur Nahrungskultur
im 19./20. Jahrhundert, H.-J. Teuteberg, Ed. Stuttgart: Steiner-Verlag, 2004,
pp. 148–161.'
mla: 'Schlegel-Matthies, Kirsten. “„Liebe geht durch den Magen“: Mahlzeit und Familienglück
im Strom der Zeit.” Die Revolution am Esstisch. Neue Studien zur Nahrungskultur
im 19./20. Jahrhundert, edited by Hans-Jürgen Teuteberg, Steiner-Verlag, 2004,
pp. 148–161.'
short: 'K. Schlegel-Matthies, in: H.-J. Teuteberg (Ed.), Die Revolution am Esstisch.
Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, Steiner-Verlag, Stuttgart,
2004, pp. 148–161.'
date_created: 2023-01-11T12:14:20Z
date_updated: 2023-01-11T12:14:56Z
department:
- _id: '35'
- _id: '17'
- _id: '22'
- _id: '396'
editor:
- first_name: Hans-Jürgen
full_name: Teuteberg, Hans-Jürgen
last_name: Teuteberg
language:
- iso: ger
page: 148–161
place: Stuttgart
publication: Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20.
Jahrhundert
publication_identifier:
isbn:
- '9783515084475'
publication_status: published
publisher: Steiner-Verlag
status: public
title: '„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit'
type: book_chapter
user_id: '459'
year: '2004'
...
---
_id: '36153'
author:
- first_name: Hermann
full_name: Kamp, Hermann
id: '125'
last_name: Kamp
citation:
ama: 'Kamp H. L’intercession dans les relations politiques au Moyen Age classique.
In: Moeglin J-M, ed. L’intercession du Moyen Age au Temps modernes. Publications
de l’École des hautes études en histoire. ; 2004:67-87.'
apa: Kamp, H. (2004). L’intercession dans les relations politiques au Moyen Age
classique. In J.-M. Moeglin (Ed.), L’intercession du Moyen Age au Temps modernes
(pp. 67–87).
bibtex: '@inbook{Kamp_2004, place={Genf}, series={Publications de l’École des hautes
études en histoire}, title={L’intercession dans les relations politiques au Moyen
Age classique}, booktitle={L’intercession du Moyen Age au Temps modernes}, author={Kamp,
Hermann}, editor={Moeglin, Jean-Marie}, year={2004}, pages={67–87}, collection={Publications
de l’École des hautes études en histoire} }'
chicago: Kamp, Hermann. “L’intercession dans les relations politiques au Moyen Age
classique.” In L’intercession du Moyen Age au Temps modernes, edited by
Jean-Marie Moeglin, 67–87. Publications de l’École des hautes études en histoire.
Genf, 2004.
ieee: H. Kamp, “L’intercession dans les relations politiques au Moyen Age classique,”
in L’intercession du Moyen Age au Temps modernes, J.-M. Moeglin, Ed. Genf,
2004, pp. 67–87.
mla: Kamp, Hermann. “L’intercession dans les relations politiques au Moyen Age classique.”
L’intercession du Moyen Age au Temps modernes, edited by Jean-Marie Moeglin,
2004, pp. 67–87.
short: 'H. Kamp, in: J.-M. Moeglin (Ed.), L’intercession du Moyen Age au Temps modernes,
Genf, 2004, pp. 67–87.'
date_created: 2023-01-11T13:32:48Z
date_updated: 2023-01-11T18:33:15Z
department:
- _id: '6'
editor:
- first_name: Jean-Marie
full_name: Moeglin, Jean-Marie
last_name: Moeglin
extern: '1'
language:
- iso: fre
page: 67-87
place: Genf
publication: L’intercession du Moyen Age au Temps modernes
publication_status: published
series_title: Publications de l’École des hautes études en histoire
status: public
title: L’intercession dans les relations politiques au Moyen Age classique
type: book_chapter
user_id: '125'
year: '2004'
...