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.
2319 Publications
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
2020 | Journal Article | LibreCat-ID: 20279
@article{Sharma_Wehrheim_2020, title={Testing Monotonicity of Machine Learning Models}, volume={abs/2002.12278}, journal={CoRR}, author={Sharma, Arnab and Wehrheim, Heike}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 28011
@article{Brand-Miller_Buyken_2020, title={Mapping postprandial responses sets the scene for targeted dietary advice}, DOI={10.1038/s41591-020-0909-1}, journal={Nature Medicine}, author={Brand-Miller, Jennie and Buyken, Anette}, year={2020}, pages={828–830} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28242
@article{Heldt_Massek_Drossel_Eickelmann_2020, title={The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data}, volume={8}, DOI={10.1186/s40536-020-00090-1}, number={1}, journal={Large-scale Assessments in Education}, author={Heldt, Melanie and Massek, Corinna and Drossel, Kerstin and Eickelmann, Birgit}, year={2020}, pages={1–20} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 2834
@article{Gutt_von Rechenberg_Kundisch_2020, title={Goal Achievement, Subsequent User Effort and the Moderating Role of Goal Difficulty}, volume={106}, DOI={10.1016/j.jbusres.2018.06.019}, journal={Journal of Business Research}, publisher={Elsevier}, author={Gutt, Dominik and von Rechenberg, Tobias and Kundisch, Dennis}, year={2020}, pages={277–287} }
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 28341
@article{Grimminger-Seidensticker_Möhwald_2020, title={Enhancing social cohesion in PE classes within an intercultural learning program: results of a quasi-experimental intervention study}, volume={25}, DOI={10.1080/17408989.2020.1741532}, number={3}, journal={Physical Education and Sport Pedagogy}, author={Grimminger-Seidensticker, Elke and Möhwald, Aiko Julia}, year={2020}, pages={316–329} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28351
@article{Müller_Settinieri_2020, title={“Solange dieser Mann gut Deutsch sprechen kann, ist auch kein Problem...”: Evaluative Reaktionen auf einen L2-Akzent aus Sicht von Sprecher*innen}, volume={49}, DOI={10.2357/FLuL-2020-0018}, number={2}, journal={Fremdsprachen Lehren und Lernen}, author={Müller, Mareike and Settinieri, Julia}, year={2020}, pages={46–63} }
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 28367
@book{Echterfeld_2020, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Systematik zur Digitalisierung von Produktprogrammen}, volume={393}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Echterfeld, Julian}, year={2020}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2020 | Dissertation | LibreCat-ID: 28369
@book{Lukei_2020, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Systematik zur integrativen Entwicklung von mechatronischen Produkten und deren Prüfmittel}, volume={395}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Lukei, Meinolf}, year={2020}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2020 | Dissertation | LibreCat-ID: 28416 | 
@book{Homt_2020, title={Die Anbahnung einer forschenden Grundhaltung im Praxissemester – eine empirische Analyse von Bedingungen und Entwicklungsverläufen}, author={Homt, Martina}, year={2020} }
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 24021
@inproceedings{Wu_Weizel_Scheytt_2020, place={Sevilla, Spain}, title={Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology}, DOI={10.1109/ISCAS45731.2020.9180947}, booktitle={2020 IEEE International Symposium on Circuits and Systems (ISCAS)}, publisher={IEEE}, author={Wu, Liang and Weizel, Maxim and Scheytt, Christoph}, year={2020} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24022
@inproceedings{Abughannam_Scheytt_2020, place={Virtuelle Konferenz}, title={Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator}, DOI={10.1109/PIMRC48278.2020.9217198}, booktitle={IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) }, publisher={IEEE}, author={Abughannam, Saed and Scheytt, Christoph}, year={2020} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24027
@inproceedings{Adelt_Koppelmann_Müller_Scheytt_2020, place={Stuttgart, DE}, title={A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures}, booktitle={MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Scheytt, Christoph}, year={2020} }
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 24029
@article{Haddadian_Scheytt_2020, title={Analysis, Design and Implementation of a Fully Integrated Analog Front-End for Microwave RFIDs at 5.8 GHz to be Used with Compact MIMO Readers}, DOI={10.1109/JRFID.2020.3009741}, journal={IEEE Journal of Radio Frequency Identification}, author={Haddadian, Sanaz and Scheytt, Christoph}, year={2020}, pages={1–1} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24030
@inproceedings{Ballandras_Abughannam_Courjon_Scheytt_2020, title={Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers}, booktitle={GeMiC 2020 - German Microwave Conference}, author={Ballandras, Sylvain and Abughannam, Saed and Courjon, Emilie and Scheytt, Christoph}, year={2020} }
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 24031
@article{Schraeder_Schafran_Geisen_Rubbert_2020, title={Ein interdisziplinärer und akutmedizinischer Ansatz zur frühestmöglichen Intervention bei Patienten mit Diabetischem Fußsyndrom}, volume={71 (9)}, journal={Orthopädie Technik}, author={Schraeder, Dirk Theodor and Schafran, Tommy and Geisen, Bärbel and Rubbert, Lisa}, year={2020}, pages={32–37} }
LibreCat