--- _id: '31525' author: - first_name: Margreth full_name: Egidi, Margreth id: '32238' last_name: Egidi - first_name: Volker full_name: Mertens, Volker last_name: Mertens - first_name: Nine full_name: Miedema, Nine last_name: Miedema citation: ama: 'Egidi M, Mertens V, Miedema N. „Einleitung“. In: dies., ed. Sangspruchtradition. Aufführung – Geltungsstrategien – Spannungsfelder (Kultur – Wissenschaft – Literatur 5). (Kultur – Wissenschaft – Literatur 5). ; 2004:1-11.' apa: Egidi, M., Mertens, V., & Miedema, N. (2004). „Einleitung“. In dies. (Ed.), Sangspruchtradition. Aufführung – Geltungsstrategien – Spannungsfelder (Kultur – Wissenschaft – Literatur 5) (pp. 1–11). bibtex: '@inbook{Egidi_Mertens_Miedema_2004, place={Frankfurt am Main}, series={(Kultur – Wissenschaft – Literatur 5)}, title={„Einleitung“}, booktitle={Sangspruchtradition. Aufführung – Geltungsstrategien – Spannungsfelder (Kultur – Wissenschaft – Literatur 5)}, author={Egidi, Margreth and Mertens, Volker and Miedema, Nine}, editor={dies.}, year={2004}, pages={1–11}, collection={(Kultur – Wissenschaft – Literatur 5)} }' chicago: Egidi, Margreth, Volker Mertens, and Nine Miedema. “„Einleitung“.” In Sangspruchtradition. Aufführung – Geltungsstrategien – Spannungsfelder (Kultur – Wissenschaft – Literatur 5), edited by dies., 1–11. (Kultur – Wissenschaft – Literatur 5). Frankfurt am Main, 2004. ieee: M. Egidi, V. Mertens, and N. Miedema, “„Einleitung“,” in Sangspruchtradition. Aufführung – Geltungsstrategien – Spannungsfelder (Kultur – Wissenschaft – Literatur 5), dies., Ed. Frankfurt am Main, 2004, pp. 1–11. mla: Egidi, Margreth, et al. “„Einleitung“.” Sangspruchtradition. Aufführung – Geltungsstrategien – Spannungsfelder (Kultur – Wissenschaft – Literatur 5), edited by dies., 2004, pp. 1–11. short: 'M. Egidi, V. Mertens, N. Miedema, in: dies. (Ed.), Sangspruchtradition. Aufführung – Geltungsstrategien – Spannungsfelder (Kultur – Wissenschaft – Literatur 5), Frankfurt am Main, 2004, pp. 1–11.' corporate_editor: - dies. date_created: 2022-05-30T11:21:12Z date_updated: 2022-05-30T11:21:28Z department: - _id: '466' language: - iso: ger page: 1-11 place: Frankfurt am Main publication: Sangspruchtradition. Aufführung – Geltungsstrategien – Spannungsfelder (Kultur – Wissenschaft – Literatur 5) series_title: (Kultur – Wissenschaft – Literatur 5) status: public title: „Einleitung“ type: book_chapter user_id: '21240' year: '2004' ... --- _id: '6069' abstract: - lang: eng text: 'Most models of visuospatial attention include the notion that attention is dedicated to a single location in space. However, several researchers have found evidence that under appropriate circumstances, attention may be allocated to noncontiguous locations (e.g., Awn & Pashler, 2000; Bichot, Cave, & Pashler, 1999; Kramer & Hahn, 1995). In the present experiments, the spatial distribution of attention was assessed by a novel method, perceptual latency priming: the latency benefit of an attended visual stimulus, as compared with a nonattended stimulus. Experiment 1 assessed whether observers are able to attend to two nonadjacent regions or a region of variable size. Experiment 2 tested whether, when two distant locations are attended to, the region between them is necessarily also in the focus of attention. Two further experiments controlled for objections against the method used and replicated the main results of the first two experiments. The experiments showed a robust attentional pr' author: - first_name: Ingrid full_name: Scharlau, Ingrid id: '451' last_name: Scharlau orcid: 0000-0003-2364-9489 citation: ama: Scharlau I. Evidence for split foci of attention in a priming paradigm. Perception & Psychophysics. 2004;66(6):988-1002. apa: Scharlau, I. (2004). Evidence for split foci of attention in a priming paradigm. Perception & Psychophysics, 66(6), 988–1002. bibtex: '@article{Scharlau_2004, title={Evidence for split foci of attention in a priming paradigm.}, volume={66}, number={6}, journal={Perception & Psychophysics}, author={Scharlau, Ingrid}, year={2004}, pages={988–1002} }' chicago: 'Scharlau, Ingrid. “Evidence for Split Foci of Attention in a Priming Paradigm.” Perception & Psychophysics 66, no. 6 (2004): 988–1002.' ieee: I. Scharlau, “Evidence for split foci of attention in a priming paradigm.,” Perception & Psychophysics, vol. 66, no. 6, pp. 988–1002, 2004. mla: Scharlau, Ingrid. “Evidence for Split Foci of Attention in a Priming Paradigm.” Perception & Psychophysics, vol. 66, no. 6, 2004, pp. 988–1002. short: I. Scharlau, Perception & Psychophysics 66 (2004) 988–1002. date_created: 2018-12-10T07:03:45Z date_updated: 2022-06-06T20:10:51Z department: - _id: '424' extern: '1' intvolume: ' 66' issue: '6' keyword: - visuospatial attention - priming paradigm - spatial distribution - Adult - Attention - Female - Humans - Male - Attention - Priming - Spatial Perception - Visuospatial Ability language: - iso: eng page: 988 - 1002 publication: Perception & Psychophysics publication_identifier: issn: - 0031-5117 publication_status: published status: public title: Evidence for split foci of attention in a priming paradigm. type: journal_article user_id: '42165' volume: 66 year: '2004' ... --- _id: '31685' author: - first_name: Ingrid full_name: Scharlau, Ingrid id: '451' last_name: Scharlau orcid: 0000-0003-2364-9489 citation: ama: 'Scharlau I. Illusory line motion and perceptual latency priming: Two alternative measures for attentional facilitation. In: Würtz RP, Lappe M, Tübingen University, eds. Dynamic Perception 2004: Workshop of GI Section 1.0.4 “Image Understanding” and the European Networks MUHCI and ECOVISION. AKA IOS Press; 2004:127-133.' apa: 'Scharlau, I. (2004). Illusory line motion and perceptual latency priming: Two alternative measures for attentional facilitation. In R. P. Würtz, M. Lappe, & Tübingen University (Eds.), Dynamic Perception 2004: Workshop of GI section 1.0.4 “Image Understanding” and the European Networks MUHCI and ECOVISION (pp. 127–133). AKA IOS Press.' bibtex: '@inbook{Scharlau_2004, place={Berlin}, title={Illusory line motion and perceptual latency priming: Two alternative measures for attentional facilitation}, booktitle={Dynamic Perception 2004: Workshop of GI section 1.0.4 “Image Understanding” and the European Networks MUHCI and ECOVISION}, publisher={AKA IOS Press}, author={Scharlau, Ingrid}, editor={Würtz, Rolf P. and Lappe, Michael and Tübingen University}, year={2004}, pages={127–133} }' chicago: 'Scharlau, Ingrid. “Illusory Line Motion and Perceptual Latency Priming: Two Alternative Measures for Attentional Facilitation.” In Dynamic Perception 2004: Workshop of GI Section 1.0.4 “Image Understanding” and the European Networks MUHCI and ECOVISION, edited by Rolf P. Würtz, Michael Lappe, and Tübingen University, 127–33. Berlin: AKA IOS Press, 2004.' ieee: 'I. Scharlau, “Illusory line motion and perceptual latency priming: Two alternative measures for attentional facilitation,” in Dynamic Perception 2004: Workshop of GI section 1.0.4 “Image Understanding” and the European Networks MUHCI and ECOVISION, R. P. Würtz, M. Lappe, and Tübingen University, Eds. Berlin: AKA IOS Press, 2004, pp. 127–133.' mla: 'Scharlau, Ingrid. “Illusory Line Motion and Perceptual Latency Priming: Two Alternative Measures for Attentional Facilitation.” Dynamic Perception 2004: Workshop of GI Section 1.0.4 “Image Understanding” and the European Networks MUHCI and ECOVISION, edited by Rolf P. Würtz et al., AKA IOS Press, 2004, pp. 127–33.' short: 'I. Scharlau, in: R.P. Würtz, M. Lappe, Tübingen University (Eds.), Dynamic Perception 2004: Workshop of GI Section 1.0.4 “Image Understanding” and the European Networks MUHCI and ECOVISION, AKA IOS Press, Berlin, 2004, pp. 127–133.' corporate_editor: - Tübingen University date_created: 2022-06-06T23:10:40Z date_updated: 2022-06-06T23:10:49Z department: - _id: '424' editor: - first_name: Rolf P. full_name: Würtz, Rolf P. last_name: Würtz - first_name: Michael full_name: Lappe, Michael last_name: Lappe extern: '1' language: - iso: eng page: 127 - 133 place: Berlin publication: 'Dynamic Perception 2004: Workshop of GI section 1.0.4 "Image Understanding" and the European Networks MUHCI and ECOVISION' publication_status: published publisher: AKA IOS Press status: public title: 'Illusory line motion and perceptual latency priming: Two alternative measures for attentional facilitation' type: book_chapter user_id: '42165' year: '2004' ... --- _id: '6068' abstract: - lang: eng text: Attending to a location shortens the perceptual latency of stimuli appearing at this location (perceptual latency priming). According to attentional explanations, perceptual latency priming relies on the speeded transfer of attended visual information into an internal model. However, doubts about the attentional origin have repeatedly been raised because efforts to minimize response bias have been insufficient in most studies. Five experiments investigated the contribution of a response bias to perceptual latency priming (judgment bias due to the two-alternative forced-choice method and due to the existence of the prime, criterion effects or second-order bias, sensorimotor priming). If any, only small response biases were found. The results thus support the attentional explanation. (PsycINFO Database Record (c) 2016 APA, all rights reserved) author: - first_name: Ingrid full_name: Scharlau, Ingrid id: '451' last_name: Scharlau orcid: 0000-0003-2364-9489 citation: ama: Scharlau I. Evidence against response bias in temporal order tasks with attention manipulation by masked primes. Psychological Research. 2004;68(4):224-236. apa: Scharlau, I. (2004). Evidence against response bias in temporal order tasks with attention manipulation by masked primes. Psychological Research, 68(4), 224–236. bibtex: '@article{Scharlau_2004, title={Evidence against response bias in temporal order tasks with attention manipulation by masked primes.}, volume={68}, number={4}, journal={Psychological Research}, author={Scharlau, Ingrid}, year={2004}, pages={224–236} }' chicago: 'Scharlau, Ingrid. “Evidence against Response Bias in Temporal Order Tasks with Attention Manipulation by Masked Primes.” Psychological Research 68, no. 4 (2004): 224–36.' ieee: I. Scharlau, “Evidence against response bias in temporal order tasks with attention manipulation by masked primes.,” Psychological Research, vol. 68, no. 4, pp. 224–236, 2004. mla: Scharlau, Ingrid. “Evidence against Response Bias in Temporal Order Tasks with Attention Manipulation by Masked Primes.” Psychological Research, vol. 68, no. 4, 2004, pp. 224–36. short: I. Scharlau, Psychological Research 68 (2004) 224–236. date_created: 2018-12-10T07:03:30Z date_updated: 2022-06-07T00:25:03Z department: - _id: '424' extern: '1' intvolume: ' 68' issue: '4' keyword: - response bias - temporal order tasks - attention manipulation - masked primes - perceptual latency priming - Adult - Attention - Discrimination Learning - Female - Humans - Male - Memory - Short-Term - Orientation - Pattern Recognition - Visual - Perceptual Masking - Psychomotor Performance - Psychophysics - Reaction Time - Serial Learning - Attention - Latent Learning - Priming - Response Bias - Visual Perception - Response Latency - Temporal Order (Judgment) language: - iso: eng main_file_link: - open_access: '1' url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/Scharlau2004PsychResResponseBiasFinal.pdf oa: '1' page: 224 - 236 publication: Psychological Research publication_identifier: issn: - 0340-0727 publication_status: published status: public title: Evidence against response bias in temporal order tasks with attention manipulation by masked primes. type: journal_article user_id: '42165' volume: 68 year: '2004' ... --- _id: '6089' abstract: - lang: eng text: The spatial distribution of visual attention is a yet unresolved question. One of the main topics is whether attention is distributed in a graded fashion around an attended location (e.g., Downing, 1988; Zimba & Hughes, 1987). The present experiments explore whether, and on which conditions, gradients of attention arise and contribute to perceptual facilitation. A masked or unmasked prime precedes one of two targets whose temporal order has to be judged. The prime captures attention, which shortens the perceptual latency of the primed target (perceptual latency priming; Scharlau & Neumann, 2003a; Shore, Spence, & Klein, 2001). No strong evidence for an attentional gradient was found. (1) Accuracy of temporal order judgements was independent of the distance between the two targets that were judged. That is, facilitation of the second target by the first target was spatially invariant. (2) With targets of short duration, facilitation was independent of prime-target distance. (3) With ta author: - first_name: Ingrid full_name: Scharlau, Ingrid id: '451' last_name: Scharlau orcid: 0000-0003-2364-9489 citation: ama: 'Scharlau I. The spatial distribution of attention in perceptual latency priming. The Quarterly Journal of Experimental Psychology A: Human Experimental Psychology. 2004;57A(8):1411-1436.' apa: 'Scharlau, I. (2004). The spatial distribution of attention in perceptual latency priming. The Quarterly Journal of Experimental Psychology A: Human Experimental Psychology, 57A(8), 1411–1436.' bibtex: '@article{Scharlau_2004, title={The spatial distribution of attention in perceptual latency priming.}, volume={57A}, number={8}, journal={The Quarterly Journal of Experimental Psychology A: Human Experimental Psychology}, author={Scharlau, Ingrid}, year={2004}, pages={1411–1436} }' chicago: 'Scharlau, Ingrid. “The Spatial Distribution of Attention in Perceptual Latency Priming.” The Quarterly Journal of Experimental Psychology A: Human Experimental Psychology 57A, no. 8 (2004): 1411–36.' ieee: 'I. Scharlau, “The spatial distribution of attention in perceptual latency priming.,” The Quarterly Journal of Experimental Psychology A: Human Experimental Psychology, vol. 57A, no. 8, pp. 1411–1436, 2004.' mla: 'Scharlau, Ingrid. “The Spatial Distribution of Attention in Perceptual Latency Priming.” The Quarterly Journal of Experimental Psychology A: Human Experimental Psychology, vol. 57A, no. 8, 2004, pp. 1411–36.' short: 'I. Scharlau, The Quarterly Journal of Experimental Psychology A: Human Experimental Psychology 57A (2004) 1411–1436.' date_created: 2018-12-10T07:07:56Z date_updated: 2022-06-07T00:25:35Z department: - _id: '424' extern: '1' issue: '8' keyword: - visual attention - spatial distribution - perceptual latency priming - Attention - Priming - Spatial Organization - Visual Perception language: - iso: eng main_file_link: - open_access: '1' url: https://kw.uni-paderborn.de/fileadmin/fakultaet/Institute/psychologie/Kognitive_Psychologie/Publikationen/SpliFociFinal.pdf oa: '1' page: 1411 - 1436 publication: 'The Quarterly Journal of Experimental Psychology A: Human Experimental Psychology' publication_identifier: issn: - 0272-4987 publication_status: published status: public title: The spatial distribution of attention in perceptual latency priming. type: journal_article user_id: '42165' volume: 57A year: '2004' ... --- _id: '29921' abstract: - lang: eng text: Brushless DC motor drives are typically employed in speed controlled applications. Torque control, particularly during regenerative mode, is not the standard domain of BLDC drives. However, it can be shown that the known BLDC control approach can be extended to control the torque in the regenerative mode even for low speed or at standstill. A hysteresis controller is proposed, which is specified by means of a state chart. author: - first_name: Joachim full_name: Böcker, Joachim id: '66' last_name: Böcker orcid: 0000-0002-8480-7295 citation: ama: 'Böcker J. Advanced Hysteresis Control of Brushless DC Motors. In: German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen. ; 2004.' apa: Böcker, J. (2004). Advanced Hysteresis Control of Brushless DC Motors. German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen. Germany-Korea Symposium, Aachen, Germany. bibtex: '@inproceedings{Böcker_2004, title={Advanced Hysteresis Control of Brushless DC Motors}, booktitle={German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen}, author={Böcker, Joachim}, year={2004} }' chicago: Böcker, Joachim. “Advanced Hysteresis Control of Brushless DC Motors.” In German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, 2004. ieee: J. Böcker, “Advanced Hysteresis Control of Brushless DC Motors,” presented at the Germany-Korea Symposium, Aachen, Germany, 2004. mla: Böcker, Joachim. “Advanced Hysteresis Control of Brushless DC Motors.” German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, 2004. short: 'J. Böcker, in: German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, 2004.' conference: location: Aachen, Germany name: Germany-Korea Symposium start_date: 2004-06 date_created: 2022-02-21T10:17:56Z date_updated: 2022-08-17T08:41:29Z department: - _id: '52' language: - iso: eng main_file_link: - open_access: '1' url: https://nbn-resolving.de/urn:nbn:de:hbz:466:2-40432 oa: '1' publication: German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen publication_status: published status: public title: Advanced Hysteresis Control of Brushless DC Motors type: conference user_id: '66' year: '2004' ... --- _id: '32507' abstract: - lang: eng text: 'The chapter gives an overview on the development of the relationships of parents and their offspring. While the selection of issues addressed is not meant to be comprehensive, the chapter focuses on conceptualizations and findings of particular relevance: Individuality and relatedness, the active role that parents and their offspring play in shaping their relationship, the importance of a biographical perspective on relationship development, and contextual influences on child-parent relationships. The chapter concludes with consideration of directions for future research. Child-parent relationships are special. This is obviously true on an individual level. For example, children see their parents as outstanding people - at least up until the transition to adolescence. Likewise, some parents are infatuated with their children and expect much of their sons and daughters, sometimes to the point of overtaxing their abilities and patience. At the same time, child-parent relationships, in general, have features that give them a particular significance. As compared to other types of relationships, bonds between parents and their offspring are of an extremely long-standing nature. Moreover, when parents and children interact, aspects of socialization and education tend to play a more important role than is the case among siblings, friends, or romantic partners. Finally, it has to be recognized that child-parent relationships represent an intergenerational constellation. Relationships between children and parents surpass most other relationships in duration. We take Germany as a case in point.' author: - first_name: Peter full_name: Noack, Peter last_name: Noack - first_name: Heike M. full_name: Buhl, Heike M. id: '27152' last_name: Buhl citation: ama: 'Noack P, Buhl HM. Child-parent relationships. In: Lang FR, Fingerman KL, eds. Growing Together. Personal Relationships across Lifespan. University Press; 2004:45-75.' apa: Noack, P., & Buhl, H. M. (2004). Child-parent relationships. In F. R. Lang & K. L. Fingerman (Eds.), Growing together. Personal relationships across lifespan (pp. 45–75). University Press. bibtex: '@inbook{Noack_Buhl_2004, place={Cambridge}, title={Child-parent relationships}, booktitle={Growing together. Personal relationships across lifespan}, publisher={University Press}, author={Noack, Peter and Buhl, Heike M.}, editor={Lang, Frieder R. and Fingerman, Karen L.}, year={2004}, pages={45–75} }' chicago: 'Noack, Peter, and Heike M. Buhl. “Child-Parent Relationships.” In Growing Together. Personal Relationships across Lifespan, edited by Frieder R. Lang and Karen L. Fingerman, 45–75. Cambridge: University Press, 2004.' ieee: 'P. Noack and H. M. Buhl, “Child-parent relationships,” in Growing together. Personal relationships across lifespan, F. R. Lang and K. L. Fingerman, Eds. Cambridge: University Press, 2004, pp. 45–75.' mla: Noack, Peter, and Heike M. Buhl. “Child-Parent Relationships.” Growing Together. Personal Relationships across Lifespan, edited by Frieder R. Lang and Karen L. Fingerman, University Press, 2004, pp. 45–75. short: 'P. Noack, H.M. Buhl, in: F.R. Lang, K.L. Fingerman (Eds.), Growing Together. Personal Relationships across Lifespan, University Press, Cambridge, 2004, pp. 45–75.' date_created: 2022-08-02T11:46:50Z date_updated: 2022-08-29T04:10:41Z department: - _id: '427' editor: - first_name: Frieder R. full_name: Lang, Frieder R. last_name: Lang - first_name: Karen L. full_name: Fingerman, Karen L. last_name: Fingerman extern: '1' language: - iso: eng page: 45 - 75 place: Cambridge publication: Growing together. Personal relationships across lifespan publication_status: published publisher: University Press status: public title: Child-parent relationships type: book_chapter user_id: '42165' year: '2004' ... --- _id: '32508' abstract: - lang: eng text: Relative power, conflict, and intimacy in adolescents' and young adults' relations with mothers, fathers, and best friends were examined. Two hundred eighty-five students from German high-track (i.e., university bound schools 6th, 9th, 12th grade), undergraduate and graduate students completed the respective scales of the Network of Relationships Inventory (Furman & Buhrmester, 1985). Relations with friends were more symmetrical and had a better socio-emotional quality than relations with parents. Still, increases in relative power in relations with parents were accompanied by low absolute levels of conflict. A symmetrical distribution of power in the family was not reached before the end of the third decade of life. To explore the influence of the entry into worklife on close relations, an additional subsample of 55 working young adults was compared with the participating university students. Despite slight differences in age-related patterns of intimacy, similarities prevailed. Overall, findings mostly converge with observations in U.S. samples of high school and college students and point to a more general process of relationship development as suggested by individuation theory. author: - first_name: Peter full_name: Noack, Peter last_name: Noack - first_name: Heike M. full_name: Buhl, Heike M. id: '27152' last_name: Buhl citation: ama: Noack P, Buhl HM. Relations with parents and friends during adolescence and early adulthood. Marriage and Family Review. 2004;36(3/4):31-51. apa: Noack, P., & Buhl, H. M. (2004). Relations with parents and friends during adolescence and early adulthood. Marriage and Family Review, 36(3/4), 31–51. bibtex: '@article{Noack_Buhl_2004, title={Relations with parents and friends during adolescence and early adulthood}, volume={36}, number={3/4}, journal={Marriage and Family Review}, author={Noack, Peter and Buhl, Heike M.}, year={2004}, pages={31–51} }' chicago: 'Noack, Peter, and Heike M. Buhl. “Relations with Parents and Friends during Adolescence and Early Adulthood.” Marriage and Family Review 36, no. 3/4 (2004): 31–51.' ieee: P. Noack and H. M. Buhl, “Relations with parents and friends during adolescence and early adulthood,” Marriage and Family Review, vol. 36, no. 3/4, pp. 31–51, 2004. mla: Noack, Peter, and Heike M. Buhl. “Relations with Parents and Friends during Adolescence and Early Adulthood.” Marriage and Family Review, vol. 36, no. 3/4, 2004, pp. 31–51. short: P. Noack, H.M. Buhl, Marriage and Family Review 36 (2004) 31–51. date_created: 2022-08-02T11:48:51Z date_updated: 2022-08-29T04:14:54Z department: - _id: '427' extern: '1' intvolume: ' 36' issue: 3/4 language: - iso: eng main_file_link: - open_access: '1' url: https://www.researchgate.net/profile/Peter-Noack/publication/254372815_Relations_with_Parents_and_Friends_During_Adolescence_and_Early_Adulthood/links/575027d508ae5c7e547a8b66/Relations-with-Parents-and-Friends-During-Adolescence-and-Early-Adulthood.pdf oa: '1' page: 31 - 51 publication: Marriage and Family Review publication_status: published status: public title: Relations with parents and friends during adolescence and early adulthood type: journal_article user_id: '42165' volume: 36 year: '2004' ... --- _id: '32966' author: - first_name: Claudia full_name: Öhlschläger, Claudia id: '610' last_name: Öhlschläger citation: ama: 'Öhlschläger C. Um/Ordnungen des Ornamentalen in der Moderne. Flugbilder bei Gertrude Stein, Lászlò Moholy-Nagy und Ernst Jünger. In: Neumann G, Dies., eds. Inszenierungen in Schrift und Bild. Aisthesis  ; 2004:147-180.' apa: Öhlschläger C. (2004). Um/Ordnungen des Ornamentalen in der Moderne. Flugbilder bei Gertrude Stein, Lászlò Moholy-Nagy und Ernst Jünger. In Neumann G. & Dies. (Eds.), Inszenierungen in Schrift und Bild (pp. 147–180). Aisthesis  . bibtex: '@inbook{Öhlschläger_2004, place={Bielefeld}, title={Um/Ordnungen des Ornamentalen in der Moderne. Flugbilder bei Gertrude Stein, Lászlò Moholy-Nagy und Ernst Jünger.}, booktitle={Inszenierungen in Schrift und Bild}, publisher={Aisthesis  }, author={Öhlschläger Claudia}, editor={Neumann Gerhard and Dies.}, year={2004}, pages={147–180} }' chicago: 'Öhlschläger Claudia. “Um/Ordnungen des Ornamentalen in der Moderne. Flugbilder bei Gertrude Stein, Lászlò Moholy-Nagy und Ernst Jünger.” In Inszenierungen in Schrift und Bild, edited by Neumann Gerhard and Dies., 147–80. Bielefeld: Aisthesis  , 2004.' ieee: 'Öhlschläger C., “Um/Ordnungen des Ornamentalen in der Moderne. Flugbilder bei Gertrude Stein, Lászlò Moholy-Nagy und Ernst Jünger.,” in Inszenierungen in Schrift und Bild, Neumann G. and Dies., Eds. Bielefeld: Aisthesis  , 2004, pp. 147–180.' mla: Öhlschläger Claudia. “Um/Ordnungen des Ornamentalen in der Moderne. Flugbilder bei Gertrude Stein, Lászlò Moholy-Nagy und Ernst Jünger.” Inszenierungen in Schrift und Bild, edited by Neumann Gerhard and Dies., Aisthesis  , 2004, pp. 147–80. short: 'Öhlschläger C., in: Neumann G., Dies. (Eds.), Inszenierungen in Schrift und Bild, Aisthesis  , Bielefeld, 2004, pp. 147–180.' corporate_editor: - Dies. date_created: 2022-08-17T14:26:04Z date_updated: 2022-08-29T08:48:07Z department: - _id: '5' editor: - first_name: Gerhard full_name: Neumann, Gerhard last_name: Neumann extern: '1' language: - iso: chi page: 147-180 place: Bielefeld publication: Inszenierungen in Schrift und Bild publisher: 'Aisthesis ' status: public title: Um/Ordnungen des Ornamentalen in der Moderne. Flugbilder bei Gertrude Stein, Lászlò Moholy-Nagy und Ernst Jünger. type: book_chapter user_id: '14931' year: '2004' ... --- _id: '32768' author: - first_name: Jörn full_name: Steigerwald, Jörn id: '37947' last_name: Steigerwald citation: ama: 'Steigerwald J. Galanterie als kulturelle Identitätsbildung: Französisch-deutscher Kulturtransfer im Zeichen der Querelles (Dominique Bouhours – Christian Thomasius – Benjamin Neukirch). In: Emden C, Midgley D, eds. German Literature, History and the Nation. Papers from the Conference ‘The Fragile Tradition’ Cambridge 2002, Volume 2. ; 2004:119-141.' apa: 'Steigerwald, J. (2004). Galanterie als kulturelle Identitätsbildung: Französisch-deutscher Kulturtransfer im Zeichen der Querelles (Dominique Bouhours – Christian Thomasius – Benjamin Neukirch). In C. Emden & D. Midgley (Eds.), German Literature, History and the Nation. Papers from the Conference ‘The fragile Tradition’ Cambridge 2002, Volume 2 (pp. 119–141).' bibtex: '@inbook{Steigerwald_2004, place={Oxford}, title={Galanterie als kulturelle Identitätsbildung: Französisch-deutscher Kulturtransfer im Zeichen der Querelles (Dominique Bouhours – Christian Thomasius – Benjamin Neukirch)}, booktitle={German Literature, History and the Nation. Papers from the Conference ‘The fragile Tradition’ Cambridge 2002, Volume 2}, author={Steigerwald, Jörn}, editor={Emden, Christian and Midgley, David}, year={2004}, pages={119–141} }' chicago: 'Steigerwald, Jörn. “Galanterie Als Kulturelle Identitätsbildung: Französisch-Deutscher Kulturtransfer Im Zeichen Der Querelles (Dominique Bouhours – Christian Thomasius – Benjamin Neukirch).” In German Literature, History and the Nation. Papers from the Conference ‘The Fragile Tradition’ Cambridge 2002, Volume 2, edited by Christian Emden and David Midgley, 119–41. Oxford, 2004.' ieee: 'J. Steigerwald, “Galanterie als kulturelle Identitätsbildung: Französisch-deutscher Kulturtransfer im Zeichen der Querelles (Dominique Bouhours – Christian Thomasius – Benjamin Neukirch),” in German Literature, History and the Nation. Papers from the Conference ‘The fragile Tradition’ Cambridge 2002, Volume 2, C. Emden and D. Midgley, Eds. Oxford, 2004, pp. 119–141.' mla: 'Steigerwald, Jörn. “Galanterie Als Kulturelle Identitätsbildung: Französisch-Deutscher Kulturtransfer Im Zeichen Der Querelles (Dominique Bouhours – Christian Thomasius – Benjamin Neukirch).” German Literature, History and the Nation. Papers from the Conference ‘The Fragile Tradition’ Cambridge 2002, Volume 2, edited by Christian Emden and David Midgley, 2004, pp. 119–41.' short: 'J. Steigerwald, in: C. Emden, D. Midgley (Eds.), German Literature, History and the Nation. Papers from the Conference ‘The Fragile Tradition’ Cambridge 2002, Volume 2, Oxford, 2004, pp. 119–141.' date_created: 2022-08-09T20:02:36Z date_updated: 2022-09-16T20:37:33Z department: - _id: '5' - _id: '116' editor: - first_name: Christian full_name: Emden, Christian last_name: Emden - first_name: David full_name: Midgley, David last_name: Midgley extern: '1' language: - iso: eng page: 119-141 place: Oxford publication: German Literature, History and the Nation. Papers from the Conference ‘The fragile Tradition’ Cambridge 2002, Volume 2 status: public title: 'Galanterie als kulturelle Identitätsbildung: Französisch-deutscher Kulturtransfer im Zeichen der Querelles (Dominique Bouhours – Christian Thomasius – Benjamin Neukirch)' type: book_chapter user_id: '49063' year: '2004' ... --- _id: '32767' author: - first_name: Jörn full_name: Steigerwald, Jörn id: '37947' last_name: Steigerwald citation: ama: 'Steigerwald J. Le baiser galant: approche d’une configuration érotique de l’esthétique galante. In: Montandon A, ed. Les baisers des lumièresc. ; 2004:11-30.' apa: 'Steigerwald, J. (2004). Le baiser galant: approche d’une configuration érotique de l’esthétique galante. In A. Montandon (Ed.), Les baisers des lumièresc (pp. 11–30).' bibtex: '@inbook{Steigerwald_2004, place={Clermont-Ferrand}, title={Le baiser galant: approche d’une configuration érotique de l’esthétique galante}, booktitle={Les baisers des lumièresc}, author={Steigerwald, Jörn}, editor={Montandon, Alain}, year={2004}, pages={11–30} }' chicago: 'Steigerwald, Jörn. “Le baiser galant: approche d’une configuration érotique de l’esthétique galante.” In Les baisers des lumièresc, edited by Alain Montandon, 11–30. Clermont-Ferrand, 2004.' ieee: 'J. Steigerwald, “Le baiser galant: approche d’une configuration érotique de l’esthétique galante,” in Les baisers des lumièresc, A. Montandon, Ed. Clermont-Ferrand, 2004, pp. 11–30.' mla: 'Steigerwald, Jörn. “Le baiser galant: approche d’une configuration érotique de l’esthétique galante.” Les baisers des lumièresc, edited by Alain Montandon, 2004, pp. 11–30.' short: 'J. Steigerwald, in: A. Montandon (Ed.), Les baisers des lumièresc, Clermont-Ferrand, 2004, pp. 11–30.' date_created: 2022-08-09T20:01:22Z date_updated: 2022-09-16T20:38:26Z department: - _id: '5' - _id: '116' editor: - first_name: Alain full_name: Montandon, Alain last_name: Montandon extern: '1' language: - iso: fre page: 11-30 place: Clermont-Ferrand publication: Les baisers des lumièresc status: public title: 'Le baiser galant: approche d’une configuration érotique de l’esthétique galante' type: book_chapter user_id: '49063' year: '2004' ... --- _id: '32782' author: - first_name: Jörn full_name: Steigerwald, Jörn id: '37947' last_name: Steigerwald citation: ama: 'Steigerwald J. Lemma Kulturtransfer. In: Nünning A, ed. Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125. ; 2004:367-377.' apa: 'Steigerwald, J. (2004). Lemma Kulturtransfer. In A. Nünning (Ed.), Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125 (pp. 367–377).' bibtex: '@inbook{Steigerwald_2004, place={Stuttgart/Weimar}, title={Lemma Kulturtransfer}, booktitle={Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125}, author={Steigerwald, Jörn}, editor={Nünning, Ansgar}, year={2004}, pages={367–377} }' chicago: 'Steigerwald, Jörn. “Lemma Kulturtransfer.” In Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125, edited by Ansgar Nünning, 367–77. Stuttgart/Weimar, 2004.' ieee: 'J. Steigerwald, “Lemma Kulturtransfer,” in Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125, A. Nünning, Ed. Stuttgart/Weimar, 2004, pp. 367–377.' mla: 'Steigerwald, Jörn. “Lemma Kulturtransfer.” Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125, edited by Ansgar Nünning, 2004, pp. 367–77.' short: 'J. Steigerwald, in: A. Nünning (Ed.), Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125, Stuttgart/Weimar, 2004, pp. 367–377.' date_created: 2022-08-09T20:15:10Z date_updated: 2022-10-04T01:22:33Z department: - _id: '5' - _id: '116' editor: - first_name: Ansgar full_name: Nünning, Ansgar last_name: Nünning extern: '1' language: - iso: ger page: 367-377 place: Stuttgart/Weimar publication: 'Metzler Lexikon Literatur- und Kulturtheorie, Stuttgart/Weimar 20012, S. 353; Stuttgart/Weimar 2004, S. 367-377 .Erneut veröffentlicht in: Ansgar Nünning (Hg.): Grundbegriffe der Kulturtheorie und Kulturwissenschaften. Stuttgart 2005, S. 124-125' status: public title: Lemma Kulturtransfer type: book_chapter user_id: '49063' year: '2004' ... --- _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' ...