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.
36785 Publications
2020 | Book | LibreCat-ID: 27869
@book{Eickelmann_Drossel_2020, place={Berlin/Düsseldorf}, title={Digitales Potenzial. Erfolgreiche Förderung digitaler Kompetenzen von Schülerinnen und Schülern an nicht-gymnasialen Schulen der Sekundarstufe I}, publisher={Vodafone Stiftung}, author={Eickelmann, Birgit and Drossel, Kerstin}, year={2020} }
LibreCat
2020 | Research Data | LibreCat-ID: 27873
@book{Teidla-Kunitsõn_2020, title={ICT usage across Europe: A literature review and an overview of existing data}, DOI={10.6084/M9.FIGSHARE.12906737}, publisher={LibreCat University}, author={Teidla-Kunitsõn, Gertha}, year={2020} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21016
@article{Dalvandi_Doherty_Dongol_Wehrheim_2020, title={Owicki-Gries Reasoning for C11 RAR (Artifact)}, volume={6}, DOI={10.4230/DARTS.6.2.15}, number={2}, journal={Dagstuhl Artifacts Ser.}, author={Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}, year={2020}, pages={15:1-15:2} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21017
@inproceedings{Dalvandi_Doherty_Dongol_Wehrheim_2020, series={LIPIcs}, title={Owicki-Gries Reasoning for C11 RAR}, volume={166}, DOI={10.4230/LIPIcs.ECOOP.2020.11}, booktitle={34th European Conference on Object-Oriented Programming, {ECOOP} 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference)}, publisher={Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, author={Dalvandi, Sadegh and Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike}, editor={Hirschfeld, Robert and Pape, TobiasEditors}, year={2020}, pages={11:1-11:26}, collection={LIPIcs} }
LibreCat
| DOI
2020 | Conference Paper | LibreCat-ID: 21018
@inproceedings{Richter_Wehrheim_2020, title={Attend and Represent: A Novel View on Algorithm Selection for Software Verification}, booktitle={35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020}, publisher={{IEEE}}, author={Richter, Cedric and Wehrheim, Heike}, year={2020}, pages={1016–1028} }
LibreCat
2020 | Conference (Editor) | LibreCat-ID: 21019
@book{Ahrendt_Wehrheim_2020, series={Lecture Notes in Computer Science}, title={Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed]}, volume={12165}, DOI={10.1007/978-3-030-50995-8}, publisher={Springer}, year={2020}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21022
@article{Allgaier_Ansari_Donohue_Eigner_Quiring_Ricken_Brecht_Silberhorn_2020, title={Pulse shaping using dispersion-engineered difference frequency generation}, volume={101}, DOI={10.1103/physreva.101.043819}, number={043819}, journal={Physical Review A}, author={Allgaier, M. and Ansari, V. and Donohue, J. M. and Eigner, Christof and Quiring, V. and Ricken, R. and Brecht, Benjamin and Silberhorn, Christine}, year={2020} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21024
@article{Ansari_Donohue_Brecht_Silberhorn_2020, title={Remotely projecting states of photonic temporal modes}, volume={28}, DOI={10.1364/oe.395593}, number={1928295–28305}, journal={Optics Express}, author={Ansari, Vahid and Donohue, John M. and Brecht, Benjamin and Silberhorn, Christine}, year={2020} }
LibreCat
| DOI
2020 | Book Chapter | LibreCat-ID: 21078
@inbook{Menke_2020, place={Tübingen}, title={»ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen}, booktitle={Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag}, publisher={Narr Francke Attempto}, author={Menke, Peter}, editor={Kluge, Bettina and Mihatsch, Wiltrud and Schaller, BirteEditors}, year={2020}, pages={225–244} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21117
@book{Manegold_2020, title={On Batch Proofs of Partial Knowledge}, author={Manegold, Philipp}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21118
@book{Anonymous_2020, title={Measuring the Performance of SNARK Libraries}, author={Anonymous, Anonymous}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21119
@book{Westerwelle_2020, title={Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions}, author={Westerwelle, Max}, year={2020} }
LibreCat
2020 | Bachelorsthesis | LibreCat-ID: 21121
@book{Anonymous_2020, title={Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems}, author={Anonymous, Anonymous}, year={2020} }
LibreCat
2020 | Journal Article | LibreCat-ID: 21126
@article{Pekkarinen_Hennala_Tuisku_Gustafsson_Johansson-Pajala_Thommes_Hoppe_Melkas_2020, title={Care robots in society: Knowledge and orientation needs}, DOI={10.4017/gt.2020.19.s.69664}, journal={Gerontechnology}, author={Pekkarinen, Satu and Hennala, Lea and Tuisku, Outi and Gustafsson, Christine and Johansson-Pajala, Rose-Marie and Thommes, Kirsten and Hoppe, Julia Amelie and Melkas, Helinä}, year={2020} }
LibreCat
| DOI
2020 | Journal Article | LibreCat-ID: 21127
@article{Johansson-Pajala_Thommes_Hoppe_Tuisku_Hennala_Pekkarinen_Melkas_Gustafsson_2020, title={The need for care robot orientation in elder care services}, DOI={10.4017/gt.2020.19.s.69574}, journal={Gerontechnology}, author={Johansson-Pajala, Rose-Marie and Thommes, Kirsten and Hoppe, Julia Amelie and Tuisku, Outi and Hennala, Lea and Pekkarinen, Satu and Melkas, Helinä and Gustafsson, Christine}, year={2020} }
LibreCat
| DOI
2020 | Report | LibreCat-ID: 21152
@book{Otroshi_Meschut_Masendorf_Esderts_2020, title={Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile}, publisher={Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB)}, author={Otroshi, Mortaza and Meschut, Gerson and Masendorf, Lukas and Esderts, Alfons}, year={2020} }
LibreCat
| Files available
| Download (ext.)
2020 | Conference Paper | LibreCat-ID: 21174
@inproceedings{Alexandrovsky_Volkmar_Spliethöver_Finke_Herrlich_Döring_Smeddinck_Malaka_2020, place={New York, NY, USA}, series={CHI PLAY’20}, title={Playful User-Generated Treatment: A Novel Game Design Approach for VR Exposure Therapy}, DOI={10.1145/3410404.3414222}, booktitle={Proceedings of the Annual Symposium on Computer-Human Interaction in Play}, publisher={Association for Computing Machinery}, author={Alexandrovsky, Dmitry and Volkmar, Georg and Spliethöver, Maximilian and Finke, Stefan and Herrlich, Marc and Döring, Tanja and Smeddinck, Jan David and Malaka, Rainer}, year={2020}, pages={32–45}, collection={CHI PLAY’20} }
LibreCat
| DOI
| Download (ext.)
2020 | Dissertation | LibreCat-ID: 21205
@book{Wolf_2020, place={Paderborn}, title={Service System Innovation: An Ambidexterity Perspective}, author={Wolf, Verena}, year={2020} }
LibreCat
2020 | Dissertation | LibreCat-ID: 21209
@book{Ahlers_2020, series={Forschungsberichte des Direct Manufacturing Research Centers}, title={Parameter- und Prozessoptimierung für den additiven Fertigungsprozess im Pulverbett am Beispiel der Legierung Ti6Al4V }, volume={19}, publisher={Shaker}, author={Ahlers, Dominik}, year={2020}, collection={Forschungsberichte des Direct Manufacturing Research Centers} }
LibreCat
2020 | Book Chapter | LibreCat-ID: 21216
@inbook{Jakob_Hansjürgen_2020, title={Volunteer World GmbH – Schildkrötenretten als Business Case}, DOI={10.1515/9783110663839-008}, booktitle={Wettbewerbsfähigkeit von Start-ups, Erfolgreiche Düsseldorfer Unternehmen}, publisher={düsseldorf university press}, author={Jakob, Eva Alexandra and Hansjürgen, Lea}, editor={Lutz, Eva and Süß, StefanEditors}, year={2020}, pages={91–106} }
LibreCat
| DOI