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.
37002 Publications
2020 | Conference Paper | LibreCat-ID: 21017
S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning for C11 RAR,” in 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), 2020, vol. 166, pp. 11:1-11:26.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
C. Richter and H. Wehrheim, “Attend and Represent: A Novel View on Algorithm Selection for Software Verification,” in 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, 2020, pp. 1016–1028.
LibreCat
2020 | Book Chapter | LibreCat-ID: 21078
P. Menke, “»ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen,” in Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag, B. Kluge, W. Mihatsch, and B. Schaller, Eds. Tübingen: Narr Francke Attempto, 2020, pp. 225–244.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21117
P. Manegold, On Batch Proofs of Partial Knowledge. 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
A. Anonymous, Measuring the Performance of SNARK Libraries. 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions. 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems. 2020.
LibreCat
2020 | Report | LibreCat-ID: 21152
M. Otroshi, G. Meschut, L. Masendorf, and A. Esderts, Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB), 2020.
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 21174
D. Alexandrovsky et al., “Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy,” in Proceedings of the Annual Symposium on Computer-Human Interaction in Play, 2020, pp. 32–45.
LibreCat
| DOI
| Download (ext.)
2020 | Dissertation | LibreCat-ID: 21205
V. Wolf, Service System Innovation: An Ambidexterity Perspective. Paderborn, 2020.
LibreCat
2020 | Dissertation | LibreCat-ID: 21209
D. Ahlers, Parameter- und Prozessoptimierung für den additiven Fertigungsprozess im Pulverbett am Beispiel der Legierung Ti6Al4V , vol. 19. Shaker, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21239
S. K. Sahoo, J. J. Heske, M. Antonietti, Q. Qin, M. Oschatz, and T. Kühne, “Electrochemical N2 Reduction to Ammonia Using Single Au/Fe Atoms Supported on Nitrogen-Doped Porous Carbon,” ACS Applied Energy Materials, vol. 3, no. 10, pp. 10061–10069, 2020.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21241
H. Wiebeler, R. Kormath Madam Raghupathy, S. H. Mirhosseini, and T. Kühne, “Virtual screening of nitrogen-, phosphorous- and halide-containing materials as p-type transparent conductors,” Journal of Physics: Materials, vol. 4, no. 1, p. 015004, 2020.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 21268
T. Huhmann, K. Eilterts, C. Schulte, and F. Winkelnkemper, “Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken,” in Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis, Waxmann Verlag, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21269
P. Ködding, J. Reinhold, M. Scholtysik, and R. Dumitrescu, “Consulting via Research in IMPRESS,” Journal of Systemics, Cybernetics and Informatics, vol. 18, no. 2, pp. 14–19, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21315
L. Hofeditz, M. Mirbabaie, and S. Stieglitz, “Virtually Extended Coworking Spaces – The Reinforcement of Social Proximity, Motivation and Knowledge Sharing Through ICT,” in Proceedings of the 31st Australasian Conference on Information Systems, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21316
M. Mirbabaie, J. Marx, L.-M. Braun, and S. Stieglitz, “Digital Detox – Mitigating Digital Overuse in Times of Remote Work and Social Isolation,” in Proceedings of the 31st Australasian Conference on Information Systems, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21317
J. Marx, F. Brünker, M. Mirbabaie, and E. Hochstrate, “‘Conspiracy Machines’ - The Role of Social Bots during the COVID-19 ‘Infodemic,’” in Proceedings of the 31st Australasian Conference on Information Systems, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21318
J. Fromm, M. Mirbabaie, and S. Stieglitz, “A Systematic Review of Empirical Affordance Studies: Recommendations for Affordance Research in Information Systems,” in Proceedings of the Twenty-Eight European Conference on Information Systems, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21319
M. Mirbabaie, S. Stieglitz, and L. Lambertz, “The Usage of Twitter Data for Early Crisis Detection,” in Proceedings of the 15th International Conference on Wirtschaftsinformatik, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21320
F. Brünker, J. Marx, B. Ross, M. Mirbabaie, and S. Stieglitz, “‘The Tireless Selling-Machine’ – Commercial Deployment of Social Bots during Black Friday Season on Twitter,” in Proceedings of the 15. Internationaler Kongress Für Wirtschaftsinformatik, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21321
J. Fromm, M. Mirbabaie, and S. Stieglitz, “The Effects of Virtual Reality Affordances and Constraints on Negative Group Effects during Brainstorming Sessions,” in Proceedings of the 15. Internationaler Kongress Für Wirtschaftsinformatik, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21322
F. Brünker, M. Wischnewski, M. Mirbabaie, and J. Meinert, “The Role of Social Media during Social Movements – Observations from the #metoo Debate on Twitter,” in Proceedings of the 51nd Hawaii International Conference on System Sciences, 2020.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 21324
K. Chandrakar, Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis. 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21377
C. Pierenkemper and J. Gausemeier, “Developing Strategies for Digital Transformation in SMEs with Maturity Models,” in Proceeding of the ISPIM Connects, Bangkok, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21379
R. Dumitrescu, M. Drewel, and T. Falkowski, “KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung,” ZWF, Zeitschrift für wirtschaftliche Fabrikplanung, no. 1–2, pp. 86–90, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21380
H. Anacker, R. Dumitrescu, A. Kharatyan, and A. Lipsmeier, “Pattern based systems engineering – application of solution patterns in the design of intelligent technical systems,” in Proceedings of the Design Society, Cavtat, 2020, pp. 1195–1204.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21381
A. Lipsmeier, A. Kühn, R. Joppen, and R. Dumitrescu, “Process for the development of a digital strategy,” in Procedia CIRP, 2020, no. 88, pp. 173–178.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21382
S. Japs, A. Kharatyan, J. Tekaat, L. Kaiser, and R. Dumitrescu, “Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation,” in Proceedings of the Design Society, Cavtat, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21383
C. Jürgenhake, H. Anacker, and R. Dumitrescu, “The digital Stadium – From future scenarios to technology and business model development,” in Proceedings of the IEEE, Dortmund, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21384
D. Röltgen and R. Dumitrescu, “Classification of Industrial Augmented Reality Use Cases,” in Procedia CIRP, 2020, no. 91, pp. 93–100.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21385
D. Hobscheidt, A. Kühn, and R. Dumitrescu, “Development of risk-optimized implementation paths for Industry 4.0 based on socio-technical pattern,” in Procedia CIRP, 2020, no. 91, pp. 832–837.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21386
F. Wortmann, K. Ellermann, A. Kühn, and R. Dumitrescu, “Ideation for digital platforms based on a companies‘ ecosystem,” in Procedia CIRP, 2020, no. 91, pp. 559–564.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21387
F. Dyck, J. Stöcklein, D. Eckertz, and R. Dumitrescu, “Mixed Mock-up – Development of an Interactive Augmented Reality System for Assembly Planning,” in Virtual, Augmented and Mixed Reality. Design and Interaction , Copenhagen, 2020, pp. 37–49.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21388
L. Bretz, U. Koenemann, H. Anacker, and R. Dumitrescu, “A contribution to the design of organizational structures suitable for Systems Engineering,” in Procedia CIRP, 2020, no. 91, pp. 101–106.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21389
M. Hillebrand, M. Greinert, O. Herzog, and R. Dumitrescu, “Advanced Monkey Testing for connected autonomous systems,” in Proceedings of the 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), Budapest, 2020, pp. 163–168.
LibreCat
2020 | Book Chapter | LibreCat-ID: 21391
F. Reinhart, S. von Enzberg, A. Kühn, and R. Dumitrescu, “Machine Learning for Process-X: A Taxonomy,” in Machine Learning for Cyber Physical Systems. Technologien für die intelligente Automation (Technologies for Intelligent Automation), vol. 11, J. Beyerer, A. Maier, and O. Niggemann, Eds. Springer Vieweg, Berlin, Heidelberg, 2020, pp. 25–33.
LibreCat