[{"publication_identifier":{"issn":["0196-8904"]},"author":[{"id":"56955","orcid":"0009-0006-8106-2132","last_name":"Rahlf","first_name":"Henning Christoph","full_name":"Rahlf, Henning Christoph"},{"id":"89059","last_name":"Divkovic","first_name":"Denis","full_name":"Divkovic, Denis"},{"id":"90391","full_name":"Knorr, Lukas","orcid":"0009-0005-4727-7511","last_name":"Knorr","first_name":"Lukas"},{"last_name":"Schlosser","first_name":"Florian","full_name":"Schlosser, Florian","id":"88614"},{"full_name":"Meschede, Henning","last_name":"Meschede","first_name":"Henning","orcid":"0000-0002-1538-089X","id":"86954"}],"year":"2026","title":"Flexible operation strategies for heat pumps in district heating systems using dynamic electricity prices","article_type":"original","intvolume":"       364","publication_status":"published","date_updated":"2026-06-03T06:44:31Z","language":[{"iso":"eng"}],"article_number":"121714","main_file_link":[{"open_access":"1","url":"https://www.sciencedirect.com/science/article/pii/S0196890426006837"}],"doi":"10.1016/j.enconman.2026.121714","publication":"Energy Conversion and Management","abstract":[{"lang":"eng","text":"Electrifying the heating sector is essential for achieving global climate targets like the Paris Agreement’s 1.5 °C goal. In Germany, where 80  % of household energy goes to space heating and hot water, shifting to low-carbon solutions is crucial. Fossil-fuelled district heating networks can incorporate renewable energy via heat pumps, improving efficiency. Although heat pump design typically favours minimal temperature lifts, higher lifts can be economically viable with low electricity prices and abundant renewables. Adding thermal energy storage boosts operational flexibility. This study explores a flexible heat pump operation incorporating part load behaviour with a thermal energy storage in a German city’s district heating system to minimise costs and carbon dioxide emissions. Using a mixed-integer linear programming model, it examines the impact of temperature adjustments and storage on system efficiency. The results show that the integration of a heat pump in a district heating system reduces operating costs. Compared to a supply without a heat pump, with levelised cost of heating of 9.98 cent/kWhth and a fixed operating mode with costs between 9.96 cent/kWhth and 11.49 cent/kWhth, the flexible use results in lowest costs of 9.85 cent/kWhth, while also reducing overall CO2 emissions. Using a full factorial sensitivity analysis, the levelised cost of heating ranged between 9.15 cent/kWhth in the best case and 10.37 cent/kWhth in the worst case for the selected configuration."}],"date_created":"2026-06-03T06:34:27Z","department":[{"_id":"644"},{"_id":"534"}],"keyword":["Heat transition","Optimisation","Temperature flexibility","Decarbonisation","Multi energy"],"type":"journal_article","status":"public","_id":"65757","publisher":"Elsevier BV","volume":364,"user_id":"56955","citation":{"mla":"Rahlf, Henning Christoph, et al. “Flexible Operation Strategies for Heat Pumps in District Heating Systems Using Dynamic Electricity Prices.” <i>Energy Conversion and Management</i>, vol. 364, 121714, Elsevier BV, 2026, doi:<a href=\"https://doi.org/10.1016/j.enconman.2026.121714\">10.1016/j.enconman.2026.121714</a>.","ama":"Rahlf HC, Divkovic D, Knorr L, Schlosser F, Meschede H. Flexible operation strategies for heat pumps in district heating systems using dynamic electricity prices. <i>Energy Conversion and Management</i>. 2026;364. doi:<a href=\"https://doi.org/10.1016/j.enconman.2026.121714\">10.1016/j.enconman.2026.121714</a>","bibtex":"@article{Rahlf_Divkovic_Knorr_Schlosser_Meschede_2026, title={Flexible operation strategies for heat pumps in district heating systems using dynamic electricity prices}, volume={364}, DOI={<a href=\"https://doi.org/10.1016/j.enconman.2026.121714\">10.1016/j.enconman.2026.121714</a>}, number={121714}, journal={Energy Conversion and Management}, publisher={Elsevier BV}, author={Rahlf, Henning Christoph and Divkovic, Denis and Knorr, Lukas and Schlosser, Florian and Meschede, Henning}, year={2026} }","apa":"Rahlf, H. C., Divkovic, D., Knorr, L., Schlosser, F., &#38; Meschede, H. (2026). Flexible operation strategies for heat pumps in district heating systems using dynamic electricity prices. <i>Energy Conversion and Management</i>, <i>364</i>, Article 121714. <a href=\"https://doi.org/10.1016/j.enconman.2026.121714\">https://doi.org/10.1016/j.enconman.2026.121714</a>","ieee":"H. C. Rahlf, D. Divkovic, L. Knorr, F. Schlosser, and H. Meschede, “Flexible operation strategies for heat pumps in district heating systems using dynamic electricity prices,” <i>Energy Conversion and Management</i>, vol. 364, Art. no. 121714, 2026, doi: <a href=\"https://doi.org/10.1016/j.enconman.2026.121714\">10.1016/j.enconman.2026.121714</a>.","chicago":"Rahlf, Henning Christoph, Denis Divkovic, Lukas Knorr, Florian Schlosser, and Henning Meschede. “Flexible Operation Strategies for Heat Pumps in District Heating Systems Using Dynamic Electricity Prices.” <i>Energy Conversion and Management</i> 364 (2026). <a href=\"https://doi.org/10.1016/j.enconman.2026.121714\">https://doi.org/10.1016/j.enconman.2026.121714</a>.","short":"H.C. Rahlf, D. Divkovic, L. Knorr, F. Schlosser, H. Meschede, Energy Conversion and Management 364 (2026)."},"project":[{"_id":"1495","name":"FlexLabQuartier"}],"oa":"1"},{"publication":"Proceedings of the Fifth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2024, 10-14 June 2024)","abstract":[{"text":"In our paper, we present a study in which we investigate which strategies pre-service teachers (PSTs) use to find and, if necessary, reject possible candidates for congruence theorems for quadrilaterals. This study was conducted before the PTSs attended a university geometry course. In this way, statements about learning prerequisites can be made. For the study, we analyzed group discussions of PSTs to identify typical approaches and evaluate them from a mathematical perspective. The results can be considered for the further development of courses for PSTs and generate hypotheses\r\nfor further research.","lang":"eng"}],"file":[{"creator":"maxh","date_created":"2025-01-02T10:42:21Z","access_level":"closed","file_size":315111,"file_name":"2024_Hoffmann_Schlueter_CongruenceQuadrilaterals.pdf","date_updated":"2025-01-02T10:42:21Z","relation":"main_file","content_type":"application/pdf","success":1,"file_id":"57896"}],"date_created":"2025-01-02T10:45:53Z","type":"conference","keyword":["Teachers’ and students’ practices at university level","Transition to","across and from university mathematics","Teaching and learning of specific topics in university mathematics","Congruence","Quadrilaterals"],"department":[{"_id":"97"},{"_id":"643"}],"title":"How Do Advanced Pre-Service Teachers Develop Congruence Theorems for Quadrilaterals?","year":"2024","author":[{"full_name":"Hoffmann, Max","first_name":"Max","orcid":"0000-0002-6964-7123","last_name":"Hoffmann","id":"32202"},{"full_name":"Schlüter, Sarah","last_name":"Schlüter","first_name":"Sarah"}],"publication_status":"published","date_updated":"2025-01-02T10:45:59Z","main_file_link":[{"url":"https://indrum2024.sciencesconf.org/data/pages/Proceedings_INDRUM2024.pdf","open_access":"1"}],"language":[{"iso":"eng"}],"file_date_updated":"2025-01-02T10:42:21Z","citation":{"chicago":"Hoffmann, Max, and Sarah Schlüter. “How Do Advanced Pre-Service Teachers Develop Congruence Theorems for Quadrilaterals?” In <i>Proceedings of the Fifth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2024, 10-14 June 2024)</i>, edited by Alejandro S. González-Martín, Ghislaine Gueudet, Ignasi Florensa, and Nathan Lombard. Barcelona: Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, 2024.","ama":"Hoffmann M, Schlüter S. How Do Advanced Pre-Service Teachers Develop Congruence Theorems for Quadrilaterals? In: González-Martín AS, Gueudet G, Florensa I, Lombard N, eds. <i>Proceedings of the Fifth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2024, 10-14 June 2024)</i>. Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM; 2024.","short":"M. Hoffmann, S. Schlüter, in: A.S. González-Martín, G. Gueudet, I. Florensa, N. Lombard (Eds.), Proceedings of the Fifth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2024, 10-14 June 2024), Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, Barcelona, 2024.","bibtex":"@inproceedings{Hoffmann_Schlüter_2024, place={Barcelona}, title={How Do Advanced Pre-Service Teachers Develop Congruence Theorems for Quadrilaterals?}, booktitle={Proceedings of the Fifth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2024, 10-14 June 2024)}, publisher={Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM}, author={Hoffmann, Max and Schlüter, Sarah}, editor={González-Martín, Alejandro S. and Gueudet, Ghislaine and Florensa, Ignasi and Lombard, Nathan}, year={2024} }","apa":"Hoffmann, M., &#38; Schlüter, S. (2024). How Do Advanced Pre-Service Teachers Develop Congruence Theorems for Quadrilaterals? In A. S. González-Martín, G. Gueudet, I. Florensa, &#38; N. Lombard (Eds.), <i>Proceedings of the Fifth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2024, 10-14 June 2024)</i>. Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM.","mla":"Hoffmann, Max, and Sarah Schlüter. “How Do Advanced Pre-Service Teachers Develop Congruence Theorems for Quadrilaterals?” <i>Proceedings of the Fifth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2024, 10-14 June 2024)</i>, edited by Alejandro S. González-Martín et al., Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM, 2024.","ieee":"M. Hoffmann and S. Schlüter, “How Do Advanced Pre-Service Teachers Develop Congruence Theorems for Quadrilaterals?,” in <i>Proceedings of the Fifth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2024, 10-14 June 2024)</i>, 2024."},"quality_controlled":"1","place":"Barcelona","oa":"1","status":"public","has_accepted_license":"1","_id":"57895","publisher":"Escola Univerist`aria Salesiana de Sarri`a – Univ. Aut`onoma de Barcelona and INDRUM","user_id":"32202","ddc":["370","510"],"editor":[{"full_name":"González-Martín, Alejandro S.","first_name":"Alejandro S.","last_name":"González-Martín"},{"full_name":"Gueudet, Ghislaine","first_name":"Ghislaine","last_name":"Gueudet"},{"first_name":"Ignasi","last_name":"Florensa","full_name":"Florensa, Ignasi"},{"full_name":"Lombard, Nathan","first_name":"Nathan","last_name":"Lombard"}]},{"title":"Student Teachers ’ Knowledge of Congruence before a University Course on Geometry","year":"2023","author":[{"id":"32202","full_name":"Hoffmann, Max","first_name":"Max","last_name":"Hoffmann","orcid":"0000-0002-6964-7123"},{"id":"16274","full_name":"Biehler, Rolf","last_name":"Biehler","first_name":"Rolf"}],"date_updated":"2023-03-25T10:11:35Z","publication_status":"published","main_file_link":[{"url":"https://hal.univ-reims.fr/INDRUM2022/","open_access":"1"}],"language":[{"iso":"eng"}],"publication":"Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022)","file":[{"creator":"maxh","date_created":"2023-03-25T10:01:03Z","file_size":201942,"access_level":"closed","file_name":"HoffmannBiehler2022_indrum_congruence.pdf","date_updated":"2023-03-25T10:01:03Z","relation":"main_file","content_type":"application/pdf","success":1,"file_id":"43096"}],"date_created":"2022-06-12T11:07:34Z","keyword":["Teaching and learning of specific topics in university mathematics","Transition to","across and from university mathematics","Student Teachers","Geometry","Congruence","Double Discontinuity."],"type":"conference","department":[{"_id":"97"}],"status":"public","has_accepted_license":"1","_id":"31849","publisher":"University of Hannover and INDRUM.","ddc":["370","510"],"user_id":"32202","editor":[{"last_name":"Trigueros","first_name":"Marı́a","full_name":"Trigueros, Marı́a"},{"first_name":"Berta","last_name":"Barquero","full_name":"Barquero, Berta"},{"last_name":"Hochmuth","first_name":"Reinhard","full_name":"Hochmuth, Reinhard"},{"first_name":"Jana","last_name":"Peters","full_name":"Peters, Jana"}],"file_date_updated":"2023-03-25T10:01:03Z","citation":{"ieee":"M. Hoffmann and R. Biehler, “Student Teachers ’ Knowledge of Congruence before a University Course on Geometry,” in <i>Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022)</i>, 2023.","apa":"Hoffmann, M., &#38; Biehler, R. (2023). Student Teachers ’ Knowledge of Congruence before a University Course on Geometry. In M. Trigueros, B. Barquero, R. Hochmuth, &#38; J. Peters (Eds.), <i>Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022)</i>. University of Hannover and INDRUM.","short":"M. Hoffmann, R. Biehler, in: M. Trigueros, B. Barquero, R. Hochmuth, J. Peters (Eds.), Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022), University of Hannover and INDRUM., Hannover, 2023.","chicago":"Hoffmann, Max, and Rolf Biehler. “Student Teachers ’ Knowledge of Congruence before a University Course on Geometry.” In <i>Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022)</i>, edited by Marı́a Trigueros, Berta Barquero, Reinhard Hochmuth, and Jana Peters. Hannover: University of Hannover and INDRUM., 2023.","mla":"Hoffmann, Max, and Rolf Biehler. “Student Teachers ’ Knowledge of Congruence before a University Course on Geometry.” <i>Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022)</i>, edited by Marı́a Trigueros et al., University of Hannover and INDRUM., 2023.","bibtex":"@inproceedings{Hoffmann_Biehler_2023, place={Hannover}, title={Student Teachers ’ Knowledge of Congruence before a University Course on Geometry}, booktitle={Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022)}, publisher={University of Hannover and INDRUM.}, author={Hoffmann, Max and Biehler, Rolf}, editor={Trigueros, Marı́a and Barquero, Berta and Hochmuth, Reinhard and Peters, Jana}, year={2023} }","ama":"Hoffmann M, Biehler R. Student Teachers ’ Knowledge of Congruence before a University Course on Geometry. In: Trigueros M, Barquero B, Hochmuth R, Peters J, eds. <i>Proceedings of the Fourth Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2022, 19-22 October 2022)</i>. University of Hannover and INDRUM.; 2023."},"quality_controlled":"1","place":"Hannover","oa":"1"},{"date_created":"2023-09-02T18:39:47Z","department":[{"_id":"397"}],"type":"journal_article","keyword":["Social inequality","Transition system"],"publication":"Berufsbildung. Zeitschrift für Theorie-Praxis-Dialog","abstract":[{"text":"Über zwei Drittel der Anfänger*innen im Übergangssystem verfügen maximal über einen Hauptschul-/Mittelschulabschluss. Sie sind damit überrepräsentiert, was sich weniger durch ihre Kompetenzen als mit ihrem sozioökonomischen Status und klassenspezifischen Nachqualifizierungsverhalten erklären lässt.","lang":"ger"}],"language":[{"iso":"eng"}],"doi":"10.3278/BB2303W","author":[{"full_name":"Sommer, Christian","last_name":"Sommer","first_name":"Christian","id":"33108"}],"publication_identifier":{"issn":["00059536"]},"year":"2023","title":"Der Hauptschulabschluss als sozial selektiver Hauptzulieferer des Übergangssystems","intvolume":"       199","article_type":"original","date_updated":"2025-05-16T10:32:21Z","citation":{"ama":"Sommer C. Der Hauptschulabschluss als sozial selektiver Hauptzulieferer des Übergangssystems. <i>Berufsbildung Zeitschrift für Theorie-Praxis-Dialog</i>. 2023;199:9-13. doi:<a href=\"https://doi.org/10.3278/BB2303W\">10.3278/BB2303W</a>","bibtex":"@article{Sommer_2023, title={Der Hauptschulabschluss als sozial selektiver Hauptzulieferer des Übergangssystems}, volume={199}, DOI={<a href=\"https://doi.org/10.3278/BB2303W\">10.3278/BB2303W</a>}, journal={Berufsbildung. Zeitschrift für Theorie-Praxis-Dialog}, publisher={wbv}, author={Sommer, Christian}, year={2023}, pages={9–13} }","mla":"Sommer, Christian. “Der Hauptschulabschluss Als Sozial Selektiver Hauptzulieferer Des Übergangssystems.” <i>Berufsbildung. Zeitschrift Für Theorie-Praxis-Dialog</i>, vol. 199, wbv, 2023, pp. 9–13, doi:<a href=\"https://doi.org/10.3278/BB2303W\">10.3278/BB2303W</a>.","short":"C. Sommer, Berufsbildung. Zeitschrift Für Theorie-Praxis-Dialog 199 (2023) 9–13.","chicago":"Sommer, Christian. “Der Hauptschulabschluss Als Sozial Selektiver Hauptzulieferer Des Übergangssystems.” <i>Berufsbildung. Zeitschrift Für Theorie-Praxis-Dialog</i> 199 (2023): 9–13. <a href=\"https://doi.org/10.3278/BB2303W\">https://doi.org/10.3278/BB2303W</a>.","apa":"Sommer, C. (2023). Der Hauptschulabschluss als sozial selektiver Hauptzulieferer des Übergangssystems. <i>Berufsbildung. Zeitschrift Für Theorie-Praxis-Dialog</i>, <i>199</i>, 9–13. <a href=\"https://doi.org/10.3278/BB2303W\">https://doi.org/10.3278/BB2303W</a>","ieee":"C. Sommer, “Der Hauptschulabschluss als sozial selektiver Hauptzulieferer des Übergangssystems,” <i>Berufsbildung. Zeitschrift für Theorie-Praxis-Dialog</i>, vol. 199, pp. 9–13, 2023, doi: <a href=\"https://doi.org/10.3278/BB2303W\">10.3278/BB2303W</a>."},"quality_controlled":"1","_id":"46765","publisher":"wbv","page":"9-13","volume":199,"user_id":"33108","status":"public"},{"date_updated":"2023-01-17T23:36:13Z","year":"2018","title":"Evaluating Innovative Measures in University Mathematics – The Case of Affective Outcomes in a Lecture focused on Problem-Solving","author":[{"last_name":"Kuklinski","first_name":"Christiane","full_name":"Kuklinski, Christiane"},{"full_name":"Leis, Elena","last_name":"Leis","first_name":"Elena"},{"id":"30933","first_name":"Michael","orcid":"0000-0001-9887-2074","last_name":"Liebendörfer","full_name":"Liebendörfer, Michael"},{"last_name":"Hochmuth","first_name":"Reinhard","full_name":"Hochmuth, Reinhard"},{"first_name":"Rolf","last_name":"Biehler","full_name":"Biehler, Rolf","id":"16274"},{"full_name":"Lankeit, Elisa","first_name":"Elisa","last_name":"Lankeit"},{"last_name":"Neuhaus","first_name":"Silke","full_name":"Neuhaus, Silke"},{"full_name":"Schaper, Niclas","first_name":"Niclas","last_name":"Schaper"},{"full_name":"Schürmann, Mirko","first_name":"Mirko","orcid":"0000-0003-2646-085X","last_name":"Schürmann","id":"59707"}],"main_file_link":[{"url":"https://hal.archives-ouvertes.fr/INDRUM2018/public/Indrum2018Proceedings.pdf","open_access":"1"}],"language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"The transition from high school to university mathematics has proven to be difficult for many students but especially for pre-service secondary teachers. To support these students at mastering this transition, various universities have introduced support measures of various kinds. The WiGeMath project developed a taxonomy that makes it possible to describe and compare these measures concerning their goals as well as their frame characteristics. We will exemplify the use of the taxonomy in the description of one specific innovative measure that was part of the WiGeMath evaluations. Moreover, we will present first results concerning the goal-fulfilment of this measure concerning affective characteristics of the student cohort and their predominant beliefs."}],"extern":"1","publication":"Proceedings of the Second Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2018, 5-7 April 2018)","type":"conference","keyword":["Beliefs.","Motivational developments","Novel approaches to teaching","Teacher education","Transition to and across university mathematics"],"department":[{"_id":"10"}],"date_created":"2019-03-25T15:35:42Z","status":"public","user_id":"14931","editor":[{"full_name":"Durand-Guerrier, V.","last_name":"Durand-Guerrier","first_name":"V."},{"first_name":"R.","last_name":"Hochmuth","full_name":"Hochmuth, R."},{"full_name":"Goodchild, S.","last_name":"Goodchild","first_name":"S."},{"first_name":"N.M.","last_name":"Hogstad","full_name":"Hogstad, N.M."}],"page":"527-536","publisher":"INDRUM Network, University of Agder","_id":"8575","quality_controlled":"1","citation":{"ieee":"C. Kuklinski <i>et al.</i>, “Evaluating Innovative Measures in University Mathematics – The Case of Affective Outcomes in a Lecture focused on Problem-Solving,” in <i>Proceedings of the Second Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2018, 5-7 April 2018)</i>, 2018, pp. 527–536.","apa":"Kuklinski, C., Leis, E., Liebendörfer, M., Hochmuth, R., Biehler, R., Lankeit, E., Neuhaus, S., Schaper, N., &#38; Schürmann, M. (2018). Evaluating Innovative Measures in University Mathematics – The Case of Affective Outcomes in a Lecture focused on Problem-Solving. In V. Durand-Guerrier, R. Hochmuth, S. Goodchild, &#38; N. M. Hogstad (Eds.), <i>Proceedings of the Second Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2018, 5-7 April 2018)</i> (pp. 527–536). INDRUM Network, University of Agder.","short":"C. Kuklinski, E. Leis, M. Liebendörfer, R. Hochmuth, R. Biehler, E. Lankeit, S. Neuhaus, N. Schaper, M. Schürmann, in: V. Durand-Guerrier, R. Hochmuth, S. Goodchild, N.M. Hogstad (Eds.), Proceedings of the Second Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2018, 5-7 April 2018), INDRUM Network, University of Agder, Kristiansand, Norway, 2018, pp. 527–536.","chicago":"Kuklinski, Christiane, Elena Leis, Michael Liebendörfer, Reinhard Hochmuth, Rolf Biehler, Elisa Lankeit, Silke Neuhaus, Niclas Schaper, and Mirko Schürmann. “Evaluating Innovative Measures in University Mathematics – The Case of Affective Outcomes in a Lecture Focused on Problem-Solving.” In <i>Proceedings of the Second Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2018, 5-7 April 2018)</i>, edited by V. Durand-Guerrier, R. Hochmuth, S. Goodchild, and N.M. Hogstad, 527–36. Kristiansand, Norway: INDRUM Network, University of Agder, 2018.","mla":"Kuklinski, Christiane, et al. “Evaluating Innovative Measures in University Mathematics – The Case of Affective Outcomes in a Lecture Focused on Problem-Solving.” <i>Proceedings of the Second Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2018, 5-7 April 2018)</i>, edited by V. Durand-Guerrier et al., INDRUM Network, University of Agder, 2018, pp. 527–36.","bibtex":"@inproceedings{Kuklinski_Leis_Liebendörfer_Hochmuth_Biehler_Lankeit_Neuhaus_Schaper_Schürmann_2018, place={Kristiansand, Norway}, title={Evaluating Innovative Measures in University Mathematics – The Case of Affective Outcomes in a Lecture focused on Problem-Solving}, booktitle={Proceedings of the Second Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2018, 5-7 April 2018)}, publisher={INDRUM Network, University of Agder}, author={Kuklinski, Christiane and Leis, Elena and Liebendörfer, Michael and Hochmuth, Reinhard and Biehler, Rolf and Lankeit, Elisa and Neuhaus, Silke and Schaper, Niclas and Schürmann, Mirko}, editor={Durand-Guerrier, V. and Hochmuth, R. and Goodchild, S. and Hogstad, N.M.}, year={2018}, pages={527–536} }","ama":"Kuklinski C, Leis E, Liebendörfer M, et al. Evaluating Innovative Measures in University Mathematics – The Case of Affective Outcomes in a Lecture focused on Problem-Solving. In: Durand-Guerrier V, Hochmuth R, Goodchild S, Hogstad NM, eds. <i>Proceedings of the Second Conference of the International Network for Didactic Research in University Mathematics (INDRUM 2018, 5-7 April 2018)</i>. INDRUM Network, University of Agder; 2018:527-536."},"oa":"1","place":"Kristiansand, Norway"},{"intvolume":"        12","date_updated":"2022-01-06T07:01:03Z","author":[{"full_name":"Jenert, Tobias","first_name":"Tobias","last_name":"Jenert"},{"full_name":"Brahm, Taiga","last_name":"Brahm","first_name":"Taiga"},{"first_name":"Luci","last_name":"Gommers","full_name":"Gommers, Luci"},{"last_name":"Kühner ","first_name":"Patrizia","full_name":"Kühner , Patrizia"}],"publication_identifier":{"unknown":["2210-6561"]},"title":"How do they find their place? A typology of students' enculturation during the first year at a business school","year":"2017","extern":"1","abstract":[{"lang":"eng","text":"Students' experiences of their first year of studying are of prime importance for their further development in Higher Education (HE). Consequently, the first year and the related phenomena of student performance, retention, and dropout have been extensively studied. Research shows that during the first year, the individual student's ability or failure to adapt to the new socio-cultural environment influences his/her academic success. Yet, surprisingly little is known about the actual processes through which students integrate into the socio-cultural context of HE. Applying a socio-cultural approach, our qualitative interview study followed 14 university students through their first year, investigating why some students experience an easier transition into HE compared to others. Our research results in a typology of four transition types characterized by their orientation towards the socio-cultural context of studying."}],"publication":"Learning, Culture and Social Interaction","issue":"87-99","department":[{"_id":"208"},{"_id":"282"}],"type":"journal_article","keyword":["Student transition","Enculturation","Dropout","Retention"],"date_created":"2018-09-18T08:54:38Z","status":"public","volume":12,"user_id":"51057","_id":"4420","publisher":"Elsevier","page":"87-99","citation":{"ieee":"T. Jenert, T. Brahm, L. Gommers, and P. Kühner , “How do they find their place? A typology of students’ enculturation during the first year at a business school,” <i>Learning, Culture and Social Interaction</i>, vol. 12, no. 87–99, pp. 87–99, 2017.","apa":"Jenert, T., Brahm, T., Gommers, L., &#38; Kühner , P. (2017). How do they find their place? A typology of students’ enculturation during the first year at a business school. <i>Learning, Culture and Social Interaction</i>, <i>12</i>(87–99), 87–99.","chicago":"Jenert, Tobias, Taiga Brahm, Luci Gommers, and Patrizia Kühner . “How Do They Find Their Place? A Typology of Students’ Enculturation during the First Year at a Business School.” <i>Learning, Culture and Social Interaction</i> 12, no. 87–99 (2017): 87–99.","short":"T. Jenert, T. Brahm, L. Gommers, P. Kühner , Learning, Culture and Social Interaction 12 (2017) 87–99.","mla":"Jenert, Tobias, et al. “How Do They Find Their Place? A Typology of Students’ Enculturation during the First Year at a Business School.” <i>Learning, Culture and Social Interaction</i>, vol. 12, no. 87–99, Elsevier, 2017, pp. 87–99.","bibtex":"@article{Jenert_Brahm_Gommers_Kühner _2017, title={How do they find their place? A typology of students’ enculturation during the first year at a business school}, volume={12}, number={87–99}, journal={Learning, Culture and Social Interaction}, publisher={Elsevier}, author={Jenert, Tobias and Brahm, Taiga and Gommers, Luci and Kühner , Patrizia}, year={2017}, pages={87–99} }","ama":"Jenert T, Brahm T, Gommers L, Kühner  P. How do they find their place? A typology of students’ enculturation during the first year at a business school. <i>Learning, Culture and Social Interaction</i>. 2017;12(87-99):87-99."}},{"date_updated":"2022-01-06T06:51:31Z","publication_status":"published","intvolume":"        38","title":"Efficient PAW-based bond strength analysis for understanding the In/Si(111)(8 × 2) – (4 × 1) phase transition","year":"2017","author":[{"full_name":"Lücke, Andreas","last_name":"Lücke","first_name":"Andreas"},{"first_name":"Uwe","last_name":"Gerstmann","full_name":"Gerstmann, Uwe"},{"full_name":"Kühne, Thomas D.","first_name":"Thomas D.","last_name":"Kühne"},{"last_name":"Schmidt","first_name":"Wolf G.","full_name":"Schmidt, Wolf G."}],"doi":"10.1002/jcc.24878","language":[{"iso":"eng"}],"abstract":[{"text":"A numerically efficient yet highly accurate implementation of the crystal orbital Hamilton population (COHP) scheme for plane-wave calculations is presented. It is based on the projector-augmented wave (PAW) formalism in combination with norm-conserving pseudopotentials and allows to extract chemical interactions between atoms from band-structure calculations even for large and complex systems. The potential of the present COHP implementation is demonstrated by an in-depth analysis of the intensively investigated metal-insulator transition in atomic-scale indium wires self-assembled on the Si(111) surface. Thereby bond formation between In atoms of adjacent zigzag chains is found to be instrumental for the phase change. © 2017 Wiley Periodicals, Inc.","lang":"eng"}],"publication":"Journal of Computational Chemistry","issue":"26","keyword":["density functional theory","bonding","crystal orbital Hamilton population","indium nanowires","phase transition"],"type":"journal_article","department":[{"_id":"304"}],"date_created":"2019-09-16T12:39:15Z","status":"public","user_id":"71692","volume":38,"page":"2276-2282","_id":"13238","project":[{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"citation":{"apa":"Lücke, A., Gerstmann, U., Kühne, T. D., &#38; Schmidt, W. G. (2017). Efficient PAW-based bond strength analysis for understanding the In/Si(111)(8 × 2) – (4 × 1) phase transition. <i>Journal of Computational Chemistry</i>, <i>38</i>(26), 2276–2282. <a href=\"https://doi.org/10.1002/jcc.24878\">https://doi.org/10.1002/jcc.24878</a>","ieee":"A. Lücke, U. Gerstmann, T. D. Kühne, and W. G. Schmidt, “Efficient PAW-based bond strength analysis for understanding the In/Si(111)(8 × 2) – (4 × 1) phase transition,” <i>Journal of Computational Chemistry</i>, vol. 38, no. 26, pp. 2276–2282, 2017.","chicago":"Lücke, Andreas, Uwe Gerstmann, Thomas D. Kühne, and Wolf G. Schmidt. “Efficient PAW-Based Bond Strength Analysis for Understanding the In/Si(111)(8 × 2) – (4 × 1) Phase Transition.” <i>Journal of Computational Chemistry</i> 38, no. 26 (2017): 2276–82. <a href=\"https://doi.org/10.1002/jcc.24878\">https://doi.org/10.1002/jcc.24878</a>.","short":"A. Lücke, U. Gerstmann, T.D. Kühne, W.G. Schmidt, Journal of Computational Chemistry 38 (2017) 2276–2282.","mla":"Lücke, Andreas, et al. “Efficient PAW-Based Bond Strength Analysis for Understanding the In/Si(111)(8 × 2) – (4 × 1) Phase Transition.” <i>Journal of Computational Chemistry</i>, vol. 38, no. 26, 2017, pp. 2276–82, doi:<a href=\"https://doi.org/10.1002/jcc.24878\">10.1002/jcc.24878</a>.","ama":"Lücke A, Gerstmann U, Kühne TD, Schmidt WG. Efficient PAW-based bond strength analysis for understanding the In/Si(111)(8 × 2) – (4 × 1) phase transition. <i>Journal of Computational Chemistry</i>. 2017;38(26):2276-2282. doi:<a href=\"https://doi.org/10.1002/jcc.24878\">10.1002/jcc.24878</a>","bibtex":"@article{Lücke_Gerstmann_Kühne_Schmidt_2017, title={Efficient PAW-based bond strength analysis for understanding the In/Si(111)(8 × 2) – (4 × 1) phase transition}, volume={38}, DOI={<a href=\"https://doi.org/10.1002/jcc.24878\">10.1002/jcc.24878</a>}, number={26}, journal={Journal of Computational Chemistry}, author={Lücke, Andreas and Gerstmann, Uwe and Kühne, Thomas D. and Schmidt, Wolf G.}, year={2017}, pages={2276–2282} }"}},{"doi":"10.3390/nano7110390","language":[{"iso":"eng"}],"date_updated":"2026-02-17T16:12:54Z","intvolume":"         7","year":"2017","title":"Free-Standing and Self-Crosslinkable Hybrid Films by Core-Shell Particle Design and Processing","publication_identifier":{"issn":["2079-4991"]},"author":[{"first_name":"S.","last_name":"Vowinkel","full_name":"Vowinkel, S."},{"last_name":"Paul","first_name":"S.","full_name":"Paul, S."},{"id":"118165","first_name":"Torsten","last_name":"Gutmann","full_name":"Gutmann, Torsten"},{"full_name":"Gallei, M.","last_name":"Gallei","first_name":"M."}],"keyword":["Materials Science","Science & Technology - Other Topics","solid-state nmr","spectroscopy","catalysts","colloidal crystals","colloids","cross-linking","elastomeric opal films","emulsion polymerization","gamma-methacryloxypropyltrimethoxysilane","hybrid films","melt-shear organization","nanoparticles","particle","photons","polymers","processing","self-assembly","transition"],"type":"journal_article","date_created":"2026-02-07T16:15:23Z","extern":"1","abstract":[{"lang":"eng","text":"The utilization and preparation of functional hybrid films for optical sensing applications and membranes is of utmost importance. In this work, we report the convenient and scalable preparation of self-crosslinking particle-based films derived by directed self-assembly of alkoxysilane-based cross-linkers as part of a core-shell particle architecture. The synthesis of well-designed monodisperse core-shell particles by emulsion polymerization is the basic prerequisite for subsequent particle processing via the melt-shear organization technique. In more detail, the core particles consist of polystyrene (PS) or poly(methyl methacrylate) (PMMA), while the comparably soft particle shell consists of poly(ethyl acrylate) (PEA) and different alkoxysilane-based poly(methacrylate)s. For hybrid film formation and convenient self-cross-linking, different alkyl groups at the siloxane moieties were investigated in detail by solid-state Magic-Angle Spinning Nuclear Magnetic Resonance (MAS, NMR) spectroscopy revealing different crosslinking capabilities, which strongly influence the properties of the core or shell particle films with respect to transparency and iridescent reflection colors. Furthermore, solid-state NMR spectroscopy and investigation of the thermal properties by differential scanning calorimetry (DSC) measurements allow for insights into the cross-linking capabilities prior to and after synthesis, as well as after the thermally and pressure-induced processing steps. Subsequently, free-standing and self-crosslinked particle-based films featuring excellent particle order are obtained by application of the melt-shear organization technique, as shown by microscopy (TEM, SEM)."}],"issue":"11","publication":"Nanomaterials","user_id":"100715","volume":7,"page":"390","_id":"64053","status":"public","citation":{"ieee":"S. Vowinkel, S. Paul, T. Gutmann, and M. Gallei, “Free-Standing and Self-Crosslinkable Hybrid Films by Core-Shell Particle Design and Processing,” <i>Nanomaterials</i>, vol. 7, no. 11, p. 390, 2017, doi: <a href=\"https://doi.org/10.3390/nano7110390\">10.3390/nano7110390</a>.","apa":"Vowinkel, S., Paul, S., Gutmann, T., &#38; Gallei, M. (2017). Free-Standing and Self-Crosslinkable Hybrid Films by Core-Shell Particle Design and Processing. <i>Nanomaterials</i>, <i>7</i>(11), 390. <a href=\"https://doi.org/10.3390/nano7110390\">https://doi.org/10.3390/nano7110390</a>","mla":"Vowinkel, S., et al. “Free-Standing and Self-Crosslinkable Hybrid Films by Core-Shell Particle Design and Processing.” <i>Nanomaterials</i>, vol. 7, no. 11, 2017, p. 390, doi:<a href=\"https://doi.org/10.3390/nano7110390\">10.3390/nano7110390</a>.","bibtex":"@article{Vowinkel_Paul_Gutmann_Gallei_2017, title={Free-Standing and Self-Crosslinkable Hybrid Films by Core-Shell Particle Design and Processing}, volume={7}, DOI={<a href=\"https://doi.org/10.3390/nano7110390\">10.3390/nano7110390</a>}, number={11}, journal={Nanomaterials}, author={Vowinkel, S. and Paul, S. and Gutmann, Torsten and Gallei, M.}, year={2017}, pages={390} }","short":"S. Vowinkel, S. Paul, T. Gutmann, M. Gallei, Nanomaterials 7 (2017) 390.","ama":"Vowinkel S, Paul S, Gutmann T, Gallei M. Free-Standing and Self-Crosslinkable Hybrid Films by Core-Shell Particle Design and Processing. <i>Nanomaterials</i>. 2017;7(11):390. doi:<a href=\"https://doi.org/10.3390/nano7110390\">10.3390/nano7110390</a>","chicago":"Vowinkel, S., S. Paul, Torsten Gutmann, and M. Gallei. “Free-Standing and Self-Crosslinkable Hybrid Films by Core-Shell Particle Design and Processing.” <i>Nanomaterials</i> 7, no. 11 (2017): 390. <a href=\"https://doi.org/10.3390/nano7110390\">https://doi.org/10.3390/nano7110390</a>."}},{"type":"journal_article","keyword":["Transition to higher education","Motivation","Longitudinal study","Socio-cultural factors","Latent change model","Switzerland"],"department":[{"_id":"208"},{"_id":"282"}],"date_created":"2018-09-18T08:58:54Z","extern":"1","abstract":[{"lang":"eng","text":"In Switzerland, every student graduating from grammar school can begin to study at a university. This leads to high dropout rates. Although students’ motivation is considered a strong predictor of performance, the development of motivation during students’ transition from high school to university has rarely been investigated. Additionally, little is known about the relation of motivational aspects with other influences on study performance. The present longitudinal study addresses this research gap and examines the development of economics and management students’ study motivation. It encompasses four waves of data collected throughout the first year, using quantitative online surveys. In total, the sample consists of 820 students. Data is analysed using latent change modelling. Results indicate that students start at a higher level of intrinsic motivation compared to extrinsic motivation. The variability of the starting value of the two constructs is also differing. The analysis also shows a gradual decline in students’ motivation. Above all, the transition from secondary to higher education seems to be a driver for this decline."}],"issue":"3","publication":"Higher Education","doi":"10.1007/s10734-016-0095-8","publication_status":"published","date_updated":"2022-01-06T07:01:03Z","intvolume":"        73","title":"The crucial first year: a longitudinal study of students’ motivational development at a Swiss Business School","year":"2016","author":[{"full_name":"Brahm, Taiga","last_name":"Brahm","first_name":"Taiga"},{"first_name":"Tobias","last_name":"Jenert","full_name":"Jenert, Tobias"},{"last_name":"Wagner","first_name":"Dietrich","full_name":"Wagner, Dietrich"}],"publication_identifier":{"issn":["0018-1560","1573-174X"]},"citation":{"mla":"Brahm, Taiga, et al. “The Crucial First Year: A Longitudinal Study of Students’ Motivational Development at a Swiss Business School.” <i>Higher Education</i>, vol. 73, no. 3, Springer Nature, 2016, pp. 459–78, doi:<a href=\"https://doi.org/10.1007/s10734-016-0095-8\">10.1007/s10734-016-0095-8</a>.","ama":"Brahm T, Jenert T, Wagner D. The crucial first year: a longitudinal study of students’ motivational development at a Swiss Business School. <i>Higher Education</i>. 2016;73(3):459-478. doi:<a href=\"https://doi.org/10.1007/s10734-016-0095-8\">10.1007/s10734-016-0095-8</a>","bibtex":"@article{Brahm_Jenert_Wagner_2016, title={The crucial first year: a longitudinal study of students’ motivational development at a Swiss Business School}, volume={73}, DOI={<a href=\"https://doi.org/10.1007/s10734-016-0095-8\">10.1007/s10734-016-0095-8</a>}, number={3}, journal={Higher Education}, publisher={Springer Nature}, author={Brahm, Taiga and Jenert, Tobias and Wagner, Dietrich}, year={2016}, pages={459–478} }","apa":"Brahm, T., Jenert, T., &#38; Wagner, D. (2016). The crucial first year: a longitudinal study of students’ motivational development at a Swiss Business School. <i>Higher Education</i>, <i>73</i>(3), 459–478. <a href=\"https://doi.org/10.1007/s10734-016-0095-8\">https://doi.org/10.1007/s10734-016-0095-8</a>","ieee":"T. Brahm, T. Jenert, and D. Wagner, “The crucial first year: a longitudinal study of students’ motivational development at a Swiss Business School,” <i>Higher Education</i>, vol. 73, no. 3, pp. 459–478, 2016.","short":"T. Brahm, T. Jenert, D. Wagner, Higher Education 73 (2016) 459–478.","chicago":"Brahm, Taiga, Tobias Jenert, and Dietrich Wagner. “The Crucial First Year: A Longitudinal Study of Students’ Motivational Development at a Swiss Business School.” <i>Higher Education</i> 73, no. 3 (2016): 459–78. <a href=\"https://doi.org/10.1007/s10734-016-0095-8\">https://doi.org/10.1007/s10734-016-0095-8</a>."},"user_id":"51057","volume":73,"page":"459-478","_id":"4421","publisher":"Springer Nature","status":"public"},{"ddc":["570"],"user_id":"87916","volume":32,"page":"2883-2896","_id":"58528","has_accepted_license":"1","status":"public","oa":"1","file_date_updated":"2025-02-06T12:04:01Z","citation":{"mla":"Jansen, Gunther, et al. “Evolutionary Transition from Pathogenicity to Commensalism: Global Regulator Mutations Mediate Fitness Gains through Virulence Attenuation.” <i>Molecular Biology and Evolution</i>, vol. 32, no. 11, 2015, pp. 2883–96, doi:<a href=\"https://doi.org/10.1093/molbev/msv160\">10.1093/molbev/msv160</a>.","bibtex":"@article{Jansen_Crummenerl_Gilbert_Mohr_Pfefferkorn_Thänert_Rosenstiel_Schulenburg_2015, title={Evolutionary Transition from Pathogenicity to Commensalism: Global Regulator Mutations Mediate Fitness Gains through Virulence Attenuation}, volume={32}, DOI={<a href=\"https://doi.org/10.1093/molbev/msv160\">10.1093/molbev/msv160</a>}, number={11}, journal={Molecular Biology and Evolution}, author={Jansen, Gunther  and Crummenerl, Lena Luise and Gilbert, Felix and Mohr, Timm and Pfefferkorn, Roxana  and Thänert, Robert and Rosenstiel, Philip and Schulenburg, Hinrich}, year={2015}, pages={2883–2896} }","ama":"Jansen G, Crummenerl LL, Gilbert F, et al. Evolutionary Transition from Pathogenicity to Commensalism: Global Regulator Mutations Mediate Fitness Gains through Virulence Attenuation. <i>Molecular Biology and Evolution</i>. 2015;32(11):2883-2896. doi:<a href=\"https://doi.org/10.1093/molbev/msv160\">10.1093/molbev/msv160</a>","ieee":"G. Jansen <i>et al.</i>, “Evolutionary Transition from Pathogenicity to Commensalism: Global Regulator Mutations Mediate Fitness Gains through Virulence Attenuation,” <i>Molecular Biology and Evolution</i>, vol. 32, no. 11, pp. 2883–2896, 2015, doi: <a href=\"https://doi.org/10.1093/molbev/msv160\">10.1093/molbev/msv160</a>.","apa":"Jansen, G., Crummenerl, L. L., Gilbert, F., Mohr, T., Pfefferkorn, R., Thänert, R., Rosenstiel, P., &#38; Schulenburg, H. (2015). Evolutionary Transition from Pathogenicity to Commensalism: Global Regulator Mutations Mediate Fitness Gains through Virulence Attenuation. <i>Molecular Biology and Evolution</i>, <i>32</i>(11), 2883–2896. <a href=\"https://doi.org/10.1093/molbev/msv160\">https://doi.org/10.1093/molbev/msv160</a>","short":"G. Jansen, L.L. Crummenerl, F. Gilbert, T. Mohr, R. Pfefferkorn, R. Thänert, P. Rosenstiel, H. Schulenburg, Molecular Biology and Evolution 32 (2015) 2883–2896.","chicago":"Jansen, Gunther , Lena Luise Crummenerl, Felix Gilbert, Timm Mohr, Roxana  Pfefferkorn, Robert Thänert, Philip Rosenstiel, and Hinrich Schulenburg. “Evolutionary Transition from Pathogenicity to Commensalism: Global Regulator Mutations Mediate Fitness Gains through Virulence Attenuation.” <i>Molecular Biology and Evolution</i> 32, no. 11 (2015): 2883–96. <a href=\"https://doi.org/10.1093/molbev/msv160\">https://doi.org/10.1093/molbev/msv160</a>."},"doi":"10.1093/molbev/msv160","language":[{"iso":"eng"}],"date_updated":"2025-10-07T08:17:04Z","intvolume":"        32","year":"2015","title":"Evolutionary Transition from Pathogenicity to Commensalism: Global Regulator Mutations Mediate Fitness Gains through Virulence Attenuation","author":[{"last_name":"Jansen","first_name":"Gunther ","full_name":"Jansen, Gunther "},{"last_name":"Crummenerl","first_name":"Lena Luise","full_name":"Crummenerl, Lena Luise","id":"87916"},{"first_name":"Felix","last_name":"Gilbert","full_name":"Gilbert, Felix"},{"first_name":"Timm","last_name":"Mohr","full_name":"Mohr, Timm"},{"last_name":"Pfefferkorn","first_name":"Roxana ","full_name":"Pfefferkorn, Roxana "},{"full_name":"Thänert, Robert","last_name":"Thänert","first_name":"Robert"},{"full_name":"Rosenstiel, Philip","first_name":"Philip","last_name":"Rosenstiel"},{"full_name":"Schulenburg, Hinrich","first_name":"Hinrich","last_name":"Schulenburg"}],"keyword":["symbiosis","experimental evolution","Pseudomonas","immunocompromised","evolutionary transition","commensalism","global regulator","lasR"],"type":"journal_article","file":[{"date_created":"2025-02-06T12:04:01Z","creator":"lenalc","content_type":"application/pdf","file_id":"58529","date_updated":"2025-02-06T12:04:01Z","relation":"main_file","file_size":889930,"access_level":"open_access","file_name":"2015 - Evolutionary Transition from Pathogenicity to Commensalism - Global Regulator Mutations Mediate Fitness Gains through Virulence Attenuation.pdf"}],"date_created":"2025-02-06T12:04:14Z","extern":"1","issue":"11","publication":"Molecular Biology and Evolution"},{"date_created":"2022-12-15T11:42:48Z","department":[{"_id":"672"}],"type":"book_chapter","keyword":["Transition Rule     Formal Verification     Variable Assignment     Kernel Process     Simulation Cycle"],"publication":"Semantics of VHDL","abstract":[{"lang":"eng","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."}],"language":[{"iso":"eng"}],"doi":"10.1007/978-1-4615-2237-9_5","author":[{"full_name":"Börger, Egon","last_name":"Börger","first_name":"Egon"},{"full_name":"Glässer, Uwe","first_name":"Uwe","last_name":"Glässer"},{"last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang","id":"16243"}],"publication_identifier":{"isbn":["978-1-4615-2237-9"]},"year":"1995","title":"A Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines","date_updated":"2022-12-15T11:43:14Z","place":"Dordrecht","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>","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>.","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.","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>.","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>","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} }"},"_id":"34448","publisher":"Kluwer Academic Publishers","page":"107 - 139","editor":[{"full_name":"Delgado Kloos, C.","last_name":"Delgado Kloos","first_name":"C."},{"full_name":"Breuer, Peter T.","last_name":"Breuer","first_name":"Peter T."}],"user_id":"5786","status":"public"}]