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.
10720 Publications
2014 | Book Chapter | LibreCat-ID: 51465
@inbook{Hilgert_Hoffmann_Panse_2014, place={Münster}, title={Schwierigkeiten von Studienanfängern, verschiedene Lehrmethoden und Fragen an die Didaktik}, booktitle={Beiträge zum Mathematikunterricht 2014}, publisher={WTM Verlag}, author={Hilgert, Joachim and Hoffmann, M. and Panse, A.}, editor={Roth, J. and Ames, J.}, year={2014} }
LibreCat
2014 | Preprint | LibreCat-ID: 51531
@article{Hilgert_Pasquale_Przebinda_2014, title={Resonances for the Laplacian on Riemannian symmetric spaces: the case of SL(3,R)/SO(3)}, author={Hilgert, Joachim and Pasquale, A. and Przebinda, T.}, year={2014} }
LibreCat
| Download (ext.)
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
2014 | Conference Paper | LibreCat-ID: 47162
@inproceedings{Fahl_Acar_Perl_Smith_2014, title={Why eve and mallory (also) love webmasters}, DOI={10.1145/2590296.2590341}, booktitle={Proceedings of the 9th ACM symposium on Information, computer and communications security}, publisher={ACM}, author={Fahl, Sascha and Acar, Yasemin and Perl, Henning and Smith, Matthew}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 25120
@inproceedings{Mischkalla_Müller_2014, title={Architectural Low-Power Design Using Transaction-Based System Simulation}, booktitle={Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV)}, publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25146
@inproceedings{Joy_Müller_Rammig_2014, title={Source code annotated memory leak detection for soft real time embedded systems with resource constraints}, booktitle={12th IEEE International conference on Embedded Computing}, author={Joy, M. tech. Mabel Mary and Müller, Wolfgang and Rammig, Franz-Josef}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25144
@inproceedings{Mischkalla_Müller_2014, place={Palma de Mallorca, Spain}, title={Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation}, booktitle={PATMOS 2014}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 36918
@inproceedings{Becker_Kuznik_Müller_2014, place={Berlin}, title={Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems}, DOI={10.1109/ICCPS.2014.6843726}, publisher={IEEE}, author={Becker, Markus and Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
| DOI
2014 | Conference Paper | LibreCat-ID: 36917
@inproceedings{Kuznik_Müller_Defo_2014, place={San Francisco, USA}, title={An Assisted Single Source Verification Metric Model Code Generation Methodology}, author={Kuznik, Christoph and Müller, Wolfgang and Defo, Gilles Bertrand}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25166
@inproceedings{Kuznik_Müller_2014, title={Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM}, booktitle={26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 25163
@inproceedings{Kuznik_Defo_Müller_2014, title={Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung}, booktitle={17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) }, author={Kuznik, Christoph and Defo, Bertrand Gilles and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Journal Article | LibreCat-ID: 25151
@article{Kuznik_Defo_Müller_2014, title={An Assisted Single Source Verification Metric Model Code Generation Methodology}, journal={Electronic System Level Synthesis Conference (ESLSyn)}, author={Kuznik, Christoph and Defo, Bertrand Gilles and Müller, Wolfgang}, year={2014} }
LibreCat
2014 | Conference Paper | LibreCat-ID: 35714
@inproceedings{Temmen_Nofen_Wehebrink_2014, title={Lecture meets laboratory experimental experiences for large audiences: Concept and implementation}, DOI={10.1109/educon.2014.6826117}, booktitle={2014 IEEE Global Engineering Education Conference (EDUCON)}, publisher={IEEE}, author={Temmen, Katrin and Nofen, Barbara and Wehebrink, Markus}, year={2014} }
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 31296
@article{Barkhofen_Faure_Weich_2014, title={Resonance chains in open systems, generalized zeta functions and clustering of the length spectrum}, volume={27}, DOI={10.1088/0951-7715/27/8/1829}, number={8}, journal={Nonlinearity}, publisher={IOP Publishing}, author={Barkhofen, Sonja and Faure, F and Weich, Tobias}, year={2014}, pages={1829–1858} }
LibreCat
| DOI
| arXiv
2014 | Journal Article | LibreCat-ID: 31297
@article{Weich_Barkhofen_Kuhl_Poli_Schomerus_2014, title={Formation and interaction of resonance chains in the open three-disk system}, volume={16}, DOI={10.1088/1367-2630/16/3/033029}, number={3033029}, journal={New Journal of Physics}, publisher={IOP Publishing}, author={Weich, Tobias and Barkhofen, Sonja and Kuhl, U and Poli, C and Schomerus, H}, year={2014} }
LibreCat
| DOI
| arXiv