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.

5786 Publications


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
 

Filters and Search Terms

department=7

Search

Filter Publications

Display / Sort

Export / Embed