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, Sadegh, Simon Doherty, Brijesh Dongol, and Heike Wehrheim. “Owicki-Gries Reasoning for C11 RAR (Artifact).” Dagstuhl Artifacts Ser. 6, no. 2 (2020): 15:1-15:2. https://doi.org/10.4230/DARTS.6.2.15.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi, Sadegh, Simon Doherty, Brijesh Dongol, and Heike 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), edited by Robert Hirschfeld and Tobias Pape, 166:11:1-11:26. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020. https://doi.org/10.4230/LIPIcs.ECOOP.2020.11.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
Richter, Cedric, and Heike 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, 1016–28. {IEEE}, 2020.
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt, Wolfgang, and Heike Wehrheim, eds. Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [Postponed]. Vol. 12165. Lecture Notes in Computer Science. Springer, 2020. https://doi.org/10.1007/978-3-030-50995-8.
LibreCat
| DOI
2020 | Bachelorsthesis | LibreCat-ID: 21117
Manegold, Philipp. On Batch Proofs of Partial Knowledge, 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
Anonymous, Anonymous. Measuring the Performance of SNARK Libraries, 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
Westerwelle, Max. Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions, 2020.
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
Anonymous, Anonymous. Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems, 2020.
LibreCat
2020 | Book Chapter | LibreCat-ID: 21268
Huhmann, Tobias, Katja Eilterts, Carsten Schulte, and Felix 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
Ködding, Patrick, Jannik Reinhold, Michel Scholtysik, and Roman Dumitrescu. “Consulting via Research in IMPRESS.” Journal of Systemics, Cybernetics and Informatics 18, no. 2 (2020): 14–19.
LibreCat
2020 | Journal Article | LibreCat-ID: 21281
Drewel, Marvin, Leon Özcan, Christian Koldewey, and Jürgen Gausemeier. “Pattern‐based Development of Digital Platforms.” Creativity and Innovation Management, 2020. https://doi.org/10.1111/caim.12415.
LibreCat
| DOI
2020 | Mastersthesis | LibreCat-ID: 21324
Chandrakar, Khushboo. Comparison of Feature Selection Techniques to Improve Approximate Circuit Synthesis, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21377
Pierenkemper, Christoph, and Jürgen Gausemeier. “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, Roman, Marvin Drewel, and Tommy Falkowski. “KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung.” ZWF, Zeitschrift für wirtschaftliche Fabrikplanung, no. 1–2 (2020): 86–90.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21380
Anacker, Harald, Roman Dumitrescu, Aschot Kharatyan, and Andre Lipsmeier. “Pattern Based Systems Engineering – Application of Solution Patterns in the Design of Intelligent Technical Systems.” In Proceedings of the Design Society, 1195–1204, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21381
Lipsmeier, Andre, Arno Kühn, Robert Joppen, and Roman Dumitrescu. “Process for the Development of a Digital Strategy.” In Procedia CIRP, 173–78, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21382
Japs, Segej, Aschot Kharatyan, Julian Tekaat, Lydia Kaiser, and Roman Dumitrescu. “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, Christoph, Harald Anacker, and Roman Dumitrescu. “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, Daniel, and Roman Dumitrescu. “Classification of Industrial Augmented Reality Use Cases.” In Procedia CIRP, 93–100, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21385
Hobscheidt, Daniela, Arno Kühn, and Roman Dumitrescu. “Development of Risk-Optimized Implementation Paths for Industry 4.0 Based on Socio-Technical Pattern.” In Procedia CIRP, 832–837, 2020.
LibreCat