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.
8259 Publications
2014 | Conference Paper | LibreCat-ID: 28937
B. Eickelmann, M. Vennemann, J. Gerick, and R. Lorenz, “Computer and internet in primary mathematics and science education and its relationship with student achievement– International findings from TIMSS 2011,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 28938
M. Vennemann and B. Eickelmann, “Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools,” 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 28939
K.-W. Lai et al., “Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013,” 2014.
LibreCat
2014 | Research Data | LibreCat-ID: 28993
K. Drossel, W. Bos, and L. Zieger, Kinder- und Jugendarbeit in Dortmund. Studie zur Situation freiwillig Mitarbeitender in der Dortmunder Kinder- und Jugendarbeit. Jugendring Dortmund, 2014.
LibreCat
2014 | Mastersthesis | LibreCat-ID: 2900
S. Brauer, A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures. 2014.
LibreCat
| Files available
2014 | Conference Paper | LibreCat-ID: 3128
N. Fleischhacker, T. Jager, and D. Schröder, “On Tight Security Proofs for Schnorr Signatures,” 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
2014 | Conference Paper | LibreCat-ID: 3170
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, and H. Wehrheim, “Quiescent Consistency: Defining and Verifying Relaxed Linearizability,” in {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
O. Travkin and H. Wehrheim, “Handling {TSO} in Mechanized Linearizability Proofs,” in 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
2014 | Conference Paper | LibreCat-ID: 3172
T. Isenberg and H. Wehrheim, “Timed Automata Verification via {IC3} with Zones,” in 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
2014 | Conference Paper | LibreCat-ID: 3173
S. A. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} Properties in Event-B Refinement,” in Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 3174
S. Schneider, H. Treharne, H. Wehrheim, and D. M. Williams, “Managing {LTL} properties in Event-B refinement,” CoRR, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 3175
T. Isenberg and H. Wehrheim, “Proof-Carrying Hardware via {IC3},” CoRR, 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 27041
M. Stimming, C. M. Mesch, M. Kersting, and L. Libuda, “Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany,” European Journal of Nutrition, pp. 1069–1080, 2014, doi: 10.1007/s00394-014-0784-y.
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 27042
M. Stimming et al., “Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment,” Journal of Agricultural and Food Chemistry, pp. 10153–10161, 2014, doi: 10.1021/jf502469b.
LibreCat
| DOI