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.
9797 Publications
2017 | Conference Paper | LibreCat-ID: 3111
Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy
T. Jager, M. Stam, R. Stanley-Oakes, B. Warinschi, in: Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I, 2017, pp. 409--441.
LibreCat
| DOI
T. Jager, M. Stam, R. Stanley-Oakes, B. Warinschi, in: Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I, 2017, pp. 409--441.
2017 | Conference Paper | LibreCat-ID: 3155
Policy Dependent and Independent Information Flow Analyses
M. Töws, H. Wehrheim, in: Z. Duan, L. Ong (Eds.), Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings, 2017, pp. 362--378.
LibreCat
| DOI
M. Töws, H. Wehrheim, in: Z. Duan, L. Ong (Eds.), Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings, 2017, pp. 362--378.
2017 | Conference Paper | LibreCat-ID: 3156
Value-Based or Conflict-Based? Opacity Definitions for STMs
J. König, H. Wehrheim, in: D. Van Hung, D. Kapur (Eds.), Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017, pp. 118--135.
LibreCat
| DOI
J. König, H. Wehrheim, in: D. Van Hung, D. Kapur (Eds.), Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017, pp. 118--135.
2017 | Journal Article | LibreCat-ID: 27224
Alterung von plasmabehandelten Kunststoffen – Alles eine Frage der Zeit?
E. Moritzer, J. Krugmann, C. Leister, Kunststoffe Erfolgreich Kleben (2017) 81–86.
LibreCat
E. Moritzer, J. Krugmann, C. Leister, Kunststoffe Erfolgreich Kleben (2017) 81–86.
2017 | Journal Article | LibreCat-ID: 27225
Laserdurchstrahlkleben von opaken Kunststoffen – Schnell und zuverlässig.
E. Moritzer, N. Friedrich, J. Berger, Kunststoffe Erfolgreich Kleben (2017) 213–221.
LibreCat
E. Moritzer, N. Friedrich, J. Berger, Kunststoffe Erfolgreich Kleben (2017) 213–221.
2017 | Journal Article | LibreCat-ID: 27522
Vitamin D and mental health in children and adolescents
M. Föcker, J. Antel, S. Ring, D. Hahn, Ö. Kanal, D. Öztürk, J. Hebebrand, L. Libuda, European Child & Adolescent Psychiatry (2017) 1043–1066.
LibreCat
| DOI
M. Föcker, J. Antel, S. Ring, D. Hahn, Ö. Kanal, D. Öztürk, J. Hebebrand, L. Libuda, European Child & Adolescent Psychiatry (2017) 1043–1066.
2017 | Journal Article | LibreCat-ID: 27605
Multiprofessionelle Kooperation in der Schule: Forschungsbefunde und Handlungsperspektiven für Schulleitungen
K. Drossel, C. Gröhlich, Schulmanagement 1 (2017) 18–21.
LibreCat
K. Drossel, C. Gröhlich, Schulmanagement 1 (2017) 18–21.
2017 | Journal Article | LibreCat-ID: 27606
Predictors of Teachers’ Use of ICT in School – the Relevance of School Characteristics, Teachers’ Attitudes and Teacher Collaboration
K. Drossel, B. Eickelmann, J. Gerick, Education and Information Technologies 22 (2017) 551–573.
LibreCat
| DOI
K. Drossel, B. Eickelmann, J. Gerick, Education and Information Technologies 22 (2017) 551–573.
2017 | Journal Article | LibreCat-ID: 27607
Determinants of teachers’ collaborative use of information and communications technology for teaching and learning: A European perspective
K. Drossel, B. Eickelmann, R. Schulz-Zander, European Educational Research Journal 16 (2017) 781–799.
LibreCat
| Files available
| DOI
K. Drossel, B. Eickelmann, R. Schulz-Zander, European Educational Research Journal 16 (2017) 781–799.
2017 | Journal Article | LibreCat-ID: 27610
Rezension des Buches von Jasmin Bastian und Stefan Aufenanger: Tablets in Schule und Unterricht. Forschungsergebnisse zum Einsatz digitaler Medien
K. Drossel, Journal für Schulentwicklung 21 (2017) 54–55.
LibreCat
K. Drossel, Journal für Schulentwicklung 21 (2017) 54–55.
2017 | Journal Article | LibreCat-ID: 27611
Teachers’ participation in professional development concerning the implementation of new technologies in class: a latent class analysis of teachers and the relationship with the use of computers, ICT self-efficacy and emphasis on teaching ICT skills
K. Drossel, B. Eickelmann, Large-Scale Assessments in Education 19 (2017) 1–13.
LibreCat
| DOI
K. Drossel, B. Eickelmann, Large-Scale Assessments in Education 19 (2017) 1–13.
2017 | Journal Article | LibreCat-ID: 27612
Digitale Bildung – ein neue Perspektive auf Bildungsgerechtigkeit?
B. Eickelmann, K. Drossel, Dreizehn - Zeitschrift für Jugendsozialarbeit 18 (2017) 24–29.
LibreCat
B. Eickelmann, K. Drossel, Dreizehn - Zeitschrift für Jugendsozialarbeit 18 (2017) 24–29.
2017 | Journal Article | LibreCat-ID: 27613
Computer- und informationsbezogene Kompetenzen in der IEA Studie ICILS 2013 und der Zusammenhang mit der Lesekompetenz
B. Eickelmann, K. Drossel, Medienimpulse 4 (2017).
LibreCat
| DOI
B. Eickelmann, K. Drossel, Medienimpulse 4 (2017).
2017 | Book Chapter | LibreCat-ID: 27796
The Use of Tablets in Secondary Schools and Its Relationship with Computer Literacy
K. Drossel, B. Eickelmann, in: A. Tatnall, M. Webb (Eds.), Tomorrow’s Learning: Involving Everyone. Learning with and about Technologies and Computing, Springer International Publishing, Cham, 2017, pp. 114–124.
LibreCat
| Files available
| DOI
K. Drossel, B. Eickelmann, in: A. Tatnall, M. Webb (Eds.), Tomorrow’s Learning: Involving Everyone. Learning with and about Technologies and Computing, Springer International Publishing, Cham, 2017, pp. 114–124.
2017 | Conference Paper | LibreCat-ID: 112
Congestion Games with Complementarities
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
2017 | Conference Paper | LibreCat-ID: 113
Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games
M. Feldotto, M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
2017 | Conference Paper | LibreCat-ID: 114
Compact Proof Witnesses
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
LibreCat
| Files available
| DOI
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
2017 | Conference Paper | LibreCat-ID: 115
Certification Matters for Service Markets
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
2017 | Mastersthesis | LibreCat-ID: 1157
A Framework for the Synthesis of Approximate Circuits
L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
LibreCat
L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
2017 | Book Chapter | LibreCat-ID: 1159
Using Sentiment Analysis on Local Up-to-the-Minute News: An Integrated Approach
J. Kersting, M. Geierhos, in: R. Damaševičius, V. Mikašytė (Eds.), Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings, Springer, Cham, Switzerland, 2017, pp. 528–538.
LibreCat
| Files available
| DOI
J. Kersting, M. Geierhos, in: R. Damaševičius, V. Mikašytė (Eds.), Information and Software Technologies: 23rd International Conference, ICIST 2017, Druskininkai, Lithuania, October 12–14, 2017, Proceedings, Springer, Cham, Switzerland, 2017, pp. 528–538.