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.
9758 Publications
2020 | Journal Article | LibreCat-ID: 19823
Elizabeth, A., Conradi, H., K. Sahoo, S., Kodalle, T., A. Kaufmann, C., Kühne, T., … Mönig, H. (2020). Correlating facet orientation, defect-level density and dipole layer formation at the surface of polycrystalline CuInSe2 thin films. Acta Materialia, 200. 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. (2020). A Discrete and Continuous Study of the Max-Chain-Formation Problem – Slow Down to Speed Up. In S. Devismes & N. Mittal (Eds.), Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings (Vol. 12514, pp. 65–80). Springer. https://doi.org/10.1007/978-3-030-64348-5_6
LibreCat
| DOI
| arXiv
2020 | Conference Paper | LibreCat-ID: 19953 | 
Damke, C., Melnikov, V., & Hüllermeier, E. (2020). A Novel Higher-order Weisfeiler-Lehman Graph Convolution. In S. Jialin Pan & M. Sugiyama (Eds.), Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020) (Vol. 129, pp. 49–64). Bangkok, Thailand: PMLR.
LibreCat
| Files available
| arXiv
2020 | Bachelorsthesis | LibreCat-ID: 19999
Mayer, S. (2020). Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn.
LibreCat
2020 | Book Chapter | LibreCat-ID: 20123
Herzig, B., Martin, A., & Klar, T.-M. (2020). Mobile Medien – Medienpädagogische und technische Grundlagen, Potential für den Deutschunterricht und Beispiele. In J. Knopf & U. Abraham (Eds.), Deutsch Digital. Band 1 Theorie (2. Aufl.) (pp. 108–135).
LibreCat
2020 | Report | LibreCat-ID: 20145
Otroshi, M., & Meschut, G. (2020). Methodenentwicklung zur Schädigungsmodellierung für die numerische Prozesssimulation mechanischer Fügeverfahren. Europäische Forschungsgesellschaft für Blechverarbeitung e.V.
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20146
Masendorf, L., Wächter, M., Horstmann, S., Otroshi, M., Esderts, A., & Meschut, G. (2020). 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: Deutscher Verband für Materialforschung und -prüfung e.V.
LibreCat
2020 | Conference Paper | LibreCat-ID: 20159
Baswana, S., Gupta, S., & Knollmann, T. (2020). Mincut Sensitivity Data Structures for the Insertion of an Edge. In F. Grandoni, G. Herman, & P. Sanders (Eds.), 28th Annual European Symposium on Algorithms (ESA 2020) (Vol. 173, pp. 12:1-12:14). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. https://doi.org/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. (2020). Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility . In S. Devismes & N. Mittal (Eds.), Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings (Vol. 12514, pp. 60–64). Springer. https://doi.org/10.1007/978-3-030-64348-5_5
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 20189
Hammer, M., Ebers, L., & Förstner, J. (2020). Hybrid coupled mode modelling of the evanescent excitation of a dielectric tube by semi-guided waves at oblique angles. Optical and Quantum Electronics, 52. https://doi.org/10.1007/s11082-020-02595-z
LibreCat
| Files available
| DOI
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 | Dissertation | LibreCat-ID: 20240
Hoof, S. (2020). Essays on Cooperation in Differential Games. https://doi.org/ 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. (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: 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: 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 | Dissertation | LibreCat-ID: 28367
Echterfeld, J. (2020). Systematik zur Digitalisierung von Produktprogrammen (Vol. 393). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn.
LibreCat