The Radon transform and its dual for limits of symmetric spaces
J. Hilgert, G. Ólafsson, in: G. Mason, I. Penkov, J.A. Wolf (Eds.), Developments and Retrospectives in Lie Theory - Geometric and Analytic Methods, Springer, 2014.
LibreCat: /record/51466

Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik
J. Hilgert, M. Hoffmann, A. Panse, in: J. Roth, J. Ames (Eds.), Beiträge zum Mathematikunterricht 2014, WTM Verlag, Münster, 2014.
LibreCat: /record/51465

Resonances for the Laplacian on Riemannian symmetric spaces: the case of SL(3,R)/SO(3)
J. Hilgert, A. Pasquale, T. Przebinda, (2014).
LibreCat: /record/51531

Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality
O. Axelsson, J. Karátson, B. Kovács, SIAM Journal on Numerical Analysis 52 (2014) 2957–2976.
LibreCat: /record/45935
DOI: 10.1137/130940268

On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems
B. Kovács, Applications of Mathematics 59 (2014) 489–508.
LibreCat: /record/45934
DOI: 10.1007/s10492-014-0068-0

Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?
G. Werth, Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?, 2014.
LibreCat: /record/51696

Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra
B. Küster, Communications in Mathematics 22 (2014) 141–149.
LibreCat: /record/32025

Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff
L. Wessel, Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff, Springer-Verlag, Wiesbaden, 2014.
LibreCat: /record/48384

HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC
M. Becker, W. Müller, J. Stroop, U. Kiffmeier, Design, Automation and Test in Europe DATE, University Booth, Dresden (2014).
LibreCat: /record/25164

Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences
Y. Khaluf, M. Birattari, F.-J. Rammig, in: Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013, Springer, 2013.
LibreCat: /record/25269

Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model
M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society, Linköping University Electronic Press, 2013.
LibreCat: /record/25270

AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS
D. He, W. Müller, in: Proceedings of International Conference on Applied Computing (AC), 2013.
LibreCat: /record/25271

Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems
M.A. Wehrmeister, C.E. Pereira, F.-J. Rammig, in:  IEEE Trans. on Industrial Informatics Vol. 9 (No. 4), 2013, pp. 2373–2386.
LibreCat: /record/25273

Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms
Y. Khaluf, F.-J. Rammig, in: ECAL 2013, 12th European Conference on Artificial Life, 2013.
LibreCat: /record/25274

Simulationsgestützter Entwurf für Elektrofahrzeuge
E. Farshizadeh, H. Briese, D. Steinmann, L. Stockmann, S. Beringer, D. Holler, K. Klobedanz, C. Heinzemann, K. Peter, M. Leuer, in: 8. Dortmunder Autotag, Sep. 2013, 2013.
LibreCat: /record/25277

 Efficient Power Intent Validation Using Loosely-Timed Simulation Models
F. Mischkalla, W. Müller, in:  23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013, 2013.
LibreCat: /record/25284

Learning Recommendation System for Automated Service Composition
A. Jungmann, B. Kleinjohann, in: Proceedings of the 10th IEEE International Conference on Services Computing (SCC),  IEEE Computer Society, 2013, pp. 97–104.
LibreCat: /record/25286

Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems
K. Gilles, S. Grösbrink, D. Baldin, T. Kerstan, in: International Embedded Systems Symposium, 17. - 19. Jun. 2013, 2013.
LibreCat: /record/25287

On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem
S. Grösbrink, in:  International Embedded Systems Symposium, 17. - 19. Jun. 2013, 2013.
LibreCat: /record/25289

Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software
F.-J. Rammig, L. Khaluf, N. Montealegre, K. Stahl, Y. Zhao, in: Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013, IEEE, 2013.
LibreCat: /record/25290