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.
37033 Publications
2020 | Book Chapter | LibreCat-ID: 27867
@inbook{Eickelmann_Drossel_2020, place={Cham}, title={Students’ computer literacy and the use of tablets in upper secondary schools}, DOI={10.1007/978-3-030-10576-1}, booktitle={Encyclopedia of Education and Information Technologies}, publisher={Springer}, author={Eickelmann, Birgit and Drossel, Kerstin}, editor={Tatnall, Arthur}, year={2020}, pages={1577–1589} }
LibreCat
| DOI
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