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.
7525 Publications
2020 | Conference Paper | LibreCat-ID: 19553
R. Kurek, “Efficient Forward-Secure Threshold Signatures,” in Advances in Information and Computer Security - 15th International Workshop on Security, {IWSEC} 2020, Fukui, Japan, September 2-4, 2020, Proceedings, 2020, vol. 12231, pp. 239–260.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 19606 | 
S. Gottschalk, E. Yigitbas, E. Schmidt, and G. Engels, “ProConAR: A Tool Support for Model-based AR Product Configuration,” in Human-Centered Software Engineering. HCSE 2020, Eindhoven, 2020, vol. 12481.
LibreCat
| Files available
| DOI
2020 | Conference Paper | LibreCat-ID: 19656
A. Sharma and H. Wehrheim, “Automatic Fairness Testing of Machine Learning Models,” in Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS).
LibreCat
2020 | Dissertation | LibreCat-ID: 19743
J. Ditter, Methodenentwicklung zum Entfügen von Stahl-Klebverbindungen bei tiefen Temperaturen. 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19782
M. Müller, J. Neumann, D. Gutt, and D. Kundisch, “Toss a Coin to your Host - How Guests End up Paying for the Cost of Regulatory Policies,” in Proceedings of the 41th International Conference on Information Systems (ICIS), Virtual Conference/Workshop, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 19899
J. Castenow, P. Kling, T. Knollmann, and F. Meyer auf der Heide, “A Discrete and Continuous Study of the Max-Chain-Formation Problem – Slow Down to Speed Up,” 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. 65–80.
LibreCat
| DOI
| arXiv
2020 | Bachelorsthesis | LibreCat-ID: 19999
S. Mayer, Optimierung von JMCTest beim Testen von Inter Method Contracts. Universität Paderborn, 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 20123
B. Herzig, A. Martin, and T.-M. Klar, “Mobile Medien – Medienpädagogische und technische Grundlagen, Potential für den Deutschunterricht und Beispiele.,” in Deutsch Digital. Band 1 Theorie (2. Aufl.), J. Knopf and U. Abraham, Eds. 2020, pp. 108–135.
LibreCat
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: 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 | 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: 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