@inproceedings{28938, author = {{Vennemann, Mario and Eickelmann, Birgit}}, booktitle = {{Proceedings of the American Educational Research Association annual meeting (AERA)}}, title = {{{Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools}}}, year = {{2014}}, } @inproceedings{28939, author = {{Lai, Kwok-Wing and Eickelmann, Birgit and Fisser, Petra and Khaddage, Ferial and Knezek, Gerald and Webb, Mary and Davis, Niki and Erstad, Ola and Gibson, David C.}}, booktitle = {{Proceedings of KeyCIT Conference 2014}}, title = {{{Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013}}}, year = {{2014}}, } @misc{28993, author = {{Drossel, Kerstin and Bos, Wilfried and Zieger, Laura}}, publisher = {{Jugendring Dortmund}}, title = {{{Kinder- und Jugendarbeit in Dortmund. Studie zur Situation freiwillig Mitarbeitender in der Dortmunder Kinder- und Jugendarbeit}}}, year = {{2014}}, } @misc{2900, author = {{Brauer, Sascha}}, title = {{{A Probabilistic Expectation Maximization Algorithm for Multivariate Laplacian Mixtures}}}, year = {{2014}}, } @article{2976, author = {{Ackermann, Marcel Rudolf and Blömer, Johannes and Kuntze, Daniel and Sohler, Christian}}, issn = {{0178-4617}}, journal = {{Algorithmica}}, publisher = {{Springer US}}, title = {{{Analysis of Agglomerative Clustering}}}, doi = {{10.1007/s00453-012-9717-4}}, volume = {{69}}, year = {{2014}}, } @inproceedings{2977, author = {{Blömer, Johannes and Bujna, Kathrin and Kuntze, Daniel}}, booktitle = {{2014 22nd International Conference on Pattern Recognition}}, isbn = {{9781479952090}}, publisher = {{IEEE}}, title = {{{A Theoretical and Experimental Comparison of the EM and SEM Algorithm}}}, doi = {{10.1109/icpr.2014.253}}, year = {{2014}}, } @article{3127, author = {{Jager, Tibor}}, journal = {{Datenschutz und Datensicherheit}}, number = {{7}}, pages = {{445----451}}, title = {{{Die Zukunft der Kryptographie}}}, doi = {{10.1007/s11623-014-0204-8}}, year = {{2014}}, } @inproceedings{3128, author = {{Fleischhacker, Nils and Jager, Tibor and Schröder, Dominique}}, booktitle = {{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}}, pages = {{512----531}}, title = {{{On Tight Security Proofs for Schnorr Signatures}}}, doi = {{10.1007/978-3-662-45611-8_27}}, year = {{2014}}, } @article{3167, author = {{Schneider, Steve and Treharne, Helen and Wehrheim, Heike}}, journal = {{Formal Asp. Comput.}}, number = {{2}}, pages = {{251----280}}, title = {{{The behavioural semantics of Event-B refinement}}}, doi = {{10.1007/s00165-012-0265-0}}, year = {{2014}}, } @article{3168, author = {{Tofan, Bogdan and Travkin, Oleg and Schellhorn, Gerhard and Wehrheim, Heike}}, journal = {{Sci. Comput. Program.}}, pages = {{297----314}}, title = {{{Two approaches for proving linearizability of multiset}}}, doi = {{10.1016/j.scico.2014.04.001}}, year = {{2014}}, } @article{3169, author = {{Schellhorn, Gerhard and Derrick, John and Wehrheim, Heike}}, journal = {{{ACM} Trans. Comput. Log.}}, number = {{4}}, pages = {{31:1----31:37}}, title = {{{A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures}}}, doi = {{10.1145/2629496}}, year = {{2014}}, } @inproceedings{3170, author = {{Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike}}, booktitle = {{{FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings}}, editor = {{B. Jones, Cliff and Pihlajasaari, Pekka and Sun, Jun}}, pages = {{200----214}}, title = {{{Quiescent Consistency: Defining and Verifying Relaxed Linearizability}}}, doi = {{10.1007/978-3-319-06410-9_15}}, year = {{2014}}, } @inproceedings{3171, author = {{Travkin, Oleg and Wehrheim, Heike}}, booktitle = {{Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}}, editor = {{Yahav, Eran}}, pages = {{132----147}}, title = {{{Handling {TSO} in Mechanized Linearizability Proofs}}}, doi = {{10.1007/978-3-319-13338-6_11}}, year = {{2014}}, } @inproceedings{3172, author = {{Isenberg, Tobias and Wehrheim, Heike}}, booktitle = {{Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, {ICFEM} 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings}}, editor = {{Merz, Stephan and Pang, Jun}}, pages = {{203----218}}, title = {{{Timed Automata Verification via {IC3} with Zones}}}, doi = {{10.1007/978-3-319-11737-9_14}}, year = {{2014}}, } @inproceedings{3173, author = {{A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}}, booktitle = {{Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings}}, editor = {{Albert, Elvira and Sekerinski, Emil}}, pages = {{221----237}}, title = {{{Managing {LTL} Properties in Event-B Refinement}}}, doi = {{10.1007/978-3-319-10181-1_14}}, year = {{2014}}, } @article{3174, author = {{Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David}}, journal = {{CoRR}}, title = {{{Managing {LTL} properties in Event-B refinement}}}, year = {{2014}}, } @article{3175, author = {{Isenberg, Tobias and Wehrheim, Heike}}, journal = {{CoRR}}, title = {{{Proof-Carrying Hardware via {IC3}}}}, year = {{2014}}, } @article{27041, author = {{Stimming, Madlen and Mesch, Christina M. and Kersting, Mathilde and Libuda, Lars}}, issn = {{1436-6207}}, journal = {{European Journal of Nutrition}}, pages = {{1069--1080}}, title = {{{Fish and rapeseed oil consumption in infants and mothers: dietary habits and determinants in a nationwide sample in Germany}}}, doi = {{10.1007/s00394-014-0784-y}}, year = {{2014}}, } @article{27042, author = {{Stimming, Madlen and Mesch, Christina M. and Kersting, Mathilde and Kalhoff, Hermann and Demmelmair, Hans and Koletzko, Berthold and Schmidt, Anne and Böhm, Volker and Libuda, Lars}}, issn = {{0021-8561}}, journal = {{Journal of Agricultural and Food Chemistry}}, pages = {{10153--10161}}, title = {{{Vitamin E Content and Estimated Need in German Infant and Follow-On Formulas With and Without Long-Chain Polyunsaturated Fatty Acids (LC-PUFA) Enrichment}}}, doi = {{10.1021/jf502469b}}, year = {{2014}}, } @article{27044, author = {{Vyncke, Krishna and Huybrechts, Inge and Van Winckel, Myriam and Cuenca Garcia, Magdalena and Labayen, Idoia and Gottrand, Frederic and Widhalm, Kurt and Leclercq, Catherine and Libuda, Lars and Manios, Yannis and Sjostrom, Michael and Molnar, Denes and Moreno, Luis A. and Gonzalez-Gross, Marcela and Spinneker, André and Perez de Heredia, Fatima and Plada, Maria and De Henauw, Stefaan}}, issn = {{0024-4201}}, journal = {{Lipids}}, pages = {{881--893}}, title = {{{Dietary Lipid Intake only Partially Influences Variance in Serum Phospholipid Fatty Acid Composition in Adolescents: Impact of Other Dietary Factors}}}, doi = {{10.1007/s11745-014-3935-2}}, year = {{2014}}, }