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 | Journal Article | LibreCat-ID: 21016
Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11 RAR (Artifact). Dagstuhl Artifacts Ser. 2020;6(2):15:1-15:2. doi:10.4230/DARTS.6.2.15
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi S, Doherty S, Dongol B, Wehrheim H. Owicki-Gries Reasoning for C11 RAR. In: Hirschfeld R, Pape T, eds. 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference). Vol 166. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik; 2020:11:1-11:26. doi:10.4230/LIPIcs.ECOOP.2020.11
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
Richter C, Wehrheim H. 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. {IEEE}; 2020:1016-1028.
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt W, Wehrheim H, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol 12165. Springer; 2020. doi:10.1007/978-3-030-50995-8
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 21117
Manegold P. On Batch Proofs of Partial Knowledge.; 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
Anonymous A. Measuring the Performance of SNARK Libraries.; 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
Westerwelle M. Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions.; 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
Anonymous A. Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems.; 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 21268
Huhmann T, Eilterts K, Schulte C, Winkelnkemper F. 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
Ködding P, Reinhold J, Scholtysik M, Dumitrescu R. Consulting via Research in IMPRESS. Journal of Systemics, Cybernetics and Informatics. 2020;18(2):14-19.
LibreCat
2020 | Journal Article | LibreCat-ID: 21281
Drewel M, Özcan L, Koldewey C, Gausemeier J. Pattern‐based development of digital platforms. Creativity and Innovation Management. 2020. doi:10.1111/caim.12415
LibreCat
| DOI
2020 | Mastersthesis | LibreCat-ID: 21324
Chandrakar K. Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis.; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21377
Pierenkemper C, Gausemeier J. Developing Strategies for Digital Transformation in SMEs with Maturity Models. In: Proceeding of the ISPIM Connects. ; 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21379
Dumitrescu R, Drewel M, Falkowski T. KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung. ZWF, Zeitschrift für wirtschaftliche Fabrikplanung. 2020;(1-2):86-90.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21380
Anacker H, Dumitrescu R, Kharatyan A, Lipsmeier A. Pattern based systems engineering – application of solution patterns in the design of intelligent technical systems. In: Proceedings of the Design Society. ; 2020:1195-1204.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21381
Lipsmeier A, Kühn A, Joppen R, Dumitrescu R. Process for the development of a digital strategy. In: Procedia CIRP. ; 2020:173-178.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21382
Japs S, Kharatyan A, Tekaat J, Kaiser L, Dumitrescu R. Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation. In: Proceedings of the Design Society. ; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21383
Jürgenhake C, Anacker H, Dumitrescu R. The digital Stadium – From future scenarios to technology and business model development. In: Proceedings of the IEEE. ; 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21384
Röltgen D, Dumitrescu R. Classification of Industrial Augmented Reality Use Cases. In: Procedia CIRP. ; 2020:93-100.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21385
Hobscheidt D, Kühn A, Dumitrescu R. Development of risk-optimized implementation paths for Industry 4.0 based on socio-technical pattern. In: Procedia CIRP. ; 2020:832–837.
LibreCat