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.
12162 Publications
2020 | Report | LibreCat-ID: 20145
M. Otroshi and G. Meschut, Methodenentwicklung zur Schädigungsmodellierung für die numerische Prozesssimulation mechanischer Fügeverfahren. Europäische Forschungsgesellschaft für Blechverarbeitung e.V., 2020.
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20146
L. Masendorf, M. Wächter, S. Horstmann, M. Otroshi, A. Esderts, and G. Meschut, “Linear damage accumulation of self-pierce riveted joints,” presented at the Fourth International Conference on Material and Component Performance under Variable Amplitude Loading, Darmstadt, Germany, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20166
A. Bondarenko et al., “Overview of Touché 2020: Argument Retrieval,” in CEUR Workshop Proceedings, 2020, vol. 2696, pp. 384–395.
LibreCat
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20185
J. Castenow, J. Harbig, D. Jung, T. Knollmann, and F. Meyer auf der Heide, “Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility ,” in Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings , 2020, vol. 12514, pp. 60–64.
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 20189
M. Hammer, L. Ebers, and J. Förstner, “Hybrid coupled mode modelling of the evanescent excitation of a dielectric tube by semi-guided waves at oblique angles,” Optical and Quantum Electronics, vol. 52, 2020.
LibreCat
| Files available
| DOI
2020 | Mastersthesis | LibreCat-ID: 20221
P. K. Yeole, Plurality Consensus in Hybrid Networks. 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20233 | 
V. Myroshnychenko, S. Smirnov, P. M. M. Jose, C. Brosseau, and J. Förstner, “Nonlinear dielectric properties of random paraelectric-dielectric composites,” Acta Materialia, vol. 203, p. 116432, 2020.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 20274
E. Bila, S. Doherty, B. Dongol, J. Derrick, G. Schellhorn, and H. Wehrheim, “Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory,” in 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, 2020, vol. 12136, pp. 39–58.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
D. Beyer and H. 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}, 2020, vol. 12476, pp. 143–167.
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
H. Wehrheim and J. 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. Springer, 2020.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 20279
A. Sharma and H. Wehrheim, “Testing Monotonicity of Machine Learning Models,” CoRR, vol. abs/2002.12278, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 28242
M. Heldt, C. Massek, K. Drossel, and B. 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, vol. 8, no. 1, pp. 1–20, 2020, doi: 10.1186/s40536-020-00090-1.
LibreCat
| DOI
2020 | Dissertation | LibreCat-ID: 28367
J. Echterfeld, Systematik zur Digitalisierung von Produktprogrammen, vol. 393. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 28369
M. Lukei, Systematik zur integrativen Entwicklung von mechatronischen Produkten und deren Prüfmittel, vol. 395. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 24021
L. Wu, M. Weizel, and C. Scheytt, “Above 60 GHz Bandwidth 10 GS/s Sampling Rate Track-and-Hold Amplifier in 130 nm SiGe BiCMOS Technology,” 2020, doi: 10.1109/ISCAS45731.2020.9180947.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 24022
S. Abughannam and C. Scheytt, “Sensitivity Analysis of a Low-Power Wake-Up Receiver Using an RF Barker Code SAW Correlator and a Baseband Narrowband Correlator,” 2020, doi: 10.1109/PIMRC48278.2020.9217198.
LibreCat
| Files available
| DOI