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.

13109 Publications

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.\_3
LibreCat | DOI

2020 | Journal Article | LibreCat-ID: 20279
Sharma, A., & Wehrheim, H. (2020). Testing Monotonicity of Machine Learning Models. CoRR, abs/2002.12278.

2020 | Conference Paper | LibreCat-ID: 20301
Günter, H., & Meschut, G. (2020). Joining of high-strength steel grades in lightweight structures using single-stage resistance element welding on conventional resistance spot welding machines. In 73rd IIW Annual Assembly and International Conference.

2020 | Conference Paper | LibreCat-ID: 20306
Tornede, A., Wever, M. D., & Hüllermeier, E. (2020). Towards Meta-Algorithm Selection. In Workshop MetaLearn 2020 @ NeurIPS 2020. Online.

2020 | Book | LibreCat-ID: 20318
Göddecke, J., Meschut, G., Gude, M., Lieberwirth, H., Tekkaya, E., Zaeh, M., … Grohmann, S. (2020). FOREL-Wegweiser: Handlungsempfehlungen für den ressourceneffizienten Leichtbau . Plattform FOREL.

2020 | Conference Paper | LibreCat-ID: 16898
Lass, M., Schade, R., Kühne, T., & Plessl, C. (2020). A Submatrix-Based Method for Approximate Matrix Function Evaluation in the Quantum Chemistry Code CP2K. In Proc. International Conference for High Performance Computing, Networking, Storage and Analysis (SC) (pp. 1127–1140). Los Alamitos, CA, USA: IEEE Computer Society.
LibreCat | DOI | arXiv

2020 | Conference Paper | LibreCat-ID: 20440
Klingler, F., Hauptmeier, F., Sommer, C., & Dressler, F. (2020). An Open Source Approach to Field Testing of WLAN up to IEEE 802.11ad at 60 GHz Using Commodity Hardware. In 39th IEEE International Conference on Computer Communications (INFOCOM 2020), Poster Session. Virtual Conference: IEEE.
LibreCat | DOI

2020 | Journal Article | LibreCat-ID: 19866
Meyer, M., Frank, M., Massmann, M., & Dumitrescu, R. (2020). Research and Consulting in Data-Driven Strategic Product Planning. Journal of Systemics, Cybernetics and Informatics, 18(2), 55–61.

2020 | Journal Article | LibreCat-ID: 15744
Liêu, M. L., & Pelster, M. (2020). Framing and the disposition effect in a scopic regime. The Quarterly Review of Economics and Finance, 78, 175–185.
LibreCat | DOI

2020 | Mastersthesis | LibreCat-ID: 20495
Jochmaring, M. (2020). A self stabilizing protocol for well-formed trees in hybrid networks.

2020 | Conference Paper | LibreCat-ID: 20510
Benz, M., Krogh Kristensen, E., Luo, L., P. Borges Jr., N., Bodden, E., & Zeller, A. (2020). Heaps’n Leaks: How Heap Snapshots Improve Android Taint Analysis. In International Conference for Software Engineering (ICSE).

2020 | Journal Article | LibreCat-ID: 20508
Nguyen Quang Do, L., & Bodden, E. (2020). Explaining Static Analysis with Rule Graphs. IEEE Transactions on Software Engineering.
LibreCat | Download (ext.)

2020 | Book Chapter | LibreCat-ID: 20515
Gräßler, I., Bodden, E., Pottebaum, J., Geismann, J., & Roesmann, D. (2020). Security-Oriented Fault-Tolerance in Systems Engineering: A Conceptual Threat Modelling Approach for Cyber-Physical Production Systems. In Advances in Intelligent Systems and Computing. Cham.
LibreCat | DOI | Download (ext.)

2020 | Journal Article | LibreCat-ID: 20363
Koldewey, C., Frank, M., Gausemeier, J., Bäsecke, A., Reinhold, J., & Dumitrescu, R. (2020). Systematische Entwicklung von Normstrategien für Smart Services. ZWF Zeitschrift für wirtschaftliche Fabrikplanung, 115(7–8), 524–528.
LibreCat | DOI

2020 | Conference Paper | LibreCat-ID: 20647
Aßmuth, V., Teutenberg, D., Meschut, G., Stepanov, S., Stalling, A., Ihde, J., & Mayer, B. (2020). Offenzeit plasmaaktivierter Polymeroberflächen für robuste klebtechnische Prozesse – OffPlas. In DECHEMA Gesellschaft für Chemische Technik und Biotechnologie e.V. (Ed.), 20. Kolloquium Gemeinsame Forschung in der Klebtechnik (pp. 97–98). Würzburg.

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.
LibreCat | DOI | arXiv

2020 | Conference Paper | LibreCat-ID: 20680
Kappe, F., Wituschek, S., Lechner, M., Bobbert, M., Meschut, G., & Merklein, M. (2020). Investigation of influencing parameters on the joint formation of the self-piercing riveting process. Presented at the Material Science and Engineering Congress - MSE 2020, Darmstadt .

2020 | Conference Paper | LibreCat-ID: 20116
Nouri, Z., Wachsmuth, H., & Engels, G. (n.d.). Mining Crowdsourcing Problems from Discussion Forums of Workers. In Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics (pp. 6264–6276). Barcelona, Spain.
LibreCat | Files available

2020 | Journal Article | LibreCat-ID: 16297
Hernández Castellanos, C. I., Ober-Blöbaum, S., & Peitz, S. (2020). Explicit Multi-objective Model Predictive Control for Nonlinear Systems  Under Uncertainty. International Journal of Robust and Nonlinear Control, 30(17), 7593–7618.
LibreCat | DOI

2020 | Journal Article | LibreCat-ID: 17322
Mukherjee, A., Widhalm, A., Siebert, D., Krehs, S., Sharma, N., Thiede, A., … Zrenner, A. (2020). Electrically controlled rapid adiabatic passage in a single quantum dot. Applied Physics Letters, 116, 251103.
LibreCat | Files available | DOI

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: APA

Export / Embed