[{"author":[{"first_name":"Markus","last_name":"Becker","full_name":"Becker, Markus"},{"first_name":"Giuseppe","full_name":"Di Guglielmo, Giuseppe","last_name":"Di Guglielmo"},{"first_name":"Franco","full_name":"Fummi, Franco","last_name":"Fummi"},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"first_name":"Graziano","full_name":"Pravadelli, Graziano","last_name":"Pravadelli"},{"last_name":"Xie","full_name":"Xie, Tao","first_name":"Tao"}],"date_created":"2023-01-17T10:44:46Z","publisher":"IEEE","date_updated":"2025-03-12T16:39:17Z","conference":{"location":"Dresden","name":"Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"},"doi":"10.1109/DATE.2010.5456965","title":"RTOS-Aware Refinement for TLM2.0-based HW/SW Design","publication_identifier":{"eisbn":["978-3-9810801-6-2"]},"citation":{"chicago":"Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>.","ieee":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","ama":"Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>","apa":"Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href=\"https://doi.org/10.1109/DATE.2010.5456965\">https://doi.org/10.1109/DATE.2010.5456965</a>","mla":"Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>.","bibtex":"@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden}, title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href=\"https://doi.org/10.1109/DATE.2010.5456965\">10.1109/DATE.2010.5456965</a>}, booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao}, year={2010} }","short":"M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010."},"place":"Dresden","year":"2010","user_id":"5786","_id":"37039","language":[{"iso":"eng"}],"keyword":["Timing","Hardware","Operating systems","Process design","Accuracy","Standards development","Context modeling","Real time systems","Communication channels","Microprogramming"],"type":"conference","publication":"Proceedings of DATE’10","status":"public","abstract":[{"text":"Refinement of untimed TLM models into a timed HW/SW platform is a step by step design process which is a trade-off between timing accuracy of the used models and correct estimation of the final timing performance. The use of an RTOS on the target platform is mandatory in the case real-time properties must be guaranteed. Thus, the question is when the RTOS must be introduced in this step by step refinement process. This paper proposes a four-level RTOS-aware refinement methodology that, starting from an untimed TLM SystemC description of the whole system, progressively introduce HW/SW partitioning, timing, device driver and RTOS functionalities, till to obtain an accurate model of the final platform, where SW tasks run upon an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions. Each refinement level allows the designer to estimate more and more accurate timing properties, thus anticipating design decisions without being constrained to leave timing analysis to the final step of the refinement. The effectiveness of the methodology has been evaluated in the design of two complex platforms.","lang":"eng"}]},{"keyword":["Command and control process","Command and control systems","Design and modeling","Domain ontologies","Emergency response","Fire extinguishers","Fire protection","Heterogeneous domains","Information analysis","Information sharing","Information systems","Interoperability","Ontology language","Semantic technologies","Semantic Web","Semantics"],"language":[{"iso":"eng"}],"_id":"24065","user_id":"405","editor":[{"full_name":"French, Simon","last_name":"French","first_name":"Simon"},{"first_name":"Brian","last_name":"Tomaszewski","full_name":"Tomaszewski, Brian"},{"first_name":"Chris","last_name":"Zobel","full_name":"Zobel, Chris"}],"status":"public","type":"conference","publication":"ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management","title":"Design and modeling of a domain ontology for fire protection","main_file_link":[{"url":"http://idl.iscram.org/files/pottebaum/2010/847_Pottebaum_etal2010.pdf","open_access":"1"}],"oa":"1","date_updated":"2026-03-31T03:52:00Z","date_created":"2021-09-09T12:27:14Z","author":[{"first_name":"Jens","full_name":"Pottebaum, Jens","id":"405","last_name":"Pottebaum","orcid":"http://orcid.org/0000-0001-8778-2989"},{"first_name":"Anna Maria","last_name":"Japs","full_name":"Japs, Anna Maria"},{"last_name":"Prödel","full_name":"Prödel, Stephan","first_name":"Stephan"},{"first_name":"Rainer","last_name":"Koch","full_name":"Koch, Rainer"}],"place":"Seattle, WA","year":"2010","citation":{"ama":"Pottebaum J, Japs AM, Prödel S, Koch R. Design and modeling of a domain ontology for fire protection. In: French S, Tomaszewski B, Zobel C, eds. <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>. ; 2010.","ieee":"J. Pottebaum, A. M. Japs, S. Prödel, and R. Koch, “Design and modeling of a domain ontology for fire protection,” in <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, 2010.","chicago":"Pottebaum, Jens, Anna Maria Japs, Stephan Prödel, and Rainer Koch. “Design and Modeling of a Domain Ontology for Fire Protection.” In <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, edited by Simon French, Brian Tomaszewski, and Chris Zobel. Seattle, WA, 2010.","short":"J. Pottebaum, A.M. Japs, S. Prödel, R. Koch, in: S. French, B. Tomaszewski, C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, Seattle, WA, 2010.","mla":"Pottebaum, Jens, et al. “Design and Modeling of a Domain Ontology for Fire Protection.” <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>, edited by Simon French et al., 2010.","bibtex":"@inproceedings{Pottebaum_Japs_Prödel_Koch_2010, place={Seattle, WA}, title={Design and modeling of a domain ontology for fire protection}, booktitle={ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management}, author={Pottebaum, Jens and Japs, Anna Maria and Prödel, Stephan and Koch, Rainer}, editor={French, Simon and Tomaszewski, Brian and Zobel, Chris}, year={2010} }","apa":"Pottebaum, J., Japs, A. M., Prödel, S., &#38; Koch, R. (2010). Design and modeling of a domain ontology for fire protection. In S. French, B. Tomaszewski, &#38; C. Zobel (Eds.), <i>ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management</i>."},"quality_controlled":"1"},{"doi":"https://doi.org/10.1016/j.jbankfin.2009.01.006","date_updated":"2023-01-10T09:36:22Z","author":[{"id":"36049","full_name":"Uhde, André","orcid":"https://orcid.org/0000-0002-8058-8857","last_name":"Uhde","first_name":"André"},{"first_name":"Ulrich","full_name":"Heimeshoff, Ulrich","last_name":"Heimeshoff"}],"volume":33,"jel":["G21","G28","G34","L16"],"citation":{"ama":"Uhde A, Heimeshoff U. Consolidation in banking and financial stability in Europe: Empirical evidence. <i>Journal of Banking &#38; Finance</i>. 2009;33(7):1299-1311. doi:<a href=\"https://doi.org/10.1016/j.jbankfin.2009.01.006\">https://doi.org/10.1016/j.jbankfin.2009.01.006</a>","chicago":"Uhde, André, and Ulrich Heimeshoff. “Consolidation in Banking and Financial Stability in Europe: Empirical Evidence.” <i>Journal of Banking &#38; Finance</i> 33, no. 7 (2009): 1299–1311. <a href=\"https://doi.org/10.1016/j.jbankfin.2009.01.006\">https://doi.org/10.1016/j.jbankfin.2009.01.006</a>.","ieee":"A. Uhde and U. Heimeshoff, “Consolidation in banking and financial stability in Europe: Empirical evidence,” <i>Journal of Banking &#38; Finance</i>, vol. 33, no. 7, pp. 1299–1311, 2009, doi: <a href=\"https://doi.org/10.1016/j.jbankfin.2009.01.006\">https://doi.org/10.1016/j.jbankfin.2009.01.006</a>.","apa":"Uhde, A., &#38; Heimeshoff, U. (2009). Consolidation in banking and financial stability in Europe: Empirical evidence. <i>Journal of Banking &#38; Finance</i>, <i>33</i>(7), 1299–1311. <a href=\"https://doi.org/10.1016/j.jbankfin.2009.01.006\">https://doi.org/10.1016/j.jbankfin.2009.01.006</a>","bibtex":"@article{Uhde_Heimeshoff_2009, title={Consolidation in banking and financial stability in Europe: Empirical evidence}, volume={33}, DOI={<a href=\"https://doi.org/10.1016/j.jbankfin.2009.01.006\">https://doi.org/10.1016/j.jbankfin.2009.01.006</a>}, number={7}, journal={Journal of Banking &#38; Finance}, author={Uhde, André and Heimeshoff, Ulrich}, year={2009}, pages={1299–1311} }","mla":"Uhde, André, and Ulrich Heimeshoff. “Consolidation in Banking and Financial Stability in Europe: Empirical Evidence.” <i>Journal of Banking &#38; Finance</i>, vol. 33, no. 7, 2009, pp. 1299–311, doi:<a href=\"https://doi.org/10.1016/j.jbankfin.2009.01.006\">https://doi.org/10.1016/j.jbankfin.2009.01.006</a>.","short":"A. Uhde, U. Heimeshoff, Journal of Banking &#38; Finance 33 (2009) 1299–1311."},"page":"1299-1311","intvolume":"        33","publication_status":"published","extern":"1","_id":"4406","user_id":"21810","department":[{"_id":"186"},{"_id":"188"}],"status":"public","type":"journal_article","title":"Consolidation in banking and financial stability in Europe: Empirical evidence","date_created":"2018-09-14T13:02:19Z","year":"2009","issue":"7","keyword":["Market structure","Financial stability","Banking regulation"],"language":[{"iso":"eng"}],"abstract":[{"text":"Using aggregate balance sheet data from banks across the EU-25 over the period from 1997 to 2005 we provide empirical evidence that national banking market concentration has a negative impact on European banks’ financial soundness as measured by the Z-score technique while controlling for macroeconomic, bank-specific, regulatory, and institutional factors. Furthermore, our analysis reveals that Eastern European banking markets exhibiting a lower level of competitive pressure, fewer diversification opportunities and a higher fraction of government-owned banks are more prone to financial fragility whereas capital regulations have supported financial stability across the entire European Union.","lang":"eng"}],"publication":"Journal of Banking & Finance"},{"type":"conference","publication":"Gesture and Speech in Interaction","status":"public","abstract":[{"text":"Learning is a social endeavor, in which the learner generally receives support from his/her social partner(s). In developmental research – even though tutors/adults behavior modifications in their speech, gestures and motions have been extensively studied, studies barely consider the recipient’s (i.e. the child’s) perspective in the analysis of the adult’s presentation, In addition, the variability in parental behavior, i.e. the fact that not every parent modifies her/his behavior in the same way, found less fine-grained analysis. In contrast, in this paper, we assume an interactional perspective investigating the loop between the tutor’s and the learner’s actions. With this approach, we aim both at discovering the levels and features of variability and at achieving a better understanding of how they come about within the course of the interaction. For our analysis, we used a combination of (1) qualitative investigation derived from ethnomethodological Conversation Analysis (CA), (2) semi-automatic computational 2D hand tracking and (3) a mathematically based visualization of the data. Our analysis reveals that tutors not only shape their demonstrations differently with regard to the intended recipient per se (adult-directed vs. child-directed), but most importantly that the learner’s feedback during the presentation is consequential for the concrete ways in which the presentation is carried out.","lang":"eng"}],"user_id":"14931","department":[{"_id":"749"}],"_id":"17259","language":[{"iso":"eng"}],"keyword":["gaze","gesture","Multimodal","adult-child interaction"],"citation":{"ieee":"K. Pitsch, A.-L. Vollmer, J. Fritsch, B. Wrede, K. Rohlfing, and G. Sagerer, “On the loop of action modification and the recipient’s gaze in adult-child interaction,” 2009.","chicago":"Pitsch, Karola, Anna-Lisa Vollmer, Jannik Fritsch, Britta Wrede, Katharina Rohlfing, and Gerhard Sagerer. “On the Loop of Action Modification and the Recipient’s Gaze in Adult-Child Interaction.” In <i>Gesture and Speech in Interaction</i>, 2009.","ama":"Pitsch K, Vollmer A-L, Fritsch J, Wrede B, Rohlfing K, Sagerer G. On the loop of action modification and the recipient’s gaze in adult-child interaction. In: <i>Gesture and Speech in Interaction</i>. ; 2009.","mla":"Pitsch, Karola, et al. “On the Loop of Action Modification and the Recipient’s Gaze in Adult-Child Interaction.” <i>Gesture and Speech in Interaction</i>, 2009.","short":"K. Pitsch, A.-L. Vollmer, J. Fritsch, B. Wrede, K. Rohlfing, G. Sagerer, in: Gesture and Speech in Interaction, 2009.","bibtex":"@inproceedings{Pitsch_Vollmer_Fritsch_Wrede_Rohlfing_Sagerer_2009, title={On the loop of action modification and the recipient’s gaze in adult-child interaction}, booktitle={Gesture and Speech in Interaction}, author={Pitsch, Karola and Vollmer, Anna-Lisa and Fritsch, Jannik and Wrede, Britta and Rohlfing, Katharina and Sagerer, Gerhard}, year={2009} }","apa":"Pitsch, K., Vollmer, A.-L., Fritsch, J., Wrede, B., Rohlfing, K., &#38; Sagerer, G. (2009). On the loop of action modification and the recipient’s gaze in adult-child interaction. <i>Gesture and Speech in Interaction</i>."},"year":"2009","author":[{"first_name":"Karola","last_name":"Pitsch","full_name":"Pitsch, Karola"},{"last_name":"Vollmer","full_name":"Vollmer, Anna-Lisa","first_name":"Anna-Lisa"},{"full_name":"Fritsch, Jannik","last_name":"Fritsch","first_name":"Jannik"},{"first_name":"Britta","last_name":"Wrede","full_name":"Wrede, Britta"},{"first_name":"Katharina","last_name":"Rohlfing","full_name":"Rohlfing, Katharina","id":"50352"},{"first_name":"Gerhard","full_name":"Sagerer, Gerhard","last_name":"Sagerer"}],"date_created":"2020-06-24T13:02:27Z","date_updated":"2023-02-01T13:02:31Z","title":"On the loop of action modification and the recipient's gaze in adult-child interaction"},{"year":"2009","page":"1-6","citation":{"apa":"Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch, J., Rohlfing, K., &#38; Wrede, B. (2009). People modify their tutoring behavior in robot-directed interaction for action learning. <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>, 1–6. <a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">https://doi.org/10.1109/DEVLRN.2009.5175516</a>","ama":"Vollmer A-L, Lohan KS, Fischer K, et al. People modify their tutoring behavior in robot-directed interaction for action learning. In: <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>. IEEE; 2009:1-6. doi:<a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">10.1109/DEVLRN.2009.5175516</a>","bibtex":"@inproceedings{Vollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009, title={People modify their tutoring behavior in robot-directed interaction for action learning}, DOI={<a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">10.1109/DEVLRN.2009.5175516</a>}, booktitle={Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning}, publisher={IEEE}, author={Vollmer, Anna-Lisa and Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}, year={2009}, pages={1–6} }","mla":"Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>, IEEE, 2009, pp. 1–6, doi:<a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">10.1109/DEVLRN.2009.5175516</a>.","short":"A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch, K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, IEEE, 2009, pp. 1–6.","ieee":"A.-L. Vollmer <i>et al.</i>, “People modify their tutoring behavior in robot-directed interaction for action learning,” in <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>, 2009, pp. 1–6, doi: <a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">10.1109/DEVLRN.2009.5175516</a>.","chicago":"Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai, Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” In <i>Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning</i>, 1–6. IEEE, 2009. <a href=\"https://doi.org/10.1109/DEVLRN.2009.5175516\">https://doi.org/10.1109/DEVLRN.2009.5175516</a>."},"title":"People modify their tutoring behavior in robot-directed interaction for action learning","doi":"10.1109/DEVLRN.2009.5175516","publisher":"IEEE","date_updated":"2023-02-01T13:06:43Z","date_created":"2020-06-24T13:02:43Z","author":[{"last_name":"Vollmer","full_name":"Vollmer, Anna-Lisa","first_name":"Anna-Lisa"},{"full_name":"Lohan, Katrin Solveig","last_name":"Lohan","first_name":"Katrin Solveig"},{"full_name":"Fischer, Kerstin","last_name":"Fischer","first_name":"Kerstin"},{"last_name":"Nagai","full_name":"Nagai, Yukie","first_name":"Yukie"},{"last_name":"Pitsch","full_name":"Pitsch, Karola","first_name":"Karola"},{"first_name":"Jannik","last_name":"Fritsch","full_name":"Fritsch, Jannik"},{"first_name":"Katharina","last_name":"Rohlfing","full_name":"Rohlfing, Katharina","id":"50352"},{"first_name":"Britta","full_name":"Wrede, Britta","last_name":"Wrede"}],"abstract":[{"lang":"eng","text":"In developmental research, tutoring behavior has been identified as scaffolding infants' learning processes. It has been defined in terms of child-directed speech (Motherese), child-directed motion (Motionese), and contingency. In the field of developmental robotics, research often assumes that in human-robot interaction (HRI), robots are treated similar to infants, because their immature cognitive capabilities benefit from this behavior. However, according to our knowledge, it has barely been studied whether this is true and how exactly humans alter their behavior towards a robotic interaction partner. In this paper, we present results concerning the acceptance of a robotic agent in a social learning scenario obtained via comparison to adults and 8-11 months old infants in equal conditions. These results constitute an important empirical basis for making use of tutoring behavior in social robotics. In our study, we performed a detailed multimodal analysis of HRI in a tutoring situation using the example of a robot simulation equipped with a bottom-up saliency-based attention model. Our results reveal significant differences in hand movement velocity, motion pauses, range of motion, and eye gaze suggesting that for example adults decrease their hand movement velocity in an Adult-Child Interaction (ACI), opposed to an Adult-Adult Interaction (AAI) and this decrease is even higher in the Adult-Robot Interaction (ARI). We also found important differences between ACI and ARI in how the behavior is modified over time as the interaction unfolds. These findings indicate the necessity of integrating top-down feedback structures into a bottom-up system for robots to be fully accepted as interaction partners."}],"status":"public","publication":"Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning","type":"conference","keyword":["robot simulation","hand movement velocity","robotic interaction partner","robotic agent","robot-directed interaction","multimodal analysis","Motionese","Motherese","intelligent tutoring systems","immature cognitive capability","human computer interaction","eye gaze","child-directed speech","child-directed motion","bottom-up system","bottom-up saliency-based attention model","adult-robot interaction","adult-child interaction","adult-adult interaction","human-robot interaction","action learning","social learning scenario","social robotics","software agents","top-down feedback structures","tutoring behavior"],"language":[{"iso":"eng"}],"_id":"17272","department":[{"_id":"749"}],"user_id":"14931"},{"department":[{"_id":"749"}],"user_id":"14931","_id":"17267","language":[{"iso":"eng"}],"keyword":["SINA","human robot interaction","biron"],"publication":"Proceedings of the 4th ACM/IEEE international conference on Human robot interaction - HRI '09","type":"conference","status":"public","author":[{"full_name":"Lohse, Manja","last_name":"Lohse","first_name":"Manja"},{"first_name":"Marc","last_name":"Hanheide","full_name":"Hanheide, Marc"},{"first_name":"Katharina","full_name":"Rohlfing, Katharina","id":"50352","last_name":"Rohlfing"},{"first_name":"Gerhard","last_name":"Sagerer","full_name":"Sagerer, Gerhard"}],"date_created":"2020-06-24T13:02:37Z","date_updated":"2023-02-01T13:05:01Z","doi":"10.1145/1514095.1514114","title":"Systemic interaction analysis (SInA) in HRI","page":"93-100","citation":{"ama":"Lohse M, Hanheide M, Rohlfing K, Sagerer G. Systemic interaction analysis (SInA) in HRI. In: <i>Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction - HRI ’09</i>. ; 2009:93-100. doi:<a href=\"https://doi.org/10.1145/1514095.1514114\">10.1145/1514095.1514114</a>","ieee":"M. Lohse, M. Hanheide, K. Rohlfing, and G. Sagerer, “Systemic interaction analysis (SInA) in HRI,” in <i>Proceedings of the 4th ACM/IEEE international conference on Human robot interaction - HRI ’09</i>, 2009, pp. 93–100, doi: <a href=\"https://doi.org/10.1145/1514095.1514114\">10.1145/1514095.1514114</a>.","chicago":"Lohse, Manja, Marc Hanheide, Katharina Rohlfing, and Gerhard Sagerer. “Systemic Interaction Analysis (SInA) in HRI.” In <i>Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction - HRI ’09</i>, 93–100, 2009. <a href=\"https://doi.org/10.1145/1514095.1514114\">https://doi.org/10.1145/1514095.1514114</a>.","apa":"Lohse, M., Hanheide, M., Rohlfing, K., &#38; Sagerer, G. (2009). Systemic interaction analysis (SInA) in HRI. <i>Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction - HRI ’09</i>, 93–100. <a href=\"https://doi.org/10.1145/1514095.1514114\">https://doi.org/10.1145/1514095.1514114</a>","mla":"Lohse, Manja, et al. “Systemic Interaction Analysis (SInA) in HRI.” <i>Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction - HRI ’09</i>, 2009, pp. 93–100, doi:<a href=\"https://doi.org/10.1145/1514095.1514114\">10.1145/1514095.1514114</a>.","short":"M. Lohse, M. Hanheide, K. Rohlfing, G. Sagerer, in: Proceedings of the 4th ACM/IEEE International Conference on Human Robot Interaction - HRI ’09, 2009, pp. 93–100.","bibtex":"@inproceedings{Lohse_Hanheide_Rohlfing_Sagerer_2009, title={Systemic interaction analysis (SInA) in HRI}, DOI={<a href=\"https://doi.org/10.1145/1514095.1514114\">10.1145/1514095.1514114</a>}, booktitle={Proceedings of the 4th ACM/IEEE international conference on Human robot interaction - HRI ’09}, author={Lohse, Manja and Hanheide, Marc and Rohlfing, Katharina and Sagerer, Gerhard}, year={2009}, pages={93–100} }"},"year":"2009"},{"type":"journal_article","publication":"Journal on Multimodal User Interfaces","status":"public","abstract":[{"lang":"eng","text":"To provide user interfaces for a rich set of devices and interaction modalities, we follow a model-based development methodology. We devised an architecture which deploys user interfaces specified as dialogue models with abstract interaction objects and allows context-based adaptations by means of an external transcoding process. For the validation of the applicability of this methodology for developing usable multimodal multi-device systems, we present two case studies based on proof-of-concept implementations and assessed them with a large set of established design principles and different types of modality cooperation."}],"user_id":"5786","department":[{"_id":"672"}],"_id":"34564","language":[{"iso":"eng"}],"keyword":["Interaction architecture     Abstract interaction objects     Dialogue model     Transformations     Multimodality     Multi-device     Design principles"],"issue":"1","citation":{"ieee":"R. Schäfer and W. Müller, “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles,” <i>Journal on Multimodal User Interfaces</i>, vol. 2, no. 1, pp. 25–41, 2008, doi: <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>.","chicago":"Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” <i>Journal on Multimodal User Interfaces</i> 2, no. 1 (2008): 25–41. <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">https://doi.org/10.1007/s12193-008-0003-3</a>.","ama":"Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. <i>Journal on Multimodal User Interfaces</i>. 2008;2(1):25-41. doi:<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>","bibtex":"@article{Schäfer_Müller_2008, title={Assessment of a Multimodal Interaction and Rendering System against Established Design Principles}, volume={2}, DOI={<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>}, number={1}, journal={Journal on Multimodal User Interfaces}, publisher={Springer-Verlag}, author={Schäfer, Robbie and Müller, Wolfgang}, year={2008}, pages={25–41} }","mla":"Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles.” <i>Journal on Multimodal User Interfaces</i>, vol. 2, no. 1, Springer-Verlag, 2008, pp. 25–41, doi:<a href=\"https://doi.org/10.1007/s12193-008-0003-3\">10.1007/s12193-008-0003-3</a>.","short":"R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.","apa":"Schäfer, R., &#38; Müller, W. (2008). Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. <i>Journal on Multimodal User Interfaces</i>, <i>2</i>(1), 25–41. <a href=\"https://doi.org/10.1007/s12193-008-0003-3\">https://doi.org/10.1007/s12193-008-0003-3</a>"},"intvolume":"         2","page":"25-41","year":"2008","author":[{"last_name":"Schäfer","full_name":"Schäfer, Robbie","first_name":"Robbie"},{"first_name":"Wolfgang","id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller"}],"date_created":"2022-12-19T12:22:50Z","volume":2,"publisher":"Springer-Verlag","date_updated":"2022-12-19T12:23:05Z","doi":"10.1007/s12193-008-0003-3","title":"Assessment of a Multimodal Interaction and Rendering System against Established Design Principles"},{"type":"conference","abstract":[{"lang":"eng","text":"This paper investigates the influence of feedback provided by an autonomous robot (BIRON) on users’ discursive behavior. A user study is described during which users show objects to the robot. The results of the experiment indicate, that the robot’s verbal feedback utterances cause the humans to adapt their own way of speaking. The changes in users’ verbal behavior are due to their beliefs about the robots knowledge and abilities. In this paper they are identified and grouped. Moreover, the data implies variations in user behavior regarding gestures. Unlike speech, the robot was not able to give feedback with gestures. Due to the lack of feedback, users did not seem to have a consistent mental representation of the robot’s abilities to recognize gestures. As a result, changes between different gestures are interpreted to be unconscious variations accompanying speech."}],"status":"public","_id":"17278","department":[{"_id":"749"}],"user_id":"14931","keyword":["discursive behavior","autonomous robot","BIRON","man-machine systems","robot abilities","robot knowledge","user gestures","robot verbal feedback utterance","speech processing","user verbal behavior","service robots","human-robot interaction","human computer interaction","gesture recognition"],"language":[{"iso":"eng"}],"publication_identifier":{"isbn":["1050-4729"]},"year":"2008","page":"3481-3486","citation":{"ama":"Lohse M, Rohlfing K, Wrede B, Sagerer G. “Try something else!” — When users change their discursive behavior in human-robot interaction. In: ; 2008:3481-3486. doi:<a href=\"https://doi.org/10.1109/ROBOT.2008.4543743\">10.1109/ROBOT.2008.4543743</a>","ieee":"M. Lohse, K. Rohlfing, B. Wrede, and G. Sagerer, “‘Try something else!’ — When users change their discursive behavior in human-robot interaction,” 2008, pp. 3481–3486, doi: <a href=\"https://doi.org/10.1109/ROBOT.2008.4543743\">10.1109/ROBOT.2008.4543743</a>.","chicago":"Lohse, Manja, Katharina Rohlfing, Britta Wrede, and Gerhard Sagerer. “‘Try Something Else!’ — When Users Change Their Discursive Behavior in Human-Robot Interaction,” 3481–86, 2008. <a href=\"https://doi.org/10.1109/ROBOT.2008.4543743\">https://doi.org/10.1109/ROBOT.2008.4543743</a>.","bibtex":"@inproceedings{Lohse_Rohlfing_Wrede_Sagerer_2008, title={“Try something else!” — When users change their discursive behavior in human-robot interaction}, DOI={<a href=\"https://doi.org/10.1109/ROBOT.2008.4543743\">10.1109/ROBOT.2008.4543743</a>}, author={Lohse, Manja and Rohlfing, Katharina and Wrede, Britta and Sagerer, Gerhard}, year={2008}, pages={3481–3486} }","short":"M. Lohse, K. Rohlfing, B. Wrede, G. Sagerer, in: 2008, pp. 3481–3486.","mla":"Lohse, Manja, et al. <i>“Try Something Else!” — When Users Change Their Discursive Behavior in Human-Robot Interaction</i>. 2008, pp. 3481–86, doi:<a href=\"https://doi.org/10.1109/ROBOT.2008.4543743\">10.1109/ROBOT.2008.4543743</a>.","apa":"Lohse, M., Rohlfing, K., Wrede, B., &#38; Sagerer, G. (2008). <i>“Try something else!” — When users change their discursive behavior in human-robot interaction</i>. 3481–3486. <a href=\"https://doi.org/10.1109/ROBOT.2008.4543743\">https://doi.org/10.1109/ROBOT.2008.4543743</a>"},"date_updated":"2023-02-01T13:08:20Z","date_created":"2020-06-24T13:02:49Z","author":[{"last_name":"Lohse","full_name":"Lohse, Manja","first_name":"Manja"},{"last_name":"Rohlfing","full_name":"Rohlfing, Katharina","id":"50352","first_name":"Katharina"},{"full_name":"Wrede, Britta","last_name":"Wrede","first_name":"Britta"},{"first_name":"Gerhard","full_name":"Sagerer, Gerhard","last_name":"Sagerer"}],"title":"“Try something else!” — When users change their discursive behavior in human-robot interaction","doi":"10.1109/ROBOT.2008.4543743"},{"status":"public","abstract":[{"lang":"eng","text":"Three cis-dioxovanadium(V) complexes with similar N -salicylidenehydrazide ligands modeling hydrogen bonding interactions of vanadate relevant for vanadium haloperoxidases are studied by 51V solid-state NMR spectroscopy. Their parameters describing the quadrupolar and chemical shift anisotropy interactions (quadrupolar coupling constant C Q , asymmetry of the quadrupolar tensor η Q , isotropic chemical shift δ iso , chemical shift anisotropy δ σ , asymmetry of the chemical shift tensor η σ and the Euler angles α , β and γ ) are determined both experimentally and theoretically using DFT methods. A comparative study of different methods to determine the NMR parameters by numerical simulation of the spectra is presented. Detailed theoretical investigations on the DFT level using various basis sets and structural models show that by useful choice of the methodology, the calculated parameters agree to the experimental ones in a very good manner."}],"publication":"Solid State Nuclear Magnetic Resonance","type":"journal_article","extern":"1","language":[{"iso":"eng"}],"keyword":["51V NMR","Model system","Ab initio calculation","Cis-dioxovanadium(V) complex","Haloperoxidase","Numerical optimization","Quadrupolar interaction"],"user_id":"100715","_id":"64041","intvolume":"        34","page":"52–67","citation":{"ama":"Schweitzer A, Gutmann T, Wächtler M, et al. 51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases. <i>Solid State Nuclear Magnetic Resonance</i>. 2008;34(1–2):52–67. doi:<a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">10.1016/j.ssnmr.2008.02.003</a>","chicago":"Schweitzer, Annika, Torsten Gutmann, Maria Wächtler, Hergen Breitzke, Axel Buchholz, Winfried Plass, and Gerd Buntkowsky. “51V Solid-State NMR Investigations and DFT Studies of Model Compounds for Vanadium Haloperoxidases.” <i>Solid State Nuclear Magnetic Resonance</i> 34, no. 1–2 (2008): 52–67. <a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">https://doi.org/10.1016/j.ssnmr.2008.02.003</a>.","ieee":"A. Schweitzer <i>et al.</i>, “51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases,” <i>Solid State Nuclear Magnetic Resonance</i>, vol. 34, no. 1–2, pp. 52–67, 2008, doi: <a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">10.1016/j.ssnmr.2008.02.003</a>.","apa":"Schweitzer, A., Gutmann, T., Wächtler, M., Breitzke, H., Buchholz, A., Plass, W., &#38; Buntkowsky, G. (2008). 51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases. <i>Solid State Nuclear Magnetic Resonance</i>, <i>34</i>(1–2), 52–67. <a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">https://doi.org/10.1016/j.ssnmr.2008.02.003</a>","mla":"Schweitzer, Annika, et al. “51V Solid-State NMR Investigations and DFT Studies of Model Compounds for Vanadium Haloperoxidases.” <i>Solid State Nuclear Magnetic Resonance</i>, vol. 34, no. 1–2, 2008, pp. 52–67, doi:<a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">10.1016/j.ssnmr.2008.02.003</a>.","short":"A. Schweitzer, T. Gutmann, M. Wächtler, H. Breitzke, A. Buchholz, W. Plass, G. Buntkowsky, Solid State Nuclear Magnetic Resonance 34 (2008) 52–67.","bibtex":"@article{Schweitzer_Gutmann_Wächtler_Breitzke_Buchholz_Plass_Buntkowsky_2008, title={51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases}, volume={34}, DOI={<a href=\"https://doi.org/10.1016/j.ssnmr.2008.02.003\">10.1016/j.ssnmr.2008.02.003</a>}, number={1–2}, journal={Solid State Nuclear Magnetic Resonance}, author={Schweitzer, Annika and Gutmann, Torsten and Wächtler, Maria and Breitzke, Hergen and Buchholz, Axel and Plass, Winfried and Buntkowsky, Gerd}, year={2008}, pages={52–67} }"},"year":"2008","issue":"1–2","doi":"10.1016/j.ssnmr.2008.02.003","title":"51V solid-state NMR investigations and DFT studies of model compounds for vanadium haloperoxidases","volume":34,"date_created":"2026-02-07T16:10:01Z","author":[{"last_name":"Schweitzer","full_name":"Schweitzer, Annika","first_name":"Annika"},{"id":"118165","full_name":"Gutmann, Torsten","last_name":"Gutmann","first_name":"Torsten"},{"full_name":"Wächtler, Maria","last_name":"Wächtler","first_name":"Maria"},{"full_name":"Breitzke, Hergen","last_name":"Breitzke","first_name":"Hergen"},{"first_name":"Axel","full_name":"Buchholz, Axel","last_name":"Buchholz"},{"full_name":"Plass, Winfried","last_name":"Plass","first_name":"Winfried"},{"last_name":"Buntkowsky","full_name":"Buntkowsky, Gerd","first_name":"Gerd"}],"date_updated":"2026-02-17T16:13:21Z"},{"department":[{"_id":"54"}],"user_id":"44006","_id":"11883","language":[{"iso":"eng"}],"keyword":["additive noise","cellular radio","channel estimation","cochannel interference","COST 207 channel models","downlink transmission bursts","fading channels","fading process","GSM downlink signalling","mobile terminals","multipath channels","multipath propagation","power density spectrum","statistical analysis","statistical properties","telecommunication links","telecommunication terminals","velocity estimation"],"publication":"4th Workshop on Positioning Navigation and Communication (WPNC 2007)","type":"conference","status":"public","abstract":[{"text":"In this paper, we experimentally evaluate algorithms for velocity estimation of a GSM 900 mobile terminal which are based on the analysis of the statistical properties of the fast fading process. It is shown how theses statistics can be obtained from the training sequences present in downlink transmission bursts without establishing an active connection. Realistic simulations of a GSM channel according to the COST 207 channel models have been conducted. These models incorporate effects like multipath propagation, fading, cochannel interference and additive noise. It is shown that velocity estimation by searching for the maximum slope of the power density spectrum of the fast fading performs best.","lang":"eng"}],"author":[{"full_name":"Peschke, Sven","last_name":"Peschke","first_name":"Sven"},{"full_name":"Haeb-Umbach, Reinhold","id":"242","last_name":"Haeb-Umbach","first_name":"Reinhold"}],"date_created":"2019-07-12T05:30:06Z","oa":"1","date_updated":"2022-01-06T06:51:11Z","doi":"10.1109/WPNC.2007.353637","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2007/PeHa07.pdf","open_access":"1"}],"title":"Velocity Estimation of Mobile Terminals by Exploiting GSM Downlink Signalling","page":"217-222","citation":{"apa":"Peschke, S., &#38; Haeb-Umbach, R. (2007). Velocity Estimation of Mobile Terminals by Exploiting GSM Downlink Signalling. In <i>4th Workshop on Positioning Navigation and Communication (WPNC 2007)</i> (pp. 217–222). <a href=\"https://doi.org/10.1109/WPNC.2007.353637\">https://doi.org/10.1109/WPNC.2007.353637</a>","bibtex":"@inproceedings{Peschke_Haeb-Umbach_2007, title={Velocity Estimation of Mobile Terminals by Exploiting GSM Downlink Signalling}, DOI={<a href=\"https://doi.org/10.1109/WPNC.2007.353637\">10.1109/WPNC.2007.353637</a>}, booktitle={4th Workshop on Positioning Navigation and Communication (WPNC 2007)}, author={Peschke, Sven and Haeb-Umbach, Reinhold}, year={2007}, pages={217–222} }","mla":"Peschke, Sven, and Reinhold Haeb-Umbach. “Velocity Estimation of Mobile Terminals by Exploiting GSM Downlink Signalling.” <i>4th Workshop on Positioning Navigation and Communication (WPNC 2007)</i>, 2007, pp. 217–22, doi:<a href=\"https://doi.org/10.1109/WPNC.2007.353637\">10.1109/WPNC.2007.353637</a>.","short":"S. Peschke, R. Haeb-Umbach, in: 4th Workshop on Positioning Navigation and Communication (WPNC 2007), 2007, pp. 217–222.","ama":"Peschke S, Haeb-Umbach R. Velocity Estimation of Mobile Terminals by Exploiting GSM Downlink Signalling. In: <i>4th Workshop on Positioning Navigation and Communication (WPNC 2007)</i>. ; 2007:217-222. doi:<a href=\"https://doi.org/10.1109/WPNC.2007.353637\">10.1109/WPNC.2007.353637</a>","chicago":"Peschke, Sven, and Reinhold Haeb-Umbach. “Velocity Estimation of Mobile Terminals by Exploiting GSM Downlink Signalling.” In <i>4th Workshop on Positioning Navigation and Communication (WPNC 2007)</i>, 217–22, 2007. <a href=\"https://doi.org/10.1109/WPNC.2007.353637\">https://doi.org/10.1109/WPNC.2007.353637</a>.","ieee":"S. Peschke and R. Haeb-Umbach, “Velocity Estimation of Mobile Terminals by Exploiting GSM Downlink Signalling,” in <i>4th Workshop on Positioning Navigation and Communication (WPNC 2007)</i>, 2007, pp. 217–222."},"year":"2007"},{"publication":"Advances in Cognitive Psychology","abstract":[{"lang":"eng","text":"Visual backward masking is frequently used to study the temporal dynamics of visual perception. These dynamics may include the temporal features of conscious percepts, as suggested, for instance, by the asynchronous-updating model (Neumann, 1982) and perceptual-retouch theory (Bachmann, 1994). These models predict that the perceptual latency of a visual backward mask is shorter than that of a like reference stimulus that was not preceded by a masked stimulus. The prediction has been confirmed by studies using temporal-order judgments: For certain asynchronies between mask and reference stimulus, temporal-order reversals are quite frequent (e.g. Scharlau, & Neumann, 2003a). However, it may be argued that these reversals were due to a response bias in favour of the mask rather than true temporal-perceptual effects. I introduce two measures for assessing latency effects that (1) are not prone to such a response bias, (2) allow to quantify the latency gain, and (3) extend the perceptual e"}],"keyword":["temporal processes","prime mask interaction","perceptual consequences","masked information","visual backward masking","visual perception","Temporal Lobe","Visual Masking","Visual Perception","Consequence"],"language":[{"iso":"eng"}],"issue":"1-2","year":"2007","date_created":"2018-12-10T07:07:33Z","title":"Temporal processes in prime-mask interaction: Assessing perceptual consequences of masked information.","type":"journal_article","status":"public","_id":"6087","user_id":"42165","department":[{"_id":"424"}],"extern":"1","publication_status":"published","publication_identifier":{"issn":["1895-1171"]},"citation":{"ieee":"I. Scharlau, “Temporal processes in prime-mask interaction: Assessing perceptual consequences of masked information.,” <i>Advances in Cognitive Psychology</i>, vol. 3, no. 1–2, pp. 241–255, 2007.","chicago":"Scharlau, Ingrid. “Temporal Processes in Prime-Mask Interaction: Assessing Perceptual Consequences of Masked Information.” <i>Advances in Cognitive Psychology</i> 3, no. 1–2 (2007): 241–55.","ama":"Scharlau I. Temporal processes in prime-mask interaction: Assessing perceptual consequences of masked information. <i>Advances in Cognitive Psychology</i>. 2007;3(1-2):241-255.","apa":"Scharlau, I. (2007). Temporal processes in prime-mask interaction: Assessing perceptual consequences of masked information. <i>Advances in Cognitive Psychology</i>, <i>3</i>(1–2), 241–255.","short":"I. Scharlau, Advances in Cognitive Psychology 3 (2007) 241–255.","bibtex":"@article{Scharlau_2007, title={Temporal processes in prime-mask interaction: Assessing perceptual consequences of masked information.}, volume={3}, number={1–2}, journal={Advances in Cognitive Psychology}, author={Scharlau, Ingrid}, year={2007}, pages={241–255} }","mla":"Scharlau, Ingrid. “Temporal Processes in Prime-Mask Interaction: Assessing Perceptual Consequences of Masked Information.” <i>Advances in Cognitive Psychology</i>, vol. 3, no. 1–2, 2007, pp. 241–55."},"page":"241 - 255","intvolume":"         3","oa":"1","date_updated":"2022-06-07T00:13:52Z","author":[{"last_name":"Scharlau","orcid":"0000-0003-2364-9489","full_name":"Scharlau, Ingrid","id":"451","first_name":"Ingrid"}],"volume":3,"main_file_link":[{"open_access":"1","url":"https://ac-psych.org/index.php/en/issues/volume/3/issue/1#art43"}]},{"department":[{"_id":"672"}],"user_id":"5786","_id":"38543","language":[{"iso":"eng"}],"keyword":["User Interface     Interaction Manager     Output Device     Multimodal Interface     Interaction Object"],"publication":"Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA'2006)","type":"conference","status":"public","abstract":[{"text":"Today a large variety of mobile interaction devices such as PDAs and mobile phones enforce the development of a wide range of user interfaces for each platform. The complexity even grows, when multiple interaction devices are used to perform the same task and when different modalities have to be supported. We introduce a new dialog model for the abstraction of concrete user interfaces with a separate advanced control layer for the integration of different modalities. In this context, we present the Dialog and Interface Specification Language (DISL), which comes with a proof-of-concept implementation.","lang":"eng"}],"author":[{"last_name":"Schäfer","full_name":"Schäfer, Robbie","first_name":"Robbie"},{"first_name":"Steffen","last_name":"Bleul","full_name":"Bleul, Steffen"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"date_created":"2023-01-24T08:03:51Z","date_updated":"2023-01-24T08:03:56Z","doi":"10.1007/978-3-540-70816-2_4","title":"Dialog Modelling for Multiple Devices and Multiple Interaction Modalities","publication_identifier":{"isbn":["978-3-540-70815-5"]},"citation":{"apa":"Schäfer, R., Bleul, S., &#38; Müller, W. (2006). Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. <i>Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>. <a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">https://doi.org/10.1007/978-3-540-70816-2_4</a>","short":"R. Schäfer, S. Bleul, W. Müller, in: Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006), Hasselt, Belgium, 2006.","mla":"Schäfer, Robbie, et al. “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities.” <i>Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>, 2006, doi:<a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">10.1007/978-3-540-70816-2_4</a>.","bibtex":"@inproceedings{Schäfer_Bleul_Müller_2006, place={Hasselt, Belgium}, title={Dialog Modelling for Multiple Devices and Multiple Interaction Modalities}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">10.1007/978-3-540-70816-2_4</a>}, booktitle={Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)}, author={Schäfer, Robbie and Bleul, Steffen and Müller, Wolfgang}, year={2006} }","ama":"Schäfer R, Bleul S, Müller W. Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. In: <i>Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>. ; 2006. doi:<a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">10.1007/978-3-540-70816-2_4</a>","chicago":"Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities.” In <i>Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006)</i>. Hasselt, Belgium, 2006. <a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">https://doi.org/10.1007/978-3-540-70816-2_4</a>.","ieee":"R. Schäfer, S. Bleul, and W. Müller, “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities,” 2006, doi: <a href=\"https://doi.org/10.1007/978-3-540-70816-2_4\">10.1007/978-3-540-70816-2_4</a>."},"place":"Hasselt, Belgium","year":"2006"},{"intvolume":"         4","page":"1844-1848 vol.4","citation":{"short":"R. Bischoff, R. Haeb-Umbach, W. Schulz, G. Heinrichs, in: IEEE 55th Vehicular Technology Conference (VTC 2002 Spring), 2002, pp. 1844–1848 vol.4.","bibtex":"@inproceedings{Bischoff_Haeb-Umbach_Schulz_Heinrichs_2002, title={Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver}, volume={4}, DOI={<a href=\"https://doi.org/10.1109/VTC.2002.1002940\">10.1109/VTC.2002.1002940</a>}, booktitle={IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)}, author={Bischoff, Renke and Haeb-Umbach, Reinhold and Schulz, Wolfgang and Heinrichs, Guenther}, year={2002}, pages={1844–1848 vol.4} }","mla":"Bischoff, Renke, et al. “Employment of a Multipath Receiver Structure in a Combined GALILEO/UMTS Receiver.” <i>IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)</i>, vol. 4, 2002, pp. 1844–48 vol.4, doi:<a href=\"https://doi.org/10.1109/VTC.2002.1002940\">10.1109/VTC.2002.1002940</a>.","apa":"Bischoff, R., Haeb-Umbach, R., Schulz, W., &#38; Heinrichs, G. (2002). Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver. In <i>IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)</i> (Vol. 4, pp. 1844–1848 vol.4). <a href=\"https://doi.org/10.1109/VTC.2002.1002940\">https://doi.org/10.1109/VTC.2002.1002940</a>","ama":"Bischoff R, Haeb-Umbach R, Schulz W, Heinrichs G. Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver. In: <i>IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)</i>. Vol 4. ; 2002:1844-1848 vol.4. doi:<a href=\"https://doi.org/10.1109/VTC.2002.1002940\">10.1109/VTC.2002.1002940</a>","ieee":"R. Bischoff, R. Haeb-Umbach, W. Schulz, and G. Heinrichs, “Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver,” in <i>IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)</i>, 2002, vol. 4, pp. 1844–1848 vol.4.","chicago":"Bischoff, Renke, Reinhold Haeb-Umbach, Wolfgang Schulz, and Guenther Heinrichs. “Employment of a Multipath Receiver Structure in a Combined GALILEO/UMTS Receiver.” In <i>IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)</i>, 4:1844–48 vol.4, 2002. <a href=\"https://doi.org/10.1109/VTC.2002.1002940\">https://doi.org/10.1109/VTC.2002.1002940</a>."},"year":"2002","volume":4,"author":[{"first_name":"Renke","full_name":"Bischoff, Renke","last_name":"Bischoff"},{"first_name":"Reinhold","last_name":"Haeb-Umbach","id":"242","full_name":"Haeb-Umbach, Reinhold"},{"last_name":"Schulz","full_name":"Schulz, Wolfgang","first_name":"Wolfgang"},{"last_name":"Heinrichs","full_name":"Heinrichs, Guenther","first_name":"Guenther"}],"date_created":"2019-07-12T05:27:12Z","oa":"1","date_updated":"2022-01-06T06:51:08Z","doi":"10.1109/VTC.2002.1002940","main_file_link":[{"url":"https://groups.uni-paderborn.de/nt/pubs/2002/BiHaScHe02.pdf","open_access":"1"}],"title":"Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver","publication":"IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)","type":"conference","status":"public","abstract":[{"lang":"eng","text":"Current navigation systems like GPS (Global Positioning System) and its Russian counterpart GLONASS (Global Navigation Satellite System) only evaluate the direct signal path. The receivers treat the reflected paths also reaching the receiver antenna as disturbance which has to be suppressed. Multipath affects the tracking accuracy by resulting in a degeneration of the S-curve of the DLL (delay locked loop). Nowadays the future European systems GALILEO and GPSIIF/III with two new signals are on the way to the market and it is time to think about new receiver structures. Therefore we investigated if it is possible to use multipath for navigation constructively."}],"department":[{"_id":"54"}],"user_id":"44006","_id":"11733","language":[{"iso":"eng"}],"keyword":["combined GALILEO/UMTS receiver","delay locked loop","delay lock loops","DLL","Global Positioning System","GLONASS","GPS","GPSIIF/III","mobile satellite communication","multipath channels","multipath receiver structure","radio receivers","RAKE receiver","S-curve"]},{"date_updated":"2022-12-15T11:38:47Z","publisher":"Springer-Verlag","date_created":"2022-12-15T11:38:20Z","author":[{"first_name":"Stephan","last_name":"Flake","full_name":"Flake, Stephan"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"title":"An OCL Extension for Real-Time Constraints","doi":"10.1007/3-540-45669-4_8","publication_identifier":{"isbn":["978-3-540-45669-8"]},"year":"2002","place":"Berlin, Heidelberg","citation":{"ama":"Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. <i>Advances in Object Modelling with the OCL</i>. Springer-Verlag; 2002:150-171. doi:<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>","chicago":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” In <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. <a href=\"https://doi.org/10.1007/3-540-45669-4_8\">https://doi.org/10.1007/3-540-45669-4_8</a>.","ieee":"S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in <i>Advances in Object Modelling with the OCL</i>, T. Clark and J. Warmer, Eds. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.","mla":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” <i>Advances in Object Modelling with the OCL</i>, edited by T. Clark and J. Warmer, Springer-Verlag, 2002, pp. 150–71, doi:<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>.","short":"S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.","bibtex":"@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension for Real-Time Constraints}, DOI={<a href=\"https://doi.org/10.1007/3-540-45669-4_8\">10.1007/3-540-45669-4_8</a>}, booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.}, year={2002}, pages={150–171} }","apa":"Flake, S., &#38; Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark &#38; J. Warmer (Eds.), <i>Advances in Object Modelling with the OCL</i> (pp. 150–171). Springer-Verlag. <a href=\"https://doi.org/10.1007/3-540-45669-4_8\">https://doi.org/10.1007/3-540-45669-4_8</a>"},"page":"150 - 171","_id":"34447","user_id":"5786","department":[{"_id":"672"}],"keyword":["Model Check     Temporal Logic     Object Constraint Language     Execution Path     Kripke Structure"],"language":[{"iso":"eng"}],"type":"book_chapter","publication":"Advances in Object Modelling with the OCL","abstract":[{"text":"The Object Constraint Language (OCL) was introduced to support the specification of constraints for UML diagrams and is mainly used to formulate invariants and operation pre- and postconditions. Though OCL is also applied in behavioral diagrams, e.g., as guards for state transitions, it is currently not possible to specify constraints concerning the dynamic behavior and timing properties of such diagrams.\r\n\r\nThis article discusses OCL’s application for the dynamic behavior of UML Statechart diagrams and presents an OCL extension for specification of state-oriented time-bounded constraints.We introduce operations to extract state configurations from diagrams and define additional predicates over states and state configurations. The semantics of our OCL extension is given by employing time-bounded Computational Tree Logic (CTL) formulae. An example of a flexible manufacturing system with automated guided vehicles demonstrates the application of our extension.","lang":"eng"}],"editor":[{"first_name":"T.","full_name":"Clark, T.","last_name":"Clark"},{"last_name":"Warmer","full_name":"Warmer, J.","first_name":"J."}],"status":"public"},{"date_created":"2023-01-24T10:30:14Z","author":[{"full_name":"Flake, Stephan","last_name":"Flake","first_name":"Stephan"},{"first_name":"Christian","full_name":"Geiger, Christian","last_name":"Geiger"},{"first_name":"Wolfgang","last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang"},{"full_name":"Ruf, Jürgen","last_name":"Ruf","first_name":"Jürgen"}],"date_updated":"2023-01-24T10:30:21Z","conference":{"name":"Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises"},"doi":"10.1109/ENABL.2001.953425","title":"Customer-Oriented Systems Design through Virtual Prototyps","publication_identifier":{"isbn":["0-7695-1269-0"]},"citation":{"ama":"Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: <i>Proceedings of IEEE KMN 2001</i>. ; 2001. doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>","chicago":"Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.” In <i>Proceedings of IEEE KMN 2001</i>. Cambridge, MA, USA , 2001. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>.","ieee":"S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi: <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>.","mla":"Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” <i>Proceedings of IEEE KMN 2001</i>, 2001, doi:<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>.","bibtex":"@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA }, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={<a href=\"https://doi.org/10.1109/ENABL.2001.953425\">10.1109/ENABL.2001.953425</a>}, booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }","short":"S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001, Cambridge, MA, USA , 2001.","apa":"Flake, S., Geiger, C., Müller, W., &#38; Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. <i>Proceedings of IEEE KMN 2001</i>. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. <a href=\"https://doi.org/10.1109/ENABL.2001.953425\">https://doi.org/10.1109/ENABL.2001.953425</a>"},"place":"Cambridge, MA, USA ","year":"2001","user_id":"5786","department":[{"_id":"672"}],"_id":"39411","language":[{"iso":"eng"}],"keyword":["Virtual prototyping","Animation","Collaboration","System analysis and design","Feedback","Application software","Power system modeling","Handicapped aids","Process design","Contracts"],"type":"conference","publication":"Proceedings of IEEE KMN 2001","status":"public","abstract":[{"text":"Rapid prototyping based on 3D models is well accepted for several applications. This article addresses the application of animated virtual 3D prototypes for the development of computer-based systems supporting early collaboration of the system designer with the external customer. Our methodology seamlessly integrates illustration through 3D animation with the main tasks of computer-based real-time systems development, i.e., implementation and verification. The approach is outlined by the example of the design of a flexible manufacturing system.","lang":"eng"}]},{"doi":"10.1109/HICSS.1999.772621","conference":{"name":"Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999","location":"Maui, Hawaii"},"title":"Visual Specification, Modeling, and Illustrations of Complex Systems","author":[{"first_name":"Christian","last_name":"Geiger","full_name":"Geiger, Christian"},{"first_name":"G.","full_name":"Lehrenfeld, G.","last_name":"Lehrenfeld"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_created":"2023-01-24T11:33:05Z","date_updated":"2023-01-24T11:33:35Z","citation":{"ieee":"C. Geiger, G. Lehrenfeld, and W. Müller, “Visual Specification, Modeling, and Illustrations of Complex Systems,” presented at the Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii, 1999, doi: <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>.","chicago":"Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.” In <i>Proceedings of HICSS-32</i>. Maui, Hawaii, 1999. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>.","ama":"Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: <i>Proceedings of HICSS-32</i>. ; 1999. doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>","apa":"Geiger, C., Lehrenfeld, G., &#38; Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. <i>Proceedings of HICSS-32</i>. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. <a href=\"https://doi.org/10.1109/HICSS.1999.772621\">https://doi.org/10.1109/HICSS.1999.772621</a>","bibtex":"@inproceedings{Geiger_Lehrenfeld_Müller_1999, place={Maui, Hawaii}, title={Visual Specification, Modeling, and Illustrations of Complex Systems}, DOI={<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>}, booktitle={Proceedings of HICSS-32}, author={Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang}, year={1999} }","short":"C. Geiger, G. Lehrenfeld, W. Müller, in: Proceedings of HICSS-32, Maui, Hawaii, 1999.","mla":"Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” <i>Proceedings of HICSS-32</i>, 1999, doi:<a href=\"https://doi.org/10.1109/HICSS.1999.772621\">10.1109/HICSS.1999.772621</a>."},"place":"Maui, Hawaii","year":"1999","publication_identifier":{"isbn":["0-7695-0001-3"]},"language":[{"iso":"eng"}],"keyword":["Animation","Computer languages","Object oriented modeling","Collaboration","Process design","Graphical user interfaces","Jacobian matrices","Standardization","Feedback","Software prototyping"],"department":[{"_id":"672"}],"user_id":"5786","_id":"39487","status":"public","abstract":[{"lang":"eng","text":"This article introduces and discusses different innovative means for visual specification and animation of complex concurrent systems. It introduces the completely visual programming language Pictorial Janus (PJ) and its application in the customer-oriented design process. PJ implements a completely visual programming language with inherent animation facilities. The article outlines the transformation of purely visual PJ programs into textual imperative programming languages. The second part of the article investigates animated 3D-presentations and introduces a novel approach to an animated 3D programming language for interactive customer-oriented illustrations."}],"publication":"Proceedings of HICSS-32","type":"conference"},{"department":[{"_id":"672"}],"user_id":"5786","_id":"34448","language":[{"iso":"eng"}],"keyword":["Transition Rule     Formal Verification     Variable Assignment     Kernel Process     Simulation Cycle"],"publication":"Semantics of VHDL","type":"book_chapter","status":"public","editor":[{"first_name":"C.","last_name":"Delgado Kloos","full_name":"Delgado Kloos, C."},{"last_name":"Breuer","full_name":"Breuer, Peter T.","first_name":"Peter T."}],"abstract":[{"text":"We present a rigorous but transparent semantic definition for VHDL corresponding to the IEEE VHDL’ 93 standard [68, 9, 84]. Our definition covers the full behavior of signal and variable assignments as well as the behavior of the various wait statements including delta, time, and postponed cycles. We consider explicitly declared signals, ports, local variables, and shared variables. Our specification defines an abstract VHDL ’ 93 interpreter in the form of transition rules for an evolving algebra machine (EA-Machine) [60]. It faithfully reflects and supports the view of simulation given in the IEEE VHDL ’ 93 standard language reference manual. The definition can be understood without any prior formal training. We illustrate our definition by running the example VHDL program set out in the Introduction to this volume.","lang":"eng"}],"date_created":"2022-12-15T11:42:48Z","author":[{"last_name":"Börger","full_name":"Börger, Egon","first_name":"Egon"},{"full_name":"Glässer, Uwe","last_name":"Glässer","first_name":"Uwe"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"publisher":"Kluwer Academic Publishers","date_updated":"2022-12-15T11:43:14Z","doi":"10.1007/978-1-4615-2237-9_5","title":"A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines","publication_identifier":{"isbn":["978-1-4615-2237-9"]},"page":"107 - 139","citation":{"apa":"Börger, E., Glässer, U., &#38; Müller, W. (1995). A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In C. Delgado Kloos &#38; P. T. Breuer (Eds.), <i>Semantics of VHDL</i> (pp. 107–139). Kluwer Academic Publishers. <a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">https://doi.org/10.1007/978-1-4615-2237-9_5</a>","mla":"Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” <i>Semantics of VHDL</i>, edited by C. Delgado Kloos and Peter T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:<a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">10.1007/978-1-4615-2237-9_5</a>.","bibtex":"@inbook{Börger_Glässer_Müller_1995, place={Dordrecht}, title={A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines}, DOI={<a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">10.1007/978-1-4615-2237-9_5</a>}, booktitle={Semantics of VHDL}, publisher={Kluwer Academic Publishers}, author={Börger, Egon and Glässer, Uwe and Müller, Wolfgang}, editor={Delgado Kloos, C. and Breuer, Peter T.}, year={1995}, pages={107–139} }","short":"E. Börger, U. Glässer, W. Müller, in: C. Delgado Kloos, P.T. Breuer (Eds.), Semantics of VHDL, Kluwer Academic Publishers, Dordrecht, 1995, pp. 107–139.","ama":"Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. <i>Semantics of VHDL</i>. Kluwer Academic Publishers; 1995:107-139. doi:<a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">10.1007/978-1-4615-2237-9_5</a>","ieee":"E. Börger, U. Glässer, and W. Müller, “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines,” in <i>Semantics of VHDL</i>, C. Delgado Kloos and P. T. Breuer, Eds. Dordrecht: Kluwer Academic Publishers, 1995, pp. 107–139.","chicago":"Börger, Egon, Uwe Glässer, and Wolfgang Müller. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” In <i>Semantics of VHDL</i>, edited by C. Delgado Kloos and Peter T. Breuer, 107–39. Dordrecht: Kluwer Academic Publishers, 1995. <a href=\"https://doi.org/10.1007/978-1-4615-2237-9_5\">https://doi.org/10.1007/978-1-4615-2237-9_5</a>."},"year":"1995","place":"Dordrecht"}]