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.
61 Publications
2015 | Journal Article | LibreCat-ID: 37461
Seifert, S., Schwab, S., & Gasteiger-Klicpera, B. (2015). Effects of a Whole-Class Reading Program Designed for Different Reading Levels and the Learning Needs of L1 and L2 Children. Reading & Writing Quarterly, 32(6), 499–526. https://doi.org/10.1080/10573569.2015.1029176
LibreCat
| DOI
2014 | Journal Article | LibreCat-ID: 46434
Topalović, E., & Uhl, B. (2014). Linguistik des literarischen Erzählens. Zeitschrift für germanistische Linguistik, 42(1), 26–49. https://doi.org/10.1515/zgl-2014-0002
LibreCat
| Files available
| DOI
2013 | Journal Article | LibreCat-ID: 28353
Müller, M. (2013). Conceptualizing pronunciation as part of translingual/transcultural competence: New impulses for SLA research and the L2 classroom. Foreign Language Annals, 46(2), 213–229. https://doi.org/10.1111/flan.12024
LibreCat
| DOI
2012 | Conference Paper | LibreCat-ID: 17218
Wrede, B., Rohlfing, K., Steil, J. J., Wrede, S., Oudeyer, P.-Y., & Tani, J. (2012). Towards robots with teleological action and language understanding. In E. Ugur, Y. Nagai, E. Oztop, & M. Asada (Eds.), {Humanoids 2012 Workshop on Developmental Robotics: Can developmental robotics yield human-like cognitive abilities?}.
LibreCat
2010 | Journal Article | LibreCat-ID: 28449
Liebscher, G., Dailey-O’Cain, J., Müller, M., & Reichert, T. (2010). Negotiating identities through pronouns of address in an immigrant community. Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA), 20(3), 375–400. https://doi.org/10.1075/prag.20.3.04lie
LibreCat
| DOI
2010 | Book | LibreCat-ID: 1118
Geierhos, M. (2010). BiographIE - Klassifikation und Extraktion karrierespezifischer Informationen (1st ed., Vol. 5). München: Lincom.
LibreCat
2010 | Conference Paper | LibreCat-ID: 24065
Pottebaum, J., Japs, A. M., Prödel, S., & Koch, R. (2010). Design and modeling of a domain ontology for fire protection. In S. French, B. Tomaszewski, & C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37048
Müller, W., Bol, A., Krupp, A., & Lundkvist, O. (2010). Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/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. (2010). Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag. https://doi.org/10.1007/978-3-642-15234-4_9
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 37067
Schattkowsky, T., Xie, T., & Müller, W. (2009). A UML Frontend for IP-XACT-based IP Management. Proceedings of DATE’09. Design, Automation & Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090664
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, T., Müller, W., & Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05. https://doi.org/10.1109/DATE.2005.20
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, T., & Müller, W. (2005). Transformation of UML State Machines for Direct Execution. Proceedings of VL/HCC 05. https://doi.org/10.1109/VLHCC.2005.64
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM), 2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39364
Flake, S., & Müller, W. (2003). Expressing Property Specification Patterns with OCL. Proceedings of SERP’03.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake, S., & Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark & J. Warmer (Eds.), Advances in Object Modelling with the OCL (pp. 150–171). Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_8
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39403
Flake, S., & Müller, W. (2002). Specification of Real-Time Properties for UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . https://doi.org/10.1109/HICSS.2002.994469
LibreCat
| DOI