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.

21880 Publications


2020 | Research Data | LibreCat-ID: 27868
@book{Ayllón_Barbovschi_Casamassima_Drossel_Eickelmann_Ghețău_Haragus_Holmarsdottir_Hyggen_Kapella_et al._2020, title={ICT usage across Europe: A literature review and an overview of existing data}, DOI={10.6084/M9.FIGSHARE.12906737}, publisher={DigiGen working package 2}, author={Ayllón, Sara and Barbovschi, Monica and Casamassima, Gianna and Drossel, Kerstin and Eickelmann, Birgit and Ghețău, Cosmin and Haragus, Teo Paul and Holmarsdottir, Halla Bjork and Hyggen, Christer and Kapella, Olaf and et al.}, year={2020} }
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: 21023
@article{Engelkemeier_Lorz_De_Brecht_Dhand_Plenio_Silberhorn_Sperling_2020, title={Quantum photonics with active feedback loops}, volume={102}, DOI={10.1103/physreva.102.023712}, number={023712}, journal={Physical Review A}, author={Engelkemeier, M. and Lorz, L. and De, Syamsundar and Brecht, Benjamin and Dhand, I. and Plenio, M. B. and Silberhorn, Christine and Sperling, J.}, 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
 

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed