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, et al. “Owicki-Gries Reasoning for C11 RAR (Artifact).” Dagstuhl Artifacts Ser., vol. 6, no. 2, 2020, pp. 15:1-15:2, doi:10.4230/DARTS.6.2.15.
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
Dalvandi, Sadegh, et al. “Owicki-Gries Reasoning for C11 RAR.” 34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), edited by Robert Hirschfeld and Tobias Pape, vol. 166, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, 2020, pp. 11:1-11:26, doi: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.” 35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020, {IEEE}, 2020, pp. 1016–28.
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
Ahrendt, Wolfgang, and Heike Wehrheim, editors. 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, 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, et al. “Der Darstellungsflüchtigkeit im Geometrieunterricht durch digitale Unterstützung entgegenwirken.” 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, et al. “Consulting via Research in IMPRESS.” Journal of Systemics, Cybernetics and Informatics, vol. 18, no. 2, 2020, pp. 14–19.
LibreCat
2020 | Journal Article | LibreCat-ID: 21281
Drewel, Marvin, et al. “Pattern‐based Development of Digital Platforms.” Creativity and Innovation Management, 2020, doi: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.” Proceeding of the ISPIM Connects, 2020.
LibreCat
2020 | Journal Article | LibreCat-ID: 21379
Dumitrescu, Roman, et al. “KI-Marktplatz: Das Ökosystem für Künstliche Intelligenz in der Produktentstehung.” ZWF, Zeitschrift für wirtschaftliche Fabrikplanung, no. 1–2, 2020, pp. 86–90.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21380
Anacker, Harald, et al. “Pattern Based Systems Engineering – Application of Solution Patterns in the Design of Intelligent Technical Systems.” Proceedings of the Design Society, 2020, pp. 1195–204.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21381
Lipsmeier, Andre, et al. “Process for the Development of a Digital Strategy.” Procedia CIRP, no. 88, 2020, pp. 173–78.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21382
Japs, Segej, et al. “Method for 3D-Environment Driven Domain Knowledge Elicitaion and System Model Generation.” Proceedings of the Design Society, 2020.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21383
Jürgenhake, Christoph, et al. “The Digital Stadium – From Future Scenarios to Technology and Business Model Development.” 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.” Procedia CIRP, no. 91, 2020, pp. 93–100.
LibreCat
2020 | Conference Paper | LibreCat-ID: 21385
Hobscheidt, Daniela, et al. “Development of Risk-Optimized Implementation Paths for Industry 4.0 Based on Socio-Technical Pattern.” Procedia CIRP, no. 91, 2020, pp. 832–837.
LibreCat