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.
37024 Publications
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi, S., Doherty, S., Dongol, B., & Wehrheim, H. (2020). Owicki-Gries Reasoning for C11 RAR. In R. Hirschfeld & T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference) (Vol. 166, pp. 11:1-11:26). Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2020.11
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
Richter, C., & Wehrheim, H. (2020). 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 (pp. 1016–1028). {IEEE}.
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt, W., & Wehrheim, H. (Eds.). (2020). Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed] (Vol. 12165). Springer. https://doi.org/10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21022
Allgaier, M., Ansari, V., Donohue, J. M., Eigner, C., Quiring, V., Ricken, R., … Silberhorn, C. (2020). Pulse shaping using dispersion-engineered difference frequency generation. Physical Review A, 101. https://doi.org/10.1103/physreva.101.043819
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21024
Ansari, V., Donohue, J. M., Brecht, B., & Silberhorn, C. (2020). Remotely projecting states of photonic temporal modes. Optics Express, 28(19). https://doi.org/10.1364/oe.395593
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 21078
Menke, P. (2020). »ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen. In B. Kluge, W. Mihatsch, & B. Schaller (Eds.), Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag (pp. 225–244). Tübingen: Narr Francke Attempto.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21117
Manegold, P. (2020). On Batch Proofs of Partial Knowledge.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
Anonymous, A. (2020). Measuring the Performance of SNARK Libraries.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
Westerwelle, M. (2020). Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
Anonymous, A. (2020). Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems.
LibreCat
2020 | Journal Article | LibreCat-ID: 21126
Pekkarinen, S., Hennala, L., Tuisku, O., Gustafsson, C., Johansson-Pajala, R.-M., Thommes, K., … Melkas, H. (2020). Care robots in society: Knowledge and orientation needs. Gerontechnology. https://doi.org/10.4017/gt.2020.19.s.69664
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21127
Johansson-Pajala, R.-M., Thommes, K., Hoppe, J. A., Tuisku, O., Hennala, L., Pekkarinen, S., … Gustafsson, C. (2020). The need for care robot orientation in elder care services. Gerontechnology. https://doi.org/10.4017/gt.2020.19.s.69574
LibreCat
| DOI
2020 | Report | LibreCat-ID: 21152
Otroshi, M., Meschut, G., Masendorf, L., & Esderts, A. (2020). Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB).
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 21174
Alexandrovsky, D., Volkmar, G., Spliethöver, M., Finke, S., Herrlich, M., Döring, T., … Malaka, R. (2020). 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 (pp. 32–45). New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/3410404.3414222
LibreCat
| DOI
| Download (ext.)
2020 | Dissertation | LibreCat-ID: 21205
Wolf, V. (2020). Service System Innovation: An Ambidexterity Perspective. Paderborn.
LibreCat
2020 | Dissertation | LibreCat-ID: 21209
Ahlers, D. (2020). Parameter- und Prozessoptimierung für den additiven Fertigungsprozess im Pulverbett am Beispiel der Legierung Ti6Al4V (Vol. 19). Shaker.
LibreCat
2020 | Book Chapter | LibreCat-ID: 21216
Jakob, E. A., & Hansjürgen, L. (2020). Volunteer World GmbH – Schildkrötenretten als Business Case. In E. Lutz & S. Süß (Eds.), Wettbewerbsfähigkeit von Start-ups, Erfolgreiche Düsseldorfer Unternehmen (pp. 91–106). düsseldorf university press. https://doi.org/10.1515/9783110663839-008
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21239
Sahoo, S. K., Heske, J. J., Antonietti, M., Qin, Q., Oschatz, M., & Kühne, T. (2020). Electrochemical N2 Reduction to Ammonia Using Single Au/Fe Atoms Supported on Nitrogen-Doped Porous Carbon. ACS Applied Energy Materials, 3(10), 10061–10069. https://doi.org/10.1021/acsaem.0c01740
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21241
Wiebeler, H., Kormath Madam Raghupathy, R., Mirhosseini, S. H., & Kühne, T. (2020). Virtual screening of nitrogen-, phosphorous- and halide-containing materials as p-type transparent conductors. Journal of Physics: Materials, 4(1), 015004. https://doi.org/10.1088/2515-7639/abc762
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21257
Altenhöner, R., Blümel, I., Boehm, F., Bove, J., Bicher, K., Bracht, C., … Wiermann, B. (2020). NFDI4Culture - Consortium for research data on material and immaterial cultural heritage. Research Ideas and Outcomes. https://doi.org/10.3897/rio.6.e57036
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 21268
Huhmann, T., Eilterts, K., Schulte, C., & Winkelnkemper, F. (2020). 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.
LibreCat
2020 | Journal Article | LibreCat-ID: 21269
Ködding, P., Reinhold, J., Scholtysik, M., & Dumitrescu, R. (2020). Consulting via Research in IMPRESS. Journal of Systemics, Cybernetics and Informatics, 18(2), 14–19.
LibreCat
2020 | Journal Article | LibreCat-ID: 21281
Drewel, M., Özcan, L., Koldewey, C., & Gausemeier, J. (2020). Pattern‐based development of digital platforms. Creativity and Innovation Management. https://doi.org/10.1111/caim.12415
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21282
Mirbabaie, M., Bunker, D., Stieglitz, S., Marx, J., & Ehnis, C. (2020). Social media in times of crisis: Learning from Hurricane Harvey for the coronavirus disease 2019 pandemic response. Journal of Information Technology, 195–213. https://doi.org/10.1177/0268396220929258
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21287
Kaimann, D. (2020). Behind the Review Curtain: Decomposition of Online Consumer Ratings in Peer-to-Peer Markets. Sustainability, 12(15). https://doi.org/10.3390/su12156185
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21306
Stieglitz, S., Wilms, K., Mirbabaie, M., Hofeditz, L., Brenger, B., López, A., & Rehwald, S. (2020). When are researchers willing to share their data? – Impacts of values and uncertainty on open data in higher education. PLOS ONE. https://doi.org/10.1371/journal.pone.0234172
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21315
Hofeditz, L., Mirbabaie, M., & Stieglitz, S. (2020). 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. Wellington, New Zealand.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21316
Mirbabaie, M., Marx, J., Braun, L.-M., & Stieglitz, S. (2020). Digital Detox – Mitigating Digital Overuse in Times of Remote Work and Social Isolation. In Proceedings of the 31st Australasian Conference on Information Systems. Wellington, New Zealand.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21317
Marx, J., Brünker, F., Mirbabaie, M., & Hochstrate, E. (2020). ‘Conspiracy Machines’ - The Role of Social Bots during the COVID-19 ‘Infodemic.’ In Proceedings of the 31st Australasian Conference on Information Systems. Wellington, New Zealand.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21318
Fromm, J., Mirbabaie, M., & Stieglitz, S. (2020). 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. Marrakesh, Morocco.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21319
Mirbabaie, M., Stieglitz, S., & Lambertz, L. (2020). The Usage of Twitter Data for Early Crisis Detection. In Proceedings of the 15th International Conference on Wirtschaftsinformatik. Potsdam, Germany.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21320
Brünker, F., Marx, J., Ross, B., Mirbabaie, M., & Stieglitz, S. (2020). ‘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. Potsdam, Germany.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21321
Fromm, J., Mirbabaie, M., & Stieglitz, S. (2020). 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. Potsdam, Germany.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21322
Brünker, F., Wischnewski, M., Mirbabaie, M., & Meinert, J. (2020). 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.
LibreCat
2020 | Mastersthesis | LibreCat-ID: 21324
Chandrakar, K. (2020). Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21377
Pierenkemper, C., & Gausemeier, J. (2020). Developing Strategies for Digital Transformation in SMEs with Maturity Models. In Proceeding of the ISPIM Connects. Bangkok.
LibreCat
2020 | Journal Article | LibreCat-ID: 21379
Dumitrescu, R., Drewel, M., & Falkowski, T. (2020). KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung. ZWF, Zeitschrift für wirtschaftliche Fabrikplanung, (1–2), 86–90.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21380
Anacker, H., Dumitrescu, R., Kharatyan, A., & Lipsmeier, A. (2020). Pattern based systems engineering – application of solution patterns in the design of intelligent technical systems. In Proceedings of the Design Society (pp. 1195–1204). Cavtat.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21381
Lipsmeier, A., Kühn, A., Joppen, R., & Dumitrescu, R. (2020). Process for the development of a digital strategy. In Procedia CIRP (pp. 173–178).
LibreCat
2020 | Conference Paper | LibreCat-ID: 21382
Japs, S., Kharatyan, A., Tekaat, J., Kaiser, L., & Dumitrescu, R. (2020). Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation. In Proceedings of the Design Society. Cavtat.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21383
Jürgenhake, C., Anacker, H., & Dumitrescu, R. (2020). The digital Stadium – From future scenarios to technology and business model development. In Proceedings of the IEEE. Dortmund.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21384
Röltgen, D., & Dumitrescu, R. (2020). Classification of Industrial Augmented Reality Use Cases. In Procedia CIRP (pp. 93–100).
LibreCat
2020 | Conference Paper | LibreCat-ID: 21385
Hobscheidt, D., Kühn, A., & Dumitrescu, R. (2020). Development of risk-optimized implementation paths for Industry 4.0 based on socio-technical pattern. In Procedia CIRP (pp. 832–837).
LibreCat
2020 | Conference Paper | LibreCat-ID: 21386
Wortmann, F., Ellermann, K., Kühn, A., & Dumitrescu, R. (2020). Ideation for digital platforms based on a companies‘ ecosystem. In Procedia CIRP (pp. 559–564).
LibreCat
2020 | Conference Paper | LibreCat-ID: 21387
Dyck, F., Stöcklein, J., Eckertz, D., & Dumitrescu, R. (2020). Mixed Mock-up – Development of an Interactive Augmented Reality System for Assembly Planning. In Virtual, Augmented and Mixed Reality. Design and Interaction (pp. 37–49). Copenhagen.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21388
Bretz, L., Koenemann, U., Anacker, H., & Dumitrescu, R. (2020). A contribution to the design of organizational structures suitable for Systems Engineering. In Procedia CIRP (pp. 101–106).
LibreCat
2020 | Conference Paper | LibreCat-ID: 21389
Hillebrand, M., Greinert, M., Herzog, O., & Dumitrescu, R. (2020). Advanced Monkey Testing for connected autonomous systems. In Proceedings of the 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE) (pp. 163–168). Budapest.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21390
Hillebrand, M., Lakhani, M., & Dumitrescu, R. (2020). A design methodology for deep reinforcement learning for autonomous Systems. In Procedia Manufacturing 52 (pp. 266–271). https://doi.org/10.1016/j.promfg.2020.11.044
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 21391
Reinhart, F., von Enzberg, S., Kühn, A., & Dumitrescu, R. (2020). Machine Learning for Process-X: A Taxonomy. In J. Beyerer, A. Maier, & O. Niggemann (Eds.), Machine Learning for Cyber Physical Systems. Technologien für die intelligente Automation (Technologies for Intelligent Automation) (Vol. 11, pp. 25–33). Springer Vieweg, Berlin, Heidelberg.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21392
Henkenjohann, M., Joppen, R., Köchling, D., von Enzberg, S., Kühn, A., & Dumitrescu, R. (2020). Identification and specification of standard modules in production for a material flow simulation. In Procedia CIRP. Gulf of Naples.
LibreCat