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