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
2015 | Preprint | LibreCat-ID: 51526
Resonances for the Laplacian: the cases BC2 and C2 (except over SOo(p,2), p>0 odd)
J. Hilgert, A. Pasquale, T. Przebinda, (2015).
LibreCat
| Download (ext.)
J. Hilgert, A. Pasquale, T. Przebinda, (2015).
2015 | Preprint | LibreCat-ID: 51527
Contraction of Hamiltonian K-spaces
J. Hilgert, C. Manon, J. Martens, (2015).
LibreCat
| Download (ext.)
J. Hilgert, C. Manon, J. Martens, (2015).
2015 | Preprint | LibreCat-ID: 51529
Resonances for the Laplacian of products of two rank one Riemannian symmetric spaces
J. Hilgert, A. Pasquale, T. Przebinda, (2015).
LibreCat
| Download (ext.)
J. Hilgert, A. Pasquale, T. Przebinda, (2015).
2015 | Preprint | LibreCat-ID: 51530
Superorbits
J. Hilgert, A. Alldridge, T. Wurzbacher, (2015).
LibreCat
| Download (ext.)
J. Hilgert, A. Alldridge, T. Wurzbacher, (2015).
2015 | Dissertation | LibreCat-ID: 45973 |
Efficient numerical methods for elliptic and parabolic partial differential equations
B. Kovács, Efficient Numerical Methods for Elliptic and Parabolic Partial Differential Equations, Budapest, Hungary, 2015.
LibreCat
| DOI
| Download (ext.)
B. Kovács, Efficient Numerical Methods for Elliptic and Parabolic Partial Differential Equations, Budapest, Hungary, 2015.
2015 | Conference Paper | LibreCat-ID: 33620
Sprachsensibler Umgang mit Textmustern im Mathematikunterricht am Beispiel von Konstruktionsbeschreibungen
S. Rezat, S. Rezat, S. Janzen, in: F. Caluori, H. Linneweber-Lammerskitten, Chr. Streit (Eds.), Beiträge zum Mathematikunterricht 2015. Vorträge auf der 49. Tagung für Didaktik der Mathematik vom 09.02.2015 bis 13.02.2015 in Basel. Band 2, WTM, Münster, 2015, pp. 736–739.
LibreCat
S. Rezat, S. Rezat, S. Janzen, in: F. Caluori, H. Linneweber-Lammerskitten, Chr. Streit (Eds.), Beiträge zum Mathematikunterricht 2015. Vorträge auf der 49. Tagung für Didaktik der Mathematik vom 09.02.2015 bis 13.02.2015 in Basel. Band 2, WTM, Münster, 2015, pp. 736–739.
2015 | Book (Editor) | LibreCat-ID: 53590
Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems
D. Müller-Gridschneder, W. Müller, S. Mitra, eds., Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems, Amsterdam, Netherlands, 2015.
LibreCat
D. Müller-Gridschneder, W. Müller, S. Mitra, eds., Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems, Amsterdam, Netherlands, 2015.
2014 | Conference Paper | LibreCat-ID: 25112
Towards Context-Sensitive Service Composition for Service-Oriented Image Processing
A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), IEEE, 2014, pp. 755–758.
LibreCat
A. Jungmann, B. Kleinjohann, in: Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), IEEE, 2014, pp. 755–758.
2014 | Journal Article | LibreCat-ID: 25114
Incorporating Reputation Information into Decision-Making Processes in Markets of Composed Services
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal on Advances in Intelligent Systems 7(3&4) (2014) 572–594.
LibreCat
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, International Journal on Advances in Intelligent Systems 7(3&4) (2014) 572–594.
2014 | Conference Paper | LibreCat-ID: 25115
Applying Reinforcement Learning for Resolving Ambiguity in Service Composition
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), IEEE Computer Society, 2014, pp. 105–112.
LibreCat
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 7th International Conference on Service Oriented Computing and Applications (SOCA), IEEE Computer Society, 2014, pp. 105–112.
2014 | Journal Article | LibreCat-ID: 25116
Fast Many-Worlds Simulation to Resolve Nondeterminism of Fault Effect Propagation
M. Becker, C. Kuznik, Forum on Specification & Design Languages (FDL 2014) (2014).
LibreCat
M. Becker, C. Kuznik, Forum on Specification & Design Languages (FDL 2014) (2014).
2014 | Conference Paper | LibreCat-ID: 25119
Evaluating Influence of Nonlinear Disturbances on Image Registration Based on Virtual Forces
C. Stern, L. Kleinjohann, in: Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014, Institute of Industrial Applications Engineers, 2014, pp. 209–215.
LibreCat
C. Stern, L. Kleinjohann, in: Proceedings of The 2nd International Conference on Intelligent Systems and Image Processing 2014, Institute of Industrial Applications Engineers, 2014, pp. 209–215.
2014 | Conference Paper | LibreCat-ID: 25122
A Criticality-aware Mapping of Real-time Virtual Machines to Multi-core Processors
S. Grösbrink, L. Almeida, in: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2014.
LibreCat
S. Grösbrink, L. Almeida, in: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2014.
2014 | Conference Paper | LibreCat-ID: 25145
Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software
M. Becker, C. Kuznik, W. Müller, in: 17th Euromicro Conference on Digital Systems Design (DSD), 2014.
LibreCat
M. Becker, C. Kuznik, W. Müller, in: 17th Euromicro Conference on Digital Systems Design (DSD), 2014.
2014 | Conference Paper | LibreCat-ID: 25147
Towards Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems
J. Jatzkowski, B. Kleinjohann, in: 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt), 2014.
LibreCat
J. Jatzkowski, B. Kleinjohann, in: 2nd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt), 2014.
2014 | Conference Paper | LibreCat-ID: 25148
Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System
K. Sudhakar, Y. Zhao, F.-J. Rammig, in: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, Reno, NV, 2014, pp. 374–383.
LibreCat
K. Sudhakar, Y. Zhao, F.-J. Rammig, in: Proc. 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), IEEE Xplore, Reno, NV, 2014, pp. 374–383.
2014 | Conference Paper | LibreCat-ID: 25149
Online Behavior Classification for Anomaly Detection in Self-X Real-Time Systems
F.-J. Rammig, K. Stahl, in: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 2014, pp. 334–341.
LibreCat
F.-J. Rammig, K. Stahl, in: Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2014 IEEE 17th International Symposium On, 2014, pp. 334–341.
2014 | Conference Paper | LibreCat-ID: 25150
Combining Automatic Service Composition with Adaptive Service Recommendation for Dynamic Markets of Services
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), IEEE, 2014, pp. 346–353.
LibreCat
A. Jungmann, F. Mohr, B. Kleinjohann, in: Proceedings of the 10th World Congress on Services (SERVICES), IEEE, 2014, pp. 346–353.
2014 | Conference Paper | LibreCat-ID: 25152
Virtual Machine Migration as a Fault Tolerance Technique for Embedded Real-Time Systems
S. Grösbrink, in: 8th IEEE International Conference on Software Security and Reliability, 2014.
LibreCat
S. Grösbrink, in: 8th IEEE International Conference on Software Security and Reliability, 2014.
2014 | Conference Paper | LibreCat-ID: 25153
Towards a Flexible and Privacy-Preserving Reputation System for Markets of Composed Services
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, in: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.
LibreCat
A. Jungmann, S. Brangewitz, R. Petrlic, M.C. Platenius, in: Proceedings of the Sixth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2014, pp. 49–57.