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
2014 | Conference Paper | LibreCat-ID: 29438
Gail, T., Leyendecker, S., & Ober-Blöbaum, S. (2014). On the role of quadrature rules and system dimensions in variational multirate integrators. 3rd Joint Interntaional Conference on Multibody System Dynamics .
LibreCat
2014 | Book Chapter | LibreCat-ID: 20085
Trächtler, A., Kleinjohann, B., Heinzemann, C., Rasche, C., Priesterjahn, C., Steenken, D., Wehrheim, H., Gausemeier, J., Flaßkamp, K., Kleinjohann, L., Krüger, M., Iwanek, P., Hartmann, P., Dorociak, R., Groesbrink, S., Ziegert, S., Meyer, T., Sextro, W., & Schäfer, W. (2014). Case Study. In J. Gausemeier, F. Josef Rammig, W. Schäfer, & W. Sextro (Eds.), Dependability of Self-Optimizing Mechatronic Systems (pp. 173–188). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-53742-4_4
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 29404
Ober-Blöbaum, S., & Saake, N. (2014). Construction and analysis of higher order Galerkin variational integrators. Advances in Computational Mathematics, 1–32.
LibreCat
2014 | Book Chapter | LibreCat-ID: 20080
Anacker, H., Dellnitz, M., Flaßkamp, K., Grocsbrink, S., Hartmann, P., Heinzemann, C., Horenkamp, C., Kleinjohann, B., Korf, S., Krüger, M., Müller, W., Ober-Blöbaum, S., Oberthür, S., Porrmann, M., Priesterjahn, C., Radkowski, R., Rasche, C., Rieke, J., Ringkamp, M., … Ziegert, S. (2014). Methods for the Design and Development. In Jürgen Gausemeier, Franz Josef Rammig, and Wilhelm Schäfer, editors, Design Methodology for Intelligent Technical Systems (pp. 183–350). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-45435-6_5
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 29417
Dangelmeier, W., Dellnitz, M., Dorociak, R., Flaßkamp, K., Gausemeier, J., Groesbrink, S., Hartmann, P., Heinzemann, C., Hölscher, C., Iwanek, P., Keßler, J. H., Kleinjohann, B., Kleinjohann, L., Korf, S., Krüger, M., Meyer, T., Müller, W., Ober-Blöbaum, S., Porrmann, M., … Zimmer, D. (2014). Dependability of Self-optimizing Mechatronic Systems. In Lecture Notes in Mechanical Engineering. Springer.
LibreCat
2014 | Book Chapter | LibreCat-ID: 29416
Dellnitz, M., Dumitrescu, R., Flaßkamp, K., Gausemeier, J., Hartmann, P., Iwanek, P., Korf, S., Krüger, M., Ober-Blöbaum, S., Porrmann, M., Priesterjahn, C., Stahl, K., Trächtler, A., & Vaßholz, M. (2014). The paradigm of self-optimization. In Jürgen Gausemeier, Franz Josef Rammig, and Wilhelm Schäfer, editors, Design Methodology for Intelligent Technical Systems (pp. 1–25). Springer.
LibreCat
2014 | Book Chapter | LibreCat-ID: 29414
Leitz, T., Ober-Blöbaum, S., & Leyendecker, S. (2014). Variational Lie group formulation of geometrically exact beam dynamics: Synchronous and asynchronous integration. In Zdravko Terze, Multibody Dynamics (Vol. 35, pp. 175–203). Springer International Publishing.
LibreCat
2014 | Journal Article | LibreCat-ID: 31294
Weich, T. (2014). Equivariant spectral asymptotics forh-pseudodifferential operators. Journal of Mathematical Physics, 55(10), Article 101501. https://doi.org/10.1063/1.4896698
LibreCat
| DOI
| arXiv
2014 | Journal Article | LibreCat-ID: 33029
Vogt, T., Böcker, J., & Kempen, S. (2014). Die Rolle von Batteriespeichern in KMU-Microgrids. BWK – Das Energie-Fachmagazin – Springer VDI Verlag, Ausgabe 12-2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 33107
Vogt, T., Fröhleke, N., Böcker, J., & Kempen, S. (2014). Design Considerations on Peak Power Clipping Thresholds in Microgrids. 6th World Conference on Photovoltaic Energy Conversion (WCPEC). 6th World Conference on Photovoltaic Energy Conversion (WCPEC), IEEE Kyoto, Japan.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 33361
Kolb, M., & Savov, M. (2014). Exponential ergodicity of killed Lévy processes in a finite interval. Electronic Communications in Probability, 19(31), 1–9. http://dx.doi.org/10.1214/ECP.v19-3006
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 33362
Kolb, M., & Krejčiřík, D. (2014). The Brownian traveller on manifolds. Journal of Spectral Theory, 4(2), 235–281. https://doi.org/10.4171/jst/69
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 24301
Scheytt, C. (2014). mm-Wellen- und Electronic-Photonic System-on-Chip Design. Fakultätskolloquium Der Fakultät Für Elektrotechnik Und Informationstechnik.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25120
Mischkalla, F., & Müller, W. (2014). Architectural Low-Power Design Using Transaction-Based System Simulation. Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV).
LibreCat
2014 | Conference Paper | LibreCat-ID: 25146
Joy, M. tech. M. M., Müller, W., & Rammig, F.-J. (2014). Source code annotated memory leak detection for soft real time embedded systems with resource constraints. 12th IEEE International Conference on Embedded Computing.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25144
Mischkalla, F., & Müller, W. (2014). Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation. PATMOS 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 36918
Becker, M., Kuznik, C., & Müller, W. (2014). Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS), Berlin. https://doi.org/10.1109/ICCPS.2014.6843726
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36917
Kuznik, C., Müller, W., & Defo, G. B. (2014). An Assisted Single Source Verification Metric Model Code Generation Methodology. Proceedings of the Electronic System Level Synthesis Conference (ESLSyn).
LibreCat
2014 | Conference Paper | LibreCat-ID: 25166
Kuznik, C., & Müller, W. (2014). Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM. 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, C., Defo, B. G., & Müller, W. (2014). Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) .
LibreCat