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.
60 Publications
2014 | Journal Article | LibreCat-ID: 46434
Topalović E, Uhl B. Linguistik des literarischen Erzählens. Zeitschrift für germanistische Linguistik. 2014;42(1):26-49. doi:10.1515/zgl-2014-0002
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 28353
Müller M. Conceptualizing pronunciation as part of translingual/transcultural competence: New impulses for SLA research and the L2 classroom. Foreign Language Annals. 2013;46(2):213-229. doi:10.1111/flan.12024
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 17218
Wrede B, Rohlfing K, Steil JJ, Wrede S, Oudeyer P-Y, Tani J. Towards robots with teleological action and language understanding. In: Ugur E, Nagai Y, Oztop E, Asada M, eds. {Humanoids 2012 Workshop on Developmental Robotics: Can Developmental Robotics Yield Human-like Cognitive Abilities?}. ; 2012.
LibreCat
2010 | Journal Article | LibreCat-ID: 28449
Liebscher G, Dailey-O’Cain J, Müller M, Reichert T. Negotiating identities through pronouns of address in an immigrant community. Pragmatics Quarterly Publication of the International Pragmatics Association (IPrA). 2010;20(3):375-400. doi:10.1075/prag.20.3.04lie
LibreCat
| DOI
2010 | Book | LibreCat-ID: 1118
Geierhos M. BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen. Vol 5. 1st ed. München: Lincom; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 24065
Pottebaum J, Japs AM, Prödel S, Koch R. Design and modeling of a domain ontology for fire protection. In: French S, Tomaszewski B, Zobel C, eds. ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management. ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456990
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_9
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37047
Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_9
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management. In: Proceedings of DATE’09. IEEE; 2009. doi:10.1109/DATE.2009.5090664
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In: Proceedings of DATE’05. IEEE; 2005. doi:10.1109/DATE.2005.20
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: Proceedings of VL/HCC 05. ; 2005. doi:10.1109/VLHCC.2005.64
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. Integration of Software Specification Techniques for Applications in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: Proceedings of DATE’04 Designers’ Forum. ; 2004. doi:10.1109/DATE.2004.1269214
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: Proceedings of SEFM´04. IEEE; 2004. doi:10.1109/SEFM.2004.1347516
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake S, Müller W. Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM). 2003;2(3):164-186. doi:10.1007/s10270-003-0026-x
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39364
Flake S, Müller W. Expressing Property Specification Patterns with OCL. In: Proceedings of SERP’03. ; 2003.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. Advances in Object Modelling with the OCL. Springer-Verlag; 2002:150-171. doi:10.1007/3-540-45669-4_8
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: Proceedings of HICSS-35. ; 2002. doi:10.1109/HICSS.2002.994469
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 32503 | 
Buhl HM. Partner orientation and speaker’s knowledge as conflicting parameters in language production. Journal of Psycholinguistic Research. 2001;30(6):549-567.
LibreCat
| Download (ext.)