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.
1981 Publications
2014 | Conference Paper | LibreCat-ID: 25146
Source code annotated memory leak detection for soft real time embedded systems with resource constraints
M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: 12th IEEE International Conference on Embedded Computing, 2014.
LibreCat
M. tech. M.M. Joy, W. Müller, F.-J. Rammig, in: 12th IEEE International Conference on Embedded Computing, 2014.
2014 | Conference Paper | LibreCat-ID: 25144
Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation
F. Mischkalla, W. Müller, in: PATMOS 2014, Palma de Mallorca, Spain, 2014.
LibreCat
F. Mischkalla, W. Müller, in: PATMOS 2014, Palma de Mallorca, Spain, 2014.
2014 | Conference Paper | LibreCat-ID: 36918
Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems
M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.
LibreCat
| DOI
M. Becker, C. Kuznik, W. Müller, in: IEEE, Berlin, 2014.
2014 | Conference Paper | LibreCat-ID: 36917
An Assisted Single Source Verification Metric Model Code Generation Methodology
C. Kuznik, W. Müller, G.B. Defo, in: San Francisco, USA, 2014.
LibreCat
C. Kuznik, W. Müller, G.B. Defo, in: San Francisco, USA, 2014.
2014 | Conference Paper | LibreCat-ID: 25166
Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM
C. Kuznik, W. Müller, in: 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2014.
LibreCat
C. Kuznik, W. Müller, in: 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2014.
2014 | Conference Paper | LibreCat-ID: 25163
Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung
C. Kuznik, B.G. Defo, W. Müller, in: 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) , 2014.
LibreCat
C. Kuznik, B.G. Defo, W. Müller, in: 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) , 2014.
2014 | Journal Article | LibreCat-ID: 25151
An Assisted Single Source Verification Metric Model Code Generation Methodology
C. Kuznik, B.G. Defo, W. Müller, Electronic System Level Synthesis Conference (ESLSyn) (2014).
LibreCat
C. Kuznik, B.G. Defo, W. Müller, Electronic System Level Synthesis Conference (ESLSyn) (2014).
2014 | Conference Paper | LibreCat-ID: 37107
Does mandatory IFRS adoption facilitate debt financing?
A. Florou, U. Kosi, in: 2014.
LibreCat
A. Florou, U. Kosi, in: 2014.
2014 | Book Chapter | LibreCat-ID: 37219
Rechtssprachliches im >Vocabularius Theutonicus<
N. Wallmeier, in: M. Denkler, F. Roolfs (Eds.), Studien zur Lexikographie und Lexikologie des Niederdeutschen. Festgabe für Robert Damme zum 60. Geburtstag., Aschendorff, Münster, 2014, pp. 29–40.
LibreCat
N. Wallmeier, in: M. Denkler, F. Roolfs (Eds.), Studien zur Lexikographie und Lexikologie des Niederdeutschen. Festgabe für Robert Damme zum 60. Geburtstag., Aschendorff, Münster, 2014, pp. 29–40.
2014 | Conference Paper | LibreCat-ID: 35714
Lecture meets laboratory experimental experiences for large audiences: Concept and implementation
K. Temmen, B. Nofen, M. Wehebrink, in: 2014 IEEE Global Engineering Education Conference (EDUCON), IEEE, 2014.
LibreCat
| DOI
K. Temmen, B. Nofen, M. Wehebrink, in: 2014 IEEE Global Engineering Education Conference (EDUCON), IEEE, 2014.
2014 | Journal Article | LibreCat-ID: 37307
The Capability Approach and Sociological Conceptions of Human Agency: An Empirical Assessment on the Basis of an Analysis of Activation Policies
S. Dahmen, Social Work & Society. International Online Journal 12 (2014).
LibreCat
S. Dahmen, Social Work & Society. International Online Journal 12 (2014).
2014 | Book Chapter | LibreCat-ID: 37309
The Theoretical Orthodoxy of Children’s and Youth Agency and Its Contradictions: Moving from Normative Thresholds to a Situated Assessment of Children’s and Youth Lives
S. Dahmen, in: J.-M. Bonvin, D. Stöcklin (Eds.), Children’s Rights and the Capability Approach, Springer, 2014, pp. 153–173.
LibreCat
S. Dahmen, in: J.-M. Bonvin, D. Stöcklin (Eds.), Children’s Rights and the Capability Approach, Springer, 2014, pp. 153–173.
2014 | Working Paper | LibreCat-ID: 37090
Cost of Debt for Private Firms Revisited: Voluntary Audits as a Reflection of Risk
J. Koren, U. Kosi, A. Valentincic, Cost of Debt for Private Firms Revisited: Voluntary Audits as a Reflection of Risk, 2014.
LibreCat
J. Koren, U. Kosi, A. Valentincic, Cost of Debt for Private Firms Revisited: Voluntary Audits as a Reflection of Risk, 2014.
2014 | Journal Article | LibreCat-ID: 37458
Improving reading in children with German as a first or second language
S. Schwab, S. Seifert, B. Gasteiger-Klicpera, International Journal of Early Years Education 22 (2014) 210–222.
LibreCat
| DOI
S. Schwab, S. Seifert, B. Gasteiger-Klicpera, International Journal of Early Years Education 22 (2014) 210–222.
2014 | Journal Article | LibreCat-ID: 37457
Einstellungen von Lehramtsstudierenden und Pädagogikstudierenden zur schulischen Inklusion – Ergebnisse einer quantitativen Untersuchung
S. Schwab, S. Seifert, Zeitschrift für Bildungsforschung 5 (2014) 73–87.
LibreCat
| DOI
S. Schwab, S. Seifert, Zeitschrift für Bildungsforschung 5 (2014) 73–87.
2014 | Encyclopedia Article | LibreCat-ID: 37513 |
Donna Haraway. Technoscience, New World Order und Trickster-Geschichten für lebbare Welten
J. Weber, in: D. Lengersdorf, M. Wieser (Eds.), Schlüsselwerke der Wissenschafts- und Technikforschung/Science & Technology Studies, VS Verlag, Bielefeld, 2014, pp. 155–169.
LibreCat
| Download (ext.)
J. Weber, in: D. Lengersdorf, M. Wieser (Eds.), Schlüsselwerke der Wissenschafts- und Technikforschung/Science & Technology Studies, VS Verlag, Bielefeld, 2014, pp. 155–169.
2014 | Encyclopedia Article | LibreCat-ID: 37514 |
Opacity versus Computational Reflection. Modelling Human-Robot Interaction in Personal Service Robotics
J. Weber, in: Science, Technology and Innovation Studies, Vol. 10, No. 1, 2014, pp. 187–199.
LibreCat
| Download (ext.)
J. Weber, in: Science, Technology and Innovation Studies, Vol. 10, No. 1, 2014, pp. 187–199.
2014 | Journal Article | LibreCat-ID: 31296
Resonance chains in open systems, generalized zeta functions and clustering of the length spectrum
S. Barkhofen, F. Faure, T. Weich, Nonlinearity 27 (2014) 1829–1858.
LibreCat
| DOI
| arXiv
S. Barkhofen, F. Faure, T. Weich, Nonlinearity 27 (2014) 1829–1858.
2014 | Book | LibreCat-ID: 35971
Zugezogene im Fokus. Sprachkontakterscheinungen im Regiolekt.
C. Lorenz, Zugezogene im Fokus. Sprachkontakterscheinungen im Regiolekt. , Narr, Tübingen, 2014.
LibreCat
C. Lorenz, Zugezogene im Fokus. Sprachkontakterscheinungen im Regiolekt. , Narr, Tübingen, 2014.
2014 | Journal Article | LibreCat-ID: 36067
Salienz unter Einheimischen und Zugezogenen. Ein empirischer Vergleich.
C. Lorenz, Linguistik Online 66,4/14. (2014) 135–146.
LibreCat
C. Lorenz, Linguistik Online 66,4/14. (2014) 135–146.