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.
9737 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 | 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 | 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 | 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