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.
136 Publications
2006 | Journal Article | LibreCat-ID: 6073 | 
Scharlau, I., Ansorge, U., & Horstmann, G. (2006). Latency facilitation in temporal-order judgments: Time course of facilitation as a function of judgment type. Acta Psychologica, 122(2), 129–159.
LibreCat
| Download (ext.)
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, J., & Müller, W. (2006). A Formal Behavioral Semantics for TestML. Proc. of ISOLA 06. https://doi.org/10.1109/ISoLA.2006.37
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: 39030
Schattkowsky, T., & Müller, W. (2005). A UML Virtual Machine for Embedded Systems. Proceedings of ISNG 05.
LibreCat
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 | Journal Article | LibreCat-ID: 6068 |
Scharlau, I. (2004). Evidence against response bias in temporal order tasks with attention manipulation by masked primes. Psychological Research, 68(4), 224–236.
LibreCat
| Download (ext.)
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 | Journal Article | LibreCat-ID: 6065 |
Scharlau, I., & Ansorge, U. (2003). Direct parameter specification of an attention shift: Evidence from perceptual latency priming. Vision Research, 43(12), 1351–1363.
LibreCat
| Download (ext.)
2003 | Journal Article | LibreCat-ID: 6078 |
Scharlau, I., & Neumann, O. (2003). Perceptual latency priming by masked and unmasked stimuli: Evidence for an attentional interpretation. Psychological Research, 67(3), 184–196.
LibreCat
| Download (ext.)
2003 | Journal Article | LibreCat-ID: 6086 |
Scharlau, I., & Neumann, O. (2003). Temporal parameters and time course of perceptual latency priming. Acta Psychologica, 113(2), 185–203.
LibreCat
| Download (ext.)
2002 | Journal Article | LibreCat-ID: 6074 |
Scharlau, I. (2002). Leading, but not trailing, primes influence temporal order perception: Further evidence for an attentional account of perceptual latency priming. Perception & Psychophysics, 64(8), 1346–1360.
LibreCat
| Download (ext.)
2002 | Conference Paper | LibreCat-ID: 39382
Müller, W., Dömer, R., & Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISSS02. https://doi.org/10.1145/581199.581234
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
2002 | Journal Article | LibreCat-ID: 39925
Goser, K., Hilleringmann, U., Rueckert, U., & Schumacher, K. (2002). VLSI technologies for artificial neural networks. IEEE Micro, 9(6), 28–44. https://doi.org/10.1109/40.42985
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 39926
Goser, K., Hilleringmann, U., Rueckert, U., & Schumacher, K. (2002). VLSI technologies for artificial neural networks. IEEE Micro, 9(6), 28–44. https://doi.org/10.1109/40.42985
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45423
Mahnken, R. (2002). Improved implementation of an algorithm for non-linear isotropic/kinematic hardening in elastoplasticity. Communications in Numerical Methods in Engineering, 15(10), 745–754. https://doi.org/10.1002/(sici)1099-0887(199910)15:10<745::aid-cnm288>3.0.co;2-r
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45427
Mahnken, R., Johansson, M., & Runesson, K. (2002). Parameter estimation for a viscoplastic damage model using a gradient‐based optimization algorithm. Engineering Computations, 15(7), 925–955. https://doi.org/10.1108/02644409810236920
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39411
Flake, S., Geiger, C., Müller, W., & Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. https://doi.org/10.1109/ENABL.2001.953425
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39432
Müller, W., Meyer, A., & Zabel, H. (2001). A Language for the Rapid Prototyping of Mobile Evolving Agents. Proceedings of the 34th Annual Hawaii International Conference on System Sciences. https://doi.org/10.1109/HICSS.2001.926319
LibreCat
| DOI