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.
10674 Publications
2014 | Conference Paper | LibreCat-ID: 28937
Computer and internet in primary mathematics and science education and its relationship with student achievement– International findings from TIMSS 2011
B. Eickelmann, M. Vennemann, J. Gerick, R. Lorenz, in: Proceedings of the American Educational Research Association Annual Meeting (AERA), Philadelphia, PA, 2014.
LibreCat
B. Eickelmann, M. Vennemann, J. Gerick, R. Lorenz, in: Proceedings of the American Educational Research Association Annual Meeting (AERA), Philadelphia, PA, 2014.
2014 | Conference Paper | LibreCat-ID: 28938
Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools
M. Vennemann, B. Eickelmann, in: Proceedings of the American Educational Research Association Annual Meeting (AERA), Philadelphia, PA, 2014.
LibreCat
M. Vennemann, B. Eickelmann, in: Proceedings of the American Educational Research Association Annual Meeting (AERA), Philadelphia, PA, 2014.
2014 | Conference Paper | LibreCat-ID: 28939
Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013
K.-W. Lai, B. Eickelmann, P. Fisser, F. Khaddage, G. Knezek, M. Webb, N. Davis, O. Erstad, D.C. Gibson, in: Proceedings of KeyCIT Conference 2014, 2014.
LibreCat
K.-W. Lai, B. Eickelmann, P. Fisser, F. Khaddage, G. Knezek, M. Webb, N. Davis, O. Erstad, D.C. Gibson, in: Proceedings of KeyCIT Conference 2014, 2014.
2014 | Research Data | LibreCat-ID: 28993
Kinder- und Jugendarbeit in Dortmund. Studie zur Situation freiwillig Mitarbeitender in der Dortmunder Kinder- und Jugendarbeit
K. Drossel, W. Bos, L. Zieger, Kinder- Und Jugendarbeit in Dortmund. Studie Zur Situation Freiwillig Mitarbeitender in Der Dortmunder Kinder- Und Jugendarbeit, Jugendring Dortmund, 2014.
LibreCat
K. Drossel, W. Bos, L. Zieger, Kinder- Und Jugendarbeit in Dortmund. Studie Zur Situation Freiwillig Mitarbeitender in Der Dortmunder Kinder- Und Jugendarbeit, Jugendring Dortmund, 2014.
2014 | Journal Article | LibreCat-ID: 2976
Analysis of Agglomerative Clustering
M.R. Ackermann, J. Blömer, D. Kuntze, C. Sohler, Algorithmica 69 (2014).
LibreCat
| DOI
M.R. Ackermann, J. Blömer, D. Kuntze, C. Sohler, Algorithmica 69 (2014).
2014 | Conference Paper | LibreCat-ID: 3128
On Tight Security Proofs for Schnorr Signatures
N. Fleischhacker, T. Jager, D. Schröder, in: Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I, 2014, pp. 512--531.
LibreCat
| DOI
N. Fleischhacker, T. Jager, D. Schröder, in: Advances in Cryptology - ASIACRYPT 2014 - 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I, 2014, pp. 512--531.
2014 | Conference Paper | LibreCat-ID: 3170
Quiescent Consistency: Defining and Verifying Relaxed Linearizability
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat
| DOI
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
2014 | Conference Paper | LibreCat-ID: 3171
Handling {TSO} in Mechanized Linearizability Proofs
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
LibreCat
| DOI
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
2014 | Conference Paper | LibreCat-ID: 3172
Timed Automata Verification via {IC3} with Zones
T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp. 203--218.
LibreCat
| DOI
T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp. 203--218.
2014 | Conference Paper | LibreCat-ID: 3173
Managing {LTL} Properties in Event-B Refinement
S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat
| DOI
S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
2014 | Conference Paper | LibreCat-ID: 27337
Simulation des Compoundiervorgangs im Doppelschneckenextruder, Modellierung - Simulation - Auslegung
V. Schöppner, T. Herken, F. Reinders, K. Westhues, in: Erfolgreich Compoundieren mit Pulvern und Stäuben, Düsseldorf (Deutschland), 2014.
LibreCat
V. Schöppner, T. Herken, F. Reinders, K. Westhues, in: Erfolgreich Compoundieren mit Pulvern und Stäuben, Düsseldorf (Deutschland), 2014.
2014 | Book Chapter | LibreCat-ID: 27560
Soziale Herkunft und computer- und informationsbezogene Kompetenzen von Schülerinnen und Schülern im internationalen Vergleich
H. Wendt, M. Vennemann, M. Schwippert, K. Drossel, in: W. Bos, B. Eickelmann, J. Gerick, F. Goldhammer, H. Schaumburg, K. Schwippert, M. Senkbeil, R. Schulz-Zander, H. Wendt (Eds.), ICILS 2013. Computer- und informationsbezogene Kompetenzen von Schülerinnen und Schülern in der 8. Jahrgangsstufe im internationalen Vergleich, Waxmann, Münster, 2014, pp. 265–296.
LibreCat
H. Wendt, M. Vennemann, M. Schwippert, K. Drossel, in: W. Bos, B. Eickelmann, J. Gerick, F. Goldhammer, H. Schaumburg, K. Schwippert, M. Senkbeil, R. Schulz-Zander, H. Wendt (Eds.), ICILS 2013. Computer- und informationsbezogene Kompetenzen von Schülerinnen und Schülern in der 8. Jahrgangsstufe im internationalen Vergleich, Waxmann, Münster, 2014, pp. 265–296.
2014 | Book Chapter | LibreCat-ID: 27564
Schulische Nutzung von neuen Technologien in Deutschland im internationalen Vergleich
B. Eickelmann, H. Schaumburg, K. Drossel, R. Lorenz, in: W. Bos, B. Eickelmann, J. Gerick, F. Goldhammer, H. Schaumburg, K. Schwippert, M. Senkbeil, R. Schulz-Zander, H. Wendt (Eds.), ICILS 2013. Computer- und informationsbezogene Kompetenzen von Schülerinnen und Schülern in der 8. Jahrgangsstufe im internationalen Vergleich, Waxmann, Münster, 2014, pp. 129–154.
LibreCat
B. Eickelmann, H. Schaumburg, K. Drossel, R. Lorenz, in: W. Bos, B. Eickelmann, J. Gerick, F. Goldhammer, H. Schaumburg, K. Schwippert, M. Senkbeil, R. Schulz-Zander, H. Wendt (Eds.), ICILS 2013. Computer- und informationsbezogene Kompetenzen von Schülerinnen und Schülern in der 8. Jahrgangsstufe im internationalen Vergleich, Waxmann, Münster, 2014, pp. 129–154.
2014 | Book Chapter | LibreCat-ID: 27565
Der Zusammenhang von Formen der Lehrerkooperation, des Schulleitungshandeln und des Kooperationsklimas an Ganztagsgymnasien
K. Drossel, A.S. Willems, in: W. Bos, K. Drossel, R. Strietholt (Eds.), Empirische Bildungsforschung und evidenzbasierte Reformen im Bildungswesen, Waxmann, Münster, 2014, pp. 129–154.
LibreCat
K. Drossel, A.S. Willems, in: W. Bos, K. Drossel, R. Strietholt (Eds.), Empirische Bildungsforschung und evidenzbasierte Reformen im Bildungswesen, Waxmann, Münster, 2014, pp. 129–154.
2014 | Book Chapter | LibreCat-ID: 27566
Bildungsreformen und Bildungsplanung im Überblick
K. Drossel, R. Strietholt, W. Bos, in: Wi. Bos, K. Drossel, R. Strietholt (Eds.), Empirische Bildungsforschung und evidenzbasierte Reformen im Bildungswesen, Waxmann, Münster, 2014, pp. 7–10.
LibreCat
K. Drossel, R. Strietholt, W. Bos, in: Wi. Bos, K. Drossel, R. Strietholt (Eds.), Empirische Bildungsforschung und evidenzbasierte Reformen im Bildungswesen, Waxmann, Münster, 2014, pp. 7–10.
2014 | Book (Editor) | LibreCat-ID: 27567
Empirische Bildungsforschung und evidenzbasierte Reformen im Bildungswesen
K. Drossel, R. Strietholt, W. Bos, eds., Empirische Bildungsforschung und evidenzbasierte Reformen im Bildungswesen, Waxmann, Münster, 2014.
LibreCat
K. Drossel, R. Strietholt, W. Bos, eds., Empirische Bildungsforschung und evidenzbasierte Reformen im Bildungswesen, Waxmann, Münster, 2014.
2014 | Conference Paper | LibreCat-ID: 1135 | 
SentiBA: Lexicon-based Sentiment Analysis on German Product Reviews
M. Dollmann, M. Geierhos, in: G. Faaß, J. Ruppenhofer (Eds.), Workshop Proceedings of the 12th Edition of the KONVENS Conference, Universitätsverlag Hildesheim, Hildesheim, Germany, 2014, pp. 185–191.
LibreCat
| Download (ext.)
M. Dollmann, M. Geierhos, in: G. Faaß, J. Ruppenhofer (Eds.), Workshop Proceedings of the 12th Edition of the KONVENS Conference, Universitätsverlag Hildesheim, Hildesheim, Germany, 2014, pp. 185–191.
2014 | Book Chapter | LibreCat-ID: 20982
Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications
T. Koch, J. Holtmann, J. DeAntoni, in: Software Architecture, Cham, 2014.
LibreCat
| DOI
T. Koch, J. Holtmann, J. DeAntoni, in: Software Architecture, Cham, 2014.
2014 | Book Chapter | LibreCat-ID: 21211
Grundbildung Medien im Profilstudium im Lehramt
B. Herzig, S. Aßmann, T.-M. Klar, in: P. Imort, H. Niesyto (Eds.), Grundbildung Medien in pädagogischen Studiengängen, kopaed, 2014, pp. 65–80.
LibreCat
B. Herzig, S. Aßmann, T.-M. Klar, in: P. Imort, H. Niesyto (Eds.), Grundbildung Medien in pädagogischen Studiengängen, kopaed, 2014, pp. 65–80.
2014 | Conference Paper | LibreCat-ID: 21358
How context impacts on media choice
S. Stieglitz, T. Brockmann, M. Mirbabaie, in: Proceedings of the 25th Australasian Conference on Information Systems, Auckland, New Zealand, 2014.
LibreCat
S. Stieglitz, T. Brockmann, M. Mirbabaie, in: Proceedings of the 25th Australasian Conference on Information Systems, Auckland, New Zealand, 2014.