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.
32330 Publications
2020 | Mastersthesis | LibreCat-ID: 20221
Yeole, P. K. (2020). Plurality Consensus in Hybrid Networks.
LibreCat
2020 | Journal Article | LibreCat-ID: 20233 | 
Myroshnychenko, V., Smirnov, S., Jose, P. M. M., Brosseau, C., & Förstner, J. (2020). Nonlinear dielectric properties of random paraelectric-dielectric composites. Acta Materialia, 203, 116432. https://doi.org/10.1016/j.actamat.2020.10.051
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 20235
Heyser, P., Sartisson, V., Meschut, G., Droß, M., & Dröder, K. (2020). Increased load bearing capacity of mechanically joined FRP/metal joints using a pin structured auxiliary joining element. Materials Testing, 55–60. https://doi.org/10.3139/120.111453
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 20240
Hoof, S. (2020). Essays on Cooperation in Differential Games. https://doi.org/ 10.17619/UNIPB/1-1047
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20269
Böhne, C., Meschut, G., Biegler, M., & Rethmeier, M. (2020). Avoidance of liquid metal embrittlement during resistance spot welding by heat input dependent hold time adaption. Science and Technology of Welding and Joining, 25(7), 617–624. https://doi.org/10.1080/13621718.2019.1693731
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20273
Biegler, M., Rethmeier, M., Böhne, C., & Meschut, G. (2020). Resistance spot welding simulation can determine the critical stress- and strain-conditions leading to liquid metal embrittlement formation. In Joining in Car Body Engineering. Bad Nauheim.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20274
Bila, E., Doherty, S., Dongol, B., Derrick, J., Schellhorn, G., & Wehrheim, H. (2020). Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In A. Gotsman & A. Sokolova (Eds.), 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 (Vol. 12136, pp. 39–58). Springer. https://doi.org/10.1007/978-3-030-50086-3\_3
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20275
Beringer, S., & Wehrheim, H. (2020). Consistency Analysis of AUTOSAR Timing Requirements. In M. van Sinderen, H.-}Georg Fill, & L. A. Maciaszek (Eds.), Proceedings of the 15th International Conference on Software Technologies, {ICSOFT} 2020, Lieusaint, Paris, France, July 7-9, 2020 (pp. 15–26). ScitePress. https://doi.org/10.5220/0009766600150026
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
Beyer, D., & Wehrheim, H. (2020). Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In T. Margaria & B. Steffen (Eds.), 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} (Vol. 12476, pp. 143–167). Springer. https://doi.org/10.1007/978-3-030-61362-4\_8
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
Wehrheim, H., & Cabot, J. (Eds.). (2020). 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). Springer. https://doi.org/10.1007/978-3-030-45234-6
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20279
Sharma, A., & Wehrheim, H. (2020). Testing Monotonicity of Machine Learning Models. CoRR, abs/2002.12278.
LibreCat
2020 | Journal Article | LibreCat-ID: 28011
Brand-Miller, J., & Buyken, A. (2020). Mapping postprandial responses sets the scene for targeted dietary advice. Nature Medicine, 828–830. https://doi.org/10.1038/s41591-020-0909-1
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28242
Heldt, M., Massek, C., Drossel, K., & Eickelmann, B. (2020). 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(1), 1–20. https://doi.org/10.1186/s40536-020-00090-1
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 2834
Gutt, D., von Rechenberg, T., & Kundisch, D. (2020). Goal Achievement, Subsequent User Effort and the Moderating Role of Goal Difficulty. Journal of Business Research, 106, 277–287. https://doi.org/10.1016/j.jbusres.2018.06.019
LibreCat
| Files available
| DOI
2020 | Journal Article | LibreCat-ID: 28351
Müller, M., & Settinieri, J. (2020). “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(2), 46–63. https://doi.org/10.2357/FLuL-2020-0018
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 28367
Echterfeld, J. (2020). Systematik zur Digitalisierung von Produktprogrammen (Vol. 393). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2020 | Dissertation | LibreCat-ID: 28369
Lukei, M. (2020). Systematik zur integrativen Entwicklung von mechatronischen Produkten und deren Prüfmittel (Vol. 395). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24021
Wu, L., Weizel, M., & Scheytt, C. (2020). Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology. 2020 IEEE International Symposium on Circuits and Systems (ISCAS). https://doi.org/10.1109/ISCAS45731.2020.9180947
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24022
Abughannam, S., & Scheytt, C. (2020). Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator. IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC 2020) . https://doi.org/10.1109/PIMRC48278.2020.9217198
LibreCat
| Files available
| DOI