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.
9931 Publications
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 | Conference Paper | LibreCat-ID: 54340
Neugestaltung der "Höheren Mathematik A, B und C für Elektrotechniker" -- Nutzung der Lehrmaterialien durch Studierende
K. Hesse, in: W. Paravicini, J. Schnieder (Eds.), Hanse-Kolloquium Zur Hochschuldidaktik Der Mathematik 2015: Beiträge Zum Gleichnamigen Symposium Am 13. & 14. November 2015 an Der Universität Zu Lübeck (Hochschulschriften Zur Mathematik-Didaktik) , WTM-Verlag, 2016, pp. 86–102.
LibreCat
K. Hesse, in: W. Paravicini, J. Schnieder (Eds.), Hanse-Kolloquium Zur Hochschuldidaktik Der Mathematik 2015: Beiträge Zum Gleichnamigen Symposium Am 13. & 14. November 2015 an Der Universität Zu Lübeck (Hochschulschriften Zur Mathematik-Didaktik) , WTM-Verlag, 2016, pp. 86–102.
2016 | Conference Paper | LibreCat-ID: 47240
SoK: Lessons Learned from Android Security Research for Appified Software Platforms
Y. Acar, M. Backes, S. Bugiel, S. Fahl, P. McDaniel, M. Smith, in: 2016 IEEE Symposium on Security and Privacy (SP), IEEE, 2016.
LibreCat
| DOI
Y. Acar, M. Backes, S. Bugiel, S. Fahl, P. McDaniel, M. Smith, in: 2016 IEEE Symposium on Security and Privacy (SP), IEEE, 2016.
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: 47241
You Get Where You're Looking for: The Impact of Information Sources on Code Security
Y. Acar, M. Backes, S. Fahl, D. Kim, M.L. Mazurek, C. Stransky, in: 2016 IEEE Symposium on Security and Privacy (SP), IEEE, 2016.
LibreCat
| DOI
Y. Acar, M. Backes, S. Fahl, D. Kim, M.L. Mazurek, C. Stransky, in: 2016 IEEE Symposium on Security and Privacy (SP), IEEE, 2016.
2016 | Conference Paper | LibreCat-ID: 46365
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, Ischia, Italy, 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, Ischia, Italy, 2016, pp. 48–59.
2016 | Conference Paper | LibreCat-ID: 46366
Understanding Characteristics of Evolved Instances for State-of-the-Art Inexact TSP Solvers with Maximum Performance Difference
J. Bossek, H. Trautmann, in: G. Adorni, S. Cagnoni, M. Gori, M. Maratea (Eds.), AI*IA 2016 Advances in Artificial Intelligence, Springer, Cham, 2016, pp. 3–12.
LibreCat
| DOI
J. Bossek, H. Trautmann, in: G. Adorni, S. Cagnoni, M. Gori, M. Maratea (Eds.), AI*IA 2016 Advances in Artificial Intelligence, Springer, Cham, 2016, pp. 3–12.
2016 | Journal Article | LibreCat-ID: 6555 | 
Determination of the material properties of polymers using laser-generated broadband ultrasound
L. Claes, T. Meyer, F. Bause, J. Rautenberg, B. Henning, Journal of Sensors and Sensor Systems 5 (2016) 187–196.
LibreCat
| DOI
| Download (ext.)
L. Claes, T. Meyer, F. Bause, J. Rautenberg, B. Henning, Journal of Sensors and Sensor Systems 5 (2016) 187–196.
2016 | Journal Article | LibreCat-ID: 55281
The least prime number in a Beatty sequence
J. Steuding, M.P. Technau, J. Number Theory 169 (2016) 144–159.
LibreCat
| DOI
J. Steuding, M.P. Technau, J. Number Theory 169 (2016) 144–159.
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.
2015 | Conference Paper | LibreCat-ID: 25076
On Adaptivity for Automated Composition of Service Functionality
A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE Computer Society, 2015, pp. 329–332.
LibreCat
A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE Computer Society, 2015, pp. 329–332.
2015 | Conference Paper | LibreCat-ID: 25080
Automated Online Service Composition
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2015, pp. 57–64.
LibreCat
F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2015, pp. 57–64.