Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
22929 Publications
2020 | Book (Editor) | LibreCat-ID: 20256
@book{Rohlfing_Müller-Brauers_2020, title={International Perspectives on Digital Media and Early Literacy}, DOI={10.4324/9780429321399}, year={2020} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20257
@article{Kohlmeyer_Reis_Viertel_Rohlfing_2020, title={Wie meinst du das? - Begriffserwerb im Religionsunterricht }, DOI={10.23770/tw0137}, journal={Theo Web}, author={Kohlmeyer, Theresa and Reis, Oliver and Viertel, Franziska and Rohlfing, Katharina}, year={2020} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20260
@article{Crawshaw_Kern_Mertens_Rohlfing_2020, title={Children’s Narrative Elaboration After Reading a Storybook Versus Viewing a Video}, volume={11}, DOI={10.3389/fpsyg.2020.569891}, journal={Frontiers in Psychology}, author={Crawshaw, Camilla E. and Kern, Friederike and Mertens, Ulrich and Rohlfing, Katharina}, year={2020} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20269
@article{Böhne_Meschut_Biegler_Rethmeier_2020, title={Avoidance of liquid metal embrittlement during resistance spot welding by heat input dependent hold time adaption}, volume={25}, DOI={10.1080/13621718.2019.1693731}, number={7}, journal={Science and Technology of Welding and Joining}, publisher={Taylor & Francis}, author={Böhne, Christoph and Meschut, Gerson and Biegler, Max and Rethmeier, Michael}, year={2020}, pages={617–624} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20273
@inproceedings{Biegler_Rethmeier_Böhne_Meschut_2020, place={Bad Nauheim}, title={Resistance spot welding simulation can determine the critical stress- and strain-conditions leading to liquid metal embrittlement formation}, booktitle={Joining in Car Body Engineering}, author={Biegler, Max and Rethmeier, Michael and Böhne, Christoph and Meschut, Gerson}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 20274
@inproceedings{Bila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory}, volume={12136}, DOI={10.1007/978-3-030-50086-3\_3}, booktitle={Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}, publisher={Springer}, author={Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Gotsman, Alexey and Sokolova, AnaEditors}, year={2020}, pages={39–58}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20275
@inproceedings{Beringer_Wehrheim_2020, title={Consistency Analysis of AUTOSAR Timing Requirements}, DOI={10.5220/0009766600150026}, booktitle={Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020}, publisher={ScitePress}, author={Beringer, Steffen and Wehrheim, Heike}, editor={van Sinderen, Marten and Fill, Hans{-}Georg and A. Maciaszek, LeszekEditors}, year={2020}, pages={15–26} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
@inproceedings{Beyer_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={12476}, DOI={10.1007/978-3-030-61362-4\_8}, booktitle={Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part {I}}, publisher={Springer}, author={Beyer, Dirk and Wehrheim, Heike}, editor={Margaria, Tiziana and Steffen, BernhardEditors}, year={2020}, pages={143–167}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
@book{Wehrheim_Cabot_2020, series={Lecture Notes in Computer Science}, title={Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings}, volume={12076}, DOI={10.1007/978-3-030-45234-6}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={10.1007/978-3-030-50995-8}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI