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.
9821 Publications
2014 | Journal Article | LibreCat-ID: 45935
@article{Axelsson_Karátson_Kovács_2014, title={Robust Preconditioning Estimates for Convection-Dominated Elliptic Problems via a Streamline Poincaré--Friedrichs Inequality}, volume={52}, DOI={10.1137/130940268}, number={6}, journal={SIAM Journal on Numerical Analysis}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Axelsson, Owe and Karátson, János and Kovács, Balázs}, year={2014}, pages={2957–2976} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 45934
@article{Kovács_2014, title={On the numerical performance of a sharp a posteriori error estimator for some nonlinear elliptic problems}, volume={59}, DOI={10.1007/s10492-014-0068-0}, number={5}, journal={Applications of Mathematics}, publisher={Institute of Mathematics, Czech Academy of Sciences}, author={Kovács, Balázs}, year={2014}, pages={489–508} }
LibreCat
| DOI
2014 | Dissertation | LibreCat-ID: 51696
@book{Werth_2014, title={Ziehen und Beweisen mit DGS. Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?}, author={Werth, Gerda}, year={2014} }
LibreCat
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 32025
@article{Küster_2014, title={Discontinuity of the Fuglede-Kadison determinant on a group von Neumann algebra}, volume={22}, number={2}, journal={Communications in Mathematics}, author={Küster, Benjamin}, year={2014}, pages={141–149} }
LibreCat
2014 | Book | LibreCat-ID: 48384
@book{Wessel_2014, place={Wiesbaden}, title={Fach-und sprachintegrierte Förderung durch Darstellungsvernetzung und Scaffolding: ein Entwicklungsforschungsprojekt zum Anteilbegriff}, volume={19}, publisher={Springer-Verlag}, author={Wessel, Lena}, year={2014} }
LibreCat
2014 | Journal Article | LibreCat-ID: 25164
@article{Becker_Müller_Stroop_Kiffmeier_2014, title={HeroeS - A Framework for Heterogeneous Software-Intensive System Design with SystemC}, journal={Design, Automation and Test in Europe DATE, University Booth, Dresden}, author={Becker, Markus and Müller, Wolfgang and Stroop, Joachim and Kiffmeier, Ulrich}, year={2014} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25269
@inproceedings{Khaluf_Birattari_Rammig_2013, series={Theory and Practice of Natural Computing, Nr. 8273}, title={Probabilistic Analysis of Long-term Swarm Performance under Spatial Interferences}, volume={8273}, booktitle={Theory and Practice of Natural Computing, Nr. 8273, 2nd International Conference on the Theory and Practice of Natural Computing, TPNC 2013}, publisher={Springer}, author={Khaluf, Yara and Birattari, Mauro and Rammig, Franz-Josef}, year={2013}, collection={Theory and Practice of Natural Computing, Nr. 8273} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25270
@inproceedings{Joy_Müller_Rammig_2013, title={Early Phase Memory Leak Detection in Embedded Software Designs with Virtual Memory Management Model}, booktitle={Proceedings of AVICPS 2013, Dez. 2013 IEEE Computer Society,}, publisher={Linköping University Electronic Press}, author={Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25271
@inproceedings{He_Müller_2013, title={AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS}, booktitle={Proceedings of International Conference on Applied Computing (AC)}, author={He, Da and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25273
@inproceedings{Wehrmeister_Pereira_Rammig_2013, title={Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems}, booktitle={ IEEE Trans. on Industrial Informatics vol. 9 (no. 4)}, author={Wehrmeister, Marco A. and Pereira, Carlos E. and Rammig, Franz-Josef}, year={2013}, pages={2373–2386} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25274
@inproceedings{Khaluf_Rammig_2013, title={Task Allocation Strategy for Time-Constrained Tasks in Robots Swarms}, booktitle={ECAL 2013, 12th European Conference on Artificial Life}, author={Khaluf, Yara and Rammig, Franz-Josef}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25277
@inproceedings{Farshizadeh_Briese_Steinmann_Stockmann_Beringer_Holler_Klobedanz_Heinzemann_Peter_Leuer_2013, title={Simulationsgestützter Entwurf für Elektrofahrzeuge}, booktitle={8. Dortmunder Autotag, Sep. 2013}, author={Farshizadeh, Emad and Briese, Herrmann and Steinmann, David and Stockmann, Lars and Beringer, Steffen and Holler, Dominik and Klobedanz, Kay and Heinzemann, Christian and Peter, Klaus and Leuer, Michael}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25284
@inproceedings{Mischkalla_Müller_2013, title={ Efficient Power Intent Validation Using Loosely-Timed Simulation Models}, booktitle={ 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep. 2013}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25286
@inproceedings{Jungmann_Kleinjohann_2013, title={Learning Recommendation System for Automated Service Composition}, booktitle={Proceedings of the 10th IEEE International Conference on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Jungmann, Alexander and Kleinjohann, Bernd}, year={2013}, pages={97–104} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25287
@inproceedings{Gilles_Grösbrink_Baldin_Kerstan_2013, title={Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-Core Embedded Systems}, booktitle={International Embedded Systems Symposium, 17. - 19. Jun. 2013}, author={Gilles, Katharina and Grösbrink, Stefan and Baldin, Daniel and Kerstan, Timo}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25289
@inproceedings{Grösbrink_2013, title={On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem}, booktitle={ International Embedded Systems Symposium, 17. - 19. Jun. 2013}, author={Grösbrink, Stefan}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25290
@inproceedings{Rammig_Khaluf_Montealegre_Stahl_Zhao_2013, title={Organic Real-time Programming – Vision and Approaches towards Self-Evolving and Adaptive Real-time Software}, booktitle={Proc. 9th Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2013}, publisher={IEEE}, author={Rammig, Franz-Josef and Khaluf, Lial and Montealegre, Norma and Stahl, Katharina and Zhao, Yuhong}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25291
@inproceedings{Becker_Kiffmeier_Müller_2013, title={HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures}, booktitle={16th IEEE Computer Society Symposium on Object/Component/Service-oriented Real-time Distributed Computing}, author={Becker, Markus and Kiffmeier, Ulrich and Müller, Wolfgang}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25292
@inproceedings{Rammig_Stahl_Vaz_2013, title={A Framework for Enhancing Dependability in Self-x Systems by Artificial Immune Systems}, booktitle={Proc. 4th IEEE Workshop on Self-Organizing Real-Time Systems (SORT) 2013}, publisher={IEEE}, author={Rammig, Franz-Josef and Stahl, Katharina and Vaz, Gavin Francis}, year={2013} }
LibreCat
2013 | Conference Paper | LibreCat-ID: 25296
@inproceedings{Rasche_Ziegert_2013, title={Multilevel Planning for Self-Optimizing Mechatronic Systems}, booktitle={Proceedings of The Fifth International Conference on Adaptive and Self-Adaptive Systems and Applications}, publisher={ThinkMind}, author={Rasche, Christoph and Ziegert, Steffen}, year={2013}, pages={6} }
LibreCat