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.

32953 Publications


2020 | Journal Article | LibreCat-ID: 27865
B. Eickelmann and K. Drossel, “Schulschließungen und Perspektiven für die Pandemie-Zeit,” SchulVerwaltung Baden-Württemberg, vol. 29, no. 12, pp. 328–331, 2020.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 27866
K. Drossel and B. Eickelmann, “Der Einsatz von Tablets am Gymnasium und der Zusammenhang mit der Entwicklung computerbezogener Kompetenzen von Schüler*innen,” in Mobile Medien im Schulkontext (Reihe Medienbildung und Gesellschaft), D. M. Meister and I. Midt, Eds. Wiesbaden: Springer, 2020, pp. 135–153.
LibreCat
 

2020 | Book Chapter | LibreCat-ID: 27867
B. Eickelmann and K. Drossel, “Students’ computer literacy and the use of tablets in upper secondary schools,” in Encyclopedia of Education and Information Technologies, A. Tatnall, Ed. Cham: Springer, 2020, pp. 1577–1589.
LibreCat | DOI
 

2020 | Book | LibreCat-ID: 27869
B. Eickelmann and K. Drossel, Digitales Potenzial. Erfolgreiche Förderung digitaler Kompetenzen von Schülerinnen und Schülern an nicht-gymnasialen Schulen der Sekundarstufe I. Berlin/Düsseldorf: Vodafone Stiftung, 2020.
LibreCat
 

2020 | Research Data | LibreCat-ID: 27873
G. Teidla-Kunitsõn, ICT usage across Europe: A literature review and an overview of existing data. LibreCat University, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 21016
S. Dalvandi, S. Doherty, B. Dongol, and H. Wehrheim, “Owicki-Gries Reasoning for C11 RAR (Artifact),” Dagstuhl Artifacts Ser., vol. 6, no. 2, pp. 15:1-15:2, 2020.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21017
S. Dalvandi, S. Doherty, B. Dongol, and H. 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), 2020, vol. 166, pp. 11:1-11:26.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 21018
C. Richter and H. 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, 2020, pp. 1016–1028.
LibreCat
 

2020 | Conference (Editor) | LibreCat-ID: 21019
W. Ahrendt and H. Wehrheim, Eds., Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], vol. 12165. Springer, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 21022
M. Allgaier et al., “Pulse shaping using dispersion-engineered difference frequency generation,” Physical Review A, vol. 101, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 21024
V. Ansari, J. M. Donohue, B. Brecht, and C. Silberhorn, “Remotely projecting states of photonic temporal modes,” Optics Express, vol. 28, no. 19, 2020.
LibreCat | DOI
 

2020 | Book Chapter | LibreCat-ID: 21078
P. Menke, “»ich wusste doch irgendwas war zu einfach«. Gesprächsanalytische Betrachtungen von Proberunden zum Lernen von Gesellschaftsspielen,” in Kommunikationsdynamiken zwischen Mündlichkeit und Schriftlichkeit. Festschrift für Barbara Job zum 60. Geburtstag, B. Kluge, W. Mihatsch, and B. Schaller, Eds. Tübingen: Narr Francke Attempto, 2020, pp. 225–244.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21117
P. Manegold, On Batch Proofs of Partial Knowledge. 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21118
A. Anonymous, Measuring the Performance of SNARK Libraries. 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21119
M. Westerwelle, Trapdoors and Sampling Procedures for Lattice-Based Cryptographic Constructions. 2020.
LibreCat
 

2020 | Bachelorsthesis | LibreCat-ID: 21121
A. Anonymous, Benchmarking the Efficiency of Secure Multiparty Computation for Real World Problems. 2020.
LibreCat
 

2020 | Journal Article | LibreCat-ID: 21126
S. Pekkarinen et al., “Care robots in society: Knowledge and orientation needs,” Gerontechnology, 2020.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 21127
R.-M. Johansson-Pajala et al., “The need for care robot orientation in elder care services,” Gerontechnology, 2020.
LibreCat | DOI
 

2020 | Report | LibreCat-ID: 21152
M. Otroshi, G. Meschut, L. Masendorf, and A. Esderts, Simulationsbasierte Betriebsfestigkeitsanalyse stanzgenieteter Bauteile. Europäische Forschungsgesellschaft für Blechverarbeitung e.V. (EFB), 2020.
LibreCat | Files available | Download (ext.)
 

2020 | Dissertation | LibreCat-ID: 21205
V. Wolf, Service System Innovation: An Ambidexterity Perspective. Paderborn, 2020.
LibreCat
 

Filters and Search Terms

department=44

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed