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.
9750 Publications
2016 | Conference Paper | LibreCat-ID: 47239
An Empirical Study of Textual Key-Fingerprint Representations
S. Dechand, D. Schürmann, K. Busse, Y. Acar, S. Fahl, M. Smith, in: T. Holz, S. Savage (Eds.), 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016, USENIX Association, 2016, pp. 193–208.
LibreCat
S. Dechand, D. Schürmann, K. Busse, Y. Acar, S. Fahl, M. Smith, in: T. Holz, S. Savage (Eds.), 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016, USENIX Association, 2016, pp. 193–208.
2016 | Conference Paper | LibreCat-ID: 48873
Evolving Instances for Maximizing Performance Differences of State-of-the-Art Inexact TSP Solvers
J. Bossek, H. Trautmann, in: P. Festa, M. Sellmann, J. Vanschoren (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2016, pp. 48–59.
LibreCat
| DOI
J. Bossek, H. Trautmann, in: P. Festa, M. Sellmann, J. Vanschoren (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2016, pp. 48–59.
2016 | Book Chapter | LibreCat-ID: 51464
Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen
J. Hilgert, in: A. Hoppenbrock, et al. (Eds.), Lehren und Lernen von Mathematik in der Studieneingangsphase, Springer Spektrum, 2016.
LibreCat
J. Hilgert, in: A. Hoppenbrock, et al. (Eds.), Lehren und Lernen von Mathematik in der Studieneingangsphase, Springer Spektrum, 2016.
2016 | Book Chapter | LibreCat-ID: 51463
Resonances for the Laplacian: the cases BC2 and C2 (except SO(p,2) with p>2 odd)
J. Hilgert, A. Pasquale, T. Przebinda, in: P. Kielanowski, et al. (Eds.), Geometric Methods in Physics, Birkhäuser, 2016.
LibreCat
J. Hilgert, A. Pasquale, T. Przebinda, in: P. Kielanowski, et al. (Eds.), Geometric Methods in Physics, Birkhäuser, 2016.
2016 | Book (Editor) | LibreCat-ID: 51489
Mathematische Strukturen
J. Hilgert, ed., Mathematische Strukturen, Springer Spektrum, 2016.
LibreCat
| Download (ext.)
J. Hilgert, ed., Mathematische Strukturen, Springer Spektrum, 2016.
2016 | Journal Article | LibreCat-ID: 52803
Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies
S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics 5 (2016) 55–75.
LibreCat
| DOI
S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics 5 (2016) 55–75.
2016 | Journal Article | LibreCat-ID: 45944
Higher order time discretizations with ALE finite elements for parabolic problems on evolving surfaces
B. Kovács, C.A. Power Guerra, IMA Journal of Numerical Analysis 38 (2016) 460–494.
LibreCat
| DOI
B. Kovács, C.A. Power Guerra, IMA Journal of Numerical Analysis 38 (2016) 460–494.
2016 | Journal Article | LibreCat-ID: 45936
Error analysis for full discretizations of quasilinear parabolic problems on evolving surfaces
B. Kovács, C.A. Power Guerra, Numerical Methods for Partial Differential Equations 32 (2016) 1200–1231.
LibreCat
| DOI
B. Kovács, C.A. Power Guerra, Numerical Methods for Partial Differential Equations 32 (2016) 1200–1231.
2016 | Journal Article | LibreCat-ID: 45939
A-Stable Time Discretizations Preserve Maximal Parabolic Regularity
B. Kovács, B. Li, C. Lubich, SIAM Journal on Numerical Analysis 54 (2016) 3600–3624.
LibreCat
| DOI
B. Kovács, B. Li, C. Lubich, SIAM Journal on Numerical Analysis 54 (2016) 3600–3624.
2016 | Journal Article | LibreCat-ID: 45937
Numerical analysis of parabolic problems with dynamic boundary conditions
B. Kovács, C. Lubich, IMA Journal of Numerical Analysis 37 (2016) 1–39.
LibreCat
| DOI
B. Kovács, C. Lubich, IMA Journal of Numerical Analysis 37 (2016) 1–39.
2016 | Conference Paper | LibreCat-ID: 45938
A Parallel Numerical Solution Approach for Nonlinear Parabolic Systems Arising in Air Pollution Transport Problems
J. Karátson, B. Kovács, in: Mathematical Problems in Meteorological Modelling, 2016, pp. 57–70.
LibreCat
J. Karátson, B. Kovács, in: Mathematical Problems in Meteorological Modelling, 2016, pp. 57–70.
2016 | Conference Paper | LibreCat-ID: 53279
Analysis of the downlink saturation throughput of an asymmetric IEEE 802.11n-based WLAN
M. Soleymani, B. Maham, F. Ashtiani, in: 2016 IEEE International Conference on Communications (ICC), IEEE, 2016.
LibreCat
| DOI
M. Soleymani, B. Maham, F. Ashtiani, in: 2016 IEEE International Conference on Communications (ICC), IEEE, 2016.
2016 | Conference Paper | LibreCat-ID: 52575
Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?
G. Werth, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge zum Mathematikunterricht, WTM, Münster, 2016.
LibreCat
G. Werth, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge zum Mathematikunterricht, WTM, Münster, 2016.
2016 | Book Chapter | LibreCat-ID: 48396
Zusammenhänge zwischen Sprachkompetenz und verstehensorientierter Leistung beim Umgang mit Brüchen
L. Wessel, N. Wilhelm, in: Institut für Mathematik und Informatik Heidelberg (Ed.), Beiträge zum Mathematikunterricht 2016, WTM-Verlag, Münster, 2016, pp. 1059–1062.
LibreCat
| Download (ext.)
L. Wessel, N. Wilhelm, in: Institut für Mathematik und Informatik Heidelberg (Ed.), Beiträge zum Mathematikunterricht 2016, WTM-Verlag, Münster, 2016, pp. 1059–1062.
2016 | Conference Paper | LibreCat-ID: 48417
Is grade 7 too late to start with bilingual mathematics courses? An intervention study
L. Wessel, S. Prediger, A. Schüler-Meyer, T. Kuzu, in: TSG 32 at 13th International Congress on Mathematical Education, Hamburg, July 2016, 2016.
LibreCat
| Download (ext.)
L. Wessel, S. Prediger, A. Schüler-Meyer, T. Kuzu, in: TSG 32 at 13th International Congress on Mathematical Education, Hamburg, July 2016, 2016.
2016 | Dissertation | LibreCat-ID: 52853
Zwischen Katholizismus und Unkirchlichkeit. Pastorale Identitätskonstruktionen in der ostwestfälischen Diaspora am Beispiel des Pfarrers Theodor Holzhausen (1826-1900)
R. Janus, Zwischen Katholizismus und Unkirchlichkeit. Pastorale Identitätskonstruktionen in der ostwestfälischen Diaspora am Beispiel des Pfarrers Theodor Holzhausen (1826-1900), LIT-Verlag, Berlin , 2016.
LibreCat
R. Janus, Zwischen Katholizismus und Unkirchlichkeit. Pastorale Identitätskonstruktionen in der ostwestfälischen Diaspora am Beispiel des Pfarrers Theodor Holzhausen (1826-1900), LIT-Verlag, Berlin , 2016.
2015 | Conference Paper | LibreCat-ID: 250
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
LibreCat
| Files available
| DOI
M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.
2015 | Conference Paper | LibreCat-ID: 25073
Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.
LibreCat
A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.
2015 | Conference Paper | LibreCat-ID: 25074
Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer, 2015.
LibreCat
J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer, 2015.
2015 | Conference Paper | LibreCat-ID: 25075
Evaluation of Autonomous Approaches using Virtual Environments
K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Springer International Publishing Switzerland, 2015, pp. 499–512.
LibreCat
K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Springer International Publishing Switzerland, 2015, pp. 499–512.