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.

9783 Publications


2020 | Journal Article | LibreCat-ID: 24029 LibreCat | Files available | DOI
 

2020 | Conference Paper | LibreCat-ID: 24030
Design and Fabrication of Barker Coded Surface Acoustic Wave (SAW) Correlator at 2.45 GHz for Low-Power Wake-up Receivers
S. Ballandras, S. Abughannam, E. Courjon, C. Scheytt, in: GeMiC 2020 - German Microwave Conference, 2020.
LibreCat | Files available
 

2020 | Conference Paper | LibreCat-ID: 3583
Optimal and Greedy Heuristic Approaches for Scheduling and Mapping of Hardware Tasks to Reconfigurable Computing Devices
Z. Guetttatfi, P. Kaufmann, M. Platzner, in: Proceedings of the International Workshop on Applied Reconfigurable Computing (ARC), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 3800
Intrinsic Quality Assessment of Arguments
H. Wachsmuth, T. Werner, in: Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics, 2020, pp. 6739–6745.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 3878
Analyzing the Persuasive Effect of Style in News Editorial Argumentation
R. El Baff, H. Wachsmuth, K. Al-Khatib, B. Stein, in: J. Tsujii, J. Hajic (Eds.), Proceedings of 58th Annual Meeting of the Association for Computational Linguistics, 2020, pp. 553–564.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 29045 | OA
Der digitale Fußabdruck, Schatten oder Zwilling von Maschinen und Menschen
G. Engels, Gruppe. Interaktion. Organisation. Zeitschrift für Angewandte Organisationspsychologie (GIO) (2020) 363–370.
LibreCat | DOI | Download (ext.)
 

2020 | Journal Article | LibreCat-ID: 21016
Owicki-Gries Reasoning for C11 RAR (Artifact)
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, Dagstuhl Artifacts Ser. 6 (2020) 15:1-15:2.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21017
Owicki-Gries Reasoning for C11 RAR
S. Dalvandi, S. Doherty, B. Dongol, H. Wehrheim, in: R. Hirschfeld, T. Pape (Eds.), 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020, pp. 11:1-11:26.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21018
Attend and Represent: A Novel View on Algorithm Selection for Software Verification
C. Richter, H. Wehrheim, in: 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–1028.
LibreCat
 

2020 | Conference (Editor) | LibreCat-ID: 21019
Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]
W. Ahrendt, H. Wehrheim, eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed], Springer, 2020.
LibreCat | DOI
 

2020 | Bachelorsthesis | LibreCat-ID: 21117
On Batch Proofs of Partial Knowledge
P. Manegold, On Batch Proofs of Partial Knowledge, 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21118
Measuring the Performance of SNARK Libraries
A. Anonymous, Measuring the Performance of SNARK Libraries, 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21119
Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21121
Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 21268
Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken
T. Huhmann, K. Eilterts, C. Schulte, F. Winkelnkemper, in: Digitales Lernen in der Grundschule II: Aktuelle Trends in Forschung und Praxis, Waxmann Verlag, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 21269
Consulting via Research in IMPRESS
P. Ködding, J. Reinhold, M. Scholtysik, R. Dumitrescu, Journal of Systemics, Cybernetics and Informatics 18 (2020) 14–19.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 21281
Pattern‐based development of digital platforms
M. Drewel, L. Özcan, C. Koldewey, J. Gausemeier, Creativity and Innovation Management (2020).
LibreCat | DOI
 

2020 | Mastersthesis | LibreCat-ID: 21324
Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis
K. Chandrakar, Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21377
Developing Strategies for Digital Transformation in SMEs with Maturity Models
C. Pierenkemper, J. Gausemeier, in: Proceeding of the ISPIM Connects, 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 21379
KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung
R. Dumitrescu, M. Drewel, T. Falkowski, ZWF, Zeitschrift für wirtschaftliche Fabrikplanung (2020) 86–90.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21380
Pattern based systems engineering – application of solution patterns in the design of intelligent technical systems
H. Anacker, R. Dumitrescu, A. Kharatyan, A. Lipsmeier, in: Proceedings of the Design Society, 2020, pp. 1195–1204.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21381
Process for the development of a digital strategy
A. Lipsmeier, A. Kühn, R. Joppen, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 173–178.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21382
Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation
S. Japs, A. Kharatyan, J. Tekaat, L. Kaiser, R. Dumitrescu, in: Proceedings of the Design Society, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21383
The digital Stadium – From future scenarios to technology and business model development
C. Jürgenhake, H. Anacker, R. Dumitrescu, in: Proceedings of the IEEE, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21384
Classification of Industrial Augmented Reality Use Cases
D. Röltgen, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 93–100.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21385
Development of risk-optimized implementation paths for Industry 4.0 based on socio-technical pattern
D. Hobscheidt, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 832–837.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21386
Ideation for digital platforms based on a companies‘ ecosystem
F. Wortmann, K. Ellermann, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 559–564.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21387
Mixed Mock-up – Development of an Interactive Augmented Reality System for Assembly Planning
F. Dyck, J. Stöcklein, D. Eckertz, R. Dumitrescu, in: Virtual, Augmented and Mixed Reality. Design and Interaction , 2020, pp. 37–49.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21388
A contribution to the design of organizational structures suitable for Systems Engineering
L. Bretz, U. Koenemann, H. Anacker, R. Dumitrescu, in: Procedia CIRP, 2020, pp. 101–106.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21389
Advanced Monkey Testing for connected autonomous systems
M. Hillebrand, M. Greinert, O. Herzog, R. Dumitrescu, in: Proceedings of the 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE), 2020, pp. 163–168.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21390
A design methodology for deep reinforcement learning for autonomous Systems
M. Hillebrand, M. Lakhani, R. Dumitrescu, in: Procedia Manufacturing 52, 2020, pp. 266–271.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 21391
Machine Learning for Process-X: A Taxonomy
F. Reinhart, S. von Enzberg, A. Kühn, R. Dumitrescu, in: J. Beyerer, A. Maier, O. Niggemann (Eds.), Machine Learning for Cyber Physical Systems. Technologien Für Die Intelligente Automation (Technologies for Intelligent Automation), Springer Vieweg, Berlin, Heidelberg, 2020, pp. 25–33.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21392
Identification and specification of standard modules in production for a material flow simulation
M. Henkenjohann, R. Joppen, D. Köchling, S. von Enzberg, A. Kühn, R. Dumitrescu, in: Procedia CIRP, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21394
Towards defining role models in Advanced Systems Engineering
E.-M. Grote, S. Pfeifer, D. Röltgen, A. Kühn, R. Dumitrescu, in: Proceedings of the 2020 IEEE International Symposium on Systems Engineering, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 21395
Systems Engineering als Grundlage der Gestaltung digitaler Arbeitswelten in der Produktentstehung
R. Dumitrescu, C. Tschirner, M. Bansmann, in: G. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung digitaler und vernetzter Arbeitswelten, Springer-Verlag GmbH, 2020, pp. 405–432.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 21396
On the Real-World Instantiability of Admissible Hash Functions and Efficient Verifiable Random Functions
T. Jager, D. Niehues, in: Lecture Notes in Computer Science, Cham, 2020.
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Bachelorsthesis | LibreCat-ID: 21432
Evaluation of a ReconOS-ROS Combination based on a Video Processing Application
L.-S. Henke, Evaluation of a ReconOS-ROS Combination Based on a Video Processing Application, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21438
CONSENS 3D: Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation
S. Japs, A. Kharatyan, L. Kaiser, R. Dumitrescu, in: Proceedings of the 16th International Design Conference (DESIGN 2020), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21439
Towards a modular product architecture for electric ferries using Model- Based Systems Engineering
S. Pfeifer, T. Seidenberg, C. Jürgenhake, H. Anacker, R. Dumitrescu, in: Procedia Manufacturing, 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21440
Scenarios in the Loop: Integrated Requirements Analysis and Automotive System Validation
C. Wiecher, S. Japs, L. Kaiser, J. Greenyer, C. Wolff, R. Dumitrescu, in: ACM/IEEE 23rd  International Conference on Model Driven Engineering Languages and Systems  (MODELS ’20 Companion), 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21441
Verification of Mathematical Model for Upper Limb Spasticity with Clinical Data
J. Yee, C.Y. Low, P. Ong, W. Soh, F.A. Hannapiah, N. Zakaria, S. von Enzberg, L. Asmar, R. Dumitrescu, in: IOP Conference Series: Materials Science and Engineering, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21480
Automating test schedule generation with domain-specific languages
A. Anjorin, N. Weidmann, R. Oppermann, L. Fritsche, A. Schürr, in: E. Syriani, H. Sahraoui, J. de Lara, S. Abrahao (Eds.), Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020, ACM, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21481
A search-based and fault-tolerant approach to concurrent model synchronisation
N. Weidmann, L. Fritsche, A. Anjorin, in: R. Lämmel, L. Tratt, J. de Lara (Eds.), Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020, ACM, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21482
VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems
N. Weidmann, A. Anjorin, J. Cheney, in: B. Hoffmann, M. Minas (Eds.), Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, EPTCS, 2020, pp. 1–12.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21483
A Model-Driven Mutation Framework for Validation of Test Case Migration
I. Jovanovikj, N. Weidmann, E. Yigitbas, A. Anjorin, S. Sauer, G. Engels, in: Ö. Babur, J. Denil, B. Vogel-Heuser (Eds.), Proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020 , Springer, Cham, 2020.
LibreCat | DOI
 

2020 | Special Issue | LibreCat-ID: 21486
AI Marketplace – The Ecosystem for Artificial Intelligence in Product Creation
R. Bernijazov, L. Özcan, R. Dumitrescu, eds., AI Marketplace – The Ecosystem for Artificial Intelligence in Product Creation , 2020.
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21534
Preselection Bandits
V. Bengs, E. Hüllermeier, in: International Conference on Machine Learning, 2020, pp. 778–787.
LibreCat
 

2020 | Preprint | LibreCat-ID: 21536
Multi-Armed Bandits with Censored Consumption of Resources
V. Bengs, E. Hüllermeier, ArXiv:2011.00813 (2020).
LibreCat
 

2020 | Conference Paper | LibreCat-ID: 21541
Investigation of the Surface Equivalence Principle on a Metal Surface for a Near-Field to Far-Field Transformation by the NFS3000
S. Lange, D. Schroder, C. Hedayat, C. Hangmann, T. Otto, U. Hilleringmann, in: 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE, IEEE, 2020.
LibreCat | Files available | DOI | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 21584
Adaptable Realization of Industrial Analytics Functions on Edge-Devices using Reconfigurable Architectures
C.P. Gatica, M. Platzner, in: Machine Learning for Cyber Physical Systems (ML4CPS 2017), Berlin, Heidelberg, 2020.
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Export / Embed