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.
2470 Publications
2020 | Conference Paper | LibreCat-ID: 20275
Beringer, Steffen, and Heike Wehrheim. “Consistency Analysis of AUTOSAR Timing Requirements.” In Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020, edited by Marten van Sinderen, Hans{-}Georg Fill, and Leszek A. Maciaszek, 15–26. ScitePress, 2020. https://doi.org/10.5220/0009766600150026.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
Beyer, Dirk, and Heike Wehrheim. “Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.” In 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}, edited by Tiziana Margaria and Bernhard Steffen, 12476:143–67. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-61362-4\_8.
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
Wehrheim, Heike, and Jordi Cabot, eds. 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. Vol. 12076. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-45234-6.
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-50995-8.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20279
Sharma, Arnab, and Heike Wehrheim. “Testing Monotonicity of Machine Learning Models.” CoRR abs/2002.12278 (2020).
LibreCat
2020 | Journal Article | LibreCat-ID: 28011
Brand-Miller, Jennie, and Anette Buyken. “Mapping Postprandial Responses Sets the Scene for Targeted Dietary Advice.” Nature Medicine, 2020, 828–30. https://doi.org/10.1038/s41591-020-0909-1.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28242
Heldt, Melanie, Corinna Massek, Kerstin Drossel, and Birgit Eickelmann. “The Relationship between Differences in Students’ Computer and Information Literacy and Response Times: An Analysis of IEA-ICILS Data.” Large-Scale Assessments in Education 8, no. 1 (2020): 1–20. https://doi.org/10.1186/s40536-020-00090-1.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 2834
Gutt, Dominik, Tobias von Rechenberg, and Dennis Kundisch. “Goal Achievement, Subsequent User Effort and the Moderating Role of Goal Difficulty.” Journal of Business Research 106 (2020): 277–87. https://doi.org/10.1016/j.jbusres.2018.06.019.
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 28351
Müller, Mareike, and Julia Settinieri. “‘Solange dieser Mann gut Deutsch sprechen kann, ist auch kein Problem...’: Evaluative Reaktionen auf einen L2-Akzent aus Sicht von Sprecher*innen.” Fremdsprachen Lehren und Lernen 49, no. 2 (2020): 46–63. https://doi.org/10.2357/FLuL-2020-0018.
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 28367
Echterfeld, Julian. Systematik zur Digitalisierung von Produktprogrammen. Vol. 393. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 28369
Lukei, Meinolf. Systematik zur integrativen Entwicklung von mechatronischen Produkten und deren Prüfmittel. Vol. 395. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24022
Abughannam, Saed, and Christoph Scheytt. “Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator.” In IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) . Virtuelle Konferenz: IEEE, 2020. https://doi.org/10.1109/PIMRC48278.2020.9217198.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24027
Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures.” In MBMV 2020 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop. Stuttgart, DE, 2020.
LibreCat
| Files available
2020 | Conference Paper | LibreCat-ID: 24030
Ballandras, Sylvain, Saed Abughannam, Emilie Courjon, and Christoph Scheytt. “Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers.” In GeMiC 2020 - German Microwave Conference, 2020.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 24031
Schraeder, Dirk Theodor, Tommy Schafran, Bärbel Geisen, and Lisa Rubbert. “Ein interdisziplinärer und akutmedizinischer Ansatz zur frühestmöglichen Intervention bei Patienten mit Diabetischem Fußsyndrom.” Orthopädie Technik 71 (9) (2020): 32–37.
LibreCat
2020 | Journal Article | LibreCat-ID: 24120
Inguva, Venkatesh, Andreas Schulz, and Eugeny Y. Kenig. “On Methods to Reduce Spurious Currents within VOF Solver Frameworks. Part 1: A Review of the Static Bubble/Droplet.” Chemical Product and Process Modeling, 2020. https://doi.org/10.1515/cppm-2020-0052.
LibreCat
| DOI
2020 | Newspaper Article | LibreCat-ID: 24133
Schöppner, Volker, Laura Austermeier, and Kilian Dietl. “Der richtige Dreh für Simulationen.” Blasformen & Extrusionswerkzeuge, 2020.
LibreCat
2020 | Newspaper Article | LibreCat-ID: 24134
Schöppner, Volker, Laura Austermeier, and Kilian Dietl. “SKZ simuliert Doppelschnecke.” K Zeitung, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24145
Ramaswamy, Arunselvan. “DSPG: Decentralized Simultaneous Perturbations Gradient Descent Scheme.” In 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), 54–62, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24146
Heid, Stefan Helmut, Arunselvan Ramaswamy, and Eyke Hüllermeier. “Constrained Multi-Agent Optimization with Unbounded Information Delay.” In Proceedings-30. Workshop Computational Intelligence: Berlin, 26.-27. November 2020, 26:247, 2020.
LibreCat