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.
9757 Publications
2020 | Journal Article | LibreCat-ID: 19823
Elizabeth A, Conradi H, K. Sahoo S, et al. Correlating facet orientation, defect-level density and dipole layer formation at the surface of polycrystalline CuInSe2 thin films. Acta Materialia. 2020;200. doi:https://doi.org/10.1016/j.actamat.2020.09.028
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 19899
Castenow J, Kling P, Knollmann T, Meyer auf der Heide F. A Discrete and Continuous Study of the Max-Chain-Formation Problem – Slow Down to Speed Up. In: Devismes S, Mittal N, eds. Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings. Vol 12514. Lecture Notes in Computer Science (LNCS). Springer; 2020:65-80. doi:10.1007/978-3-030-64348-5_6
LibreCat
| DOI
| arXiv
2020 | Conference Paper | LibreCat-ID: 19953 | 
Damke C, Melnikov V, Hüllermeier E. A Novel Higher-order Weisfeiler-Lehman Graph Convolution. In: Jialin Pan S, Sugiyama M, eds. Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020). Vol 129. Proceedings of Machine Learning Research. Bangkok, Thailand: PMLR; 2020:49-64.
LibreCat
| Files available
| arXiv
2020 | Bachelorsthesis | LibreCat-ID: 19999
Mayer S. Optimierung von JMCTest Beim Testen von Inter Method Contracts. Universität Paderborn; 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 20123
Herzig B, Martin A, Klar T-M. Mobile Medien – Medienpädagogische und technische Grundlagen, Potential für den Deutschunterricht und Beispiele. In: Knopf J, Abraham U, eds. Deutsch Digital. Band 1 Theorie (2. Aufl.). ; 2020:108-135.
LibreCat
2020 | Report | LibreCat-ID: 20145
Otroshi M, Meschut G. 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
Masendorf L, Wächter M, Horstmann S, Otroshi M, Esderts A, Meschut G. Linear damage accumulation of self-pierce riveted joints. In: Deutscher Verband für Materialforschung und -prüfung e.V.; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20159
Baswana S, Gupta S, Knollmann T. Mincut Sensitivity Data Structures for the Insertion of an Edge. In: Grandoni F, Herman G, Sanders P, eds. 28th Annual European Symposium on Algorithms (ESA 2020). Vol 173. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik; 2020:12:1-12:14. doi:10.4230/LIPIcs.ESA.2020.12
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20185
Castenow J, Harbig J, Jung D, Knollmann T, Meyer auf der Heide F. Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility . In: Devismes S, Mittal N, eds. Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings . Vol 12514. Lecture Notes in Computer Science (LNCS). Springer; 2020:60-64. doi:10.1007/978-3-030-64348-5_5
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 20189
Hammer M, Ebers L, Förstner J. Hybrid coupled mode modelling of the evanescent excitation of a dielectric tube by semi-guided waves at oblique angles. Optical and Quantum Electronics. 2020;52. doi:10.1007/s11082-020-02595-z
LibreCat
| Files available
| DOI
2020 | Mastersthesis | LibreCat-ID: 20221
Yeole PK. Plurality Consensus in Hybrid Networks.; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 20233 |
Myroshnychenko V, Smirnov S, Jose PMM, Brosseau C, Förstner J. Nonlinear dielectric properties of random paraelectric-dielectric composites. Acta Materialia. 2020;203:116432. doi:10.1016/j.actamat.2020.10.051
LibreCat
| Files available
| DOI
2020 | Dissertation | LibreCat-ID: 20240
Hoof S. Essays on Cooperation in Differential Games.; 2020. doi: 10.17619/UNIPB/1-1047
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20274
Bila E, Doherty S, Dongol B, Derrick J, Schellhorn G, Wehrheim H. Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory. In: Gotsman A, Sokolova A, 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. Lecture Notes in Computer Science. Springer; 2020:39-58. doi:10.1007/978-3-030-50086-3\_3
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
Beyer D, Wehrheim H. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. In: Margaria T, Steffen B, 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. Lecture Notes in Computer Science. Springer; 2020:143-167. doi:10.1007/978-3-030-61362-4\_8
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
Wehrheim H, Cabot J, 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. doi:10.1007/978-3-030-45234-6
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
Ahrendt W, Wehrheim H, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol 12165. Springer; 2020. doi:10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28242
Heldt M, Massek C, Drossel K, Eickelmann B. The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data. Large-scale Assessments in Education. 2020;8(1):1-20. doi:10.1186/s40536-020-00090-1
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 2834
Gutt D, von Rechenberg T, Kundisch D. Goal Achievement, Subsequent User Effort and the Moderating Role of Goal Difficulty. Journal of Business Research. 2020;106:277-287. doi:10.1016/j.jbusres.2018.06.019
LibreCat
| Files available
| DOI
2020 | Dissertation | LibreCat-ID: 28367
Echterfeld J. Systematik zur Digitalisierung von Produktprogrammen. Vol 393. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2020.
LibreCat