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.
36864 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
2020 | Conference Paper | LibreCat-ID: 21392
M. Henkenjohann, R. Joppen, D. Köchling, S. von Enzberg, A. Kühn, and R. Dumitrescu, “Identification and specification of standard modules in production for a material flow simulation,” in Procedia CIRP, Gulf of Naples, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21394
E.-M. Grote, S. Pfeifer, D. Röltgen, A. Kühn, and R. Dumitrescu, “Towards defining role models in Advanced Systems Engineering,” in Proceedings of the 2020 IEEE International Symposium on Systems Engineering, Wien, 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 21395
R. Dumitrescu, C. Tschirner, and M. Bansmann, “Systems Engineering als Grundlage der Gestaltung digitaler Arbeitswelten in der Produktentstehung,” in Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, G. Maier, G. Engels, and E. Steffen, Eds. Springer-Verlag GmbH, 2020, pp. 405–432.
LibreCat
2020 | Book Chapter | LibreCat-ID: 21396
T. Jager and D. Niehues, “On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions,” in Lecture Notes in Computer Science, Cham, 2020.
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 21403
S. Binder and J. Lorenz, “Update zur grunderwerbsteuerlichen Konzernklausel vor dem Hintergrund der jüngsten BFH-Rechtsprechung,” Der Konzern, vol. 18, no. 3, pp. 98–104, 2020.
LibreCat
| Download (ext.)
2020 | Working Paper | LibreCat-ID: 21406 | 
K. Blaufus, M. Chirvi, H.-P. Huber, R. Maiterth, and C. Sureth-Sloane, Tax Misperception and Its Effects on Decision Making - a Literature Review, vol. No. 39. 2020.
LibreCat
| Download (ext.)
2020 | Report | LibreCat-ID: 21407 |
T. Bornemann, A. Schipp, and C. Sureth-Sloane, 2018/2019 Umfrage zur Steuerkomplexität in deutschen Finanzverwaltungen. 2020.
LibreCat
| DOI
| Download (ext.)
2020 | Working Paper | LibreCat-ID: 21409 |
E. Eberhartinger, R. Speitmann, and C. Sureth-Sloane, Real Effects of Public Country-by-Country Reporting and the Firm Structure of European Banks, vol. #2020-01. 2020.
LibreCat
| Download (ext.)
2020 | Working Paper | LibreCat-ID: 21410 |
E. Eberhartinger, R. Speitmann, and C. Sureth-Sloane, How Does Trust Affect Concessionary Behavior in Tax Bargaining?, vol. No. 41. 2020.
LibreCat
| Download (ext.)
2020 | Working Paper | LibreCat-ID: 21411 |
V. Flagmeier, J. Müller, and C. Sureth-Sloane, When Do Firms Highlight Their Effective Tax Rate?, vol. No. 37. 2020.
LibreCat
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 21412
V. Heile, H.-P. Huber, R. Maiterth, and C. Sureth-Sloane, “Steuerliche Maßnahmen als nützliches Mittel zur Bewältigung der Corona-Krise? - Ergebnisse einer Unternehmensbefragung,” Deutsches Steuerrecht, vol. 58, no. 42, pp. 2327–2334, 2020.
LibreCat
2020 | Report | LibreCat-ID: 21414 |
V. Heile, H.-P. Huber, R. Maiterth, and C. Sureth-Sloane, Umfrage: Steuerliche Verwaltungskosten, steuerliche Corona-Soforthilfemaßnahmen und Investitionen in der Krise. 2020.
LibreCat
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 21415
T. Hoppe, “Tax Complexity in Australia – a Survey-Based Comparison to the OECD Average,” Australian Tax Forum, vol. 35, no. 4, pp. 451–475, 2020.
LibreCat
2020 | Working Paper | LibreCat-ID: 21416 |
T. Hoppe, Tax Complexity in Australia - A Survey-Based Comparison to the OECD Average, vol. No. 14. 2020.
LibreCat
| Download (ext.)
2020 | Report | LibreCat-ID: 21417 |
T. Hoppe, D. Schanz, A. Schipp, F. Siegel, S. Sturm, and C. Sureth-Sloane, 2018 Global MNC Tax Complexity Survey. 2020.
LibreCat
| DOI
| Download (ext.)
2020 | Working Paper | LibreCat-ID: 21418 |
T. Hoppe, D. Schanz, S. Sturm, and C. Sureth-Sloane, Measuring Tax Complexity Across Countries: A Survey Study on MNCs, vol. No. 5. 2020.
LibreCat
| Download (ext.)
2020 | Working Paper | LibreCat-ID: 21419 |
T. Hoppe, D. Schanz, S. Sturm, C. Sureth-Sloane, and J. Voget, The Relation between Tax Complexity and Foreign Direct Investments: Evidence Across Countries, vol. No. 13. 2020.
LibreCat
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 21422 |
C. Sureth-Sloane, “Steuerkomplexität als Standortfaktor. So komplex ist das Steuersystem in Deutschland,” AWV-Informationen, no. 5, pp. 16–19, 2020.
LibreCat
| Download (ext.)
2020 | Bachelorsthesis | LibreCat-ID: 21432
L.-S. Henke, Evaluation of a ReconOS-ROS Combination based on a Video Processing Application. 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21438
S. Japs, A. Kharatyan, L. Kaiser, and R. Dumitrescu, “CONSENS 3D: Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation,” in Proceedings of the 16th International Design Conference (DESIGN 2020), Cavtat, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21439
S. Pfeifer, T. Seidenberg, C. Jürgenhake, H. Anacker, and R. Dumitrescu, “Towards a modular product architecture for electric ferries using Model- Based Systems Engineering,” in Procedia Manufacturing, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21440
C. Wiecher, S. Japs, L. Kaiser, J. Greenyer, C. Wolff, and R. Dumitrescu, “Scenarios in the Loop: Integrated Requirements Analysis and Automotive System Validation,” in ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20 Companion), 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21480
A. Anjorin, N. Weidmann, R. Oppermann, L. Fritsche, and A. Schürr, “Automating test schedule generation with domain-specific languages,” in Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020, Virtual Event, Canada, 2020.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21481
N. Weidmann, L. Fritsche, and A. Anjorin, “A search-based and fault-tolerant approach to concurrent model synchronisation,” in Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, Virtual Event, USA, 2020.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21482
N. Weidmann, A. Anjorin, and J. Cheney, “VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems,” in Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 2020, pp. 1–12.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21483
I. Jovanovikj, N. Weidmann, E. Yigitbas, A. Anjorin, S. Sauer, and G. Engels, “A Model-Driven Mutation Framework for Validation of Test Case Migration,” in Proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020 , Bergen, Norway, 2020.
LibreCat
| DOI
2020 | Special Issue | LibreCat-ID: 21486
R. Bernijazov, L. Özcan, and R. Dumitrescu, Eds., AI Marketplace – The Ecosystem for Artificial Intelligence in Product Creation , no. 122. 2020, pp. 36–37.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21522
H. Sapli, T. Heggemann, and W. Homberg, “Combined Curing and Deep Drawing of Fiber Metal Laminates to Spherical Hybrid Components,” presented at the 4th International Conference of Materials and Structures - Hybrid 2020, Karlsruhe, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21534
V. Bengs and E. Hüllermeier, “Preselection Bandits,” in International Conference on Machine Learning, 2020, pp. 778–787.
LibreCat
2020 | Preprint | LibreCat-ID: 21536
V. Bengs and E. Hüllermeier, “Multi-Armed Bandits with Censored Consumption of Resources,” arXiv:2011.00813. 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21541
S. Lange, D. Schroder, C. Hedayat, C. Hangmann, T. Otto, and U. Hilleringmann, “Investigation of the Surface Equivalence Principle on a Metal Surface for a Near-Field to Far-Field Transformation by the NFS3000,” in 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE, Rome, Italy , 2020.
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Book Chapter | LibreCat-ID: 21542
D. Schröder, S. Lange, C. Hangmann, and C. Hedayat, “Far-field prediction combining simulations with near-field measurements for EMI assessment of PCBs,” in Tensorial Analysis of Networks (TAN) Modelling for PCB Signal Integrity and EMC Analysis, 1st ed., Croyton, UK: The Institution of Engineering and Technology (IET), 2020, pp. 315-346 (32).
LibreCat
| Files available
| DOI
| Download (ext.)
2020 | Journal Article | LibreCat-ID: 17331
M. Graf-Schlattmann, D. M. Meister, G. Oevel, and M. Wilde, “Kollektive Veränderungsbereitschaft als zentraler Erfolgsfaktor von Digitalisierungsprozessen an Hochschulen,” Forschungsperspektiven auf Digitalisierung in Hochschulen, Zeitschrift für Hochschulentwicklung, vol. 15, no. 1, 2020.
LibreCat
| Files available
2020 | Journal Article | LibreCat-ID: 17335
U. Hampel et al., “Recent Advances in Experimental Techniques for Flow and Mass Transfer Analyses in Thermal Separation Systems,” Chemie Ingenieur Technik, vol. 92, pp. 926–948, 2020, doi: 10.1002/cite.202000076.
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 17347
F. S. Bäumer, J. Kersting, B. Buff, and M. Geierhos, “Tag Me If You Can: Insights into the Challenges of Supporting Unrestricted P2P News Tagging,” in Information and Software Technologies, vol. 1283, L. Audrius, B. Rita, G. Daina, and S. Vilma, Eds. Springer, 2020, pp. 368--382.
LibreCat
| Files available
| DOI
2020 | Conference Abstract | LibreCat-ID: 17349
M. Grabo, C. Staggenborg, and E. Kenig, “Modellierung und Optimierung makroverkapselter Latentwärmespeicherelemente für ein luftgeführtes Wärmespeichersystem,” presented at the Jahrestreffen der ProcessNet-Fachgruppe Energieverfahrenstechnik, Frankfurt am Main, 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 17352
E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “The Influence of Hydrothermal Aging on the Material Properties of Continuous Fiber-Reinforced Thermoplastics and its Non-Destructive Characterization,” in Advances in Polymer Processing 2020, C. Hopmann and R. Dahlmann, Eds. Berlin, Heidelberg: Springer, 2020.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 17359
C. Alberto Oliveira de Souza Junior, J. Bispo, J. M. P. Cardoso, P. C. Diniz, and E. Marques, “Exploration of FPGA-Based Hardware Designs for QR Decomposition for Solving Stiff ODE Numerical Methods Using the HARP Hybrid Architecture,” Electronics, 2020.
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 17366
J. A. Hoppe et al., “Technologieorientierung zu Assistenzrobotik – Welche Akzeptanz besteht bei der Einführung von Assistenzrobotik für die Pflege älterer Menschen?,” Industrie 4.0 Management, vol. 2.
LibreCat