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.
9843 Publications
2014 | Journal Article | LibreCat-ID: 387
Awerbuch, B., Richa, A. W., Scheideler, C., Schmid, S., & Zhang, J. (2014). Principles of Robust Medium Access and an Application to Leader Election. Transactions on Algorithms, (4). https://doi.org/10.1145/2635818
LibreCat
| Files available
| DOI
2014 | Report | LibreCat-ID: 389
Stapel, F., & Suhl, L. (2014). Ontology-based Representation of Optimization Models. Universität Paderborn.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 3890
Hammer, M. (2014). Oblique incidence of semi-guided waves on rectangular slab waveguide discontinuities: A vectorial QUEP solver. Optics Communications, 338, 447–456. https://doi.org/10.1016/j.optcom.2014.09.087
LibreCat
| Files available
| DOI
2014 | Journal Article | LibreCat-ID: 390
Huma, Z., Gerth, C., & Engels, G. (2014). On-the-Fly Computing: Automatic Service Discovery and Composition in Heterogeneous Domains. Computer Science - Research and Development, (3–4), 333–361. https://doi.org/10.1007/s00450-014-0254-z
LibreCat
| Files available
| DOI
2014 | Conference Paper | LibreCat-ID: 28936
Davis, N., & Eickelmann, B. (2014). The restructuring of schooling with digital technologies and implications for policy makers and practitioners. Proceedings of the American Educational Research Association Annual Meeting (AERA).
LibreCat
2014 | Conference Paper | LibreCat-ID: 28937
Eickelmann, B., Vennemann, M., Gerick, J., & Lorenz, R. (2014). Computer and internet in primary mathematics and science education and its relationship with student achievement– International findings from TIMSS 2011. Proceedings of the American Educational Research Association Annual Meeting (AERA).
LibreCat
2014 | Conference Paper | LibreCat-ID: 28938
Vennemann, M., & Eickelmann, B. (2014). Can we predict usage out of possession? – A home digital resources (HDR) scale to describe students’ digital learning resources in primary schools. Proceedings of the American Educational Research Association Annual Meeting (AERA).
LibreCat
2014 | Conference Paper | LibreCat-ID: 28939
Lai, K.-W., Eickelmann, B., Fisser, P., Khaddage, F., Knezek, G., Webb, M., Davis, N., Erstad, O., & Gibson, D. C. (2014). Tackling Educational Challenges in a Digitally Networked World: Strategies developed from the EDUsummIT 2013. Proceedings of KeyCIT Conference 2014.
LibreCat
2014 | Research Data | LibreCat-ID: 28993
Drossel, K., Bos, W., & Zieger, L. (2014). Kinder- und Jugendarbeit in Dortmund. Studie zur Situation freiwillig Mitarbeitender in der Dortmunder Kinder- und Jugendarbeit. Jugendring Dortmund.
LibreCat
2014 | Journal Article | LibreCat-ID: 2976
Ackermann, M. R., Blömer, J., Kuntze, D., & Sohler, C. (2014). Analysis of Agglomerative Clustering. Algorithmica, 69. https://doi.org/10.1007/s00453-012-9717-4
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3128
Fleischhacker, N., Jager, T., & Schröder, D. (2014). 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 (pp. 512--531). https://doi.org/10.1007/978-3-662-45611-8_27
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3170
Derrick, J., Dongol, B., Schellhorn, G., Tofan, B., Travkin, O., & Wehrheim, H. (2014). Quiescent Consistency: Defining and Verifying Relaxed Linearizability. In C. B. Jones, P. Pihlajasaari, & J. Sun (Eds.), {FM} 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings (pp. 200--214). https://doi.org/10.1007/978-3-319-06410-9_15
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3171
Travkin, O., & Wehrheim, H. (2014). Handling {TSO} in Mechanized Linearizability Proofs. In E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings (pp. 132--147). https://doi.org/10.1007/978-3-319-13338-6_11
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3172
Isenberg, T., & Wehrheim, H. (2014). Timed Automata Verification via {IC3} with Zones. 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 (pp. 203--218). https://doi.org/10.1007/978-3-319-11737-9_14
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 3173
A. Schneider, S., Treharne, H., Wehrheim, H., & M. Williams, D. (2014). Managing {LTL} Properties in Event-B Refinement. In E. Albert & E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, {IFM} 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings (pp. 221--237). https://doi.org/10.1007/978-3-319-10181-1_14
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 27337
Schöppner, V., Herken, T., Reinders, F., & Westhues, K. (2014). Simulation des Compoundiervorgangs im Doppelschneckenextruder, Modellierung - Simulation - Auslegung. Erfolgreich Compoundieren mit Pulvern und Stäuben. Erfolgreich Compoundieren mit Pulvern und Stäuben, Düsseldorf (Deutschland).
LibreCat
2014 | Book Chapter | LibreCat-ID: 27560
Wendt, H., Vennemann, M., Schwippert, M., & Drossel, K. (2014). Soziale Herkunft und computer- und informationsbezogene Kompetenzen von Schülerinnen und Schülern im internationalen Vergleich. 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 (pp. 265–296). Waxmann.
LibreCat
2014 | Book Chapter | LibreCat-ID: 27564
Eickelmann, B., Schaumburg, H., Drossel, K., & Lorenz, R. (2014). Schulische Nutzung von neuen Technologien in Deutschland im internationalen Vergleich. 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 (pp. 129–154). Waxmann.
LibreCat
2014 | Book Chapter | LibreCat-ID: 27565
Drossel, K., & Willems, A. S. (2014). Der Zusammenhang von Formen der Lehrerkooperation, des Schulleitungshandeln und des Kooperationsklimas an Ganztagsgymnasien. In W. Bos, K. Drossel, & R. Strietholt (Eds.), Empirische Bildungsforschung und evidenzbasierte Reformen im Bildungswesen (pp. 129–154). Waxmann.
LibreCat
2014 | Book Chapter | LibreCat-ID: 27566
Drossel, K., Strietholt, R., & Bos, W. (2014). Bildungsreformen und Bildungsplanung im Überblick. In Wi. Bos, K. Drossel, & R. Strietholt (Eds.), Empirische Bildungsforschung und evidenzbasierte Reformen im Bildungswesen (pp. 7–10). Waxmann.
LibreCat