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
@article{Elizabeth_Conradi_K. Sahoo_Kodalle_A. Kaufmann_Kühne_Mirhosseini_Abou-Ras_Mönig_2020, title={Correlating facet orientation, defect-level density and dipole layer formation at the surface of polycrystalline CuInSe2 thin films}, volume={200}, DOI={https://doi.org/10.1016/j.actamat.2020.09.028}, journal={Acta Materialia}, author={Elizabeth, Amala and Conradi, Hauke and K. Sahoo, Sudhir and Kodalle, Tim and A. Kaufmann, Christian and Kühne, Thomas and Mirhosseini, Hossein and Abou-Ras, Daniel and Mönig, Harry}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 19899
@inproceedings{Castenow_Kling_Knollmann_Meyer auf der Heide_2020, series={Lecture Notes in Computer Science (LNCS)}, title={A Discrete and Continuous Study of the Max-Chain-Formation Problem – Slow Down to Speed Up}, volume={12514}, DOI={10.1007/978-3-030-64348-5_6}, booktitle={Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings}, publisher={Springer}, author={Castenow, Jannik and Kling, Peter and Knollmann, Till and Meyer auf der Heide, Friedhelm}, editor={Devismes , Stéphane and Mittal, Neeraj Editors}, year={2020}, pages={65–80}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat
| DOI
| arXiv
2020 | Conference Paper | LibreCat-ID: 19953 | 
@inproceedings{Damke_Melnikov_Hüllermeier_2020, place={Bangkok, Thailand}, series={Proceedings of Machine Learning Research}, title={A Novel Higher-order Weisfeiler-Lehman Graph Convolution}, volume={129}, booktitle={Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020)}, publisher={PMLR}, author={Damke, Clemens and Melnikov, Vitaly and Hüllermeier, Eyke}, editor={Jialin Pan, Sinno and Sugiyama, MasashiEditors}, year={2020}, pages={49–64}, collection={Proceedings of Machine Learning Research} }
LibreCat
| Files available
| arXiv
2020 | Bachelorsthesis | LibreCat-ID: 19999
@book{Mayer_2020, title={Optimierung von JMCTest beim Testen von Inter Method Contracts}, publisher={Universität Paderborn}, author={Mayer, Stefan}, year={2020} }
LibreCat
2020 | Book Chapter | LibreCat-ID: 20123
@inbook{Herzig_Martin_Klar_2020, title={Mobile Medien – Medienpädagogische und technische Grundlagen, Potential für den Deutschunterricht und Beispiele.}, booktitle={Deutsch Digital. Band 1 Theorie (2. Aufl.)}, author={Herzig, Bardo and Martin, Alexander and Klar, Tilman-Mathies}, editor={Knopf, Julia and Abraham, UlfEditors}, year={2020}, pages={108–135} }
LibreCat
2020 | Report | LibreCat-ID: 20145
@book{Otroshi_Meschut_2020, title={Methodenentwicklung zur Schädigungsmodellierung für die numerische Prozesssimulation mechanischer Fügeverfahren}, publisher={Europäische Forschungsgesellschaft für Blechverarbeitung e.V.}, author={Otroshi, Mortaza and Meschut, Gerson}, year={2020} }
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 20146
@inproceedings{Masendorf_Wächter_Horstmann_Otroshi_Esderts_Meschut_2020, title={Linear damage accumulation of self-pierce riveted joints}, publisher={Deutscher Verband für Materialforschung und -prüfung e.V.}, author={Masendorf, Lukas and Wächter, Michael and Horstmann, Stephan and Otroshi, Mortaza and Esderts, Alfons and Meschut, Gerson}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 20159
@inproceedings{Baswana_Gupta_Knollmann_2020, place={Dagstuhl, Germany}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={Mincut Sensitivity Data Structures for the Insertion of an Edge}, volume={173}, DOI={10.4230/LIPIcs.ESA.2020.12}, booktitle={28th Annual European Symposium on Algorithms (ESA 2020)}, publisher={Schloss Dagstuhl -- Leibniz-Zentrum für Informatik}, author={Baswana, Surender and Gupta, Shiv and Knollmann, Till}, editor={Grandoni, Fabrizio and Herman, Grzegorz and Sanders, PeterEditors}, year={2020}, pages={12:1-12:14}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20185
@inproceedings{Castenow_Harbig_Jung_Knollmann_Meyer auf der Heide_2020, series={Lecture Notes in Computer Science (LNCS)}, title={Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility }, volume={12514}, DOI={10.1007/978-3-030-64348-5_5}, booktitle={Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings }, publisher={Springer}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Knollmann, Till and Meyer auf der Heide, Friedhelm}, editor={Devismes, Stéphane and Mittal, NeerajEditors}, year={2020}, pages={60–64}, collection={Lecture Notes in Computer Science (LNCS)} }
LibreCat
| DOI
| arXiv
2020 | Journal Article | LibreCat-ID: 20189
@article{Hammer_Ebers_Förstner_2020, title={Hybrid coupled mode modelling of the evanescent excitation of a dielectric tube by semi-guided waves at oblique angles}, volume={52}, DOI={10.1007/s11082-020-02595-z}, number={472}, journal={Optical and Quantum Electronics}, author={Hammer, Manfred and Ebers, Lena and Förstner, Jens}, year={2020} }
LibreCat
| Files available
| DOI
2020 | Mastersthesis | LibreCat-ID: 20221
@book{Yeole_2020, title={Plurality Consensus in Hybrid Networks}, author={Yeole, Paresh Kishor}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 20233 |
@article{Myroshnychenko_Smirnov_Jose_Brosseau_Förstner_2020, title={Nonlinear dielectric properties of random paraelectric-dielectric composites}, volume={203}, DOI={10.1016/j.actamat.2020.10.051}, journal={Acta Materialia}, author={Myroshnychenko, Viktor and Smirnov, Stanislav and Jose, Pious Mathews Mulavarickal and Brosseau, Christian and Förstner, Jens}, year={2020}, pages={116432} }
LibreCat
| Files available
| DOI
2020 | Dissertation | LibreCat-ID: 20240
@book{Hoof_2020, title={Essays on Cooperation in Differential Games}, DOI={ 10.17619/UNIPB/1-1047}, author={Hoof, Simon}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20274
@inproceedings{Bila_Doherty_Dongol_Derrick_Schellhorn_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory}, volume={12136}, DOI={10.1007/978-3-030-50086-3\_3}, booktitle={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}, publisher={Springer}, author={Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Gotsman, Alexey and Sokolova, AnaEditors}, year={2020}, pages={39–58}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 20276
@inproceedings{Beyer_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, volume={12476}, DOI={10.1007/978-3-030-61362-4\_8}, booktitle={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}}, publisher={Springer}, author={Beyer, Dirk and Wehrheim, Heike}, editor={Margaria, Tiziana and Steffen, BernhardEditors}, year={2020}, pages={143–167}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20277
@book{Wehrheim_Cabot_2020, series={Lecture Notes in Computer Science}, title={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}, volume={12076}, DOI={10.1007/978-3-030-45234-6}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Conference (Editor) | LibreCat-ID: 20278
@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={10.1007/978-3-030-50995-8}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 28242
@article{Heldt_Massek_Drossel_Eickelmann_2020, title={The relationship between differences in students’ computer and information literacy and response times: an analysis of IEA-ICILS data}, volume={8}, DOI={10.1186/s40536-020-00090-1}, number={1}, journal={Large-scale Assessments in Education}, author={Heldt, Melanie and Massek, Corinna and Drossel, Kerstin and Eickelmann, Birgit}, year={2020}, pages={1–20} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 2834
@article{Gutt_von Rechenberg_Kundisch_2020, title={Goal Achievement, Subsequent User Effort and the Moderating Role of Goal Difficulty}, volume={106}, DOI={10.1016/j.jbusres.2018.06.019}, journal={Journal of Business Research}, publisher={Elsevier}, author={Gutt, Dominik and von Rechenberg, Tobias and Kundisch, Dennis}, year={2020}, pages={277–287} }
LibreCat
| Files available
| DOI
2020 | Dissertation | LibreCat-ID: 28367
@book{Echterfeld_2020, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Systematik zur Digitalisierung von Produktprogrammen}, volume={393}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Echterfeld, Julian}, year={2020}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat