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.
9746 Publications
2014 | Book Chapter | LibreCat-ID: 20080
Anacker H, Dellnitz M, Flaßkamp K, et al. Methods for the Design and Development. In: Jürgen Gausemeier, Franz Josef Rammig, and Wilhelm Schäfer, Editors, Design Methodology for Intelligent Technical Systems. Lecture Notes in Mechanical Engineering. Springer Berlin Heidelberg; 2014:183-350. doi:10.1007/978-3-642-45435-6_5
LibreCat
| DOI
2014 | Book Chapter | LibreCat-ID: 29417
Dangelmeier W, Dellnitz M, Dorociak R, et al. Dependability of Self-optimizing Mechatronic Systems. In: Lecture Notes in Mechanical Engineering. Springer; 2014.
LibreCat
2014 | Book Chapter | LibreCat-ID: 29416
Dellnitz M, Dumitrescu R, Flaßkamp K, et al. The paradigm of self-optimization. In: Jürgen Gausemeier, Franz Josef Rammig, and Wilhelm Schäfer, Editors, Design Methodology for Intelligent Technical Systems. Lecture Notes in Mechanical Engineering. Springer; 2014:1-25.
LibreCat
2014 | Book Chapter | LibreCat-ID: 29414
Leitz T, Ober-Blöbaum S, Leyendecker S. Variational Lie group formulation of geometrically exact beam dynamics: Synchronous and asynchronous integration. In: Zdravko Terze, Multibody Dynamics. Vol 35. Computational Methods in Applied Sciences. Springer International Publishing; 2014:175-203.
LibreCat
2014 | Journal Article | LibreCat-ID: 31294
Weich T. Equivariant spectral asymptotics forh-pseudodifferential operators. Journal of Mathematical Physics. 2014;55(10). doi:10.1063/1.4896698
LibreCat
| DOI
| arXiv
2014 | Journal Article | LibreCat-ID: 33029
Vogt T, Böcker J, Kempen S. Die Rolle von Batteriespeichern in KMU-Microgrids. BWK – Das Energie-Fachmagazin – Springer VDI Verlag, Ausgabe 12-2014. Published online 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 33107
Vogt T, Fröhleke N, Böcker J, Kempen S. Design Considerations on Peak Power Clipping Thresholds in Microgrids. In: 6th World Conference on Photovoltaic Energy Conversion (WCPEC). ; 2014.
LibreCat
| Files available
2014 | Journal Article | LibreCat-ID: 33361
Kolb M, Savov M. Exponential ergodicity of killed Lévy processes in a finite interval. Electronic Communications in Probability. 2014;19(31):1-9. doi:http://dx.doi.org/10.1214/ECP.v19-3006
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 33362
Kolb M, Krejčiřík D. The Brownian traveller on manifolds. Journal of Spectral Theory. 2014;4(2):235-281. doi:https://doi.org/10.4171/jst/69
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 24301
Scheytt C. mm-Wellen- und Electronic-Photonic System-on-Chip Design. In: Fakultätskolloquium Der Fakultät Für Elektrotechnik Und Informationstechnik. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25120
Mischkalla F, Müller W. Architectural Low-Power Design Using Transaction-Based System Simulation. In: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). IEEE; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25146
Joy M tech. MM, Müller W, Rammig F-J. Source code annotated memory leak detection for soft real time embedded systems with resource constraints. In: 12th IEEE International Conference on Embedded Computing. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25144
Mischkalla F, Müller W. Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation. In: PATMOS 2014. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 36918
Becker M, Kuznik C, Müller W. Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems. In: IEEE; 2014. doi:10.1109/ICCPS.2014.6843726
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36917
Kuznik C, Müller W, Defo GB. An Assisted Single Source Verification Metric Model Code Generation Methodology. In: ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25166
Kuznik C, Müller W. Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM. In: 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen. ; 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 25163
Kuznik C, Defo BG, Müller W. Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. In: 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) . ; 2014.
LibreCat
2014 | Journal Article | LibreCat-ID: 25151
Kuznik C, Defo BG, Müller W. An Assisted Single Source Verification Metric Model Code Generation Methodology. Electronic System Level Synthesis Conference (ESLSyn). Published online 2014.
LibreCat
2014 | Conference Paper | LibreCat-ID: 35714
Temmen K, Nofen B, Wehebrink M. Lecture meets laboratory experimental experiences for large audiences: Concept and implementation. In: 2014 IEEE Global Engineering Education Conference (EDUCON). IEEE; 2014. doi:10.1109/educon.2014.6826117
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 31296
Barkhofen S, Faure F, Weich T. Resonance chains in open systems, generalized zeta functions and clustering of the length spectrum. Nonlinearity. 2014;27(8):1829-1858. doi:10.1088/0951-7715/27/8/1829
LibreCat
| DOI
| arXiv