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.
7524 Publications
2020 | Conference Paper | LibreCat-ID: 19553
@inproceedings{Kurek_2020, series={Lecture Notes in Computer Science}, title={Efficient Forward-Secure Threshold Signatures}, volume={12231}, DOI={10.1007/978-3-030-58208-1\_14}, booktitle={Advances in Information and Computer Security - 15th International Workshop on Security, {IWSEC} 2020, Fukui, Japan, September 2-4, 2020, Proceedings}, publisher={Springer}, author={Kurek, Rafael}, editor={Aoki, Kazumaro and Kanaoka, AkiraEditors}, year={2020}, pages={239–260}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 19561
@inbook{Sellmann_Tierney_2020, place={Cham}, title={Hyper-parameterized Dialectic Search for Non-linear Box-Constrained Optimization with Heterogenous Variable Types}, DOI={10.1007/978-3-030-53552-0_12}, booktitle={Lecture Notes in Computer Science}, author={Sellmann, Meinolf and Tierney, Kevin}, year={2020} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 19606 | 
@inproceedings{Gottschalk_Yigitbas_Schmidt_Engels_2020, place={Cham}, series={Lecture Notes in Computer Science}, title={ProConAR: A Tool Support for Model-based AR Product Configuration}, volume={12481}, DOI={10.1007/978-3-030-64266-2_14}, booktitle={Human-Centered Software Engineering. HCSE 2020}, publisher={Springer}, author={Gottschalk, Sebastian and Yigitbas, Enes and Schmidt, Eugen and Engels, Gregor}, editor={Bernhaupt, Regina and Ardito, Carmelo and Sauer, StefanEditors}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 19656
@inproceedings{Sharma_Wehrheim, series={LNCS}, title={Automatic Fairness Testing of Machine Learning Models}, booktitle={Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)}, publisher={Springer}, author={Sharma, Arnab and Wehrheim, Heike}, collection={LNCS} }
LibreCat
2020 | Dissertation | LibreCat-ID: 19743
@book{Ditter_2020, title={Methodenentwicklung zum Entfügen von Stahl-Klebverbindungen bei tiefen Temperaturen}, author={Ditter, Jan}, year={2020} }
LibreCat
2020 | Conference Paper | LibreCat-ID: 19782
@inproceedings{Müller_Neumann_Gutt_Kundisch_2020, title={Toss a Coin to your Host - How Guests End up Paying for the Cost of Regulatory Policies}, booktitle={Proceedings of the 41th International Conference on Information Systems (ICIS)}, author={Müller, Michelle and Neumann, Jürgen and Gutt, Dominik and Kundisch, Dennis}, year={2020} }
LibreCat
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 | 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 | 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 | 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